runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3739694-1338758038/watcher-3739694-1338758038 -o /tmp/evaluation-result-3739694-1338758038/solver-3739694-1338758038 -C 1800 -W 1900 -M 15500 java6 -server -Xms1350m -Xmx1350m -jar HOME/sat4j-multicore.jar HOME/instance-3739694-1338758038.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.62 3.78 3.67 4/197 6573
/proc/meminfo: memFree=27617052/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/6573/stat : 6573 (java) R 6571 6573 3937 0 -1 4202496 990 0 0 0 0 0 0 0 20 0 1 0 341929745 23793664 716 33554432000 1073741824 1073778376 140733255472832 140733255461896 226075129936 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 5809 716 531 9 0 128 0
[startup+0.067674 s]
/proc/loadavg: 3.62 3.78 3.67 4/197 6573
/proc/meminfo: memFree=27617052/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2699928 CPUtime=0.05 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 3898 0 1 0 5 0 0 0 20 0 18 0 341929745 2764726272 5616 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 674982 5616 1772 9 0 665676 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2699928
[startup+0.100208 s]
/proc/loadavg: 3.62 3.78 3.67 4/197 6573
/proc/meminfo: memFree=27617052/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2699928 CPUtime=0.11 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 4842 0 1 0 11 0 0 0 20 0 18 0 341929745 2764726272 6534 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 674982 6534 2144 9 0 665676 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 2699928
[startup+0.300169 s]
/proc/loadavg: 3.62 3.78 3.67 4/197 6573
/proc/meminfo: memFree=27617052/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2699928 CPUtime=0.52 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 6582 0 1 0 51 1 0 0 20 0 18 0 341929745 2764726272 10213 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 674982 10213 2218 9 0 665676 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 2699928
[startup+0.700191 s]
/proc/loadavg: 3.62 3.78 3.67 4/197 6573
/proc/meminfo: memFree=27617052/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2699928 CPUtime=1.68 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 16341 0 1 0 164 4 0 0 20 0 18 0 341929745 2764726272 34317 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 674982 34317 2241 9 0 665676 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 2699928
[startup+1.50063 s]
/proc/loadavg: 3.62 3.78 3.67 4/215 6591
/proc/meminfo: memFree=27346440/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2966184 CPUtime=3.72 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 18986 0 1 0 365 7 0 0 20 0 22 0 341929745 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 741546 89216 2254 9 0 732240 0
[pid=6573/tid=6575] ppid=6571 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/6573/task/6575/stat : 6575 (java) S 6571 6573 3937 0 -1 4202560 2929 0 1 0 108 5 0 0 20 0 22 0 341929745 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718346556568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6576] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6576/stat : 6576 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718330837416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6577] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6577/stat : 6577 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718329784872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6578] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6578/stat : 6578 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718328731816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6579] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6579/stat : 6579 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718327679272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6580] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6580/stat : 6580 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718326627240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6581] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6581/stat : 6581 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718325574696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6582] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6582/stat : 6582 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718324521640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6583] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6583/stat : 6583 (java) S 6571 6573 3937 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 341929746 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718323469096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6584] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6584/stat : 6584 (java) S 6571 6573 3937 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718311057768 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6585] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6585/stat : 6585 (java) S 6571 6573 3937 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718310004088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6586] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6586/stat : 6586 (java) S 6571 6573 3937 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718308950920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6587] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6587/stat : 6587 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718307899664 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6588] ppid=6571 vsize=2966184 CPUtime=0.95 cores=1,3,5,7
/proc/6573/task/6588/stat : 6588 (java) R 6571 6573 3937 0 -1 4202560 7773 0 0 0 95 0 0 0 20 0 22 0 341929750 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718306847544 140718352938577 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6589] ppid=6571 vsize=2966184 CPUtime=0.94 cores=1,3,5,7
/proc/6573/task/6589/stat : 6589 (java) R 6571 6573 3937 0 -1 4202560 6974 0 0 0 93 1 0 0 20 0 22 0 341929750 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718305782528 140718354302189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6590] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6590/stat : 6590 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718304742136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6591] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6591/stat : 6591 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 89216 33554432000 1073741824 1073778376 140733255472832 140718303689800 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.72
Current children cumulated vsize (KiB) 2966184
[startup+3.10082 s]
/proc/loadavg: 3.81 3.82 3.68 6/219 6595
/proc/meminfo: memFree=27206028/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2966184 CPUtime=7.72 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 20671 0 1 0 756 16 0 0 20 0 22 0 341929745 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 741546 115373 2271 9 0 732240 0
[pid=6573/tid=6575] ppid=6571 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/6573/task/6575/stat : 6575 (java) S 6571 6573 3937 0 -1 4202560 2929 0 1 0 108 5 0 0 20 0 22 0 341929745 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718346556568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6576] ppid=6571 vsize=2966184 CPUtime=0.01 cores=1,3,5,7
/proc/6573/task/6576/stat : 6576 (java) S 6571 6573 3937 0 -1 4202560 17 0 0 0 1 0 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718330837416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6577] ppid=6571 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/6573/task/6577/stat : 6577 (java) S 6571 6573 3937 0 -1 4202560 25 0 0 0 5 1 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718329784872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6578] ppid=6571 vsize=2966184 CPUtime=0.05 cores=1,3,5,7
/proc/6573/task/6578/stat : 6578 (java) S 6571 6573 3937 0 -1 4202560 23 0 0 0 5 0 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718328731816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6579] ppid=6571 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/6573/task/6579/stat : 6579 (java) S 6571 6573 3937 0 -1 4202560 33 0 0 0 5 2 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718327679272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6580] ppid=6571 vsize=2966184 CPUtime=0.03 cores=1,3,5,7
/proc/6573/task/6580/stat : 6580 (java) S 6571 6573 3937 0 -1 4202560 12 0 0 0 3 0 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718326627240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6581] ppid=6571 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/6573/task/6581/stat : 6581 (java) S 6571 6573 3937 0 -1 4202560 26 0 0 0 4 2 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718325574696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6582] ppid=6571 vsize=2966184 CPUtime=0.02 cores=1,3,5,7
/proc/6573/task/6582/stat : 6582 (java) S 6571 6573 3937 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718324521640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6583] ppid=6571 vsize=2966184 CPUtime=0.06 cores=1,3,5,7
/proc/6573/task/6583/stat : 6583 (java) S 6571 6573 3937 0 -1 4202560 28 0 0 0 4 2 0 0 20 0 22 0 341929746 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718323469096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6584] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6584/stat : 6584 (java) S 6571 6573 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718311057768 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6585] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6585/stat : 6585 (java) S 6571 6573 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718310004088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6586] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6586/stat : 6586 (java) S 6571 6573 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718308950920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6587] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6587/stat : 6587 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718307899664 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6588] ppid=6571 vsize=2966184 CPUtime=1.2 cores=1,3,5,7
/proc/6573/task/6588/stat : 6588 (java) S 6571 6573 3937 0 -1 4202560 7775 0 0 0 120 0 0 0 20 0 22 0 341929750 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718306847544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6589] ppid=6571 vsize=2966184 CPUtime=1.28 cores=1,3,5,7
/proc/6573/task/6589/stat : 6589 (java) S 6571 6573 3937 0 -1 4202560 8466 0 0 0 126 2 0 0 20 0 22 0 341929750 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718305795000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6590] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6590/stat : 6590 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718304742136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6591] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6591/stat : 6591 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718303689800 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6592] ppid=6571 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/6573/task/6592/stat : 6592 (java) R 6571 6573 3937 0 -1 4202560 28 0 0 0 178 0 0 0 20 0 22 0 341929861 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718302632632 140718179045499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6593] ppid=6571 vsize=2966184 CPUtime=1.78 cores=1,3,5,7
/proc/6573/task/6593/stat : 6593 (java) R 6571 6573 3937 0 -1 4202560 93 0 0 0 178 0 0 0 20 0 22 0 341929861 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718301580392 140718178965910 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6594] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6594/stat : 6594 (java) S 6571 6573 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718300529448 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6595] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6595/stat : 6595 (java) S 6571 6573 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 115373 33554432000 1073741824 1073778376 140733255472832 140718299476904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 2966184
[startup+6.30084 s]
/proc/loadavg: 3.81 3.82 3.68 5/219 6595
/proc/meminfo: memFree=27114368/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2966184 CPUtime=14.25 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 20760 0 1 0 1407 18 0 0 20 0 22 0 341929745 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 741546 126458 2283 9 0 732240 0
[pid=6573/tid=6575] ppid=6571 vsize=2966184 CPUtime=1.13 cores=1,3,5,7
/proc/6573/task/6575/stat : 6575 (java) S 6571 6573 3937 0 -1 4202560 2929 0 1 0 108 5 0 0 20 0 22 0 341929745 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718346556568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6576] ppid=6571 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/6573/task/6576/stat : 6576 (java) S 6571 6573 3937 0 -1 4202560 23 0 0 0 5 2 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718330837416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6577] ppid=6571 vsize=2966184 CPUtime=0.1 cores=1,3,5,7
/proc/6573/task/6577/stat : 6577 (java) S 6571 6573 3937 0 -1 4202560 28 0 0 0 8 2 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718329784872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6578] ppid=6571 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/6573/task/6578/stat : 6578 (java) S 6571 6573 3937 0 -1 4202560 25 0 0 0 10 1 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718328731816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6579] ppid=6571 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/6573/task/6579/stat : 6579 (java) S 6571 6573 3937 0 -1 4202560 35 0 0 0 9 2 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718327679272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6580] ppid=6571 vsize=2966184 CPUtime=0.07 cores=1,3,5,7
/proc/6573/task/6580/stat : 6580 (java) S 6571 6573 3937 0 -1 4202560 18 0 0 0 7 0 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718326627240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6581] ppid=6571 vsize=2966184 CPUtime=0.12 cores=1,3,5,7
/proc/6573/task/6581/stat : 6581 (java) S 6571 6573 3937 0 -1 4202560 29 0 0 0 10 2 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718325574696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6582] ppid=6571 vsize=2966184 CPUtime=0.11 cores=1,3,5,7
/proc/6573/task/6582/stat : 6582 (java) S 6571 6573 3937 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718324521640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6583] ppid=6571 vsize=2966184 CPUtime=0.09 cores=1,3,5,7
/proc/6573/task/6583/stat : 6583 (java) S 6571 6573 3937 0 -1 4202560 34 0 0 0 7 2 0 0 20 0 22 0 341929746 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718323469096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6584] ppid=6571 vsize=2966184 CPUtime=0.2 cores=1,3,5,7
/proc/6573/task/6584/stat : 6584 (java) S 6571 6573 3937 0 -1 4202560 50 0 0 0 19 1 0 0 20 0 22 0 341929747 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718311057768 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6585] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6585/stat : 6585 (java) S 6571 6573 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718310004088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6586] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6586/stat : 6586 (java) S 6571 6573 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718308950920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6587] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6587/stat : 6587 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718307899664 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6588] ppid=6571 vsize=2966184 CPUtime=1.31 cores=1,3,5,7
/proc/6573/task/6588/stat : 6588 (java) S 6571 6573 3937 0 -1 4202560 7780 0 0 0 131 0 0 0 20 0 22 0 341929750 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718306847544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6589] ppid=6571 vsize=2966184 CPUtime=1.36 cores=1,3,5,7
/proc/6573/task/6589/stat : 6589 (java) S 6571 6573 3937 0 -1 4202560 8468 0 0 0 134 2 0 0 20 0 22 0 341929750 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718305795000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6590] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6590/stat : 6590 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718304742136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6591] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6591/stat : 6591 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718303689800 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6592] ppid=6571 vsize=2966184 CPUtime=4.64 cores=1,3,5,7
/proc/6573/task/6592/stat : 6592 (java) R 6571 6573 3937 0 -1 4202560 30 0 0 0 464 0 0 0 20 0 22 0 341929861 3037372416 126458 33554432000 1073741824 1073778376 140733255472832 140718302634320 140718178791254 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
################
# More data... #
################
[pid=6573/tid=6593] ppid=6571 vsize=2966184 CPUtime=736.14 cores=1,3,5,7
/proc/6573/task/6593/stat : 6593 (java) R 6571 6573 3937 0 -1 4202560 361 0 0 0 73600 14 0 0 20 0 22 0 341929861 3037372416 214515 33554432000 1073741824 1073778376 140733255472832 140718301580896 140718178899511 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6594] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6594/stat : 6594 (java) S 6571 6573 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 214515 33554432000 1073741824 1073778376 140733255472832 140718300529448 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6595] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6595/stat : 6595 (java) S 6571 6573 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 214515 33554432000 1073741824 1073778376 140733255472832 140718299476904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1525.34
Current children cumulated vsize (KiB) 2966184
[startup+822.301 s]
/proc/loadavg: 3.91 3.97 3.84 4/219 6603
/proc/meminfo: memFree=26376132/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2966184 CPUtime=1646.15 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 74128 0 1 0 164497 118 0 0 20 0 22 0 341929745 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 741546 219122 2283 9 0 732240 0
[pid=6573/tid=6575] ppid=6571 vsize=2966184 CPUtime=1.15 cores=1,3,5,7
/proc/6573/task/6575/stat : 6575 (java) S 6571 6573 3937 0 -1 4202560 2947 0 1 0 109 6 0 0 20 0 22 0 341929745 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718346556568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6576] ppid=6571 vsize=2966184 CPUtime=4.72 cores=1,3,5,7
/proc/6573/task/6576/stat : 6576 (java) S 6571 6573 3937 0 -1 4202560 336 0 0 0 464 8 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718330837416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6577] ppid=6571 vsize=2966184 CPUtime=4.49 cores=1,3,5,7
/proc/6573/task/6577/stat : 6577 (java) S 6571 6573 3937 0 -1 4202560 333 0 0 0 443 6 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718329784872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6578] ppid=6571 vsize=2966184 CPUtime=4.49 cores=1,3,5,7
/proc/6573/task/6578/stat : 6578 (java) S 6571 6573 3937 0 -1 4202560 342 0 0 0 443 6 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718328731816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6579] ppid=6571 vsize=2966184 CPUtime=4.45 cores=1,3,5,7
/proc/6573/task/6579/stat : 6579 (java) S 6571 6573 3937 0 -1 4202560 350 0 0 0 439 6 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718327679272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6580] ppid=6571 vsize=2966184 CPUtime=4.46 cores=1,3,5,7
/proc/6573/task/6580/stat : 6580 (java) S 6571 6573 3937 0 -1 4202560 324 0 0 0 438 8 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718326627240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6581] ppid=6571 vsize=2966184 CPUtime=4.36 cores=1,3,5,7
/proc/6573/task/6581/stat : 6581 (java) S 6571 6573 3937 0 -1 4202560 338 0 0 0 429 7 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718325574696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6582] ppid=6571 vsize=2966184 CPUtime=4.49 cores=1,3,5,7
/proc/6573/task/6582/stat : 6582 (java) S 6571 6573 3937 0 -1 4202560 318 0 0 0 444 5 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718324521640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6583] ppid=6571 vsize=2966184 CPUtime=4.29 cores=1,3,5,7
/proc/6573/task/6583/stat : 6583 (java) S 6571 6573 3937 0 -1 4202560 330 0 0 0 422 7 0 0 20 0 22 0 341929746 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718323469096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6584] ppid=6571 vsize=2966184 CPUtime=16.13 cores=1,3,5,7
/proc/6573/task/6584/stat : 6584 (java) S 6571 6573 3937 0 -1 4202560 47347 0 0 0 1576 37 0 0 20 0 22 0 341929747 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718311057768 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6585] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6585/stat : 6585 (java) S 6571 6573 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718310004088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6586] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6586/stat : 6586 (java) S 6571 6573 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718308950920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6587] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6587/stat : 6587 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718307899664 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6588] ppid=6571 vsize=2966184 CPUtime=1.99 cores=1,3,5,7
/proc/6573/task/6588/stat : 6588 (java) S 6571 6573 3937 0 -1 4202560 10763 0 0 0 197 2 0 0 20 0 22 0 341929750 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718306847544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6589] ppid=6571 vsize=2966184 CPUtime=1.4 cores=1,3,5,7
/proc/6573/task/6589/stat : 6589 (java) S 6571 6573 3937 0 -1 4202560 8469 0 0 0 138 2 0 0 20 0 22 0 341929750 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718305795000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6590] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6590/stat : 6590 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718304742136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6591] ppid=6571 vsize=2966184 CPUtime=0.33 cores=1,3,5,7
/proc/6573/task/6591/stat : 6591 (java) S 6571 6573 3937 0 -1 4202560 47 0 0 0 13 20 0 0 20 0 22 0 341929750 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718303689800 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6592] ppid=6571 vsize=2966184 CPUtime=794.76 cores=1,3,5,7
/proc/6573/task/6592/stat : 6592 (java) R 6571 6573 3937 0 -1 4202560 303 0 0 0 79461 15 0 0 20 0 22 0 341929861 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718302633216 140718178954608 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6593] ppid=6571 vsize=2966184 CPUtime=794.8 cores=1,3,5,7
/proc/6573/task/6593/stat : 6593 (java) R 6571 6573 3937 0 -1 4202560 384 0 0 0 79465 15 0 0 20 0 22 0 341929861 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718301579728 140718178966168 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6594] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6594/stat : 6594 (java) S 6571 6573 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718300529448 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6595] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6595/stat : 6595 (java) S 6571 6573 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 219122 33554432000 1073741824 1073778376 140733255472832 140718299476904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1646.15
Current children cumulated vsize (KiB) 2966184
[startup+882.301 s]
/proc/loadavg: 4.01 3.99 3.85 5/219 6701
/proc/meminfo: memFree=26795712/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2966184 CPUtime=1766.12 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 76641 0 1 0 176489 123 0 0 20 0 22 0 341929745 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 741546 219635 2283 9 0 732240 0
[pid=6573/tid=6575] ppid=6571 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/6573/task/6575/stat : 6575 (java) S 6571 6573 3937 0 -1 4202560 2948 0 1 0 110 6 0 0 20 0 22 0 341929745 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718346556568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6576] ppid=6571 vsize=2966184 CPUtime=5.13 cores=1,3,5,7
/proc/6573/task/6576/stat : 6576 (java) S 6571 6573 3937 0 -1 4202560 336 0 0 0 505 8 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718330837416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6577] ppid=6571 vsize=2966184 CPUtime=4.92 cores=1,3,5,7
/proc/6573/task/6577/stat : 6577 (java) S 6571 6573 3937 0 -1 4202560 334 0 0 0 486 6 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718329784872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6578] ppid=6571 vsize=2966184 CPUtime=4.88 cores=1,3,5,7
/proc/6573/task/6578/stat : 6578 (java) S 6571 6573 3937 0 -1 4202560 342 0 0 0 481 7 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718328731816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6579] ppid=6571 vsize=2966184 CPUtime=4.77 cores=1,3,5,7
/proc/6573/task/6579/stat : 6579 (java) S 6571 6573 3937 0 -1 4202560 350 0 0 0 471 6 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718327679272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6580] ppid=6571 vsize=2966184 CPUtime=4.74 cores=1,3,5,7
/proc/6573/task/6580/stat : 6580 (java) S 6571 6573 3937 0 -1 4202560 324 0 0 0 466 8 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718326627240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6581] ppid=6571 vsize=2966184 CPUtime=4.71 cores=1,3,5,7
/proc/6573/task/6581/stat : 6581 (java) S 6571 6573 3937 0 -1 4202560 339 0 0 0 464 7 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718325574696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6582] ppid=6571 vsize=2966184 CPUtime=4.75 cores=1,3,5,7
/proc/6573/task/6582/stat : 6582 (java) S 6571 6573 3937 0 -1 4202560 318 0 0 0 469 6 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718324521640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6583] ppid=6571 vsize=2966184 CPUtime=4.71 cores=1,3,5,7
/proc/6573/task/6583/stat : 6583 (java) S 6571 6573 3937 0 -1 4202560 331 0 0 0 464 7 0 0 20 0 22 0 341929746 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718323469096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6584] ppid=6571 vsize=2966184 CPUtime=17.43 cores=1,3,5,7
/proc/6573/task/6584/stat : 6584 (java) S 6571 6573 3937 0 -1 4202560 49818 0 0 0 1704 39 0 0 20 0 22 0 341929747 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718311057768 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6585] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6585/stat : 6585 (java) S 6571 6573 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718310004088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6586] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6586/stat : 6586 (java) S 6571 6573 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718308950920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6587] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6587/stat : 6587 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718307899664 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6588] ppid=6571 vsize=2966184 CPUtime=1.99 cores=1,3,5,7
/proc/6573/task/6588/stat : 6588 (java) S 6571 6573 3937 0 -1 4202560 10763 0 0 0 197 2 0 0 20 0 22 0 341929750 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718306847544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6589] ppid=6571 vsize=2966184 CPUtime=1.4 cores=1,3,5,7
/proc/6573/task/6589/stat : 6589 (java) S 6571 6573 3937 0 -1 4202560 8469 0 0 0 138 2 0 0 20 0 22 0 341929750 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718305795000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6590] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6590/stat : 6590 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718304742136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6591] ppid=6571 vsize=2966184 CPUtime=0.35 cores=1,3,5,7
/proc/6573/task/6591/stat : 6591 (java) S 6571 6573 3937 0 -1 4202560 51 0 0 0 14 21 0 0 20 0 22 0 341929750 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718303689800 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6592] ppid=6571 vsize=2966184 CPUtime=852.66 cores=1,3,5,7
/proc/6573/task/6592/stat : 6592 (java) R 6571 6573 3937 0 -1 4202560 316 0 0 0 85251 15 0 0 20 0 22 0 341929861 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718302632624 140718178814011 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6593] ppid=6571 vsize=2966184 CPUtime=852.7 cores=1,3,5,7
/proc/6573/task/6593/stat : 6593 (java) R 6571 6573 3937 0 -1 4202560 405 0 0 0 85255 15 0 0 20 0 22 0 341929861 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718301580864 140718178899511 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6594] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6594/stat : 6594 (java) S 6571 6573 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718300529448 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6595] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6595/stat : 6595 (java) S 6571 6573 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 219635 33554432000 1073741824 1073778376 140733255472832 140718299476904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1766.12
Current children cumulated vsize (KiB) 2966184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+899.401 s]
/proc/loadavg: 4.01 3.99 3.85 5/219 6719
/proc/meminfo: memFree=26744380/32873648 swapFree=6864/6864
[pid=6573] ppid=6571 vsize=2966184 CPUtime=1800.2 cores=1,3,5,7
/proc/6573/stat : 6573 (java) S 6571 6573 3937 0 -1 4202496 77656 0 1 0 179896 124 0 0 20 0 22 0 341929745 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140733255463968 226087698493 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/6573/statm: 741546 219634 2283 9 0 732240 0
[pid=6573/tid=6575] ppid=6571 vsize=2966184 CPUtime=1.16 cores=1,3,5,7
/proc/6573/task/6575/stat : 6575 (java) S 6571 6573 3937 0 -1 4202560 2948 0 1 0 110 6 0 0 20 0 22 0 341929745 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718346556568 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6576] ppid=6571 vsize=2966184 CPUtime=5.27 cores=1,3,5,7
/proc/6573/task/6576/stat : 6576 (java) S 6571 6573 3937 0 -1 4202560 336 0 0 0 519 8 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718330837416 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6577] ppid=6571 vsize=2966184 CPUtime=5 cores=1,3,5,7
/proc/6573/task/6577/stat : 6577 (java) S 6571 6573 3937 0 -1 4202560 334 0 0 0 494 6 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718329784872 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6578] ppid=6571 vsize=2966184 CPUtime=4.96 cores=1,3,5,7
/proc/6573/task/6578/stat : 6578 (java) S 6571 6573 3937 0 -1 4202560 342 0 0 0 489 7 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718328731816 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6579] ppid=6571 vsize=2966184 CPUtime=4.89 cores=1,3,5,7
/proc/6573/task/6579/stat : 6579 (java) S 6571 6573 3937 0 -1 4202560 350 0 0 0 483 6 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718327679272 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6580] ppid=6571 vsize=2966184 CPUtime=4.85 cores=1,3,5,7
/proc/6573/task/6580/stat : 6580 (java) S 6571 6573 3937 0 -1 4202560 324 0 0 0 477 8 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718326627240 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6581] ppid=6571 vsize=2966184 CPUtime=4.8 cores=1,3,5,7
/proc/6573/task/6581/stat : 6581 (java) S 6571 6573 3937 0 -1 4202560 339 0 0 0 473 7 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718325574696 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=6573/tid=6582] ppid=6571 vsize=2966184 CPUtime=4.88 cores=1,3,5,7
/proc/6573/task/6582/stat : 6582 (java) S 6571 6573 3937 0 -1 4202560 318 0 0 0 482 6 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718324521640 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6583] ppid=6571 vsize=2966184 CPUtime=4.83 cores=1,3,5,7
/proc/6573/task/6583/stat : 6583 (java) S 6571 6573 3937 0 -1 4202560 331 0 0 0 476 7 0 0 20 0 22 0 341929746 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718323469096 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6584] ppid=6571 vsize=2966184 CPUtime=17.95 cores=1,3,5,7
/proc/6573/task/6584/stat : 6584 (java) S 6571 6573 3937 0 -1 4202560 50821 0 0 0 1756 39 0 0 20 0 22 0 341929747 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718311057768 226087712681 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6585] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6585/stat : 6585 (java) S 6571 6573 3937 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718310004088 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6586] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6586/stat : 6586 (java) S 6571 6573 3937 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 341929747 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718308950920 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6587] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6587/stat : 6587 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718307899664 226087720736 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6588] ppid=6571 vsize=2966184 CPUtime=1.99 cores=1,3,5,7
/proc/6573/task/6588/stat : 6588 (java) S 6571 6573 3937 0 -1 4202560 10763 0 0 0 197 2 0 0 20 0 22 0 341929750 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718306847544 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6589] ppid=6571 vsize=2966184 CPUtime=1.4 cores=1,3,5,7
/proc/6573/task/6589/stat : 6589 (java) S 6571 6573 3937 0 -1 4202560 8469 0 0 0 138 2 0 0 20 0 22 0 341929750 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718305795000 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6590] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6590/stat : 6590 (java) S 6571 6573 3937 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 341929750 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718304742136 226087711804 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6591] ppid=6571 vsize=2966184 CPUtime=0.36 cores=1,3,5,7
/proc/6573/task/6591/stat : 6591 (java) S 6571 6573 3937 0 -1 4202560 53 0 0 0 14 22 0 0 20 0 22 0 341929750 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718303689800 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6592] ppid=6571 vsize=2966184 CPUtime=869 cores=1,3,5,7
/proc/6573/task/6592/stat : 6592 (java) R 6571 6573 3937 0 -1 4202560 322 0 0 0 86884 16 0 0 20 0 22 0 341929861 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718302634320 140718178954964 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=6573/tid=6593] ppid=6571 vsize=2966184 CPUtime=869.04 cores=1,3,5,7
/proc/6573/task/6593/stat : 6593 (java) R 6571 6573 3937 0 -1 4202560 409 0 0 0 86888 16 0 0 20 0 22 0 341929861 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718301579984 140718178734189 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=6573/tid=6594] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6594/stat : 6594 (java) S 6571 6573 3937 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718300529448 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=6573/tid=6595] ppid=6571 vsize=2966184 CPUtime=0 cores=1,3,5,7
/proc/6573/task/6595/stat : 6595 (java) S 6571 6573 3937 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 341929868 3037372416 219634 33554432000 1073741824 1073778376 140733255472832 140718299476904 226087712681 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 2966184
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 899.455
CPU time (s): 1800.77
CPU user time (s): 1799.03
CPU system time (s): 1.74073
CPU usage (%): 200.207
Max. virtual memory (cumulated for all children) (KiB): 2966184
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.03
system time used= 1.74073
maximum resident set size= 883504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77689
page faults= 1
swaps= 0
block input operations= 0
block output operations= 928
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38372
involuntary context switches= 71965
runsolver used 3.33149 second user time and 8.18475 second system time
The end