runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4247885-1500739299/watcher-4247885-1500739299 -o /tmp/evaluation-result-4247885-1500739299/solver-4247885-1500739299 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22997 --watchdog 2560 bin/concrete HOME/instance-4247885-1500739299.xml
pid=31760
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.36 1.37 1.42 3/262 31763
/proc/meminfo: memFree=30742172/32770624 swapFree=5700/383772
[pid=31763] ppid=31760 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (bash) S 31760 31763 22965 0 -1 4202496 684 1532 0 0 0 0 0 0 20 0 1 0 9197405 9736192 350 33554432000 4194304 5098028 140725214531824 140725214529464 139694522375168 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 8056832 140725214532878 140725214532963 140725214532963 140725214535662 0
/proc/31763/statm: 2377 350 278 221 0 86 0
[startup+0.100145 s]
/proc/loadavg: 1.36 1.37 1.42 3/262 31763
/proc/meminfo: memFree=30742172/32770624 swapFree=5700/383772
[pid=31763] ppid=31760 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (bash) S 31760 31763 22965 0 -1 4202496 878 6421 0 0 0 0 0 1 20 0 1 0 9197405 9871360 377 33554432000 4194304 5098028 140725214531824 140725214525832 139694522375168 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 8056832 140725214532878 140725214532963 140725214532963 140725214535662 0
/proc/31763/statm: 2410 377 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200328 s]
/proc/loadavg: 1.36 1.37 1.42 3/262 31763
/proc/meminfo: memFree=30742172/32770624 swapFree=5700/383772
[pid=31763] ppid=31760 vsize=10302732 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 4552 12398 0 0 3 1 8 3 20 0 11 0 9197405 10549997568 4936 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16784584 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2575683 4936 2013 1 0 2564121 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 10302732
[startup+0.300374 s]
/proc/loadavg: 1.36 1.37 1.42 3/262 31763
/proc/meminfo: memFree=30742172/32770624 swapFree=5700/383772
[pid=31763] ppid=31760 vsize=10902292 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 6542 12398 0 0 17 1 8 3 20 0 20 0 9197405 11163947008 7259 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2725573 7259 2937 1 0 2713890 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10902292
[startup+0.700284 s]
/proc/loadavg: 1.36 1.37 1.42 3/262 31763
/proc/meminfo: memFree=30742172/32770624 swapFree=5700/383772
[pid=31763] ppid=31760 vsize=10902720 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 12019 12398 0 0 68 4 8 3 20 0 20 0 9197405 11164385280 14791 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2725680 14791 3100 1 0 2713890 0
Current children cumulated CPU time (s) 0.83
Current children cumulated vsize (KiB) 10902720
[startup+1.50075 s]
/proc/loadavg: 1.36 1.37 1.42 3/282 31836
/proc/meminfo: memFree=30639232/32770624 swapFree=5700/383852
[pid=31763] ppid=31760 vsize=10913344 CPUtime=2.16 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 27292 12398 0 0 193 12 8 3 20 0 20 0 9197405 11175264256 43964 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2728336 43964 3403 1 0 2716450 0
[pid=31763/tid=31818] ppid=31760 vsize=10913344 CPUtime=1.38 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31818/stat : 31818 (java) R 31760 31763 22965 0 -1 4202560 19312 12398 0 0 121 6 8 3 20 0 20 0 9197422 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214632408576 140214612260190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31819] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31819/stat : 31819 (java) S 31760 31763 22965 0 -1 1077944384 133 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214580800272 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31820] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31820/stat : 31820 (java) S 31760 31763 22965 0 -1 1077944384 60 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214579747728 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31821] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31821/stat : 31821 (java) S 31760 31763 22965 0 -1 1077944384 23 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214578695184 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31822] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31822/stat : 31822 (java) S 31760 31763 22965 0 -1 1077944384 18 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214577642640 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31823] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31823/stat : 31823 (java) S 31760 31763 22965 0 -1 1077944384 11 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214230767888 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31824] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31824/stat : 31824 (java) S 31760 31763 22965 0 -1 1077944384 13 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214229715344 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31825] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31825/stat : 31825 (java) S 31760 31763 22965 0 -1 1077944384 35 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214228662800 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31826] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31826/stat : 31826 (java) S 31760 31763 22965 0 -1 1077944384 26 12398 0 0 0 0 8 3 20 0 20 0 9197423 11175264256 43964 33554432000 4194304 4196468 140725569472528 140214227610256 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31827] ppid=31760 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31827/stat : 31827 (java) S 31760 31763 22965 0 -1 1077944384 1573 12398 0 0 1 0 8 3 20 0 20 0 9197425 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213967890928 140214628190850 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31828] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31828/stat : 31828 (java) S 31760 31763 22965 0 -1 1077944384 55 12398 0 0 0 0 8 3 20 0 20 0 9197426 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213966837216 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31829] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31829/stat : 31829 (java) S 31760 31763 22965 0 -1 1077944384 43 12398 0 0 0 0 8 3 20 0 20 0 9197426 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213965784560 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31830] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31830/stat : 31830 (java) S 31760 31763 22965 0 -1 1077944384 1 12398 0 0 0 0 8 3 20 0 20 0 9197430 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213964733136 140214628198299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31831] ppid=31760 vsize=10913344 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31831/stat : 31831 (java) S 31760 31763 22965 0 -1 1077944384 1587 12398 0 0 14 0 8 3 20 0 20 0 9197430 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213963679728 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31832] ppid=31760 vsize=10913344 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31832/stat : 31832 (java) R 31760 31763 22965 0 -1 4202560 615 12398 0 0 13 0 8 3 20 0 20 0 9197431 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213962627480 140214628180377 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31833] ppid=31760 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31833/stat : 31833 (java) S 31760 31763 22965 0 -1 1077944384 335 12398 0 0 9 0 8 3 20 0 20 0 9197431 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213961574640 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31834] ppid=31760 vsize=10913344 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31834/stat : 31834 (java) S 31760 31763 22965 0 -1 1077944384 1319 12398 0 0 25 0 8 3 20 0 20 0 9197431 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213960522096 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31835] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31835/stat : 31835 (java) S 31760 31763 22965 0 -1 1077944384 3 12398 0 0 0 0 8 3 20 0 20 0 9197431 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213959469792 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31836] ppid=31760 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31836/stat : 31836 (java) S 31760 31763 22965 0 -1 1077944384 3 12398 0 0 0 0 8 3 20 0 20 0 9197431 11175264256 43964 33554432000 4194304 4196468 140725569472528 140213958417328 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 10913344
[startup+3.10082 s]
/proc/loadavg: 1.36 1.37 1.42 3/282 31836
/proc/meminfo: memFree=30564848/32770624 swapFree=5700/383852
[pid=31763] ppid=31760 vsize=10925820 CPUtime=6.74 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 47585 12398 0 0 645 18 8 3 20 0 20 0 9197405 11188039680 63780 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2731455 63780 3474 1 0 2719010 0
[pid=31763/tid=31818] ppid=31760 vsize=10925820 CPUtime=2.97 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31818/stat : 31818 (java) R 31760 31763 22965 0 -1 4202560 32320 12398 0 0 276 10 8 3 20 0 20 0 9197422 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214632373048 140214612260190 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31819] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31819/stat : 31819 (java) S 31760 31763 22965 0 -1 1077944384 133 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214580800272 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31820] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31820/stat : 31820 (java) S 31760 31763 22965 0 -1 1077944384 60 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214579747728 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31821] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31821/stat : 31821 (java) S 31760 31763 22965 0 -1 1077944384 23 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214578695184 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31822] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31822/stat : 31822 (java) S 31760 31763 22965 0 -1 1077944384 18 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214577642640 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31823] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31823/stat : 31823 (java) S 31760 31763 22965 0 -1 1077944384 11 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214230767888 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31824] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31824/stat : 31824 (java) S 31760 31763 22965 0 -1 1077944384 13 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214229715344 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31825] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31825/stat : 31825 (java) S 31760 31763 22965 0 -1 1077944384 35 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214228662800 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31826] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31826/stat : 31826 (java) S 31760 31763 22965 0 -1 1077944384 26 12398 0 0 0 0 8 3 20 0 20 0 9197423 11188039680 63780 33554432000 4194304 4196468 140725569472528 140214227610256 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31827] ppid=31760 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31827/stat : 31827 (java) S 31760 31763 22965 0 -1 1077944384 2052 12398 0 0 2 0 8 3 20 0 20 0 9197425 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213967890928 140214628190850 0 0 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31828] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31828/stat : 31828 (java) S 31760 31763 22965 0 -1 1077944384 55 12398 0 0 0 0 8 3 20 0 20 0 9197426 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213966837216 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31829] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31829/stat : 31829 (java) S 31760 31763 22965 0 -1 1077944384 43 12398 0 0 0 0 8 3 20 0 20 0 9197426 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213965784560 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31830] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31830/stat : 31830 (java) S 31760 31763 22965 0 -1 1077944384 1 12398 0 0 0 0 8 3 20 0 20 0 9197430 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213964733136 140214628198299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31831] ppid=31760 vsize=10925820 CPUtime=1.05 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31831/stat : 31831 (java) R 31760 31763 22965 0 -1 4202560 3038 12398 0 0 93 1 8 3 20 0 20 0 9197430 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213963679728 140214628191638 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31832] ppid=31760 vsize=10925820 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31832/stat : 31832 (java) S 31760 31763 22965 0 -1 1077944384 1820 12398 0 0 82 0 8 3 20 0 20 0 9197431 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213962627184 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31833] ppid=31760 vsize=10925820 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31833/stat : 31833 (java) S 31760 31763 22965 0 -1 1077944384 1964 12398 0 0 79 1 8 3 20 0 20 0 9197431 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213961574640 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31834] ppid=31760 vsize=10925820 CPUtime=1.14 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31834/stat : 31834 (java) S 31760 31763 22965 0 -1 1077944384 3837 12398 0 0 102 1 8 3 20 0 20 0 9197431 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213960522096 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31835] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31835/stat : 31835 (java) S 31760 31763 22965 0 -1 1077944384 3 12398 0 0 0 0 8 3 20 0 20 0 9197431 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213959469792 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31836] ppid=31760 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31836/stat : 31836 (java) S 31760 31763 22965 0 -1 1077944384 5 12398 0 0 0 0 8 3 20 0 20 0 9197431 11188039680 63780 33554432000 4194304 4196468 140725569472528 140213958417328 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10925820
[startup+6.30111 s]
/proc/loadavg: 1.65 1.43 1.44 7/282 31836
/proc/meminfo: memFree=30421888/32770624 swapFree=5700/383860
[pid=31763] ppid=31760 vsize=10997500 CPUtime=19.01 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 68093 12398 0 0 1858 32 8 3 20 0 20 0 9197405 11261440000 96736 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2749375 96736 3494 1 0 2736930 0
[pid=31763/tid=31818] ppid=31760 vsize=10997500 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31818/stat : 31818 (java) R 31760 31763 22965 0 -1 4202560 42170 12398 0 0 584 12 8 3 20 0 20 0 9197422 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214632413720 140214274633305 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31819] ppid=31760 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31819/stat : 31819 (java) S 31760 31763 22965 0 -1 1077944384 219 12398 0 0 3 1 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214580800272 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31820] ppid=31760 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31820/stat : 31820 (java) S 31760 31763 22965 0 -1 1077944384 80 12398 0 0 4 1 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214579747728 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31821] ppid=31760 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31821/stat : 31821 (java) S 31760 31763 22965 0 -1 1077944384 45 12398 0 0 4 1 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214578695184 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31822] ppid=31760 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31822/stat : 31822 (java) S 31760 31763 22965 0 -1 1077944384 48 12398 0 0 3 1 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214577642640 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31823] ppid=31760 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31823/stat : 31823 (java) S 31760 31763 22965 0 -1 1077944384 47 12398 0 0 3 1 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214230767888 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31824] ppid=31760 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31824/stat : 31824 (java) S 31760 31763 22965 0 -1 1077944384 48 12398 0 0 4 1 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214229715344 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31825] ppid=31760 vsize=10997500 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31825/stat : 31825 (java) S 31760 31763 22965 0 -1 1077944384 53 12398 0 0 4 0 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214228662800 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31826] ppid=31760 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31826/stat : 31826 (java) S 31760 31763 22965 0 -1 1077944384 55 12398 0 0 4 1 8 3 20 0 20 0 9197423 11261440000 96736 33554432000 4194304 4196468 140725569472528 140214227610256 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31827] ppid=31760 vsize=10997500 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31827/stat : 31827 (java) S 31760 31763 22965 0 -1 1077944384 2725 12398 0 0 5 0 8 3 20 0 20 0 9197425 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213967890928 140214628190850 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31828] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31828/stat : 31828 (java) S 31760 31763 22965 0 -1 1077944384 56 12398 0 0 0 0 8 3 20 0 20 0 9197426 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213966837216 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31829] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31829/stat : 31829 (java) S 31760 31763 22965 0 -1 1077944384 43 12398 0 0 0 0 8 3 20 0 20 0 9197426 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213965784576 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31830] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31830/stat : 31830 (java) S 31760 31763 22965 0 -1 1077944384 1 12398 0 0 0 0 8 3 20 0 20 0 9197430 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213964733136 140214628198299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31831] ppid=31760 vsize=10997500 CPUtime=3.6 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31831/stat : 31831 (java) R 31760 31763 22965 0 -1 4202560 4979 12398 0 0 348 1 8 3 20 0 20 0 9197430 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213963665808 140214611567264 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31832] ppid=31760 vsize=10997500 CPUtime=3.52 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31832/stat : 31832 (java) R 31760 31763 22965 0 -1 4202560 4829 12398 0 0 340 1 8 3 20 0 20 0 9197431 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213962613064 140214613294737 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31833] ppid=31760 vsize=10997500 CPUtime=3.42 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31833/stat : 31833 (java) R 31760 31763 22965 0 -1 4202560 4047 12398 0 0 330 1 8 3 20 0 20 0 9197431 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213961558208 140214608925049 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31834] ppid=31760 vsize=10997500 CPUtime=2.27 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31834/stat : 31834 (java) R 31760 31763 22965 0 -1 4202560 6508 12398 0 0 213 3 8 3 20 0 20 0 9197431 11261440000 96736 33554432000 4194304 4196468 140725569472528 140213960522096 140214628201050 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31835] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
################
# More data... #
################
[pid=31763/tid=31832] ppid=31760 vsize=10997500 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31832/stat : 31832 (java) S 31760 31763 22965 0 -1 1077944384 13325 12398 0 0 423 2 8 3 20 0 20 0 9197431 11261440000 134975 33554432000 4194304 4196468 140725569472528 140213962627184 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31833] ppid=31760 vsize=10997500 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31833/stat : 31833 (java) S 31760 31763 22965 0 -1 1077944384 14086 12398 0 0 479 2 8 3 20 0 20 0 9197431 11261440000 134975 33554432000 4194304 4196468 140725569472528 140213961574640 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31834] ppid=31760 vsize=10997500 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31834/stat : 31834 (java) S 31760 31763 22965 0 -1 1077944384 18354 12398 0 0 234 4 8 3 20 0 20 0 9197431 11261440000 134975 33554432000 4194304 4196468 140725569472528 140213960522096 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31835] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31835/stat : 31835 (java) S 31760 31763 22965 0 -1 1077944384 3 12398 0 0 0 0 8 3 20 0 20 0 9197431 11261440000 134975 33554432000 4194304 4196468 140725569472528 140213959469792 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31836] ppid=31760 vsize=10997500 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31836/stat : 31836 (java) S 31760 31763 22965 0 -1 1077944384 2930 12398 0 0 21 27 8 3 20 0 20 0 9197431 11261440000 134975 33554432000 4194304 4196468 140725569472528 140213958417328 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
Current children cumulated CPU time (s) 2289.57
Current children cumulated vsize (KiB) 10997500
[startup+2322.3 s]
/proc/loadavg: 1.62 1.61 1.59 3/283 32047
/proc/meminfo: memFree=30338404/32770624 swapFree=5700/385100
[pid=31763] ppid=31760 vsize=10997500 CPUtime=2349.86 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 169924 12398 0 0 234839 136 8 3 20 0 20 0 9197405 11261440000 134991 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2749375 134991 3517 1 0 2736930 0
[pid=31763/tid=31818] ppid=31760 vsize=10997500 CPUtime=2318.21 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31818/stat : 31818 (java) S 31760 31763 22965 0 -1 1077944384 62376 12398 0 0 231790 20 8 3 20 0 20 0 9197422 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214632414032 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31819] ppid=31760 vsize=10997500 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31819/stat : 31819 (java) R 31760 31763 22965 0 -1 4202560 1944 12398 0 0 160 9 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214580800392 140214620807911 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31820] ppid=31760 vsize=10997500 CPUtime=1.83 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31820/stat : 31820 (java) R 31760 31763 22965 0 -1 4202560 4570 12398 0 0 163 9 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214579747848 140214620807911 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31821] ppid=31760 vsize=10997500 CPUtime=1.81 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31821/stat : 31821 (java) R 31760 31763 22965 0 -1 4202560 2002 12398 0 0 162 8 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214578695304 140214620807911 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31822] ppid=31760 vsize=10997500 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31822/stat : 31822 (java) R 31760 31763 22965 0 -1 4202560 7926 12398 0 0 163 8 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214577642760 140214620807911 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31823] ppid=31760 vsize=10997500 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31823/stat : 31823 (java) R 31760 31763 22965 0 -1 4202560 6597 12398 0 0 163 10 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214230768008 140214620807911 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31824] ppid=31760 vsize=10997500 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31824/stat : 31824 (java) R 31760 31763 22965 0 -1 1077944384 2438 12398 0 0 158 11 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214229715344 140214628189909 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31825] ppid=31760 vsize=10997500 CPUtime=1.82 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31825/stat : 31825 (java) R 31760 31763 22965 0 -1 4202560 1875 12398 0 0 162 9 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214228662920 140214620807911 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31826] ppid=31760 vsize=10997500 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31826/stat : 31826 (java) R 31760 31763 22965 0 -1 4202560 3704 12398 0 0 168 10 8 3 20 0 20 0 9197423 11261440000 134991 33554432000 4194304 4196468 140725569472528 140214227610376 140214620807911 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31827] ppid=31760 vsize=10997500 CPUtime=1.48 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31827/stat : 31827 (java) S 31760 31763 22965 0 -1 1077944384 10676 12398 0 0 127 10 8 3 20 0 20 0 9197425 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213967889440 140214628189909 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31828] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31828/stat : 31828 (java) S 31760 31763 22965 0 -1 1077944384 56 12398 0 0 0 0 8 3 20 0 20 0 9197426 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213966837216 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31829] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31829/stat : 31829 (java) S 31760 31763 22965 0 -1 1077944384 43 12398 0 0 0 0 8 3 20 0 20 0 9197426 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213965784576 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31830] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31830/stat : 31830 (java) S 31760 31763 22965 0 -1 1077944384 1 12398 0 0 0 0 8 3 20 0 20 0 9197430 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213964733136 140214628198299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31831] ppid=31760 vsize=10997500 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31831/stat : 31831 (java) S 31760 31763 22965 0 -1 1077944384 14875 12398 0 0 443 3 8 3 20 0 20 0 9197430 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213963679728 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31832] ppid=31760 vsize=10997500 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31832/stat : 31832 (java) S 31760 31763 22965 0 -1 1077944384 13325 12398 0 0 423 2 8 3 20 0 20 0 9197431 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213962627184 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31833] ppid=31760 vsize=10997500 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31833/stat : 31833 (java) S 31760 31763 22965 0 -1 1077944384 14086 12398 0 0 479 2 8 3 20 0 20 0 9197431 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213961574640 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31834] ppid=31760 vsize=10997500 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31834/stat : 31834 (java) S 31760 31763 22965 0 -1 1077944384 18354 12398 0 0 234 4 8 3 20 0 20 0 9197431 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213960522096 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31835] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31835/stat : 31835 (java) S 31760 31763 22965 0 -1 1077944384 3 12398 0 0 0 0 8 3 20 0 20 0 9197431 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213959469792 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31836] ppid=31760 vsize=10997500 CPUtime=0.61 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31836/stat : 31836 (java) S 31760 31763 22965 0 -1 1077944384 2945 12398 0 0 22 28 8 3 20 0 20 0 9197431 11261440000 134991 33554432000 4194304 4196468 140725569472528 140213958417328 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
Current children cumulated CPU time (s) 2349.86
Current children cumulated vsize (KiB) 10997500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2372.2 s]
/proc/loadavg: 1.68 1.62 1.60 3/282 32047
/proc/meminfo: memFree=30343048/32770624 swapFree=5700/385164
[pid=31763] ppid=31760 vsize=10997500 CPUtime=2400.02 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 170764 12398 0 0 239854 137 8 3 20 0 20 0 9197405 11261440000 135002 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2749375 135002 3517 1 0 2736930 0
[pid=31763/tid=31818] ppid=31760 vsize=10997500 CPUtime=2368.01 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31818/stat : 31818 (java) R 31760 31763 22965 0 -1 4202560 62596 12398 0 0 236770 20 8 3 20 0 20 0 9197422 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214632414064 140214269640171 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31819] ppid=31760 vsize=10997500 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31819/stat : 31819 (java) S 31760 31763 22965 0 -1 1077944384 1974 12398 0 0 165 10 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214580800272 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31820] ppid=31760 vsize=10997500 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31820/stat : 31820 (java) S 31760 31763 22965 0 -1 1077944384 4581 12398 0 0 166 9 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214579747728 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31821] ppid=31760 vsize=10997500 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31821/stat : 31821 (java) S 31760 31763 22965 0 -1 1077944384 2060 12398 0 0 165 8 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214578695184 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31822] ppid=31760 vsize=10997500 CPUtime=1.86 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31822/stat : 31822 (java) S 31760 31763 22965 0 -1 1077944384 7936 12398 0 0 167 8 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214577642640 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31823] ppid=31760 vsize=10997500 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31823/stat : 31823 (java) S 31760 31763 22965 0 -1 1077944384 6859 12398 0 0 166 10 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214230767888 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31824] ppid=31760 vsize=10997500 CPUtime=1.84 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31824/stat : 31824 (java) S 31760 31763 22965 0 -1 1077944384 2448 12398 0 0 162 11 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214229715344 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31825] ppid=31760 vsize=10997500 CPUtime=1.87 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31825/stat : 31825 (java) S 31760 31763 22965 0 -1 1077944384 1883 12398 0 0 166 10 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214228662800 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31826] ppid=31760 vsize=10997500 CPUtime=1.92 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31826/stat : 31826 (java) S 31760 31763 22965 0 -1 1077944384 3721 12398 0 0 171 10 8 3 20 0 20 0 9197423 11261440000 135002 33554432000 4194304 4196468 140725569472528 140214227610256 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31827] ppid=31760 vsize=10997500 CPUtime=1.51 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31827/stat : 31827 (java) S 31760 31763 22965 0 -1 1077944384 10861 12398 0 0 130 10 8 3 20 0 20 0 9197425 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213967890928 140214628190850 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31828] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31828/stat : 31828 (java) S 31760 31763 22965 0 -1 1077944384 56 12398 0 0 0 0 8 3 20 0 20 0 9197426 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213966837216 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31829] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31829/stat : 31829 (java) S 31760 31763 22965 0 -1 1077944384 43 12398 0 0 0 0 8 3 20 0 20 0 9197426 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213965784576 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31830] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31830/stat : 31830 (java) S 31760 31763 22965 0 -1 1077944384 1 12398 0 0 0 0 8 3 20 0 20 0 9197430 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213964733136 140214628198299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31831] ppid=31760 vsize=10997500 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31831/stat : 31831 (java) S 31760 31763 22965 0 -1 1077944384 14877 12398 0 0 443 3 8 3 20 0 20 0 9197430 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213963679728 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31832] ppid=31760 vsize=10997500 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31832/stat : 31832 (java) S 31760 31763 22965 0 -1 1077944384 13327 12398 0 0 423 2 8 3 20 0 20 0 9197431 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213962627184 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31833] ppid=31760 vsize=10997500 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31833/stat : 31833 (java) S 31760 31763 22965 0 -1 1077944384 14088 12398 0 0 479 2 8 3 20 0 20 0 9197431 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213961574640 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31834] ppid=31760 vsize=10997500 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31834/stat : 31834 (java) S 31760 31763 22965 0 -1 1077944384 18357 12398 0 0 234 4 8 3 20 0 20 0 9197431 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213960522096 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31835] ppid=31760 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31835/stat : 31835 (java) S 31760 31763 22965 0 -1 1077944384 3 12398 0 0 0 0 8 3 20 0 20 0 9197431 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213959469792 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31836] ppid=31760 vsize=10997500 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31836/stat : 31836 (java) S 31760 31763 22965 0 -1 1077944384 2965 12398 0 0 23 28 8 3 20 0 20 0 9197431 11261440000 135002 33554432000 4194304 4196468 140725569472528 140213958417328 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
Current children cumulated CPU time (s) 2400.02
Current children cumulated vsize (KiB) 10997500
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 31763 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2372.4 s]
/proc/loadavg: 1.68 1.62 1.60 3/282 32047
/proc/meminfo: memFree=30343048/32770624 swapFree=5700/385164
[pid=31763] ppid=31760 vsize=11130628 CPUtime=2401.01 cores=1,3,5,7,9,11,13,15
/proc/31763/stat : 31763 (java) S 31760 31763 22965 0 -1 1077944320 177301 12398 0 0 239951 139 8 3 20 0 22 0 9197405 11397763072 136195 33554432000 4194304 4196468 140725569472528 140725569455072 140214628179703 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
/proc/31763/statm: 2782657 136195 3517 1 0 2770212 0
[pid=31763/tid=31818] ppid=31760 vsize=11130628 CPUtime=2368.02 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31818/stat : 31818 (java) S 31760 31763 22965 0 -1 1077944384 62946 12398 0 0 236771 20 8 3 20 0 22 0 9197422 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214632417456 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31819] ppid=31760 vsize=11130628 CPUtime=1.97 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31819/stat : 31819 (java) S 31760 31763 22965 0 -1 1077944384 1987 12398 0 0 176 10 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214580800272 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31820] ppid=31760 vsize=11130628 CPUtime=1.98 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31820/stat : 31820 (java) S 31760 31763 22965 0 -1 1077944384 4587 12398 0 0 178 9 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214579747728 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31821] ppid=31760 vsize=11130628 CPUtime=1.96 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31821/stat : 31821 (java) S 31760 31763 22965 0 -1 1077944384 2060 12398 0 0 177 8 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214578695184 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31822] ppid=31760 vsize=11130628 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31822/stat : 31822 (java) S 31760 31763 22965 0 -1 1077944384 7949 12398 0 0 179 9 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214577642640 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31823] ppid=31760 vsize=11130628 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31823/stat : 31823 (java) S 31760 31763 22965 0 -1 1077944384 6871 12398 0 0 178 10 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214230767888 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31824] ppid=31760 vsize=11130628 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31824/stat : 31824 (java) S 31760 31763 22965 0 -1 1077944384 2472 12398 0 0 172 11 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214229715344 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31825] ppid=31760 vsize=11130628 CPUtime=1.99 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31825/stat : 31825 (java) S 31760 31763 22965 0 -1 1077944384 1895 12398 0 0 178 10 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214228662800 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31826] ppid=31760 vsize=11130628 CPUtime=2.02 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31826/stat : 31826 (java) S 31760 31763 22965 0 -1 1077944384 3727 12398 0 0 181 10 8 3 20 0 22 0 9197423 11397763072 136195 33554432000 4194304 4196468 140725569472528 140214227610256 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31827] ppid=31760 vsize=11130628 CPUtime=1.58 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31827/stat : 31827 (java) R 31760 31763 22965 0 -1 4202560 16745 12398 0 0 136 11 8 3 20 0 22 0 9197425 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213967889328 140214612370488 0 0 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31828] ppid=31760 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31828/stat : 31828 (java) S 31760 31763 22965 0 -1 1077944384 58 12398 0 0 0 0 8 3 20 0 22 0 9197426 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213966837120 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31829] ppid=31760 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31829/stat : 31829 (java) S 31760 31763 22965 0 -1 1077944384 43 12398 0 0 0 0 8 3 20 0 22 0 9197426 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213965784576 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31830] ppid=31760 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31830/stat : 31830 (java) S 31760 31763 22965 0 -1 1077944384 98 12398 0 0 0 0 8 3 20 0 22 0 9197430 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213964733136 140214628198299 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31831] ppid=31760 vsize=11130628 CPUtime=4.57 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31831/stat : 31831 (java) S 31760 31763 22965 0 -1 1077944384 14877 12398 0 0 443 3 8 3 20 0 22 0 9197430 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213963679728 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31832] ppid=31760 vsize=11130628 CPUtime=4.36 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31832/stat : 31832 (java) S 31760 31763 22965 0 -1 1077944384 13327 12398 0 0 423 2 8 3 20 0 22 0 9197431 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213962627184 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31833] ppid=31760 vsize=11130628 CPUtime=4.92 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31833/stat : 31833 (java) S 31760 31763 22965 0 -1 1077944384 14088 12398 0 0 479 2 8 3 20 0 22 0 9197431 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213961574640 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31834] ppid=31760 vsize=11130628 CPUtime=2.49 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31834/stat : 31834 (java) S 31760 31763 22965 0 -1 1077944384 18357 12398 0 0 234 4 8 3 20 0 22 0 9197431 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213960522096 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31835] ppid=31760 vsize=11130628 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31835/stat : 31835 (java) S 31760 31763 22965 0 -1 1077944384 3 12398 0 0 0 0 8 3 20 0 22 0 9197431 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213959469792 140214628189909 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
[pid=31763/tid=31836] ppid=31760 vsize=11130628 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/31763/task/31836/stat : 31836 (java) S 31760 31763 22965 0 -1 1077944384 2965 12398 0 0 23 28 8 3 20 0 22 0 9197431 11397763072 136195 33554432000 4194304 4196468 140725569472528 140213958417328 140214628190850 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 20152320 140725569481409 140725569484183 140725569484183 140725569486799 0
Current children cumulated CPU time (s) 2401.01
Current children cumulated vsize (KiB) 11130628
Child status: 143
Real time (s): 2372.49
CPU time (s): 2401.32
CPU user time (s): 2399.88
CPU system time (s): 1.44058
CPU usage (%): 101.215
Max. virtual memory (cumulated for all children) (KiB): 11130628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.88
system time used= 1.44058
maximum resident set size= 651172
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189841
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2768
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 106097
involuntary context switches= 131147
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.5706 second user time and 18.3623 second system time
The end