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-4247951-1500740780/watcher-4247951-1500740780 -o /tmp/evaluation-result-4247951-1500740780/solver-4247951-1500740780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500712981-22996 --watchdog 2560 bin/concrete HOME/instance-4247951-1500740780.xml
pid=31941
running on 8 cores: 0,2,4,6,8,10,12,14
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.69 1.58 1.52 2/261 31944
/proc/meminfo: memFree=31027116/32770624 swapFree=5700/384712
[pid=31944] ppid=31941 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (bash) S 31941 31944 22965 0 -1 4202496 688 1535 0 0 0 0 0 0 20 0 1 0 9345553 9736192 351 33554432000 4194304 5098028 140724935170544 140724935168184 139993470565376 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 17338368 140724935173390 140724935173475 140724935173475 140724935176174 0
/proc/31944/statm: 2377 351 278 221 0 86 0
[startup+0.100129 s]
/proc/loadavg: 1.69 1.58 1.52 2/261 31944
/proc/meminfo: memFree=31027116/32770624 swapFree=5700/384712
[pid=31944] ppid=31941 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (bash) S 31941 31944 22965 0 -1 4202496 882 6424 0 0 0 0 0 1 20 0 1 0 9345553 9871360 378 33554432000 4194304 5098028 140724935170544 140724935164552 139993470565376 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 17338368 140724935173390 140724935173475 140724935173475 140724935176174 0
/proc/31944/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640
[startup+0.200385 s]
/proc/loadavg: 1.69 1.58 1.52 2/261 31944
/proc/meminfo: memFree=31027116/32770624 swapFree=5700/384712
[pid=31944] ppid=31941 vsize=10435860 CPUtime=0.18 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 4853 12690 0 0 6 1 8 3 20 0 13 0 9345553 10686320640 5210 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800971 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2608965 5210 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860
[startup+0.300309 s]
/proc/loadavg: 1.69 1.58 1.52 2/261 31944
/proc/meminfo: memFree=31027116/32770624 swapFree=5700/384712
[pid=31944] ppid=31941 vsize=10902392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 8039 12690 0 0 24 2 8 3 20 0 20 0 9345553 11164049408 9804 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2725598 9804 3024 1 0 2713890 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10902392
[startup+0.700242 s]
/proc/loadavg: 1.69 1.58 1.52 2/261 31944
/proc/meminfo: memFree=31027116/32770624 swapFree=5700/384712
[pid=31944] ppid=31941 vsize=10902720 CPUtime=0.95 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 12691 12690 0 0 79 5 8 3 20 0 20 0 9345553 11164385280 15956 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2725680 15956 3224 1 0 2713890 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10902720
[startup+1.50109 s]
/proc/loadavg: 1.69 1.58 1.52 3/281 32017
/proc/meminfo: memFree=30926380/32770624 swapFree=5700/384740
[pid=31944] ppid=31941 vsize=10915392 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 27717 12690 0 0 207 14 8 3 20 0 20 0 9345553 11177361408 44659 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2728848 44659 3411 1 0 2716962 0
[pid=31944/tid=31999] ppid=31941 vsize=10915392 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/31944/task/31999/stat : 31999 (java) R 31941 31944 22965 0 -1 4202560 19648 12690 0 0 125 6 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876884057448 139876879842710 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32000] ppid=31941 vsize=10915392 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32000/stat : 32000 (java) S 31941 31944 22965 0 -1 1077944384 23 12690 0 0 1 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876821834896 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32001] ppid=31941 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32001/stat : 32001 (java) S 31941 31944 22965 0 -1 1077944384 33 12690 0 0 0 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876820782096 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32002] ppid=31941 vsize=10915392 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32002/stat : 32002 (java) S 31941 31944 22965 0 -1 1077944384 16 12690 0 0 1 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876819729296 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32003] ppid=31941 vsize=10915392 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32003/stat : 32003 (java) S 31941 31944 22965 0 -1 1077944384 25 12690 0 0 1 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876818676496 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32004] ppid=31941 vsize=10915392 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32004/stat : 32004 (java) S 31941 31944 22965 0 -1 1077944384 23 12690 0 0 1 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876482472592 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32005] ppid=31941 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32005/stat : 32005 (java) S 31941 31944 22965 0 -1 1077944384 24 12690 0 0 0 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876481419792 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32006] ppid=31941 vsize=10915392 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32006/stat : 32006 (java) S 31941 31944 22965 0 -1 1077944384 153 12690 0 0 1 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876480366992 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32007] ppid=31941 vsize=10915392 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32007/stat : 32007 (java) S 31941 31944 22965 0 -1 1077944384 47 12690 0 0 1 0 8 3 20 0 20 0 9345566 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876479314192 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32008] ppid=31941 vsize=10915392 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32008/stat : 32008 (java) S 31941 31944 22965 0 -1 1077944384 1405 12690 0 0 1 0 8 3 20 0 20 0 9345568 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876421565296 139876879841922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32009] ppid=31941 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32009/stat : 32009 (java) S 31941 31944 22965 0 -1 1077944384 56 12690 0 0 0 0 8 3 20 0 20 0 9345569 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876420511328 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32010] ppid=31941 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32010/stat : 32010 (java) S 31941 31944 22965 0 -1 1077944384 44 12690 0 0 0 0 8 3 20 0 20 0 9345569 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876419458432 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32011] ppid=31941 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32011/stat : 32011 (java) S 31941 31944 22965 0 -1 1077944384 1 12690 0 0 0 0 8 3 20 0 20 0 9345573 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876418406736 139876879849371 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32012] ppid=31941 vsize=10915392 CPUtime=0.28 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32012/stat : 32012 (java) S 31941 31944 22965 0 -1 1077944384 966 12690 0 0 17 0 8 3 20 0 20 0 9345573 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876417354096 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32013] ppid=31941 vsize=10915392 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32013/stat : 32013 (java) S 31941 31944 22965 0 -1 1077944384 438 12690 0 0 11 0 8 3 20 0 20 0 9345573 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876416301296 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32014] ppid=31941 vsize=10915392 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32014/stat : 32014 (java) S 31941 31944 22965 0 -1 1077944384 1278 12690 0 0 13 0 8 3 20 0 20 0 9345573 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876213188720 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32015] ppid=31941 vsize=10915392 CPUtime=0.39 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32015/stat : 32015 (java) R 31941 31944 22965 0 -1 4202560 1397 12690 0 0 28 0 8 3 20 0 20 0 9345573 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876212135920 139876872927611 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32016] ppid=31941 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32016/stat : 32016 (java) S 31941 31944 22965 0 -1 1077944384 3 12690 0 0 0 0 8 3 20 0 20 0 9345573 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876211084384 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32017] ppid=31941 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32017/stat : 32017 (java) S 31941 31944 22965 0 -1 1077944384 7 12690 0 0 0 0 8 3 20 0 20 0 9345574 11177361408 44659 33554432000 4194304 4196468 140730444044016 139876210031664 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10915392
[startup+3.10118 s]
/proc/loadavg: 1.69 1.58 1.52 5/281 32017
/proc/meminfo: memFree=30849576/32770624 swapFree=5700/384740
[pid=31944] ppid=31941 vsize=10925820 CPUtime=6.38 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 47339 12690 0 0 607 20 8 3 20 0 20 0 9345553 11188039680 58614 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2731455 58614 3479 1 0 2719010 0
[pid=31944/tid=31999] ppid=31941 vsize=10925820 CPUtime=3.01 cores=0,2,4,6,8,10,12,14
/proc/31944/task/31999/stat : 31999 (java) R 31941 31944 22965 0 -1 4202560 31778 12690 0 0 281 9 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876884058520 139876507343606 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32000] ppid=31941 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32000/stat : 32000 (java) S 31941 31944 22965 0 -1 1077944384 23 12690 0 0 1 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876821834896 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32001] ppid=31941 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32001/stat : 32001 (java) S 31941 31944 22965 0 -1 1077944384 33 12690 0 0 0 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876820782096 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32002] ppid=31941 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32002/stat : 32002 (java) S 31941 31944 22965 0 -1 1077944384 16 12690 0 0 1 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876819729296 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32003] ppid=31941 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32003/stat : 32003 (java) S 31941 31944 22965 0 -1 1077944384 25 12690 0 0 1 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876818676496 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32004] ppid=31941 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32004/stat : 32004 (java) S 31941 31944 22965 0 -1 1077944384 23 12690 0 0 1 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876482472592 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32005] ppid=31941 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32005/stat : 32005 (java) S 31941 31944 22965 0 -1 1077944384 24 12690 0 0 0 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876481419792 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32006] ppid=31941 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32006/stat : 32006 (java) S 31941 31944 22965 0 -1 1077944384 153 12690 0 0 1 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876480366992 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32007] ppid=31941 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32007/stat : 32007 (java) S 31941 31944 22965 0 -1 1077944384 47 12690 0 0 1 0 8 3 20 0 20 0 9345566 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876479314192 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32008] ppid=31941 vsize=10925820 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32008/stat : 32008 (java) S 31941 31944 22965 0 -1 1077944384 1420 12690 0 0 1 0 8 3 20 0 20 0 9345568 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876421565296 139876879841922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32009] ppid=31941 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32009/stat : 32009 (java) S 31941 31944 22965 0 -1 1077944384 56 12690 0 0 0 0 8 3 20 0 20 0 9345569 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876420511328 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32010] ppid=31941 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32010/stat : 32010 (java) S 31941 31944 22965 0 -1 1077944384 44 12690 0 0 0 0 8 3 20 0 20 0 9345569 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876419458432 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32011] ppid=31941 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32011/stat : 32011 (java) S 31941 31944 22965 0 -1 1077944384 1 12690 0 0 0 0 8 3 20 0 20 0 9345573 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876418406736 139876879849371 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32012] ppid=31941 vsize=10925820 CPUtime=0.78 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32012/stat : 32012 (java) R 31941 31944 22965 0 -1 4202560 1892 12690 0 0 66 1 8 3 20 0 20 0 9345573 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876417341488 139876865894917 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32013] ppid=31941 vsize=10925820 CPUtime=0.68 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32013/stat : 32013 (java) S 31941 31944 22965 0 -1 1077944384 1212 12690 0 0 56 1 8 3 20 0 20 0 9345573 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876416301296 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32014] ppid=31941 vsize=10925820 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32014/stat : 32014 (java) S 31941 31944 22965 0 -1 1077944384 5031 12690 0 0 89 1 8 3 20 0 20 0 9345573 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876213188720 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32015] ppid=31941 vsize=10925820 CPUtime=1.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32015/stat : 32015 (java) S 31941 31944 22965 0 -1 1077944384 3419 12690 0 0 99 1 8 3 20 0 20 0 9345573 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876212135920 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32016] ppid=31941 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32016/stat : 32016 (java) S 31941 31944 22965 0 -1 1077944384 3 12690 0 0 0 0 8 3 20 0 20 0 9345573 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876211084384 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32017] ppid=31941 vsize=10925820 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32017/stat : 32017 (java) S 31941 31944 22965 0 -1 1077944384 8 12690 0 0 0 0 8 3 20 0 20 0 9345574 11188039680 58614 33554432000 4194304 4196468 140730444044016 139876210031664 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
Current children cumulated CPU time (s) 6.38
Current children cumulated vsize (KiB) 10925820
[startup+6.30073 s]
/proc/loadavg: 1.63 1.57 1.52 7/281 32017
/proc/meminfo: memFree=30703468/32770624 swapFree=5700/384752
[pid=31944] ppid=31941 vsize=10999548 CPUtime=17.24 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 78821 12690 0 0 1679 34 8 3 20 0 20 0 9345553 11263537152 102652 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2749887 102652 3499 1 0 2737442 0
[pid=31944/tid=31999] ppid=31941 vsize=10999548 CPUtime=6.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/31999/stat : 31999 (java) R 31941 31944 22965 0 -1 4202560 43345 12690 0 0 588 12 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876884063160 139876498439424 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32000] ppid=31941 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32000/stat : 32000 (java) S 31941 31944 22965 0 -1 1077944384 110 12690 0 0 4 1 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876821834896 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32001] ppid=31941 vsize=10999548 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32001/stat : 32001 (java) S 31941 31944 22965 0 -1 1077944384 87 12690 0 0 3 1 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876820782096 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32002] ppid=31941 vsize=10999548 CPUtime=0.15 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32002/stat : 32002 (java) S 31941 31944 22965 0 -1 1077944384 32 12690 0 0 3 1 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876819729296 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32003] ppid=31941 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32003/stat : 32003 (java) S 31941 31944 22965 0 -1 1077944384 453 12690 0 0 4 1 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876818676496 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32004] ppid=31941 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32004/stat : 32004 (java) S 31941 31944 22965 0 -1 1077944384 53 12690 0 0 4 1 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876482472592 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32005] ppid=31941 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32005/stat : 32005 (java) S 31941 31944 22965 0 -1 1077944384 48 12690 0 0 4 1 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876481419792 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32006] ppid=31941 vsize=10999548 CPUtime=0.17 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32006/stat : 32006 (java) S 31941 31944 22965 0 -1 1077944384 211 12690 0 0 5 1 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876480366992 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32007] ppid=31941 vsize=10999548 CPUtime=0.14 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32007/stat : 32007 (java) S 31941 31944 22965 0 -1 1077944384 56 12690 0 0 3 0 8 3 20 0 20 0 9345566 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876479314192 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32008] ppid=31941 vsize=10999548 CPUtime=0.16 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32008/stat : 32008 (java) S 31941 31944 22965 0 -1 1077944384 2175 12690 0 0 5 0 8 3 20 0 20 0 9345568 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876421565296 139876879841922 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32009] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32009/stat : 32009 (java) S 31941 31944 22965 0 -1 1077944384 56 12690 0 0 0 0 8 3 20 0 20 0 9345569 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876420511328 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32010] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32010/stat : 32010 (java) S 31941 31944 22965 0 -1 1077944384 44 12690 0 0 0 0 8 3 20 0 20 0 9345569 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876419458432 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32011] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32011/stat : 32011 (java) S 31941 31944 22965 0 -1 1077944384 1 12690 0 0 0 0 8 3 20 0 20 0 9345573 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876418406736 139876879849371 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32012] ppid=31941 vsize=10999548 CPUtime=2.79 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32012/stat : 32012 (java) R 31941 31944 22965 0 -1 4202560 3635 12690 0 0 267 1 8 3 20 0 20 0 9345573 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876417344688 139876872936437 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32013] ppid=31941 vsize=10999548 CPUtime=2.95 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32013/stat : 32013 (java) R 31941 31944 22965 0 -1 4202560 11324 12690 0 0 282 2 8 3 20 0 20 0 9345573 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876416291152 139876859486000 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32014] ppid=31941 vsize=10999548 CPUtime=2.97 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32014/stat : 32014 (java) R 31941 31944 22965 0 -1 4202560 6693 12690 0 0 285 1 8 3 20 0 20 0 9345573 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876213167040 139876872120224 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32015] ppid=31941 vsize=10999548 CPUtime=2.27 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32015/stat : 32015 (java) R 31941 31944 22965 0 -1 4202560 8352 12690 0 0 213 3 8 3 20 0 20 0 9345573 11263537152 102652 33554432000 4194304 4196468 140730444044016 139876212135840 139876858767873 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32016] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
################
# More data... #
################
[pid=31944/tid=32013] ppid=31941 vsize=10999548 CPUtime=5.58 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32013/stat : 32013 (java) S 31941 31944 22965 0 -1 1077944384 43663 12690 0 0 541 6 8 3 20 0 20 0 9345573 11263537152 179908 33554432000 4194304 4196468 140730444044016 139876416301296 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32014] ppid=31941 vsize=10999548 CPUtime=5.71 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32014/stat : 32014 (java) S 31941 31944 22965 0 -1 1077944384 38581 12690 0 0 556 4 8 3 20 0 20 0 9345573 11263537152 179908 33554432000 4194304 4196468 140730444044016 139876213188720 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32015] ppid=31941 vsize=10999548 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32015/stat : 32015 (java) S 31941 31944 22965 0 -1 1077944384 60924 12690 0 0 291 8 8 3 20 0 20 0 9345573 11263537152 179908 33554432000 4194304 4196468 140730444044016 139876212135920 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32016] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32016/stat : 32016 (java) S 31941 31944 22965 0 -1 1077944384 3 12690 0 0 0 0 8 3 20 0 20 0 9345573 11263537152 179908 33554432000 4194304 4196468 140730444044016 139876211084384 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32017] ppid=31941 vsize=10999548 CPUtime=1.19 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32017/stat : 32017 (java) S 31941 31944 22965 0 -1 1077944384 2496 12690 0 0 58 50 8 3 20 0 20 0 9345574 11263537152 179908 33554432000 4194304 4196468 140730444044016 139876210031664 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
Current children cumulated CPU time (s) 2382.22
Current children cumulated vsize (KiB) 10999548
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2339.81 s]
/proc/loadavg: 0.78 0.69 0.86 2/256 32164
/proc/meminfo: memFree=30872988/32770624 swapFree=5700/385940
[pid=31944] ppid=31941 vsize=10999548 CPUtime=2400.04 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 325942 12690 0 0 239657 336 8 3 20 0 20 0 9345553 11263537152 180420 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2749887 180420 3521 1 0 2737442 0
[pid=31944/tid=31999] ppid=31941 vsize=10999548 CPUtime=2326.37 cores=0,2,4,6,8,10,12,14
/proc/31944/task/31999/stat : 31999 (java) R 31941 31944 22965 0 -1 4202560 77199 12690 0 0 232596 30 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876884065040 139876506608042 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32000] ppid=31941 vsize=10999548 CPUtime=6.04 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32000/stat : 32000 (java) S 31941 31944 22965 0 -1 1077944384 5023 12690 0 0 564 29 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876821834896 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32001] ppid=31941 vsize=10999548 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32001/stat : 32001 (java) S 31941 31944 22965 0 -1 1077944384 5613 12690 0 0 560 32 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876820782096 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32002] ppid=31941 vsize=10999548 CPUtime=6.13 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32002/stat : 32002 (java) S 31941 31944 22965 0 -1 1077944384 3411 12690 0 0 573 29 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876819729296 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32003] ppid=31941 vsize=10999548 CPUtime=6.19 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32003/stat : 32003 (java) S 31941 31944 22965 0 -1 1077944384 6438 12690 0 0 577 31 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876818676496 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32004] ppid=31941 vsize=10999548 CPUtime=6.14 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32004/stat : 32004 (java) S 31941 31944 22965 0 -1 1077944384 7075 12690 0 0 575 28 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876482472592 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32005] ppid=31941 vsize=10999548 CPUtime=6.14 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32005/stat : 32005 (java) S 31941 31944 22965 0 -1 1077944384 6807 12690 0 0 574 29 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876481419792 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32006] ppid=31941 vsize=10999548 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32006/stat : 32006 (java) S 31941 31944 22965 0 -1 1077944384 6308 12690 0 0 563 29 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876480366992 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32007] ppid=31941 vsize=10999548 CPUtime=6.18 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32007/stat : 32007 (java) S 31941 31944 22965 0 -1 1077944384 7763 12690 0 0 579 28 8 3 20 0 20 0 9345566 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876479314192 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32008] ppid=31941 vsize=10999548 CPUtime=4.88 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32008/stat : 32008 (java) S 31941 31944 22965 0 -1 1077944384 11384 12690 0 0 454 23 8 3 20 0 20 0 9345568 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876421565296 139876879841922 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32009] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32009/stat : 32009 (java) S 31941 31944 22965 0 -1 1077944384 68 12690 0 0 0 0 8 3 20 0 20 0 9345569 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876420511328 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32010] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32010/stat : 32010 (java) S 31941 31944 22965 0 -1 1077944384 55 12690 0 0 0 0 8 3 20 0 20 0 9345569 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876419458432 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32011] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32011/stat : 32011 (java) S 31941 31944 22965 0 -1 1077944384 1 12690 0 0 0 0 8 3 20 0 20 0 9345573 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876418406736 139876879849371 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32012] ppid=31941 vsize=10999548 CPUtime=5.67 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32012/stat : 32012 (java) S 31941 31944 22965 0 -1 1077944384 40451 12690 0 0 551 5 8 3 20 0 20 0 9345573 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876417354096 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32013] ppid=31941 vsize=10999548 CPUtime=5.58 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32013/stat : 32013 (java) S 31941 31944 22965 0 -1 1077944384 43663 12690 0 0 541 6 8 3 20 0 20 0 9345573 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876416301296 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32014] ppid=31941 vsize=10999548 CPUtime=5.71 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32014/stat : 32014 (java) S 31941 31944 22965 0 -1 1077944384 38895 12690 0 0 556 4 8 3 20 0 20 0 9345573 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876213188720 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32015] ppid=31941 vsize=10999548 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32015/stat : 32015 (java) S 31941 31944 22965 0 -1 1077944384 61156 12690 0 0 291 8 8 3 20 0 20 0 9345573 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876212135920 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32016] ppid=31941 vsize=10999548 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32016/stat : 32016 (java) S 31941 31944 22965 0 -1 1077944384 3 12690 0 0 0 0 8 3 20 0 20 0 9345573 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876211084384 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32017] ppid=31941 vsize=10999548 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32017/stat : 32017 (java) S 31941 31944 22965 0 -1 1077944384 2498 12690 0 0 59 50 8 3 20 0 20 0 9345574 11263537152 180420 33554432000 4194304 4196468 140730444044016 139876210031664 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
Current children cumulated CPU time (s) 2400.04
Current children cumulated vsize (KiB) 10999548
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 31944 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2340 s]
/proc/loadavg: 0.78 0.69 0.86 2/256 32164
/proc/meminfo: memFree=30872988/32770624 swapFree=5700/385940
[pid=31944] ppid=31941 vsize=11132676 CPUtime=2401.13 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 332234 12690 0 0 239764 338 8 3 20 0 22 0 9345553 11399860224 182191 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2783169 182191 3521 1 0 2770724 0
[pid=31944/tid=31999] ppid=31941 vsize=11132676 CPUtime=2326.38 cores=0,2,4,6,8,10,12,14
/proc/31944/task/31999/stat : 31999 (java) S 31941 31944 22965 0 -1 1077944384 77474 12690 0 0 232597 30 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876884068496 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32000] ppid=31941 vsize=11132676 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32000/stat : 32000 (java) S 31941 31944 22965 0 -1 1077944384 5034 12690 0 0 577 29 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876821834896 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32001] ppid=31941 vsize=11132676 CPUtime=6.18 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32001/stat : 32001 (java) S 31941 31944 22965 0 -1 1077944384 5628 12690 0 0 574 33 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876820782096 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32002] ppid=31941 vsize=11132676 CPUtime=6.26 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32002/stat : 32002 (java) R 31941 31944 22965 0 -1 4202560 3598 12690 0 0 585 30 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876819729416 139876863213810 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32003] ppid=31941 vsize=11132676 CPUtime=6.31 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32003/stat : 32003 (java) S 31941 31944 22965 0 -1 1077944384 6445 12690 0 0 589 31 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876818676496 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32004] ppid=31941 vsize=11132676 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32004/stat : 32004 (java) S 31941 31944 22965 0 -1 1077944384 7098 12690 0 0 589 28 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876482472592 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32005] ppid=31941 vsize=11132676 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32005/stat : 32005 (java) S 31941 31944 22965 0 -1 1077944384 6807 12690 0 0 585 29 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876481419792 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32006] ppid=31941 vsize=11132676 CPUtime=6.17 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32006/stat : 32006 (java) S 31941 31944 22965 0 -1 1077944384 6314 12690 0 0 577 29 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876480367008 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32007] ppid=31941 vsize=11132676 CPUtime=6.3 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32007/stat : 32007 (java) S 31941 31944 22965 0 -1 1077944384 7876 12690 0 0 591 28 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876479314192 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32008] ppid=31941 vsize=11132676 CPUtime=4.93 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32008/stat : 32008 (java) S 31941 31944 22965 0 -1 1077944384 16866 12690 0 0 458 24 8 3 20 0 22 0 9345568 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876421563888 139876879840981 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32009] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32009/stat : 32009 (java) S 31941 31944 22965 0 -1 1077944384 69 12690 0 0 0 0 8 3 20 0 22 0 9345569 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876420510832 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32010] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32010/stat : 32010 (java) S 31941 31944 22965 0 -1 1077944384 55 12690 0 0 0 0 8 3 20 0 22 0 9345569 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876419458432 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32011] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32011/stat : 32011 (java) S 31941 31944 22965 0 -1 1077944384 70 12690 0 0 0 0 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876418406736 139876879849371 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32012] ppid=31941 vsize=11132676 CPUtime=5.67 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32012/stat : 32012 (java) S 31941 31944 22965 0 -1 1077944384 40451 12690 0 0 551 5 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876417354096 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32013] ppid=31941 vsize=11132676 CPUtime=5.58 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32013/stat : 32013 (java) S 31941 31944 22965 0 -1 1077944384 43663 12690 0 0 541 6 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876416301296 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32014] ppid=31941 vsize=11132676 CPUtime=5.71 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32014/stat : 32014 (java) S 31941 31944 22965 0 -1 1077944384 38895 12690 0 0 556 4 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876213188720 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32015] ppid=31941 vsize=11132676 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32015/stat : 32015 (java) S 31941 31944 22965 0 -1 1077944384 61156 12690 0 0 291 8 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876212135920 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32016] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32016/stat : 32016 (java) S 31941 31944 22965 0 -1 1077944384 3 12690 0 0 0 0 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876211084384 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32017] ppid=31941 vsize=11132676 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32017/stat : 32017 (java) S 31941 31944 22965 0 -1 1077944384 2498 12690 0 0 59 50 8 3 20 0 22 0 9345574 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876210031664 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
Current children cumulated CPU time (s) 2401.13
Current children cumulated vsize (KiB) 11132676
[startup+2340.1 s]
/proc/loadavg: 0.78 0.69 0.86 2/256 32164
/proc/meminfo: memFree=30872988/32770624 swapFree=5700/385940
[pid=31944] ppid=31941 vsize=11132676 CPUtime=2401.48 cores=0,2,4,6,8,10,12,14
/proc/31944/stat : 31944 (java) S 31941 31944 22965 0 -1 1077944320 332238 12690 0 0 239799 338 8 3 20 0 22 0 9345553 11399860224 182191 33554432000 4194304 4196468 140730444044016 140730444026560 139876879830775 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
/proc/31944/statm: 2783169 182191 3521 1 0 2770724 0
[pid=31944/tid=31999] ppid=31941 vsize=11132676 CPUtime=2326.38 cores=0,2,4,6,8,10,12,14
/proc/31944/task/31999/stat : 31999 (java) S 31941 31944 22965 0 -1 1077944384 77476 12690 0 0 232597 30 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876884068496 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32000] ppid=31941 vsize=11132676 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32000/stat : 32000 (java) R 31941 31944 22965 0 -1 4202560 5034 12690 0 0 581 29 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876821834896 139876879842710 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32001] ppid=31941 vsize=11132676 CPUtime=6.22 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32001/stat : 32001 (java) R 31941 31944 22965 0 -1 4202560 5628 12690 0 0 578 33 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876820782096 139876861427249 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32002] ppid=31941 vsize=11132676 CPUtime=6.3 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32002/stat : 32002 (java) R 31941 31944 22965 0 -1 4202560 3598 12690 0 0 589 30 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876819729496 139876861427310 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32003] ppid=31941 vsize=11132676 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32003/stat : 32003 (java) R 31941 31944 22965 0 -1 1077944384 6445 12690 0 0 593 31 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876818676496 139876879840981 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32004] ppid=31941 vsize=11132676 CPUtime=6.32 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32004/stat : 32004 (java) R 31941 31944 22965 0 -1 4202560 7098 12690 0 0 593 28 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876482472592 139876864889488 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32005] ppid=31941 vsize=11132676 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32005/stat : 32005 (java) R 31941 31944 22965 0 -1 4202560 6807 12690 0 0 588 29 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876481419792 139876864528414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32006] ppid=31941 vsize=11132676 CPUtime=6.2 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32006/stat : 32006 (java) R 31941 31944 22965 0 -1 4202560 6315 12690 0 0 580 29 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876480366992 139876861427233 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32007] ppid=31941 vsize=11132676 CPUtime=6.35 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32007/stat : 32007 (java) R 31941 31944 22965 0 -1 4202560 7876 12690 0 0 596 28 8 3 20 0 22 0 9345566 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876479314192 139876864816016 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32008] ppid=31941 vsize=11132676 CPUtime=4.99 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32008/stat : 32008 (java) S 31941 31944 22965 0 -1 1077944384 16866 12690 0 0 464 24 8 3 20 0 22 0 9345568 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876421563696 139876879840981 0 0 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32009] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32009/stat : 32009 (java) S 31941 31944 22965 0 -1 1077944384 69 12690 0 0 0 0 8 3 20 0 22 0 9345569 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876420511232 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32010] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32010/stat : 32010 (java) S 31941 31944 22965 0 -1 1077944384 55 12690 0 0 0 0 8 3 20 0 22 0 9345569 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876419458432 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32011] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32011/stat : 32011 (java) S 31941 31944 22965 0 -1 1077944384 70 12690 0 0 0 0 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876418406736 139876879849371 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32012] ppid=31941 vsize=11132676 CPUtime=5.67 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32012/stat : 32012 (java) S 31941 31944 22965 0 -1 1077944384 40451 12690 0 0 551 5 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876417354096 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32013] ppid=31941 vsize=11132676 CPUtime=5.58 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32013/stat : 32013 (java) S 31941 31944 22965 0 -1 1077944384 43663 12690 0 0 541 6 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876416301296 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32014] ppid=31941 vsize=11132676 CPUtime=5.71 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32014/stat : 32014 (java) S 31941 31944 22965 0 -1 1077944384 38895 12690 0 0 556 4 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876213188720 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32015] ppid=31941 vsize=11132676 CPUtime=3.1 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32015/stat : 32015 (java) S 31941 31944 22965 0 -1 1077944384 61156 12690 0 0 291 8 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876212135920 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32016] ppid=31941 vsize=11132676 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32016/stat : 32016 (java) S 31941 31944 22965 0 -1 1077944384 3 12690 0 0 0 0 8 3 20 0 22 0 9345573 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876211084384 139876879840981 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
[pid=31944/tid=32017] ppid=31941 vsize=11132676 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/31944/task/32017/stat : 32017 (java) S 31941 31944 22965 0 -1 1077944384 2498 12690 0 0 59 51 8 3 20 0 22 0 9345574 11399860224 182191 33554432000 4194304 4196468 140730444044016 139876210031664 139876879841922 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11100160 140730444044993 140730444047767 140730444047767 140730444050383 0
Current children cumulated CPU time (s) 2401.48
Current children cumulated vsize (KiB) 11132676
Child status: 143
Real time (s): 2340.16
CPU time (s): 2401.63
CPU user time (s): 2398.2
CPU system time (s): 3.43607
CPU usage (%): 102.627
Max. virtual memory (cumulated for all children) (KiB): 11132676
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.2
system time used= 3.43607
maximum resident set size= 845484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 345002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 217716
involuntary context switches= 162546
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2904 second user time and 20.3095 second system time
The end