runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14331 MiB free)
memory of node 1: 16384 MiB (12056 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302299-1532896750/watcher-4302299-1532896750 -o /tmp/evaluation-result-4302299-1532896750/solver-4302299-1532896750 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532894133-1620 --watchdog 312 bin/xcsp-3-concrete -J-Xss64M -randomseed=1756134921 HOME/instance-4302299-1532896750.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5936, runsolver pid=5933
[startup+0.100128 s]*
/proc/loadavg: 2.23 1.94 1.80 2/217 5978
/proc/meminfo: memFree=26930824/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=113256 memory=1608 CPUtime=0.01 cores=0,2,4,6
/proc/5936/stat : 5936 (bash) S 5933 5936 22004 0 -1 4202496 889 5660 0 0 0 0 0 1 20 0 1 0 107238169 115974144 402 33554432000 4194304 5098028 140730352661808 140730352655816 140604018871296 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 12554240 140730352665776 140730352665901 140730352665901 140730352668654 0
/proc/5936/statm: 28314 402 318 221 0 119 0
[pid=5963] ppid=5936 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/5963/stat : 5963 (bash) S 5936 5936 22004 0 -1 4202560 153 0 0 0 0 0 0 0 20 0 1 0 107238171 115974144 179 33554432000 4194304 5098028 140730352661808 140730352654488 140604018696828 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 12554240 140730352665776 140730352665901 140730352665901 140730352668654 0
/proc/5963/statm: 28314 179 95 221 0 119 0
[pid=5964] ppid=5963 vsize=10593144 memory=23740 CPUtime=0.04 cores=0,2,4,6
/proc/5964/stat : 5964 (java) S 5963 5936 22004 0 -1 1077944320 4760 0 0 0 4 0 0 0 20 0 14 0 107238171 10847379456 5935 33554432000 4194304 4196468 140723338971952 140723338954496 140409595248375 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
/proc/5964/statm: 2648286 5935 2620 1 0 2610827 0
[pid=5964/tid=5966] ppid=5963 vsize=10659708 memory=-8412652160985438067 CPUtime=0.04 cores=0,2,4,6
/proc/5964/task/5966/stat : 5966 (java) R 5963 5936 22004 0 -1 4202560 2917 0 0 0 4 0 0 0 20 0 15 0 107238171 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409599490656 140409576897323 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5967] ppid=5963 vsize=10659708 memory=-3689349214911541841 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5967/stat : 5967 (java) S 5963 5936 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107238172 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409531939472 140409595258581 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5968] ppid=5963 vsize=10659708 memory=140088066520704 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5968/stat : 5968 (java) S 5963 5936 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107238172 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409530886672 140409595258581 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5969] ppid=5963 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5969/stat : 5969 (java) S 5963 5936 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107238172 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409529833872 140409595258581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5970] ppid=5963 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5970/stat : 5970 (java) S 5963 5936 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107238172 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409528781072 140409595258581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5971] ppid=5963 vsize=10659708 memory=140088066520704 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5971/stat : 5971 (java) S 5963 5936 22004 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 107238173 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409087191920 140409595259522 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5972] ppid=5963 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5972/stat : 5972 (java) S 5963 5936 22004 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 107238174 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409086137888 140409595258581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5973] ppid=5963 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5973/stat : 5973 (java) S 5963 5936 22004 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 107238174 10915540992 5959 33554432000 4194304 4196468 140723338971952 140409085085040 140409595258581 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5974] ppid=5963 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5974/stat : 5974 (java) S 5963 5936 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107238176 10915540992 6471 33554432000 4194304 4196468 140723338971952 140409084033360 140409595266971 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5975] ppid=5963 vsize=10659708 memory=0 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5975/stat : 5975 (java) S 5963 5936 22004 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 15 0 107238176 10915540992 6471 33554432000 4194304 4196468 140723338971952 140409082980720 140409595259522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5976] ppid=5963 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5976/stat : 5976 (java) S 5963 5936 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107238176 10915540992 6471 33554432000 4194304 4196468 140723338971952 140409081927920 140409595259522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5977] ppid=5963 vsize=10659708 memory=140088066520704 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5977/stat : 5977 (java) S 5963 5936 22004 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 15 0 107238176 10915540992 6471 33554432000 4194304 4196468 140723338971952 140409080875120 140409595259522 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5978] ppid=5963 vsize=10659708 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5978/stat : 5978 (java) S 5963 5936 22004 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 107238177 10915540992 6471 33554432000 4194304 4196468 140723338971952 140409079822560 140409595258581 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5964/tid=5979] ppid=5963 vsize=10659708 memory=140088066520704 CPUtime=0 cores=0,2,4,6
/proc/5964/task/5979/stat : 5979 (java) S 5963 5936 22004 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 107238180 10915540992 6471 33554432000 4194304 4196468 140723338971952 140409078770864 140409595259522 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 9281536 140723338978600 140723338978614 140723338978614 140723338981327 0
[pid=5965] ppid=5963 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/5965/stat : 5965 (awk) S 5963 5936 22004 0 -1 4202496 422 0 0 0 0 0 0 0 20 0 1 0 107238171 116211712 243 33554432000 4194304 4609284 140723744221296 140723744220472 140456838581248 0 0 4096 1216 18446744071580971376 0 0 17 4 0 0 0 0 0 6708720 6711756 19025920 140723744228696 140723744228726 140723744228726 140723744231407 0
/proc/5965/statm: 28372 243 205 102 0 88 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 10933144 KiB
Current children cumulated memory: 27036 KiB
[startup+0.210567 s]*
/proc/loadavg: 2.23 1.94 1.80 7/215 6003
/proc/meminfo: memFree=26777172/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=10982744 memory=38216 CPUtime=0.22 cores=0,2,4,6
/proc/5936/stat : 5936 (java) S 5933 5936 22004 0 -1 1077944320 6813 13124 0 0 13 1 5 3 20 0 15 0 107238169 11246329856 9554 33554432000 4194304 4196468 140736109480368 140736109462912 140607334530807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
/proc/5936/statm: 2745686 9554 2938 1 0 2708109 0
[pid=5936/tid=5989] ppid=5933 vsize=10982744 memory=7022364594140610616 CPUtime=0.17 cores=0,2,4,6
/proc/5936/task/5989/stat : 5989 (java) R 5933 5936 22004 0 -1 4202560 3395 13124 0 0 8 1 5 3 20 0 15 0 107238181 11246329856 9554 33554432000 4194304 4196468 140736109480368 140607306352352 140606905857536 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=10982744 memory=365 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5990/stat : 5990 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246329856 9554 33554432000 4194304 4196468 140736109480368 140607338773648 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5991] ppid=5933 vsize=10982744 memory=3616589069958854304 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5991/stat : 5991 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606874246160 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5992] ppid=5933 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5992/stat : 5992 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606873193360 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5993] ppid=5933 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5993/stat : 5993 (java) S 5933 5936 22004 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606872140560 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5994] ppid=5933 vsize=10982744 memory=140088066520704 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5994/stat : 5994 (java) S 5933 5936 22004 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 107238183 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606760282480 140607334541954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5996] ppid=5933 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5996/stat : 5996 (java) S 5933 5936 22004 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 107238184 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606156301344 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5997] ppid=5933 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5997/stat : 5997 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238184 11246329856 9554 33554432000 4194304 4196468 140736109480368 140605954974576 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5998] ppid=5933 vsize=10982744 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5998/stat : 5998 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246329856 9554 33554432000 4194304 4196468 140736109480368 140605647574864 140607334549403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5999] ppid=5933 vsize=10982744 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5936/task/5999/stat : 5999 (java) S 5933 5936 22004 0 -1 1077944384 371 13124 0 0 1 0 5 3 20 0 15 0 107238187 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606759230320 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6000] ppid=5933 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6000/stat : 6000 (java) S 5933 5936 22004 0 -1 1077944384 252 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606758177520 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6001] ppid=5933 vsize=10982744 memory=140088066520704 CPUtime=0.1 cores=0,2,4,6
/proc/5936/task/6001/stat : 6001 (java) S 5933 5936 22004 0 -1 1077944384 582 13124 0 0 2 0 5 3 20 0 15 0 107238187 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606757124720 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6002] ppid=5933 vsize=10982744 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6002/stat : 6002 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246329856 9554 33554432000 4194304 4196468 140736109480368 140605216778976 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6003] ppid=5933 vsize=10982744 memory=140088066520704 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6003/stat : 6003 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246329856 9554 33554432000 4194304 4196468 140736109480368 140606756072112 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 10982744 KiB
Current children cumulated memory: 38216 KiB
[startup+0.310681 s]*
/proc/loadavg: 2.23 1.94 1.80 3/215 6003
/proc/meminfo: memFree=26703432/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=10983192 memory=52076 CPUtime=0.35 cores=0,2,4,6
/proc/5936/stat : 5936 (java) S 5933 5936 22004 0 -1 1077944320 9985 13124 0 0 25 2 5 3 20 0 15 0 107238169 11246788608 13019 33554432000 4194304 4196468 140736109480368 140736109462912 140607334530807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
/proc/5936/statm: 2745798 13019 3072 1 0 2708109 0
[pid=5936/tid=5989] ppid=5933 vsize=10983224 memory=6935054825532540783 CPUtime=0.26 cores=0,2,4,6
/proc/5936/task/5989/stat : 5989 (java) R 5933 5936 22004 0 -1 4202560 6561 13124 0 0 17 1 5 3 20 0 15 0 107238181 11246821376 13068 33554432000 4194304 4196468 140736109480368 140607306341376 140607327210400 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=10983192 memory=3691042058319900680 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5990/stat : 5990 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 13068 33554432000 4194304 4196468 140736109480368 140607338773648 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5991] ppid=5933 vsize=10983192 memory=140088066522912 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5991/stat : 5991 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606874246160 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5992] ppid=5933 vsize=10983192 memory=2244 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5992/stat : 5992 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606873193360 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5993] ppid=5933 vsize=10983192 memory=140087941758127 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5993/stat : 5993 (java) S 5933 5936 22004 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606872140560 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5994] ppid=5933 vsize=10983192 memory=140088066522912 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5994/stat : 5994 (java) S 5933 5936 22004 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 107238183 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606760282480 140607334541954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5996] ppid=5933 vsize=10983224 memory=140087941765039 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5996/stat : 5996 (java) S 5933 5936 22004 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 107238184 11246821376 13068 33554432000 4194304 4196468 140736109480368 140606156301344 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5997] ppid=5933 vsize=10983224 memory=140087941767344 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5997/stat : 5997 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238184 11246821376 13068 33554432000 4194304 4196468 140736109480368 140605954974576 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5998] ppid=5933 vsize=10983192 memory=140087941769648 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5998/stat : 5998 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246788608 13068 33554432000 4194304 4196468 140736109480368 140605647574864 140607334549403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5999] ppid=5933 vsize=10983192 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/5936/task/5999/stat : 5999 (java) S 5933 5936 22004 0 -1 1077944384 374 13124 0 0 1 0 5 3 20 0 15 0 107238187 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606759230320 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6000] ppid=5933 vsize=10983192 memory=1970350607106051 CPUtime=0.09 cores=0,2,4,6
/proc/5936/task/6000/stat : 6000 (java) S 5933 5936 22004 0 -1 1077944384 256 13124 0 0 1 0 5 3 20 0 15 0 107238187 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606758177520 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6001] ppid=5933 vsize=10983192 memory=280176008299584 CPUtime=0.12 cores=0,2,4,6
/proc/5936/task/6001/stat : 6001 (java) S 5933 5936 22004 0 -1 1077944384 601 13124 0 0 4 0 5 3 20 0 15 0 107238187 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606757124720 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6002] ppid=5933 vsize=10983192 memory=140087941660807 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6002/stat : 6002 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246788608 13068 33554432000 4194304 4196468 140736109480368 140605216778976 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6003] ppid=5933 vsize=10983192 memory=140088066526507 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6003/stat : 6003 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246788608 13068 33554432000 4194304 4196468 140736109480368 140606756072112 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 52076 KiB
[startup+0.700772 s]
/proc/loadavg: 2.23 1.94 1.80 3/215 6003
/proc/meminfo: memFree=26695284/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=10983192 memory=88300 CPUtime=0.96 cores=0,2,4,6
/proc/5936/stat : 5936 (java) S 5933 5936 22004 0 -1 1077944320 16730 13124 0 0 83 5 5 3 20 0 15 0 107238169 11246788608 22075 33554432000 4194304 4196468 140736109480368 140736109462912 140607334530807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
/proc/5936/statm: 2745798 22075 3235 1 0 2708109 0
[pid=5936/tid=5989] ppid=5933 vsize=10983192 memory=0 CPUtime=0.63 cores=0,2,4,6
/proc/5936/task/5989/stat : 5989 (java) R 5933 5936 22004 0 -1 4202560 12290 13124 0 0 52 3 5 3 20 0 15 0 107238181 11246788608 22075 33554432000 4194304 4196468 140736109480368 140607306337312 140607319696446 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5990/stat : 5990 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 22075 33554432000 4194304 4196468 140736109480368 140607338773648 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5991] ppid=5933 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5991/stat : 5991 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606874246160 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5992] ppid=5933 vsize=10983192 memory=22 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5992/stat : 5992 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606873193360 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5993] ppid=5933 vsize=10983192 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5993/stat : 5993 (java) S 5933 5936 22004 0 -1 1077944384 2 13124 0 0 0 0 5 3 20 0 15 0 107238182 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606872140560 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5994] ppid=5933 vsize=10983192 memory=2424 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5994/stat : 5994 (java) S 5933 5936 22004 0 -1 1077944384 5 13124 0 0 0 0 5 3 20 0 15 0 107238183 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606760282480 140607334541954 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5996] ppid=5933 vsize=10983192 memory=1840 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5996/stat : 5996 (java) S 5933 5936 22004 0 -1 1077944384 13 13124 0 0 0 0 5 3 20 0 15 0 107238184 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606156301344 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5997] ppid=5933 vsize=10983192 memory=1004 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5997/stat : 5997 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238184 11246788608 22075 33554432000 4194304 4196468 140736109480368 140605954974576 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5998] ppid=5933 vsize=10983192 memory=12060 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5998/stat : 5998 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246788608 22075 33554432000 4194304 4196468 140736109480368 140605647574864 140607334549403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5999] ppid=5933 vsize=10983192 memory=5788 CPUtime=0.17 cores=0,2,4,6
/proc/5936/task/5999/stat : 5999 (java) S 5933 5936 22004 0 -1 1077944384 944 13124 0 0 9 0 5 3 20 0 15 0 107238187 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606759230320 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6000] ppid=5933 vsize=10983192 memory=792 CPUtime=0.15 cores=0,2,4,6
/proc/5936/task/6000/stat : 6000 (java) S 5933 5936 22004 0 -1 1077944384 626 13124 0 0 7 0 5 3 20 0 15 0 107238187 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606758177520 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6001] ppid=5933 vsize=10983192 memory=1228 CPUtime=0.2 cores=0,2,4,6
/proc/5936/task/6001/stat : 6001 (java) S 5933 5936 22004 0 -1 1077944384 644 13124 0 0 12 0 5 3 20 0 15 0 107238187 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606757124720 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6002] ppid=5933 vsize=10983192 memory=1944 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6002/stat : 6002 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246788608 22075 33554432000 4194304 4196468 140736109480368 140605216778976 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6003] ppid=5933 vsize=10983192 memory=1416 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6003/stat : 6003 (java) S 5933 5936 22004 0 -1 1077944384 1 13124 0 0 0 0 5 3 20 0 15 0 107238187 11246788608 22075 33554432000 4194304 4196468 140736109480368 140606756072112 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
Current children cumulated CPU time: 0.96 s
Current children cumulated vsize: 10983192 KiB
Current children cumulated memory: 88300 KiB
[startup+1.50091 s]
/proc/loadavg: 2.23 1.94 1.80 5/215 6003
/proc/meminfo: memFree=26653560/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=10991948 memory=220868 CPUtime=2.83 cores=0,2,4,6
/proc/5936/stat : 5936 (java) S 5933 5936 22004 0 -1 1077944320 23957 13124 0 0 264 11 5 3 20 0 15 0 107238169 11255754752 55217 33554432000 4194304 4196468 140736109480368 140736109462912 140607334530807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
/proc/5936/statm: 2747987 55217 3444 1 0 2709645 0
[pid=5936/tid=5989] ppid=5933 vsize=10991948 memory=14775 CPUtime=1.43 cores=0,2,4,6
/proc/5936/task/5989/stat : 5989 (java) S 5933 5936 22004 0 -1 1077944384 15042 13124 0 0 127 8 5 3 20 0 15 0 107238181 11255754752 55217 33554432000 4194304 4196468 140736109480368 140607306363888 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=10991948 memory=4028 CPUtime=0.08 cores=0,2,4,6
################
# More data... #
################
/proc/5936/task/5989/stat : 5989 (java) R 5933 5936 22004 0 -1 4202560 61236 13124 0 0 16016 47 5 3 20 0 15 0 107238181 11278843904 789173 33554432000 4194304 4196468 140736109480368 140607306365176 140606918730571 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=11014496 memory=3156692 CPUtime=1.31 cores=0,2,4,6
/proc/5936/task/5990/stat : 5990 (java) S 5933 5936 22004 0 -1 1077944384 1501 13124 0 0 108 15 5 3 20 0 15 0 107238182 11278843904 789173 33554432000 4194304 4196468 140736109480368 140607338773648 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5991] ppid=5933 vsize=11014496 memory=3156692 CPUtime=1.31 cores=0,2,4,6
/proc/5936/task/5991/stat : 5991 (java) S 5933 5936 22004 0 -1 1077944384 4073 13124 0 0 109 14 5 3 20 0 15 0 107238182 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606874246160 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5992] ppid=5933 vsize=11014496 memory=3156692 CPUtime=1.32 cores=0,2,4,6
/proc/5936/task/5992/stat : 5992 (java) S 5933 5936 22004 0 -1 1077944384 2750 13124 0 0 110 14 5 3 20 0 15 0 107238182 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606873193360 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5993] ppid=5933 vsize=11014496 memory=3156692 CPUtime=1.32 cores=0,2,4,6
/proc/5936/task/5993/stat : 5993 (java) S 5933 5936 22004 0 -1 1077944384 2287 13124 0 0 110 14 5 3 20 0 15 0 107238182 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606872140560 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5994] ppid=5933 vsize=11014496 memory=3156692 CPUtime=0.3 cores=0,2,4,6
/proc/5936/task/5994/stat : 5994 (java) S 5933 5936 22004 0 -1 1077944384 4675 13124 0 0 21 1 5 3 20 0 15 0 107238183 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606760282480 140607334541954 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5996] ppid=5933 vsize=11014496 memory=1624 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5996/stat : 5996 (java) S 5933 5936 22004 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606156301408 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5997] ppid=5933 vsize=11014496 memory=1200 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5997/stat : 5997 (java) S 5933 5936 22004 0 -1 1077944384 5 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 789173 33554432000 4194304 4196468 140736109480368 140605954974592 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5998] ppid=5933 vsize=11014496 memory=3152596 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5998/stat : 5998 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 789173 33554432000 4194304 4196468 140736109480368 140605647574864 140607334549403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5999] ppid=5933 vsize=11014496 memory=280175883738560 CPUtime=5.29 cores=0,2,4,6
/proc/5936/task/5999/stat : 5999 (java) S 5933 5936 22004 0 -1 1077944384 15801 13124 0 0 517 4 5 3 20 0 15 0 107238187 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606759230320 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6000] ppid=5933 vsize=11014496 memory=3156692 CPUtime=5.47 cores=0,2,4,6
/proc/5936/task/6000/stat : 6000 (java) S 5933 5936 22004 0 -1 1077944384 15381 13124 0 0 536 3 5 3 20 0 15 0 107238187 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606758177520 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6001] ppid=5933 vsize=11014496 memory=2244 CPUtime=1.97 cores=0,2,4,6
/proc/5936/task/6001/stat : 6001 (java) S 5933 5936 22004 0 -1 1077944384 14406 13124 0 0 185 4 5 3 20 0 15 0 107238187 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606757124720 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6002] ppid=5933 vsize=11014496 memory=3156692 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6002/stat : 6002 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 789173 33554432000 4194304 4196468 140736109480368 140605216778976 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6003] ppid=5933 vsize=11014496 memory=3156692 CPUtime=0.18 cores=0,2,4,6
/proc/5936/task/6003/stat : 6003 (java) S 5933 5936 22004 0 -1 1077944384 163 13124 0 0 5 5 5 3 20 0 15 0 107238187 11278843904 789173 33554432000 4194304 4196468 140736109480368 140606756072112 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
Current children cumulated CPU time: 178.56 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3156692 KiB
[startup+222.301 s]
/proc/loadavg: 1.76 1.98 1.86 3/215 6268
/proc/meminfo: memFree=23934416/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=11014496 memory=3163076 CPUtime=238.81 cores=0,2,4,6
/proc/5936/stat : 5936 (java) S 5933 5936 22004 0 -1 1077944320 139257 13124 0 0 23744 129 5 3 20 0 15 0 107238169 11278843904 790769 33554432000 4194304 4196468 140736109480368 140736109462912 140607334530807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
/proc/5936/statm: 2753624 790769 3525 1 0 2715277 0
[pid=5936/tid=5989] ppid=5933 vsize=11014496 memory=3848 CPUtime=220.64 cores=0,2,4,6
/proc/5936/task/5989/stat : 5989 (java) R 5933 5936 22004 0 -1 4202560 68217 13124 0 0 22006 50 5 3 20 0 15 0 107238181 11278843904 790769 33554432000 4194304 4196468 140736109480368 140607303724912 140606918725279 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=11014496 memory=3163076 CPUtime=1.34 cores=0,2,4,6
/proc/5936/task/5990/stat : 5990 (java) S 5933 5936 22004 0 -1 1077944384 2402 13124 0 0 111 15 5 3 20 0 15 0 107238182 11278843904 790769 33554432000 4194304 4196468 140736109480368 140607338773648 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5991] ppid=5933 vsize=11014496 memory=3163076 CPUtime=1.34 cores=0,2,4,6
/proc/5936/task/5991/stat : 5991 (java) S 5933 5936 22004 0 -1 1077944384 4126 13124 0 0 112 14 5 3 20 0 15 0 107238182 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606874246160 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5992] ppid=5933 vsize=11014496 memory=3162932 CPUtime=1.35 cores=0,2,4,6
/proc/5936/task/5992/stat : 5992 (java) S 5933 5936 22004 0 -1 1077944384 3971 13124 0 0 112 15 5 3 20 0 15 0 107238182 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606873193360 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5993] ppid=5933 vsize=11014496 memory=3163076 CPUtime=1.36 cores=0,2,4,6
/proc/5936/task/5993/stat : 5993 (java) S 5933 5936 22004 0 -1 1077944384 2379 13124 0 0 113 15 5 3 20 0 15 0 107238182 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606872140560 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5994] ppid=5933 vsize=11014496 memory=2788 CPUtime=0.33 cores=0,2,4,6
/proc/5936/task/5994/stat : 5994 (java) S 5933 5936 22004 0 -1 1077944384 4988 13124 0 0 24 1 5 3 20 0 15 0 107238183 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606760282480 140607334541954 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5996] ppid=5933 vsize=11014496 memory=3163076 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5996/stat : 5996 (java) S 5933 5936 22004 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606156301408 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5997] ppid=5933 vsize=11014496 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5997/stat : 5997 (java) S 5933 5936 22004 0 -1 1077944384 5 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 790769 33554432000 4194304 4196468 140736109480368 140605954974592 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5998] ppid=5933 vsize=11014496 memory=3163076 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5998/stat : 5998 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 790769 33554432000 4194304 4196468 140736109480368 140605647574864 140607334549403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5999] ppid=5933 vsize=11014496 memory=3163076 CPUtime=5.34 cores=0,2,4,6
/proc/5936/task/5999/stat : 5999 (java) S 5933 5936 22004 0 -1 1077944384 17109 13124 0 0 522 4 5 3 20 0 15 0 107238187 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606759230320 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6000] ppid=5933 vsize=11014496 memory=4052 CPUtime=5.53 cores=0,2,4,6
/proc/5936/task/6000/stat : 6000 (java) S 5933 5936 22004 0 -1 1077944384 17140 13124 0 0 542 3 5 3 20 0 15 0 107238187 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606758177520 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6001] ppid=5933 vsize=11014496 memory=3163076 CPUtime=1.99 cores=0,2,4,6
/proc/5936/task/6001/stat : 6001 (java) S 5933 5936 22004 0 -1 1077944384 16374 13124 0 0 187 4 5 3 20 0 15 0 107238187 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606757124720 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6002] ppid=5933 vsize=11014496 memory=3163076 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6002/stat : 6002 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 790769 33554432000 4194304 4196468 140736109480368 140605216778976 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6003] ppid=5933 vsize=11014496 memory=3163068 CPUtime=0.21 cores=0,2,4,6
/proc/5936/task/6003/stat : 6003 (java) S 5933 5936 22004 0 -1 1077944384 324 13124 0 0 6 7 5 3 20 0 15 0 107238187 11278843904 790769 33554432000 4194304 4196468 140736109480368 140606756072112 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
Current children cumulated CPU time: 238.81 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3163076 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+235.51 s]
/proc/loadavg: 1.59 1.94 1.84 3/215 6268
/proc/meminfo: memFree=23932812/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=11014496 memory=3165124 CPUtime=252.05 cores=0,2,4,6
/proc/5936/stat : 5936 (java) S 5933 5936 22004 0 -1 1077944320 140807 13124 0 0 25068 129 5 3 20 0 15 0 107238169 11278843904 791281 33554432000 4194304 4196468 140736109480368 140736109462912 140607334530807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
/proc/5936/statm: 2753624 791281 3525 1 0 2715277 0
[pid=5936/tid=5989] ppid=5933 vsize=11014496 memory=3165124 CPUtime=233.83 cores=0,2,4,6
/proc/5936/task/5989/stat : 5989 (java) R 5933 5936 22004 0 -1 4202560 69202 13124 0 0 23325 50 5 3 20 0 15 0 107238181 11278843904 791281 33554432000 4194304 4196468 140736109480368 140607303646048 140606918730575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.35 cores=0,2,4,6
/proc/5936/task/5990/stat : 5990 (java) S 5933 5936 22004 0 -1 1077944384 2402 13124 0 0 112 15 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140607338773648 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5991] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.34 cores=0,2,4,6
/proc/5936/task/5991/stat : 5991 (java) S 5933 5936 22004 0 -1 1077944384 4127 13124 0 0 112 14 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606874246160 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5992] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.36 cores=0,2,4,6
/proc/5936/task/5992/stat : 5992 (java) S 5933 5936 22004 0 -1 1077944384 3972 13124 0 0 113 15 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606873193360 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5993] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.37 cores=0,2,4,6
/proc/5936/task/5993/stat : 5993 (java) S 5933 5936 22004 0 -1 1077944384 2383 13124 0 0 114 15 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606872140560 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5994] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.34 cores=0,2,4,6
/proc/5936/task/5994/stat : 5994 (java) S 5933 5936 22004 0 -1 1077944384 4991 13124 0 0 25 1 5 3 20 0 15 0 107238183 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606760282480 140607334541954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5996] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5996/stat : 5996 (java) S 5933 5936 22004 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606156301408 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5997] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5997/stat : 5997 (java) S 5933 5936 22004 0 -1 1077944384 5 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 791281 33554432000 4194304 4196468 140736109480368 140605954974592 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5998] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5998/stat : 5998 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140605647574864 140607334549403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5999] ppid=5933 vsize=11014496 memory=3165124 CPUtime=5.35 cores=0,2,4,6
/proc/5936/task/5999/stat : 5999 (java) S 5933 5936 22004 0 -1 1077944384 17232 13124 0 0 523 4 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606759230320 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6000] ppid=5933 vsize=11014496 memory=4028 CPUtime=5.54 cores=0,2,4,6
/proc/5936/task/6000/stat : 6000 (java) S 5933 5936 22004 0 -1 1077944384 17573 13124 0 0 543 3 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606758177520 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6001] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.99 cores=0,2,4,6
/proc/5936/task/6001/stat : 6001 (java) S 5933 5936 22004 0 -1 1077944384 16374 13124 0 0 187 4 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606757124720 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6002] ppid=5933 vsize=11014496 memory=280175884143936 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6002/stat : 6002 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140605216778976 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6003] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.22 cores=0,2,4,6
/proc/5936/task/6003/stat : 6003 (java) S 5933 5936 22004 0 -1 1077944384 324 13124 0 0 7 7 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606756072112 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3165124 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+235.583 s]
# the end of solver process 5936 was just reported to runsolver
# cumulated CPU time of all completed processes: user=250.788 s, system=1.35281 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+235.51 s]
/proc/loadavg: 1.59 1.94 1.84 3/215 6268
/proc/meminfo: memFree=23932812/32770624 swapFree=67108860/67108860
[pid=5936] ppid=5933 vsize=11014496 memory=3165124 CPUtime=252.05 cores=0,2,4,6
/proc/5936/stat : 5936 (java) S 5933 5936 22004 0 -1 1077944320 140807 13124 0 0 25068 129 5 3 20 0 15 0 107238169 11278843904 791281 33554432000 4194304 4196468 140736109480368 140736109462912 140607334530807 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
/proc/5936/statm: 2753624 791281 3525 1 0 2715277 0
[pid=5936/tid=5989] ppid=5933 vsize=11014496 memory=3165124 CPUtime=233.83 cores=0,2,4,6
/proc/5936/task/5989/stat : 5989 (java) R 5933 5936 22004 0 -1 4202560 69202 13124 0 0 23325 50 5 3 20 0 15 0 107238181 11278843904 791281 33554432000 4194304 4196468 140736109480368 140607303646048 140606918730575 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5990] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.35 cores=0,2,4,6
/proc/5936/task/5990/stat : 5990 (java) S 5933 5936 22004 0 -1 1077944384 2402 13124 0 0 112 15 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140607338773648 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5991] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.34 cores=0,2,4,6
/proc/5936/task/5991/stat : 5991 (java) S 5933 5936 22004 0 -1 1077944384 4127 13124 0 0 112 14 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606874246160 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5992] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.36 cores=0,2,4,6
/proc/5936/task/5992/stat : 5992 (java) S 5933 5936 22004 0 -1 1077944384 3972 13124 0 0 113 15 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606873193360 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5993] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.37 cores=0,2,4,6
/proc/5936/task/5993/stat : 5993 (java) S 5933 5936 22004 0 -1 1077944384 2383 13124 0 0 114 15 5 3 20 0 15 0 107238182 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606872140560 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5994] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.34 cores=0,2,4,6
/proc/5936/task/5994/stat : 5994 (java) S 5933 5936 22004 0 -1 1077944384 4991 13124 0 0 25 1 5 3 20 0 15 0 107238183 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606760282480 140607334541954 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5996] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5996/stat : 5996 (java) S 5933 5936 22004 0 -1 1077944384 21 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606156301408 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5997] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5997/stat : 5997 (java) S 5933 5936 22004 0 -1 1077944384 5 13124 0 0 0 0 5 3 20 0 15 0 107238184 11278843904 791281 33554432000 4194304 4196468 140736109480368 140605954974592 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5998] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/5998/stat : 5998 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140605647574864 140607334549403 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=5999] ppid=5933 vsize=11014496 memory=3165124 CPUtime=5.35 cores=0,2,4,6
/proc/5936/task/5999/stat : 5999 (java) S 5933 5936 22004 0 -1 1077944384 17232 13124 0 0 523 4 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606759230320 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6000] ppid=5933 vsize=11014496 memory=4028 CPUtime=5.54 cores=0,2,4,6
/proc/5936/task/6000/stat : 6000 (java) S 5933 5936 22004 0 -1 1077944384 17573 13124 0 0 543 3 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606758177520 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6001] ppid=5933 vsize=11014496 memory=3165124 CPUtime=1.99 cores=0,2,4,6
/proc/5936/task/6001/stat : 6001 (java) S 5933 5936 22004 0 -1 1077944384 16374 13124 0 0 187 4 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606757124720 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6002] ppid=5933 vsize=11014496 memory=280175884143936 CPUtime=0.08 cores=0,2,4,6
/proc/5936/task/6002/stat : 6002 (java) S 5933 5936 22004 0 -1 1077944384 3 13124 0 0 0 0 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140605216778976 140607334541013 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
[pid=5936/tid=6003] ppid=5933 vsize=11014496 memory=3165124 CPUtime=0.22 cores=0,2,4,6
/proc/5936/task/6003/stat : 6003 (java) S 5933 5936 22004 0 -1 1077944384 324 13124 0 0 7 7 5 3 20 0 15 0 107238187 11278843904 791281 33554432000 4194304 4196468 140736109480368 140606756072112 140607334541954 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30597120 140736109484657 140736109487457 140736109487457 140736109490127 0
Current children cumulated CPU time: 252.05 s
Current children cumulated vsize: 11014496 KiB
Current children cumulated memory: 3165124 KiB
Child status: 143
Real time (s): 235.583
CPU time (s): 252.141
CPU user time (s): 250.788
CPU system time (s): 1.35281
CPU usage (%): 107.028
Max. virtual memory (cumulated for all children) (KiB): 11014496
Max. memory (cumulated for all children) (KiB): 3168208
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.788
system time used= 1.35281
maximum resident set size= 3169332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154988
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15210
involuntary context switches= 534
# summary of solver processes directly reported to runsolver:
# pid: 5936
# total CPU time (s): 252.141
# total CPU user time (s): 250.788
# total CPU system time (s): 1.35281
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.41423 second user time and 2.3488 second system time
The end