runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: runsolver -s SIGUSR1 -M 1124 -C 150 -d 10 -w /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/install/rand717.cudf.log.runsolver /home/competition/p2cudf-basic-1.15/p2cudf-basic-1.15 /home/competition/data/install/rand717.cudf /tmp/misc2012/2012-09-02-17:21/basic/p2cudf-basic-1.15/embedded/install/rand717.cudf.result -sum(solution,installedsize),-count(removed) 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 150 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 180 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB

[startup+0 s]
/proc/loadavg: 1.28 1.03 0.94 2/64 6508
/proc/meminfo: memFree=605220/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=3152 CPUtime=0
/proc/6508/stat : 6508 (runsolver) R 6507 1745 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 1 0 115973180 3227648 32 18446744073709551615 134512640 134586868 4294042096 4294040144 4151206960 0 0 16781316 24578 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 788 32 0 19 0 73 0
Current StackSize limit: 8192 KiB


[startup+0.11906 s]
/proc/loadavg: 1.28 1.03 0.94 2/64 6508
/proc/meminfo: memFree=605220/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.200251 s]
/proc/loadavg: 1.28 1.03 0.94 2/64 6508
/proc/meminfo: memFree=605220/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.300322 s]
/proc/loadavg: 1.28 1.03 0.94 2/64 6508
/proc/meminfo: memFree=605220/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+0.70024 s]
/proc/loadavg: 1.28 1.03 0.94 2/64 6508
/proc/meminfo: memFree=605220/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9168

[startup+1.50074 s]
/proc/loadavg: 1.42 1.06 0.95 4/75 6520
/proc/meminfo: memFree=549696/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1049540 CPUtime=1.44
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 34101 0 0 0 130 14 0 0 20 0 10 0 115973181 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 262385 30611 2345 9 0 249735 0
[pid=6511/tid=6512] ppid=6508 vsize=1049540 CPUtime=0.65
/proc/6511/task/6512/stat : 6512 (java) R 6508 6508 1745 0 -1 4202560 14977 0 0 0 58 7 0 0 20 0 10 0 115973181 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507154485920 140507052300799 0 4 0 16800975 0 0 0 -1 0 0 0 3 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1049540 CPUtime=0
/proc/6511/task/6513/stat : 6513 (java) S 6508 6508 1745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 10 0 115973183 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507047132288 140507147974219 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1049540 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 10 0 115973184 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1049540 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 10 0 115973184 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1049540 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1049540 CPUtime=0.38
/proc/6511/task/6517/stat : 6517 (java) R 6508 6508 1745 0 -1 4202560 9720 0 0 0 34 4 0 0 20 0 10 0 115973186 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507042907704 140507140874759 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1049540 CPUtime=0.39
/proc/6511/task/6518/stat : 6518 (java) R 6508 6508 1745 0 -1 4202560 8113 0 0 0 37 2 0 0 20 0 10 0 115973186 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507041856616 140507131100816 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1049540 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115973186 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1049540 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115973186 1074728960 30611 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 1058708

[startup+3.10078 s]
/proc/loadavg: 1.42 1.06 0.95 4/75 6520
/proc/meminfo: memFree=445164/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1049748 CPUtime=3.01
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 88970 0 0 0 272 29 0 0 20 0 10 0 115973181 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 262437 84192 2367 9 0 249787 0
[pid=6511/tid=6512] ppid=6508 vsize=1049748 CPUtime=1.42
/proc/6511/task/6512/stat : 6512 (java) R 6508 6508 1745 0 -1 4202560 47411 0 0 0 127 15 0 0 20 0 10 0 115973181 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507154485952 140507052381264 0 4 0 16800975 0 0 0 -1 0 0 0 5 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1049748 CPUtime=0.3
/proc/6511/task/6513/stat : 6513 (java) S 6508 6508 1745 0 -1 4202560 21301 0 0 0 25 5 0 0 20 0 10 0 115973183 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507047132288 140507147974219 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1049748 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115973184 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1049748 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115973184 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1049748 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1049748 CPUtime=0.62
/proc/6511/task/6517/stat : 6517 (java) S 6508 6508 1745 0 -1 4202560 10397 0 0 0 57 5 0 0 20 0 10 0 115973186 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507042921488 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1049748 CPUtime=0.63
/proc/6511/task/6518/stat : 6518 (java) S 6508 6508 1745 0 -1 4202560 8569 0 0 0 61 2 0 0 20 0 10 0 115973186 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507041868816 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1049748 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115973186 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1049748 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115973186 1074941952 84192 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1058916

[startup+6.30078 s]
/proc/loadavg: 1.38 1.06 0.95 1/75 6520
/proc/meminfo: memFree=96228/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1040728 CPUtime=6.12
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 137237 0 0 0 570 42 0 0 20 0 10 0 115973181 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 260182 130363 2368 9 0 247532 0
[pid=6511/tid=6512] ppid=6508 vsize=1040728 CPUtime=3.36
/proc/6511/task/6512/stat : 6512 (java) S 6508 6508 1745 0 -1 4202560 47414 0 0 0 319 17 0 0 20 0 10 0 115973181 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507154493952 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1040728 CPUtime=1.42
/proc/6511/task/6513/stat : 6513 (java) R 6508 6508 1745 0 -1 4202560 69558 0 0 0 126 16 0 0 20 0 10 0 115973183 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507047131664 140507134139177 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115973184 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115973184 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1040728 CPUtime=0.65
/proc/6511/task/6517/stat : 6517 (java) S 6508 6508 1745 0 -1 4202560 10403 0 0 0 60 5 0 0 20 0 10 0 115973186 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507042921488 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1040728 CPUtime=0.66
/proc/6511/task/6518/stat : 6518 (java) S 6508 6508 1745 0 -1 4202560 8569 0 0 0 64 2 0 0 20 0 10 0 115973186 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507041868816 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 130363 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 1049896

Solver just ended. Dumping a history of the last processes samples

[startup+6.40101 s]
/proc/loadavg: 1.38 1.06 0.95 1/75 6520
/proc/meminfo: memFree=96228/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1040728 CPUtime=6.21
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 138661 0 0 0 579 42 0 0 20 0 10 0 115973181 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 260182 131787 2368 9 0 247532 0
[pid=6511/tid=6512] ppid=6508 vsize=1040728 CPUtime=3.36
/proc/6511/task/6512/stat : 6512 (java) S 6508 6508 1745 0 -1 4202560 47414 0 0 0 319 17 0 0 20 0 10 0 115973181 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507154493952 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 10 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1040728 CPUtime=1.52
/proc/6511/task/6513/stat : 6513 (java) R 6508 6508 1745 0 -1 4202560 70982 0 0 0 136 16 0 0 20 0 10 0 115973183 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507047131664 140507131498227 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115973184 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115973184 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1040728 CPUtime=0.65
/proc/6511/task/6517/stat : 6517 (java) S 6508 6508 1745 0 -1 4202560 10403 0 0 0 60 5 0 0 20 0 10 0 115973186 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507042921488 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1040728 CPUtime=0.66
/proc/6511/task/6518/stat : 6518 (java) S 6508 6508 1745 0 -1 4202560 8569 0 0 0 64 2 0 0 20 0 10 0 115973186 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507041868816 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 131787 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 1049896

[startup+9.60057 s]
/proc/loadavg: 1.38 1.06 0.95 4/75 6520
/proc/meminfo: memFree=23936/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1040728 CPUtime=9.37
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 145918 0 0 0 892 45 0 0 20 0 10 0 115973181 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 260182 138690 2376 9 0 247532 0
[pid=6511/tid=6512] ppid=6508 vsize=1040728 CPUtime=4.65
/proc/6511/task/6512/stat : 6512 (java) R 6508 6508 1745 0 -1 4202560 47717 0 0 0 447 18 0 0 20 0 10 0 115973181 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507154494216 140507052867876 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1040728 CPUtime=1.63
/proc/6511/task/6513/stat : 6513 (java) S 6508 6508 1745 0 -1 4202560 77222 0 0 0 145 18 0 0 20 0 10 0 115973183 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507047132288 140507147974219 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 10 0 115973184 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 10 0 115973184 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1040728 CPUtime=1.49
/proc/6511/task/6517/stat : 6517 (java) R 6508 6508 1745 0 -1 4202560 10888 0 0 0 143 6 0 0 20 0 10 0 115973186 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507042921232 140507129574656 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1040728 CPUtime=1.57
/proc/6511/task/6518/stat : 6518 (java) S 6508 6508 1745 0 -1 4202560 8798 0 0 0 155 2 0 0 20 0 10 0 115973186 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507041868816 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1040728 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 10 0 115973186 1065705472 138690 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 9.37
Current children cumulated vsize (KiB) 1049896

[startup+11.2008 s]
/proc/loadavg: 1.43 1.08 0.95 4/76 6521
/proc/meminfo: memFree=9420/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1041756 CPUtime=10.93
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 152599 0 0 0 1046 47 0 0 20 0 11 0 115973181 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 260439 145371 2381 9 0 247789 0
[pid=6511/tid=6512] ppid=6508 vsize=1041756 CPUtime=5.42
/proc/6511/task/6512/stat : 6512 (java) R 6508 6508 1745 0 -1 4202560 47794 0 0 0 524 18 0 0 20 0 11 0 115973181 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507154485152 140507052739424 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1041756 CPUtime=1.8
/proc/6511/task/6513/stat : 6513 (java) S 6508 6508 1745 0 -1 4202560 83796 0 0 0 160 20 0 0 20 0 11 0 115973183 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507047132288 140507147974219 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1041756 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115973184 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1041756 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115973184 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1041756 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115973186 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1041756 CPUtime=1.79
/proc/6511/task/6517/stat : 6517 (java) S 6508 6508 1745 0 -1 4202560 10896 0 0 0 173 6 0 0 20 0 11 0 115973186 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507042921488 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1041756 CPUtime=1.9
/proc/6511/task/6518/stat : 6518 (java) S 6508 6508 1745 0 -1 4202560 8814 0 0 0 188 2 0 0 20 0 11 0 115973186 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507041868816 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1041756 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115973186 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1041756 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115973186 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6521] ppid=6508 vsize=1041756 CPUtime=0
/proc/6511/task/6521/stat : 6521 (java) S 6508 6508 1745 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 11 0 115974177 1066758144 145371 18446744073709551615 4194304 4228012 140736774636560 140507038570336 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 10.93
Current children cumulated vsize (KiB) 1050924

[startup+11.6008 s]
/proc/loadavg: 1.43 1.08 0.95 4/76 6521
/proc/meminfo: memFree=9420/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1042784 CPUtime=11.15
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 152620 0 0 0 1067 48 0 0 20 0 11 0 115973181 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 260696 145390 2381 9 0 248046 0
[pid=6511/tid=6512] ppid=6508 vsize=1042784 CPUtime=5.52
/proc/6511/task/6512/stat : 6512 (java) S 6508 6508 1745 0 -1 4202560 47800 0 0 0 534 18 0 0 20 0 11 0 115973181 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507154494384 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1042784 CPUtime=1.8
/proc/6511/task/6513/stat : 6513 (java) S 6508 6508 1745 0 -1 4202560 83796 0 0 0 160 20 0 0 20 0 11 0 115973183 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507047132288 140507147974219 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115973184 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115973184 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115973186 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1042784 CPUtime=1.88
/proc/6511/task/6517/stat : 6517 (java) S 6508 6508 1745 0 -1 4202560 10905 0 0 0 182 6 0 0 20 0 11 0 115973186 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507042921488 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1042784 CPUtime=1.92
/proc/6511/task/6518/stat : 6518 (java) S 6508 6508 1745 0 -1 4202560 8814 0 0 0 190 2 0 0 20 0 11 0 115973186 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507041868816 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115973186 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115973186 1067810816 145390 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.15
Current children cumulated vsize (KiB) 1051952

[startup+12.0008 s]
/proc/loadavg: 1.43 1.08 0.95 4/76 6521
/proc/meminfo: memFree=9420/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=1042784 CPUtime=11.25
/proc/6511/stat : 6511 (java) S 6508 6508 1745 0 -1 4202496 152622 0 0 0 1075 50 0 0 20 0 11 0 115973181 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140736774627584 140507147959925 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 260696 145392 2381 9 0 248046 0
[pid=6511/tid=6512] ppid=6508 vsize=1042784 CPUtime=5.52
/proc/6511/task/6512/stat : 6512 (java) S 6508 6508 1745 0 -1 4202560 47800 0 0 0 534 18 0 0 20 0 11 0 115973181 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507154494384 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 12 0 0
[pid=6511/tid=6513] ppid=6508 vsize=1042784 CPUtime=1.8
/proc/6511/task/6513/stat : 6513 (java) S 6508 6508 1745 0 -1 4202560 83796 0 0 0 160 20 0 0 20 0 11 0 115973183 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507047132288 140507147974219 0 0 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6514] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6514/stat : 6514 (java) S 6508 6508 1745 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 11 0 115973184 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507046078480 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6515] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6515/stat : 6515 (java) S 6508 6508 1745 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 11 0 115973184 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507045025696 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6516] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6516/stat : 6516 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115973186 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507043974128 140507147981856 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6517] ppid=6508 vsize=1042784 CPUtime=1.88
/proc/6511/task/6517/stat : 6517 (java) S 6508 6508 1745 0 -1 4202560 10905 0 0 0 182 6 0 0 20 0 11 0 115973186 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507042921488 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6518] ppid=6508 vsize=1042784 CPUtime=1.93
/proc/6511/task/6518/stat : 6518 (java) S 6508 6508 1745 0 -1 4202560 8814 0 0 0 190 3 0 0 20 0 11 0 115973186 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507041868816 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6519] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6519/stat : 6519 (java) S 6508 6508 1745 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 11 0 115973186 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507040816336 140507147973332 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6511/tid=6520] ppid=6508 vsize=1042784 CPUtime=0
/proc/6511/task/6520/stat : 6520 (java) S 6508 6508 1745 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 11 0 115973186 1067810816 145392 18446744073709551615 4194304 4228012 140736774636560 140507039763840 140507147974219 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.25
Current children cumulated vsize (KiB) 1051952

[startup+12.1189 s]
/proc/loadavg: 1.43 1.08 0.95 2/67 6522
/proc/meminfo: memFree=397984/1022884 swapFree=0/0
[pid=6508] ppid=6507 vsize=9168 CPUtime=0
/proc/6508/stat : 6508 (p2cudf-basic-1.) S 6507 6508 1745 0 -1 4202496 455 291 0 0 0 0 0 0 20 0 1 0 115973180 9388032 330 18446744073709551615 4194304 5129932 140734781463600 140734781461744 140066699969630 0 65536 16781316 65538 0 0 0 17 0 0 0 0 0 0
/proc/6508/statm: 2292 330 280 229 0 52 0
[pid=6511] ppid=6508 vsize=0 CPUtime=11.37
/proc/6511/stat : 6511 (java) Z 6508 6508 1745 0 -1 4203532 152633 0 0 0 1083 54 0 0 20 0 2 0 115973181 0 0 18446744073709551615 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/6511/statm: 0 0 0 0 0 0 0
[pid=6511/tid=6522] ppid=6508 vsize=0 CPUtime=0.18
/proc/6511/task/6522/stat : 6522 (java) R 6508 6508 1745 0 -1 4203588 9 0 0 0 11 7 0 0 20 0 2 0 115974320 0 0 18446744073709551615 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 9168

Child status: 0
Real time (s): 12.1386
CPU time (s): 11.3967
CPU user time (s): 10.8407
CPU system time (s): 0.556034
CPU usage (%): 93.8882
Max. virtual memory (cumulated for all children) (KiB): 1059388

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.8407
system time used= 0.556034
maximum resident set size= 581604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153392
page faults= 0
swaps= 0
block input operations= 68424
block output operations= 216
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1050
involuntary context switches= 3078

runsolver used 0.020001 second user time and 0.108006 second system time

The end