runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3729416-1338678701/watcher-3729416-1338678701 -o /tmp/evaluation-result-3729416-1338678701/solver-3729416-1338678701 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3729416-1338678701.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.50 0.79 0.67 4/197 3483
/proc/meminfo: memFree=28707716/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=9324 CPUtime=0 cores=0,2,4,6
/proc/3483/stat : 3483 (java) R 3481 3483 2935 0 -1 4202496 451 0 0 0 0 0 0 0 20 0 1 0 333994517 9547776 182 33554432000 1073741824 1073778376 140734864667584 140734864650312 239237678464 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2331 182 139 9 0 79 0
[startup+0.046263 s]
/proc/loadavg: 2.50 0.79 0.67 4/197 3483
/proc/meminfo: memFree=28707716/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11120388 CPUtime=0.02 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 4136 0 1 0 1 1 0 0 20 0 11 0 333994517 11387277312 11990 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2780097 11990 1591 9 0 2770798 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11120388
[startup+0.100266 s]
/proc/loadavg: 2.50 0.79 0.67 4/197 3483
/proc/meminfo: memFree=28707716/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11586392 CPUtime=0.07 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 4480 0 1 0 6 1 0 0 20 0 18 0 333994517 11864465408 12843 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2896598 12843 1779 9 0 2887285 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11586392
[startup+0.300157 s]
/proc/loadavg: 2.50 0.79 0.67 4/197 3483
/proc/meminfo: memFree=28707716/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11852648 CPUtime=0.57 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 8477 0 1 0 55 2 0 0 20 0 22 0 333994517 12137111552 17323 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2963162 17315 2235 9 0 2953849 0
Current children cumulated CPU time (s) 0.57
Current children cumulated vsize (KiB) 11852648
[startup+0.700167 s]
/proc/loadavg: 2.50 0.79 0.67 4/197 3483
/proc/meminfo: memFree=28707716/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11852648 CPUtime=2.14 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 17835 0 1 0 208 6 0 0 20 0 22 0 333994517 12137111552 37498 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2963162 37522 2268 9 0 2953849 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 11852648
[startup+1.50081 s]
/proc/loadavg: 2.50 0.79 0.67 4/217 3505
/proc/meminfo: memFree=28500040/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11852648 CPUtime=4.38 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 24782 0 1 0 429 9 0 0 20 0 22 0 333994517 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2963162 68149 2279 9 0 2953849 0
[pid=3483/tid=3485] ppid=3481 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/3483/task/3485/stat : 3485 (java) S 3481 3483 2935 0 -1 4202560 3386 0 1 0 14 2 0 0 20 0 22 0 333994518 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389268559000 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3486] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3486/stat : 3486 (java) S 3481 3483 2935 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 333994520 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389105777320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3487] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3487/stat : 3487 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333994520 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389104724776 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3488] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3488/stat : 3488 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333994520 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389103672232 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3489] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3489/stat : 3489 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333994521 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389102619688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3490] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3490/stat : 3490 (java) S 3481 3483 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 333994521 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389101566120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3491] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3491/stat : 3491 (java) S 3481 3483 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333994521 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389100513576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3492] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3492/stat : 3492 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333994521 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389099461032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3493] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3493/stat : 3493 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 333994521 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389098408488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3494] ppid=3481 vsize=11852648 CPUtime=0.04 cores=0,2,4,6
/proc/3483/task/3494/stat : 3494 (java) S 3481 3483 2935 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 22 0 333994522 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389085997672 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3483/tid=3495] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3495/stat : 3495 (java) S 3481 3483 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 333994522 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389084943992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3496] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3496/stat : 3496 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 333994522 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389083891336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3497] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3497/stat : 3497 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333994525 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389082840080 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3498] ppid=3481 vsize=11852648 CPUtime=0.84 cores=0,2,4,6
/proc/3483/task/3498/stat : 3498 (java) R 3481 3483 2935 0 -1 4202560 8190 0 0 0 82 2 0 0 20 0 22 0 333994525 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389081786304 140389275019567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3499] ppid=3481 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/3483/task/3499/stat : 3499 (java) S 3481 3483 2935 0 -1 4202560 11766 0 0 0 79 2 0 0 20 0 22 0 333994525 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389080733880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3500] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3500/stat : 3500 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333994525 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389079681528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3483/tid=3501] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3501/stat : 3501 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 333994525 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389078629192 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3502] ppid=3481 vsize=11852648 CPUtime=1.21 cores=0,2,4,6
/proc/3483/task/3502/stat : 3502 (java) R 3481 3483 2935 0 -1 4202560 29 0 0 0 121 0 0 0 20 0 22 0 333994537 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389077574344 140389141429999 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=3483/tid=3503] ppid=3481 vsize=11852648 CPUtime=1.22 cores=0,2,4,6
/proc/3483/task/3503/stat : 3503 (java) R 3481 3483 2935 0 -1 4202560 148 0 0 0 120 2 0 0 20 0 22 0 333994537 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389076521368 140389141487210 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3504] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3504/stat : 3504 (java) S 3481 3483 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333994538 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389075469864 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3505] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3505/stat : 3505 (java) S 3481 3483 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 333994538 12137111552 68149 33554432000 1073741824 1073778376 140734864667584 140389074417320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
[startup+1.90075 s]
/proc/loadavg: 2.50 0.79 0.67 4/217 3505
/proc/meminfo: memFree=28500040/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11852648 CPUtime=4.81 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 24802 0 1 0 470 11 0 0 20 0 19 0 333994517 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2963162 74287 2281 9 0 2953849 0
[pid=3483/tid=3485] ppid=3481 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/3483/task/3485/stat : 3485 (java) S 3481 3483 2935 0 -1 4202560 3386 0 1 0 14 2 0 0 20 0 19 0 333994518 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389268559000 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3486] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3486/stat : 3486 (java) S 3481 3483 2935 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 333994520 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389105777320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3487] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3487/stat : 3487 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333994520 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389104724776 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3488] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3488/stat : 3488 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333994520 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389103672232 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3489] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3489/stat : 3489 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389102619688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3490] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3490/stat : 3490 (java) S 3481 3483 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389101566120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3491] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3491/stat : 3491 (java) S 3481 3483 2935 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389100513576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3492] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3492/stat : 3492 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389099461032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3493] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3493/stat : 3493 (java) S 3481 3483 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389098408488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3494] ppid=3481 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/3483/task/3494/stat : 3494 (java) S 3481 3483 2935 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 19 0 333994522 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389085997672 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3495] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3495/stat : 3495 (java) S 3481 3483 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333994522 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389084943992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3496] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3496/stat : 3496 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333994522 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389083891336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3497] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3497/stat : 3497 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389082840080 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3498] ppid=3481 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/3483/task/3498/stat : 3498 (java) S 3481 3483 2935 0 -1 4202560 8191 0 0 0 85 2 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389081786424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3499] ppid=3481 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/3483/task/3499/stat : 3499 (java) S 3481 3483 2935 0 -1 4202560 11766 0 0 0 79 2 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389080733880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3500] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3500/stat : 3500 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389079681528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3483/tid=3501] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3501/stat : 3501 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389078629192 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3505] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3505/stat : 3505 (java) S 3481 3483 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333994538 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389074417320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 11852648
[startup+2.10068 s]
/proc/loadavg: 2.50 0.79 0.67 1/190 3530
/proc/meminfo: memFree=28789604/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11852648 CPUtime=4.81 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 24802 0 1 0 470 11 0 0 20 0 19 0 333994517 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2963162 74287 2281 9 0 2953849 0
[pid=3483/tid=3485] ppid=3481 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/3483/task/3485/stat : 3485 (java) S 3481 3483 2935 0 -1 4202560 3386 0 1 0 14 2 0 0 20 0 19 0 333994518 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389268559000 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3486] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3486/stat : 3486 (java) S 3481 3483 2935 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 333994520 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389105777320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3487] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3487/stat : 3487 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333994520 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389104724776 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3488] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3488/stat : 3488 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 333994520 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389103672232 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3489] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3489/stat : 3489 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389102619688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3490] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3490/stat : 3490 (java) S 3481 3483 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389101566120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3491] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3491/stat : 3491 (java) S 3481 3483 2935 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389100513576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3492] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3492/stat : 3492 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389099461032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3493] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3493/stat : 3493 (java) S 3481 3483 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 333994521 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389098408488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3494] ppid=3481 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/3483/task/3494/stat : 3494 (java) S 3481 3483 2935 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 19 0 333994522 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389085997672 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3495] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3495/stat : 3495 (java) S 3481 3483 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 333994522 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389084943992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3496] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3496/stat : 3496 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 333994522 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389083891336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3497] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3497/stat : 3497 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389082840080 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3498] ppid=3481 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/3483/task/3498/stat : 3498 (java) S 3481 3483 2935 0 -1 4202560 8191 0 0 0 85 2 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389081786424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3499] ppid=3481 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/3483/task/3499/stat : 3499 (java) S 3481 3483 2935 0 -1 4202560 11766 0 0 0 79 2 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389080733880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3500] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3500/stat : 3500 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389079681528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3483/tid=3501] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3501/stat : 3501 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 333994525 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389078629192 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3505] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3505/stat : 3505 (java) S 3481 3483 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 333994538 12137111552 74287 33554432000 1073741824 1073778376 140734864667584 140389074417320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 11852648
[startup+2.20695 s]
/proc/loadavg: 2.50 0.79 0.67 1/190 3530
/proc/meminfo: memFree=28789604/32873844 swapFree=7644/7644
[pid=3483] ppid=3481 vsize=11852648 CPUtime=4.81 cores=0,2,4,6
/proc/3483/stat : 3483 (java) S 3481 3483 2935 0 -1 4202496 24805 0 1 0 470 11 0 0 20 0 20 0 333994517 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140734864658720 239241035837 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/3483/statm: 2963162 74290 2281 9 0 2953849 0
[pid=3483/tid=3485] ppid=3481 vsize=11852648 CPUtime=0.16 cores=0,2,4,6
/proc/3483/task/3485/stat : 3485 (java) S 3481 3483 2935 0 -1 4202560 3386 0 1 0 14 2 0 0 20 0 20 0 333994518 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389268558552 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3486] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3486/stat : 3486 (java) S 3481 3483 2935 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 20 0 333994520 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389105777320 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3487] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3487/stat : 3487 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 333994520 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389104724776 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3488] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3488/stat : 3488 (java) S 3481 3483 2935 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 333994520 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389103672232 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3489] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3489/stat : 3489 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 333994521 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389102619688 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3490] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3490/stat : 3490 (java) S 3481 3483 2935 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 20 0 333994521 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389101566120 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3491] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3491/stat : 3491 (java) S 3481 3483 2935 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 20 0 333994521 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389100513576 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3492] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3492/stat : 3492 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333994521 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389099461032 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3493] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3493/stat : 3493 (java) S 3481 3483 2935 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 20 0 333994521 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389098408488 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3494] ppid=3481 vsize=11852648 CPUtime=0.06 cores=0,2,4,6
/proc/3483/task/3494/stat : 3494 (java) S 3481 3483 2935 0 -1 4202560 31 0 0 0 6 0 0 0 20 0 20 0 333994522 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389085997672 239241050025 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3495] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3495/stat : 3495 (java) S 3481 3483 2935 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 20 0 333994522 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389084943992 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3496] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3496/stat : 3496 (java) S 3481 3483 2935 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 20 0 333994522 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389083891336 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3497] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3497/stat : 3497 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333994525 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389082840080 239241058080 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3498] ppid=3481 vsize=11852648 CPUtime=0.87 cores=0,2,4,6
/proc/3483/task/3498/stat : 3498 (java) S 3481 3483 2935 0 -1 4202560 8191 0 0 0 85 2 0 0 20 0 20 0 333994525 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389081786424 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=3483/tid=3499] ppid=3481 vsize=11852648 CPUtime=0.81 cores=0,2,4,6
/proc/3483/task/3499/stat : 3499 (java) S 3481 3483 2935 0 -1 4202560 11766 0 0 0 79 2 0 0 20 0 20 0 333994525 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389080733880 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=3483/tid=3500] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3500/stat : 3500 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333994525 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389079681528 239241049148 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=3483/tid=3501] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3501/stat : 3501 (java) S 3481 3483 2935 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 20 0 333994525 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389078629192 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=3483/tid=3505] ppid=3481 vsize=11852648 CPUtime=0 cores=0,2,4,6
/proc/3483/task/3505/stat : 3505 (java) S 3481 3483 2935 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 20 0 333994538 12137111552 74290 33554432000 1073741824 1073778376 140734864667584 140389074417320 239241050025 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 11852648
Child status: 10
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3483 and gives
# childrusage.ru_utime.tv_sec=4
# childrusage.ru_utime.tv_usec=661291
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=140978
# CPU time returned by wait4() is 4.80227
# while last known CPU time is 4.81
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 2.2179
CPU time (s): 4.81
CPU user time (s): 4.7
CPU system time (s): 0.11
CPU usage (%): 216.872
Max. virtual memory (cumulated for all children) (KiB): 11853856
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.66129
system time used= 0.140978
maximum resident set size= 297196
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24816
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 450
involuntary context switches= 123
runsolver used 0.008998 second user time and 0.024996 second system time
The end