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-3687343-1337871906/watcher-3687343-1337871906 -o /tmp/evaluation-result-3687343-1337871906/solver-3687343-1337871906 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687343-1337871906.opb
running on 4 cores: 1,3,5,7
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: 0.49 0.11 0.04 3/194 21660
/proc/meminfo: memFree=29139100/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 1162 0 0 0 0 0 0 0 20 0 2 0 253319190 91889664 882 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 22434 886 670 9 0 16769 0
[pid=21660/tid=21661] ppid=21658 vsize=89736 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) R 21658 21660 21484 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 253319190 91889664 894 33554432000 1073741824 1073778376 140733261551040 140733261540104 218204564775 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.099157 s]
/proc/loadavg: 0.49 0.11 0.04 3/194 21660
/proc/meminfo: memFree=29139100/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 4331 0 1 0 9 1 0 0 20 0 18 0 253319190 9787813888 5525 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 2389603 5526 2108 9 0 2380296 0
[pid=21660/tid=21661] ppid=21658 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) R 21658 21660 21484 0 -1 4202560 2378 0 1 0 6 1 0 0 20 0 18 0 253319190 9787813888 5527 33554432000 1073741824 1073778376 140733261551040 140041983622064 218213355339 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.100336 s]
/proc/loadavg: 0.49 0.11 0.04 3/194 21660
/proc/meminfo: memFree=29139100/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 4360 0 1 0 9 1 0 0 20 0 18 0 253319190 9787813888 5554 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 2389603 5554 2108 9 0 2380296 0
[pid=21660/tid=21661] ppid=21658 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) R 21658 21660 21484 0 -1 4202560 2408 0 1 0 6 1 0 0 20 0 18 0 253319190 9787813888 5557 33554432000 1073741824 1073778376 140733261551040 140041983622064 140041981488944 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558412
[startup+0.300219 s]
/proc/loadavg: 0.49 0.11 0.04 3/194 21660
/proc/meminfo: memFree=29139100/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=9558412 CPUtime=0.48 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 5600 0 1 0 47 1 0 0 20 0 18 0 253319190 9787813888 8437 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 2389603 8437 2215 9 0 2380296 0
[pid=21660/tid=21661] ppid=21658 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) R 21658 21660 21484 0 -1 4202560 2445 0 1 0 26 1 0 0 20 0 18 0 253319190 9787813888 8437 33554432000 1073741824 1073778376 140733261551040 140041983622064 140041855140543 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558412
[startup+0.700341 s]
/proc/loadavg: 0.49 0.11 0.04 3/194 21660
/proc/meminfo: memFree=29139100/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=9558412 CPUtime=1.24 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 9290 0 1 0 118 6 0 0 20 0 18 0 253319190 9787813888 40965 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 2389603 40965 2245 9 0 2380296 0
[pid=21660/tid=21661] ppid=21658 vsize=9558412 CPUtime=0.66 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) R 21658 21660 21484 0 -1 4202560 2508 0 1 0 61 5 0 0 20 0 18 0 253319190 9787813888 40965 33554432000 1073741824 1073778376 140733261551040 140041983622360 140041855061908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.24
Current children cumulated vsize (KiB) 9558412
[startup+1.50081 s]
/proc/loadavg: 0.49 0.11 0.04 3/212 21678
/proc/meminfo: memFree=28969304/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=9558412 CPUtime=2.19 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 9535 0 1 0 205 14 0 0 20 0 18 0 253319190 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 2389603 79492 2245 9 0 2380296 0
[pid=21660/tid=21661] ppid=21658 vsize=9558412 CPUtime=1.4 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) R 21658 21660 21484 0 -1 4202560 2570 0 1 0 132 8 0 0 20 0 18 0 253319190 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041983614992 218217112845 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21663] ppid=21658 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/21660/task/21663/stat : 21663 (java) S 21658 21660 21484 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041827072552 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21664] ppid=21658 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21660/task/21664/stat : 21664 (java) S 21658 21660 21484 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041826019752 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21665] ppid=21658 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21660/task/21665/stat : 21665 (java) S 21658 21660 21484 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041824966952 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21666] ppid=21658 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21660/task/21666/stat : 21666 (java) S 21658 21660 21484 0 -1 4202560 21 0 0 0 3 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041823914152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21667] ppid=21658 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21660/task/21667/stat : 21667 (java) S 21658 21660 21484 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041822862376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21668] ppid=21658 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21660/task/21668/stat : 21668 (java) S 21658 21660 21484 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041821809576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21669] ppid=21658 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21660/task/21669/stat : 21669 (java) S 21658 21660 21484 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041820756776 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21670] ppid=21658 vsize=9558412 CPUtime=0.01 cores=1,3,5,7
/proc/21660/task/21670/stat : 21670 (java) S 21658 21660 21484 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 18 0 253319191 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041819703976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21671] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21671/stat : 21671 (java) S 21658 21660 21484 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 253319192 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041807505896 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21672] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21672/stat : 21672 (java) S 21658 21660 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253319193 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041806451960 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21673] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21673/stat : 21673 (java) S 21658 21660 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253319193 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041805399048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21674] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21674/stat : 21674 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253319195 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041804347536 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21675] ppid=21658 vsize=9558412 CPUtime=0.25 cores=1,3,5,7
/proc/21660/task/21675/stat : 21675 (java) S 21658 21660 21484 0 -1 4202560 2663 0 0 0 25 0 0 0 20 0 18 0 253319195 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041803295672 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21676] ppid=21658 vsize=9558412 CPUtime=0.23 cores=1,3,5,7
/proc/21660/task/21676/stat : 21676 (java) S 21658 21660 21484 0 -1 4202560 2843 0 0 0 23 0 0 0 20 0 18 0 253319195 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041802242872 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21677] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21677/stat : 21677 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253319195 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041801190264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21678] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21678/stat : 21678 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253319195 9787813888 79492 33554432000 1073741824 1073778376 140733261551040 140041800137672 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 9558412
Solver just ended. Dumping a history of the last processes samples
[startup+1.9007 s]
/proc/loadavg: 0.49 0.11 0.04 3/212 21678
/proc/meminfo: memFree=28969304/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=9558412 CPUtime=2.76 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 10610 0 1 0 259 17 0 0 20 0 18 0 253319190 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 2389603 86594 2255 9 0 2380296 0
[pid=21660/tid=21661] ppid=21658 vsize=9558412 CPUtime=1.76 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) S 21658 21660 21484 0 -1 4202560 2578 0 1 0 168 8 0 0 20 0 18 0 253319190 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041983622552 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21663] ppid=21658 vsize=9558412 CPUtime=0.03 cores=1,3,5,7
/proc/21660/task/21663/stat : 21663 (java) R 21658 21660 21484 0 -1 4202560 15 0 0 0 3 0 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041827072728 140041986094785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21664] ppid=21658 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21660/task/21664/stat : 21664 (java) R 21658 21660 21484 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041826019928 140041987799215 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21665] ppid=21658 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/21660/task/21665/stat : 21665 (java) R 21658 21660 21484 0 -1 4202560 24 0 0 0 2 0 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041824966952 140041986094785 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21666] ppid=21658 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/21660/task/21666/stat : 21666 (java) R 21658 21660 21484 0 -1 4202560 50 0 0 0 5 1 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041823914152 140041987799303 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21667] ppid=21658 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/21660/task/21667/stat : 21667 (java) R 21658 21660 21484 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041822862552 140041986094785 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21668] ppid=21658 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/21660/task/21668/stat : 21668 (java) R 21658 21660 21484 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041821809752 140041987799215 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21669] ppid=21658 vsize=9558412 CPUtime=0.04 cores=1,3,5,7
/proc/21660/task/21669/stat : 21669 (java) R 21658 21660 21484 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041820756952 140041986094785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21670] ppid=21658 vsize=9558412 CPUtime=0.02 cores=1,3,5,7
/proc/21660/task/21670/stat : 21670 (java) R 21658 21660 21484 0 -1 4202560 18 0 0 0 2 0 0 0 20 0 18 0 253319191 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041819704152 140041986094785 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21671] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21671/stat : 21671 (java) S 21658 21660 21484 0 -1 4202560 197 0 0 0 0 0 0 0 20 0 18 0 253319192 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041807504776 218217100348 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21672] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21672/stat : 21672 (java) S 21658 21660 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253319193 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041806451960 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21673] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21673/stat : 21673 (java) S 21658 21660 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253319193 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041805399048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21674] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21674/stat : 21674 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253319195 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041804347536 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21675] ppid=21658 vsize=9558412 CPUtime=0.27 cores=1,3,5,7
/proc/21660/task/21675/stat : 21675 (java) S 21658 21660 21484 0 -1 4202560 2664 0 0 0 27 0 0 0 20 0 18 0 253319195 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041803285752 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21676] ppid=21658 vsize=9558412 CPUtime=0.3 cores=1,3,5,7
/proc/21660/task/21676/stat : 21676 (java) S 21658 21660 21484 0 -1 4202560 3829 0 0 0 30 0 0 0 20 0 18 0 253319195 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041802228968 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21677] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21677/stat : 21677 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253319195 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041801190264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21678] ppid=21658 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21678/stat : 21678 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253319195 9787813888 86594 33554432000 1073741824 1073778376 140733261551040 140041800137672 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 9558412
[startup+2.10067 s]
/proc/loadavg: 0.49 0.11 0.04 5/213 21679
/proc/meminfo: memFree=28788592/32873844 swapFree=7620/7620
[pid=21660] ppid=21658 vsize=9624976 CPUtime=3.29 cores=1,3,5,7
/proc/21660/stat : 21660 (java) S 21658 21660 21484 0 -1 4202496 14852 0 1 0 311 18 0 0 20 0 19 0 253319190 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140733261542176 218217087037 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21660/statm: 2406244 88371 2263 9 0 2396937 0
[pid=21660/tid=21661] ppid=21658 vsize=9624976 CPUtime=1.96 cores=1,3,5,7
/proc/21660/task/21661/stat : 21661 (java) R 21658 21660 21484 0 -1 4202560 2582 0 1 0 188 8 0 0 20 0 19 0 253319190 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041983615168 140041855450295 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21663] ppid=21658 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21660/task/21663/stat : 21663 (java) S 21658 21660 21484 0 -1 4202560 17 0 0 0 3 0 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041827072552 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21664] ppid=21658 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21660/task/21664/stat : 21664 (java) S 21658 21660 21484 0 -1 4202560 19 0 0 0 3 1 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041826019752 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21665] ppid=21658 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21660/task/21665/stat : 21665 (java) S 21658 21660 21484 0 -1 4202560 25 0 0 0 3 0 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041824966952 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21666] ppid=21658 vsize=9624976 CPUtime=0.07 cores=1,3,5,7
/proc/21660/task/21666/stat : 21666 (java) S 21658 21660 21484 0 -1 4202560 51 0 0 0 5 2 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041823914152 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21667] ppid=21658 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21660/task/21667/stat : 21667 (java) S 21658 21660 21484 0 -1 4202560 14 0 0 0 3 0 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041822862376 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21668] ppid=21658 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21660/task/21668/stat : 21668 (java) S 21658 21660 21484 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041821809576 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21669] ppid=21658 vsize=9624976 CPUtime=0.05 cores=1,3,5,7
/proc/21660/task/21669/stat : 21669 (java) S 21658 21660 21484 0 -1 4202560 20 0 0 0 3 2 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041820756776 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21670] ppid=21658 vsize=9624976 CPUtime=0.02 cores=1,3,5,7
/proc/21660/task/21670/stat : 21670 (java) S 21658 21660 21484 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 19 0 253319191 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041819703976 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21671] ppid=21658 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21671/stat : 21671 (java) S 21658 21660 21484 0 -1 4202560 198 0 0 0 0 0 0 0 20 0 19 0 253319192 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041807505896 218217101225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21672] ppid=21658 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21672/stat : 21672 (java) S 21658 21660 21484 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253319193 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041806451960 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21673] ppid=21658 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21673/stat : 21673 (java) S 21658 21660 21484 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253319193 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041805399048 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21674] ppid=21658 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21674/stat : 21674 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319195 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041804347536 218217109280 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21675] ppid=21658 vsize=9624976 CPUtime=0.47 cores=1,3,5,7
/proc/21660/task/21675/stat : 21675 (java) R 21658 21660 21484 0 -1 4202560 5302 0 0 0 47 0 0 0 20 0 19 0 253319195 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041803285752 140041986232911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21660/tid=21676] ppid=21658 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/21660/task/21676/stat : 21676 (java) R 21658 21660 21484 0 -1 4202560 5413 0 0 0 41 0 0 0 20 0 19 0 253319195 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041802242440 18446744073699066235 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21660/tid=21677] ppid=21658 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21677/stat : 21677 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319195 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041801190264 218217100348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21660/tid=21678] ppid=21658 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21678/stat : 21678 (java) S 21658 21660 21484 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253319195 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041800137672 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21660/tid=21679] ppid=21658 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21660/task/21679/stat : 21679 (java) S 21658 21660 21484 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253319389 9855975424 88371 33554432000 1073741824 1073778376 140733261551040 140041799083176 218217101225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.29
Current children cumulated vsize (KiB) 9624976
Child status: 10
Real time (s): 2.13982
CPU time (s): 3.39748
CPU user time (s): 3.15152
CPU system time (s): 0.245962
CPU usage (%): 158.774
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.15152
system time used= 0.245962
maximum resident set size= 354380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14871
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= 436
involuntary context switches= 201
runsolver used 0.008998 second user time and 0.018997 second system time
The end