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-3734559-1338691525/watcher-3734559-1338691525 -o /tmp/evaluation-result-3734559-1338691525/solver-3734559-1338691525 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3734559-1338691525.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: 3.44 3.66 3.75 4/197 5450
/proc/meminfo: memFree=28822596/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 1277 0 0 0 0 0 0 0 20 0 2 0 335277937 98570240 979 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 24065 979 745 9 0 16771 0
[pid=5450/tid=5451] ppid=5448 vsize=96260 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) R 5448 5450 621 0 -1 4202560 131 0 0 0 0 0 0 0 20 0 2 0 335277937 98570240 979 33554432000 1073741824 1073778376 140734572505488 140092493237800 260190324096 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0
[startup+0.035583 s]
/proc/loadavg: 3.44 3.66 3.75 4/197 5450
/proc/meminfo: memFree=28822596/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11253516 CPUtime=0.02 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 3732 0 1 0 1 1 0 0 20 0 13 0 335277937 11523600384 12095 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2813379 12098 1668 9 0 2804080 0
[pid=5450/tid=5451] ppid=5448 vsize=11253516 CPUtime=0.01 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) R 5448 5450 621 0 -1 4202560 2554 0 1 0 0 1 0 0 20 0 13 0 335277937 11523600384 12098 33554432000 1073741824 1073778376 140734572505488 140092493238512 140092497660720 0 4 0 16784584 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 11253516
[startup+0.100257 s]
/proc/loadavg: 3.44 3.66 3.75 4/197 5450
/proc/meminfo: memFree=28822596/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11586392 CPUtime=0.1 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 4810 0 1 0 9 1 0 0 20 0 18 0 335277937 11864465408 14177 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2896598 14177 2116 9 0 2887285 0
[pid=5450/tid=5451] ppid=5448 vsize=11586392 CPUtime=0.08 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) R 5448 5450 621 0 -1 4202560 2845 0 1 0 6 2 0 0 20 0 18 0 335277937 11864465408 14177 33554432000 1073741824 1073778376 140734572505488 140092493241264 260193707277 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) 11586392
[startup+0.300217 s]
/proc/loadavg: 3.44 3.66 3.75 4/197 5450
/proc/meminfo: memFree=28822596/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 7768 0 1 0 45 2 0 0 20 0 19 0 335277937 12137111552 17360 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2963162 17360 2234 9 0 2953849 0
[pid=5450/tid=5451] ppid=5448 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) S 5448 5450 621 0 -1 4202560 2872 0 1 0 19 2 0 0 20 0 19 0 335277937 12137111552 17360 33554432000 1073741824 1073778376 140734572505488 140092493243544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11852648
[startup+0.700218 s]
/proc/loadavg: 3.44 3.66 3.75 4/197 5450
/proc/meminfo: memFree=28822596/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11852648 CPUtime=0.47 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 7768 0 1 0 45 2 0 0 20 0 19 0 335277937 12137111552 17360 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2963162 17360 2234 9 0 2953849 0
[pid=5450/tid=5451] ppid=5448 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) S 5448 5450 621 0 -1 4202560 2872 0 1 0 19 2 0 0 20 0 19 0 335277937 12137111552 17360 33554432000 1073741824 1073778376 140734572505488 140092493243544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 11852648
[startup+1.5007 s]
/proc/loadavg: 3.44 3.66 3.75 2/216 5475
/proc/meminfo: memFree=28757224/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11852648 CPUtime=1.1 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 11081 0 1 0 105 5 0 0 20 0 19 0 335277937 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2963162 20977 2245 9 0 2953849 0
[pid=5450/tid=5451] ppid=5448 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) S 5448 5450 621 0 -1 4202560 2874 0 1 0 19 2 0 0 20 0 19 0 335277937 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092493243544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5453] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5453/stat : 5453 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092447996712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5454] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5454/stat : 5454 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092446943912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5455] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5455/stat : 5455 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092445891624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5456] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5456/stat : 5456 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092444838824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5457] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5457/stat : 5457 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092443785512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5458] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5458/stat : 5458 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092442732712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5459] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5459/stat : 5459 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092441680424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5460] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5460/stat : 5460 (java) S 5448 5450 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 335277938 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092440627624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5461] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5461/stat : 5461 (java) S 5448 5450 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 335277940 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092309150440 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5462] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5462/stat : 5462 (java) S 5448 5450 621 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 335277940 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092308096504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5463] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5463/stat : 5463 (java) S 5448 5450 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335277940 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092439574280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5464] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5464/stat : 5464 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277942 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092307045264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5465] ppid=5448 vsize=11852648 CPUtime=0.33 cores=1,3,5,7
/proc/5450/task/5465/stat : 5465 (java) S 5448 5450 621 0 -1 4202560 3540 0 0 0 33 0 0 0 20 0 19 0 335277942 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092305991864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5466] ppid=5448 vsize=11852648 CPUtime=0.29 cores=1,3,5,7
/proc/5450/task/5466/stat : 5466 (java) S 5448 5450 621 0 -1 4202560 3341 0 0 0 29 0 0 0 20 0 19 0 335277942 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140092304939064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5467] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5467/stat : 5467 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277942 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140091431316088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5468] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5468/stat : 5468 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277942 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140091430263496 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5472] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5472/stat : 5472 (java) S 5448 5450 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335277960 12137111552 20977 33554432000 1073741824 1073778376 140734572505488 140091426051624 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 11852648
[startup+3.10086 s]
/proc/loadavg: 3.33 3.63 3.74 6/219 5481
/proc/meminfo: memFree=28666916/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11852648 CPUtime=5.08 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 24628 0 1 0 496 12 0 0 20 0 22 0 335277937 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2963162 95670 2281 9 0 2953849 0
[pid=5450/tid=5451] ppid=5448 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) S 5448 5450 621 0 -1 4202560 2874 0 1 0 19 2 0 0 20 0 22 0 335277937 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092493243544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5453] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5453/stat : 5453 (java) S 5448 5450 621 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092447996712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5454] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5454/stat : 5454 (java) S 5448 5450 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092446943912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5455] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5455/stat : 5455 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092445891624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5456] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5456/stat : 5456 (java) S 5448 5450 621 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092444838824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5457] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5457/stat : 5457 (java) S 5448 5450 621 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092443785512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5458] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5458/stat : 5458 (java) S 5448 5450 621 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092442732712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5459] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5459/stat : 5459 (java) S 5448 5450 621 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092441680424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5460] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5460/stat : 5460 (java) S 5448 5450 621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092440627624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5461] ppid=5448 vsize=11852648 CPUtime=0.07 cores=1,3,5,7
/proc/5450/task/5461/stat : 5461 (java) S 5448 5450 621 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 22 0 335277940 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092309150440 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5462] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5462/stat : 5462 (java) S 5448 5450 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335277940 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092308096504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5463] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5463/stat : 5463 (java) S 5448 5450 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335277940 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092439574280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5464] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5464/stat : 5464 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092307045264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5465] ppid=5448 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/5450/task/5465/stat : 5465 (java) S 5448 5450 621 0 -1 4202560 7873 0 0 0 98 1 0 0 20 0 22 0 335277942 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092305991864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5466] ppid=5448 vsize=11852648 CPUtime=0.96 cores=1,3,5,7
/proc/5450/task/5466/stat : 5466 (java) S 5448 5450 621 0 -1 4202560 12340 0 0 0 94 2 0 0 20 0 22 0 335277942 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140092304939064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5467] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5467/stat : 5467 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140091431316088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5468] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5468/stat : 5468 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140091430263496 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5472] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5472/stat : 5472 (java) S 5448 5450 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335277960 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140091426051624 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5479] ppid=5448 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/5450/task/5479/stat : 5479 (java) R 5448 5450 621 0 -1 4202560 10 0 0 0 125 0 0 0 20 0 22 0 335278110 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140091427103680 140092320980877 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5480] ppid=5448 vsize=11852648 CPUtime=1.25 cores=1,3,5,7
/proc/5450/task/5480/stat : 5480 (java) R 5448 5450 621 0 -1 4202560 129 0 0 0 121 4 0 0 20 0 22 0 335278110 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140091429206856 140092321074897 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5481] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5481/stat : 5481 (java) S 5448 5450 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335278110 12137111552 95670 33554432000 1073741824 1073778376 140734572505488 140091428156328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 5.08
Current children cumulated vsize (KiB) 11852648
[startup+6.30082 s]
/proc/loadavg: 3.33 3.63 3.74 4/219 5481
/proc/meminfo: memFree=28357992/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11852648 CPUtime=11.37 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 24709 0 1 0 1123 14 0 0 20 0 22 0 335277937 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2963162 116802 2282 9 0 2953849 0
[pid=5450/tid=5451] ppid=5448 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) S 5448 5450 621 0 -1 4202560 2874 0 1 0 19 2 0 0 20 0 22 0 335277937 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092493243544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5453] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5453/stat : 5453 (java) S 5448 5450 621 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092447996712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5454] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5454/stat : 5454 (java) S 5448 5450 621 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092446943912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5455] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5455/stat : 5455 (java) S 5448 5450 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092445891624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5456] ppid=5448 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/5450/task/5456/stat : 5456 (java) S 5448 5450 621 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092444838824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5457] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5457/stat : 5457 (java) S 5448 5450 621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092443785512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5458] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5458/stat : 5458 (java) S 5448 5450 621 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092442732712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5459] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5459/stat : 5459 (java) S 5448 5450 621 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092441680424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5460] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5460/stat : 5460 (java) S 5448 5450 621 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 335277938 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092440627624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5461] ppid=5448 vsize=11852648 CPUtime=0.28 cores=1,3,5,7
/proc/5450/task/5461/stat : 5461 (java) R 5448 5450 621 0 -1 4202560 38 0 0 0 28 0 0 0 20 0 22 0 335277940 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092309149296 140092500097192 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5462] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5462/stat : 5462 (java) S 5448 5450 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335277940 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092308096504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5463] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5463/stat : 5463 (java) S 5448 5450 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335277940 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092439574280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5464] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5464/stat : 5464 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092307045264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5465] ppid=5448 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/5450/task/5465/stat : 5465 (java) S 5448 5450 621 0 -1 4202560 7873 0 0 0 102 1 0 0 20 0 22 0 335277942 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092305991864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5466] ppid=5448 vsize=11852648 CPUtime=0.99 cores=1,3,5,7
/proc/5450/task/5466/stat : 5466 (java) S 5448 5450 621 0 -1 4202560 12340 0 0 0 97 2 0 0 20 0 22 0 335277942 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140092304939064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5467] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5467/stat : 5467 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140091431316088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5468] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5468/stat : 5468 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140091430263496 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5472] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5472/stat : 5472 (java) S 5448 5450 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335277960 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140091426051624 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5479] ppid=5448 vsize=11852648 CPUtime=4.2 cores=1,3,5,7
/proc/5450/task/5479/stat : 5479 (java) S 5448 5450 621 0 -1 4202560 13 0 0 0 420 0 0 0 20 0 22 0 335278110 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140091427103800 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5480] ppid=5448 vsize=11852648 CPUtime=4.21 cores=1,3,5,7
/proc/5450/task/5480/stat : 5480 (java) S 5448 5450 621 0 -1 4202560 177 0 0 0 416 5 0 0 20 0 22 0 335278110 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140091429208696 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5481] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5481/stat : 5481 (java) S 5448 5450 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335278110 12137111552 116802 33554432000 1073741824 1073778376 140734572505488 140091428156328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 11.37
Current children cumulated vsize (KiB) 11852648
[startup+12.7008 s]
/proc/loadavg: 3.35 3.63 3.74 5/219 5481
/proc/meminfo: memFree=28302248/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11852648 CPUtime=23.66 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 24781 0 1 0 2351 15 0 0 20 0 22 0 335277937 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2963162 128104 2282 9 0 2953849 0
[pid=5450/tid=5451] ppid=5448 vsize=11852648 CPUtime=0.21 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) S 5448 5450 621 0 -1 4202560 2874 0 1 0 19 2 0 0 20 0 22 0 335277937 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092493243544 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5453] ppid=5448 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/5450/task/5453/stat : 5453 (java) S 5448 5450 621 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092447996712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5454] ppid=5448 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/5450/task/5454/stat : 5454 (java) S 5448 5450 621 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092446943912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5455] ppid=5448 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/5450/task/5455/stat : 5455 (java) S 5448 5450 621 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092445891624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5456] ppid=5448 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/5450/task/5456/stat : 5456 (java) S 5448 5450 621 0 -1 4202560 17 0 0 0 2 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092444838824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5457] ppid=5448 vsize=11852648 CPUtime=0.01 cores=1,3,5,7
/proc/5450/task/5457/stat : 5457 (java) S 5448 5450 621 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092443785512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5458] ppid=5448 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/5450/task/5458/stat : 5458 (java) S 5448 5450 621 0 -1 4202560 15 0 0 0 2 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092442732712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5459] ppid=5448 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/5450/task/5459/stat : 5459 (java) S 5448 5450 621 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092441680424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5460] ppid=5448 vsize=11852648 CPUtime=0.02 cores=1,3,5,7
/proc/5450/task/5460/stat : 5460 (java) S 5448 5450 621 0 -1 4202560 13 0 0 0 2 0 0 0 20 0 22 0 335277938 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092440627624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5461] ppid=5448 vsize=11852648 CPUtime=0.83 cores=1,3,5,7
/proc/5450/task/5461/stat : 5461 (java) S 5448 5450 621 0 -1 4202560 42 0 0 0 81 2 0 0 20 0 22 0 335277940 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092309150440 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5462] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5462/stat : 5462 (java) S 5448 5450 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 335277940 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092308096504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5463] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5463/stat : 5463 (java) S 5448 5450 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 335277940 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092439574280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5464] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5464/stat : 5464 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092307045264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5465] ppid=5448 vsize=11852648 CPUtime=1.03 cores=1,3,5,7
/proc/5450/task/5465/stat : 5465 (java) S 5448 5450 621 0 -1 4202560 7873 0 0 0 102 1 0 0 20 0 22 0 335277942 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092305991864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5466] ppid=5448 vsize=11852648 CPUtime=1 cores=1,3,5,7
/proc/5450/task/5466/stat : 5466 (java) S 5448 5450 621 0 -1 4202560 12340 0 0 0 98 2 0 0 20 0 22 0 335277942 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140092304939064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5467] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5467/stat : 5467 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140091431316088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5468] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5468/stat : 5468 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 335277942 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140091430263496 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5472] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5472/stat : 5472 (java) S 5448 5450 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 335277960 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140091426051624 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5479] ppid=5448 vsize=11852648 CPUtime=9.99 cores=1,3,5,7
/proc/5450/task/5479/stat : 5479 (java) R 5448 5450 621 0 -1 4202560 23 0 0 0 999 0 0 0 20 0 22 0 335278110 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140091427103800 140092321056252 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5480] ppid=5448 vsize=11852648 CPUtime=10 cores=1,3,5,7
/proc/5450/task/5480/stat : 5480 (java) R 5448 5450 621 0 -1 4202560 197 0 0 0 995 5 0 0 20 0 22 0 335278110 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140091429207224 140092321225857 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5481] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5481/stat : 5481 (java) S 5448 5450 621 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 335278110 12137111552 128104 33554432000 1073741824 1073778376 140734572505488 140091428156328 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 23.66
Current children cumulated vsize (KiB) 11852648
[startup+25.5007 s]
/proc/loadavg: 3.45 3.64 3.74 5/219 5481
/proc/meminfo: memFree=28259040/32873648 swapFree=7116/7116
[pid=5450] ppid=5448 vsize=11852648 CPUtime=47.78 cores=1,3,5,7
/proc/5450/stat : 5450 (java) S 5448 5450 621 0 -1 4202496 24863 0 1 0 4759 19 0 0 20 0 19 0 335277937 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140734572496624 260193681469 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/5450/statm: 2963162 135814 2282 9 0 2953849 0
[pid=5450/tid=5451] ppid=5448 vsize=11852648 CPUtime=0.3 cores=1,3,5,7
/proc/5450/task/5451/stat : 5451 (java) R 5448 5450 621 0 -1 4202560 2879 0 1 0 28 2 0 0 20 0 19 0 335277937 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092493243048 140092320782268 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5453] ppid=5448 vsize=11852648 CPUtime=0.07 cores=1,3,5,7
/proc/5450/task/5453/stat : 5453 (java) S 5448 5450 621 0 -1 4202560 21 0 0 0 7 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092447996712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5454] ppid=5448 vsize=11852648 CPUtime=0.07 cores=1,3,5,7
/proc/5450/task/5454/stat : 5454 (java) S 5448 5450 621 0 -1 4202560 13 0 0 0 7 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092446943912 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5455] ppid=5448 vsize=11852648 CPUtime=0.05 cores=1,3,5,7
/proc/5450/task/5455/stat : 5455 (java) S 5448 5450 621 0 -1 4202560 15 0 0 0 5 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092445891624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5456] ppid=5448 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/5450/task/5456/stat : 5456 (java) S 5448 5450 621 0 -1 4202560 25 0 0 0 8 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092444838824 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5457] ppid=5448 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/5450/task/5457/stat : 5457 (java) S 5448 5450 621 0 -1 4202560 15 0 0 0 8 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092443785512 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5458] ppid=5448 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/5450/task/5458/stat : 5458 (java) S 5448 5450 621 0 -1 4202560 23 0 0 0 8 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092442732712 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5459] ppid=5448 vsize=11852648 CPUtime=0.08 cores=1,3,5,7
/proc/5450/task/5459/stat : 5459 (java) S 5448 5450 621 0 -1 4202560 25 0 0 0 8 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092441680424 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5460] ppid=5448 vsize=11852648 CPUtime=0.1 cores=1,3,5,7
/proc/5450/task/5460/stat : 5460 (java) S 5448 5450 621 0 -1 4202560 18 0 0 0 10 0 0 0 20 0 19 0 335277938 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092440627624 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5461] ppid=5448 vsize=11852648 CPUtime=2.04 cores=1,3,5,7
/proc/5450/task/5461/stat : 5461 (java) S 5448 5450 621 0 -1 4202560 46 0 0 0 202 2 0 0 20 0 19 0 335277940 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092309150440 260193695657 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5450/tid=5462] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5462/stat : 5462 (java) S 5448 5450 621 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 335277940 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092308096504 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5463] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5463/stat : 5463 (java) S 5448 5450 621 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 335277940 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092439574280 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5464] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5464/stat : 5464 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277942 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092307045264 260193703712 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5465] ppid=5448 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/5450/task/5465/stat : 5465 (java) S 5448 5450 621 0 -1 4202560 7873 0 0 0 104 1 0 0 20 0 19 0 335277942 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092305991864 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5466] ppid=5448 vsize=11852648 CPUtime=1.05 cores=1,3,5,7
/proc/5450/task/5466/stat : 5466 (java) S 5448 5450 621 0 -1 4202560 12340 0 0 0 103 2 0 0 20 0 19 0 335277942 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140092304939064 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5450/tid=5467] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5467/stat : 5467 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277942 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140091431316088 260193694780 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5450/tid=5468] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5468/stat : 5468 (java) S 5448 5450 621 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 335277942 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140091430263496 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5450/tid=5472] ppid=5448 vsize=11852648 CPUtime=0 cores=1,3,5,7
/proc/5450/task/5472/stat : 5472 (java) S 5448 5450 621 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 335277960 12137111552 135814 33554432000 1073741824 1073778376 140734572505488 140091426051624 260193695657 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 47.78
Current children cumulated vsize (KiB) 11852648
Solver just ended. Dumping a history of the last processes samples
Child status: 30
Real time (s): 25.5953
CPU time (s): 47.9457
CPU user time (s): 47.6538
CPU system time (s): 0.291955
CPU usage (%): 187.322
Max. virtual memory (cumulated for all children) (KiB): 11852648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 47.6538
system time used= 0.291955
maximum resident set size= 543312
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24872
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= 2141
involuntary context switches= 1798
runsolver used 0.056991 second user time and 0.147977 second system time
The end