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-3687982-1337875356/watcher-3687982-1337875356 -o /tmp/evaluation-result-3687982-1337875356/solver-3687982-1337875356 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3687982-1337875356.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.69 3.94 3.71 4/197 22678
/proc/meminfo: memFree=25062584/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22678/stat : 22678 (java) D 22676 22678 21597 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 253662958 9515008 182 33554432000 1073741824 1073778376 140735345002944 140735344993976 219513962165 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/22678/statm: 2323 182 140 9 0 71 0
[startup+0.0939909 s]
/proc/loadavg: 3.69 3.94 3.71 4/197 22678
/proc/meminfo: memFree=25062584/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 4311 0 1 0 8 0 0 0 20 0 18 0 253662958 9787813888 4999 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2389603 4999 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.100283 s]
/proc/loadavg: 3.69 3.94 3.71 4/197 22678
/proc/meminfo: memFree=25062584/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 4354 0 1 0 8 0 0 0 20 0 18 0 253662958 9787813888 5042 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2389603 5043 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558412
[startup+0.300182 s]
/proc/loadavg: 3.69 3.94 3.71 4/197 22678
/proc/meminfo: memFree=25062584/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=0.75 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 7902 0 1 0 74 1 0 0 20 0 22 0 253662958 10060460032 10153 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 10153 2216 9 0 2446860 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 9824668
[startup+0.700202 s]
/proc/loadavg: 3.69 3.94 3.71 4/197 22678
/proc/meminfo: memFree=25062584/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=2.33 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 17450 0 1 0 228 5 0 0 20 0 22 0 253662958 10060460032 26960 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 26960 2253 9 0 2446860 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9824668
[startup+1.50075 s]
/proc/loadavg: 3.69 3.94 3.71 5/219 22700
/proc/meminfo: memFree=24948096/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=4.57 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 19476 0 1 0 451 6 0 0 20 0 22 0 253662958 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 35368 2273 9 0 2446860 0
[pid=22678/tid=22680] ppid=22676 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22678/task/22680/stat : 22680 (java) S 22676 22678 21597 0 -1 4202560 2490 0 1 0 10 0 0 0 20 0 22 0 253662959 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153448776696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22681] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22681/stat : 22681 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153292810536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22682] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22682/stat : 22682 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153291757736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22683] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22683/stat : 22683 (java) S 22676 22678 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153290705448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22684] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22684/stat : 22684 (java) S 22676 22678 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153289652648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22685] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22685/stat : 22685 (java) S 22676 22678 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153288600360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22686] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22686/stat : 22686 (java) S 22676 22678 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153287547560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22687] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22687/stat : 22687 (java) S 22676 22678 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153286495272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22688] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22688/stat : 22688 (java) S 22676 22678 21597 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153285442472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22689] ppid=22676 vsize=9824668 CPUtime=0.05 cores=1,3,5,7
/proc/22678/task/22689/stat : 22689 (java) S 22676 22678 21597 0 -1 4202560 32 0 0 0 5 0 0 0 20 0 22 0 253662962 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153273030888 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22690] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22690/stat : 22690 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153271976952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22691] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22691/stat : 22691 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153270924552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22692] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22692/stat : 22692 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153269873040 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22693] ppid=22676 vsize=9824668 CPUtime=0.96 cores=1,3,5,7
/proc/22678/task/22693/stat : 22693 (java) S 22676 22678 21597 0 -1 4202560 7041 0 0 0 94 2 0 0 20 0 22 0 253662964 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153268820664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22694] ppid=22676 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/22678/task/22694/stat : 22694 (java) S 22676 22678 21597 0 -1 4202560 8507 0 0 0 80 2 0 0 20 0 22 0 253662964 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153267767864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22695] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22695/stat : 22695 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153266715768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22696] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22696/stat : 22696 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153265663176 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22697] ppid=22676 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/22678/task/22697/stat : 22697 (java) R 22676 22678 21597 0 -1 4202560 43 0 0 0 127 0 0 0 20 0 22 0 253662972 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153264607424 140153321992660 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22698] ppid=22676 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/22678/task/22698/stat : 22698 (java) R 22676 22678 21597 0 -1 4202560 115 0 0 0 127 0 0 0 20 0 22 0 253662972 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153263552720 140153321895152 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22699] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22699/stat : 22699 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153262503080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22700] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22700/stat : 22700 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 35368 33554432000 1073741824 1073778376 140735226754464 140153261450280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.57
Current children cumulated vsize (KiB) 9824668
[startup+3.10087 s]
/proc/loadavg: 3.69 3.94 3.71 5/219 22700
/proc/meminfo: memFree=24917128/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=7.69 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 19521 0 1 0 762 7 0 0 20 0 22 0 253662958 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 49206 2273 9 0 2446860 0
[pid=22678/tid=22680] ppid=22676 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22678/task/22680/stat : 22680 (java) S 22676 22678 21597 0 -1 4202560 2490 0 1 0 10 0 0 0 20 0 22 0 253662959 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153448776696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22681] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22681/stat : 22681 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153292810536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22682] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22682/stat : 22682 (java) S 22676 22678 21597 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153291757736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22683] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22683/stat : 22683 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153290705448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22684] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22684/stat : 22684 (java) S 22676 22678 21597 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153289652648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22685] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22685/stat : 22685 (java) S 22676 22678 21597 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153288600360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22686] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22686/stat : 22686 (java) S 22676 22678 21597 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153287547560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22687] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22687/stat : 22687 (java) S 22676 22678 21597 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153286495272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22688] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22688/stat : 22688 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662960 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153285442472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22689] ppid=22676 vsize=9824668 CPUtime=0.14 cores=1,3,5,7
/proc/22678/task/22689/stat : 22689 (java) S 22676 22678 21597 0 -1 4202560 35 0 0 0 14 0 0 0 20 0 22 0 253662962 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153273030888 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22690] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22690/stat : 22690 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153271976952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22691] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22691/stat : 22691 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153270924552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22692] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22692/stat : 22692 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153269873040 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22693] ppid=22676 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/22678/task/22693/stat : 22693 (java) S 22676 22678 21597 0 -1 4202560 7041 0 0 0 96 2 0 0 20 0 22 0 253662964 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153268820664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22694] ppid=22676 vsize=9824668 CPUtime=0.82 cores=1,3,5,7
/proc/22678/task/22694/stat : 22694 (java) S 22676 22678 21597 0 -1 4202560 8507 0 0 0 80 2 0 0 20 0 22 0 253662964 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153267767864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22695] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22695/stat : 22695 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153266715768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22696] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22696/stat : 22696 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153265663176 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22697] ppid=22676 vsize=9824668 CPUtime=2.76 cores=1,3,5,7
/proc/22678/task/22697/stat : 22697 (java) R 22676 22678 21597 0 -1 4202560 48 0 0 0 276 0 0 0 20 0 22 0 253662972 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153264607424 140153321826214 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22698] ppid=22676 vsize=9824668 CPUtime=2.75 cores=1,3,5,7
/proc/22678/task/22698/stat : 22698 (java) R 22676 22678 21597 0 -1 4202560 139 0 0 0 273 2 0 0 20 0 22 0 253662972 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153263552840 140153321872555 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22699] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22699/stat : 22699 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153262503080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22700] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22700/stat : 22700 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 49206 33554432000 1073741824 1073778376 140735226754464 140153261450280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.69
Current children cumulated vsize (KiB) 9824668
[startup+6.30087 s]
/proc/loadavg: 4.35 4.08 3.76 5/219 22700
/proc/meminfo: memFree=24834084/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=14.03 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 19714 0 1 0 1393 10 0 0 20 0 22 0 253662958 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 66773 2273 9 0 2446860 0
[pid=22678/tid=22680] ppid=22676 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22678/task/22680/stat : 22680 (java) S 22676 22678 21597 0 -1 4202560 2490 0 1 0 10 0 0 0 20 0 22 0 253662959 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153448776696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22681] ppid=22676 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22678/task/22681/stat : 22681 (java) S 22676 22678 21597 0 -1 4202560 19 0 0 0 2 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153292810536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22682] ppid=22676 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22678/task/22682/stat : 22682 (java) S 22676 22678 21597 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153291757736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22683] ppid=22676 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22678/task/22683/stat : 22683 (java) S 22676 22678 21597 0 -1 4202560 27 0 0 0 1 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153290705448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22684] ppid=22676 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22678/task/22684/stat : 22684 (java) S 22676 22678 21597 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153289652648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22685] ppid=22676 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22678/task/22685/stat : 22685 (java) S 22676 22678 21597 0 -1 4202560 15 0 0 0 1 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153288600360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22686] ppid=22676 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22678/task/22686/stat : 22686 (java) S 22676 22678 21597 0 -1 4202560 20 0 0 0 2 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153287547560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22687] ppid=22676 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/22678/task/22687/stat : 22687 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153286495272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22688] ppid=22676 vsize=9824668 CPUtime=0.02 cores=1,3,5,7
/proc/22678/task/22688/stat : 22688 (java) S 22676 22678 21597 0 -1 4202560 21 0 0 0 2 0 0 0 20 0 22 0 253662960 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153285442472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22689] ppid=22676 vsize=9824668 CPUtime=0.33 cores=1,3,5,7
/proc/22678/task/22689/stat : 22689 (java) S 22676 22678 21597 0 -1 4202560 102 0 0 0 33 0 0 0 20 0 22 0 253662962 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153273030888 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22690] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22690/stat : 22690 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153271976952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22691] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22691/stat : 22691 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153270924552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22692] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22692/stat : 22692 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153269873040 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22693] ppid=22676 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/22678/task/22693/stat : 22693 (java) S 22676 22678 21597 0 -1 4202560 7050 0 0 0 106 2 0 0 20 0 22 0 253662964 10060460032 66773 33554432000 1073741824 1073778376 140735226754464 140153268820664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
################
# More data... #
################
[pid=22678/tid=22698] ppid=22676 vsize=9824668 CPUtime=739.05 cores=1,3,5,7
/proc/22678/task/22698/stat : 22698 (java) R 22676 22678 21597 0 -1 4202560 4843 0 0 0 73872 33 0 0 20 0 22 0 253662972 10060460032 193976 33554432000 1073741824 1073778376 140735226754464 140153263552752 140153321871190 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22699] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22699/stat : 22699 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 193976 33554432000 1073741824 1073778376 140735226754464 140153262503080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22700] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22700/stat : 22700 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 193976 33554432000 1073741824 1073778376 140735226754464 140153261450280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1519.98
Current children cumulated vsize (KiB) 9824668
[startup+822.301 s]
/proc/loadavg: 4.00 4.00 3.86 5/219 22828
/proc/meminfo: memFree=27891556/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=1639.99 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 35685 0 1 0 163870 129 0 0 20 0 22 0 253662958 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 178243 2274 9 0 2446860 0
[pid=22678/tid=22680] ppid=22676 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/22678/task/22680/stat : 22680 (java) S 22676 22678 21597 0 -1 4202560 2525 0 1 0 13 2 0 0 20 0 22 0 253662959 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153448776696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22681] ppid=22676 vsize=9824668 CPUtime=3.12 cores=1,3,5,7
/proc/22678/task/22681/stat : 22681 (java) S 22676 22678 21597 0 -1 4202560 785 0 0 0 304 8 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153292810536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22682] ppid=22676 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/22678/task/22682/stat : 22682 (java) S 22676 22678 21597 0 -1 4202560 649 0 0 0 314 8 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153291757736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22683] ppid=22676 vsize=9824668 CPUtime=3.16 cores=1,3,5,7
/proc/22678/task/22683/stat : 22683 (java) S 22676 22678 21597 0 -1 4202560 794 0 0 0 309 7 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153290705448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22684] ppid=22676 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/22678/task/22684/stat : 22684 (java) S 22676 22678 21597 0 -1 4202560 510 0 0 0 320 7 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153289652648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22685] ppid=22676 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/22678/task/22685/stat : 22685 (java) S 22676 22678 21597 0 -1 4202560 514 0 0 0 293 8 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153288600360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22686] ppid=22676 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/22678/task/22686/stat : 22686 (java) S 22676 22678 21597 0 -1 4202560 708 0 0 0 294 7 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153287547560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22687] ppid=22676 vsize=9824668 CPUtime=2.96 cores=1,3,5,7
/proc/22678/task/22687/stat : 22687 (java) S 22676 22678 21597 0 -1 4202560 696 0 0 0 288 8 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153286495272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22688] ppid=22676 vsize=9824668 CPUtime=2.92 cores=1,3,5,7
/proc/22678/task/22688/stat : 22688 (java) S 22676 22678 21597 0 -1 4202560 706 0 0 0 285 7 0 0 20 0 22 0 253662960 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153285442472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22689] ppid=22676 vsize=9824668 CPUtime=17.66 cores=1,3,5,7
/proc/22678/task/22689/stat : 22689 (java) S 22676 22678 21597 0 -1 4202560 1614 0 0 0 1742 24 0 0 20 0 22 0 253662962 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153273030888 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22690] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22690/stat : 22690 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153271976952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22691] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22691/stat : 22691 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153270924552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22692] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22692/stat : 22692 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153269873040 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22693] ppid=22676 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/22678/task/22693/stat : 22693 (java) S 22676 22678 21597 0 -1 4202560 10832 0 0 0 151 3 0 0 20 0 22 0 253662964 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153268820664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22694] ppid=22676 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/22678/task/22694/stat : 22694 (java) S 22676 22678 21597 0 -1 4202560 8510 0 0 0 88 2 0 0 20 0 22 0 253662964 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153267767864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22695] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22695/stat : 22695 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153266715768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22696] ppid=22676 vsize=9824668 CPUtime=0.35 cores=1,3,5,7
/proc/22678/task/22696/stat : 22696 (java) S 22676 22678 21597 0 -1 4202560 48 0 0 0 15 20 0 0 20 0 22 0 253662964 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153265663176 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22697] ppid=22676 vsize=9824668 CPUtime=797.48 cores=1,3,5,7
/proc/22678/task/22697/stat : 22697 (java) R 22676 22678 21597 0 -1 4202560 310 0 0 0 79732 16 0 0 20 0 22 0 253662972 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153264605616 140153322400476 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22698] ppid=22676 vsize=9824668 CPUtime=797.53 cores=1,3,5,7
/proc/22678/task/22698/stat : 22698 (java) R 22676 22678 21597 0 -1 4202560 5297 0 0 0 79718 35 0 0 20 0 22 0 253662972 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153263553600 140153321895152 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22699] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22699/stat : 22699 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153262503080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22700] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22700/stat : 22700 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 178243 33554432000 1073741824 1073778376 140735226754464 140153261450280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1639.99
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 4.05 4.01 3.87 5/219 22828
/proc/meminfo: memFree=27871336/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=1759.53 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 36713 0 1 0 175810 143 0 0 20 0 22 0 253662958 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 225745 2274 9 0 2446860 0
[pid=22678/tid=22680] ppid=22676 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/22678/task/22680/stat : 22680 (java) S 22676 22678 21597 0 -1 4202560 2527 0 1 0 13 2 0 0 20 0 22 0 253662959 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153448776696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22681] ppid=22676 vsize=9824668 CPUtime=3.35 cores=1,3,5,7
/proc/22678/task/22681/stat : 22681 (java) S 22676 22678 21597 0 -1 4202560 800 0 0 0 327 8 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153292810536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22682] ppid=22676 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/22678/task/22682/stat : 22682 (java) S 22676 22678 21597 0 -1 4202560 669 0 0 0 337 8 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153291757736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22683] ppid=22676 vsize=9824668 CPUtime=3.47 cores=1,3,5,7
/proc/22678/task/22683/stat : 22683 (java) S 22676 22678 21597 0 -1 4202560 815 0 0 0 340 7 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153290705448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22684] ppid=22676 vsize=9824668 CPUtime=3.6 cores=1,3,5,7
/proc/22678/task/22684/stat : 22684 (java) S 22676 22678 21597 0 -1 4202560 532 0 0 0 351 9 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153289652648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22685] ppid=22676 vsize=9824668 CPUtime=3.32 cores=1,3,5,7
/proc/22678/task/22685/stat : 22685 (java) S 22676 22678 21597 0 -1 4202560 543 0 0 0 323 9 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153288600360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22686] ppid=22676 vsize=9824668 CPUtime=3.29 cores=1,3,5,7
/proc/22678/task/22686/stat : 22686 (java) S 22676 22678 21597 0 -1 4202560 738 0 0 0 320 9 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153287547560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22687] ppid=22676 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/22678/task/22687/stat : 22687 (java) S 22676 22678 21597 0 -1 4202560 728 0 0 0 323 10 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153286495272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22688] ppid=22676 vsize=9824668 CPUtime=3.21 cores=1,3,5,7
/proc/22678/task/22688/stat : 22688 (java) S 22676 22678 21597 0 -1 4202560 724 0 0 0 314 7 0 0 20 0 22 0 253662960 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153285442472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22689] ppid=22676 vsize=9824668 CPUtime=19.21 cores=1,3,5,7
/proc/22678/task/22689/stat : 22689 (java) S 22676 22678 21597 0 -1 4202560 1742 0 0 0 1895 26 0 0 20 0 22 0 253662962 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153273030888 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22690] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22690/stat : 22690 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153271976952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22691] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22691/stat : 22691 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153270924552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22692] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22692/stat : 22692 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153269873040 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22693] ppid=22676 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/22678/task/22693/stat : 22693 (java) S 22676 22678 21597 0 -1 4202560 10832 0 0 0 151 3 0 0 20 0 22 0 253662964 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153268820664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22694] ppid=22676 vsize=9824668 CPUtime=0.9 cores=1,3,5,7
/proc/22678/task/22694/stat : 22694 (java) S 22676 22678 21597 0 -1 4202560 8511 0 0 0 88 2 0 0 20 0 22 0 253662964 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153267767864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22695] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22695/stat : 22695 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153266715768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22696] ppid=22676 vsize=9824668 CPUtime=0.37 cores=1,3,5,7
/proc/22678/task/22696/stat : 22696 (java) S 22676 22678 21597 0 -1 4202560 50 0 0 0 16 21 0 0 20 0 22 0 253662964 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153265663176 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22697] ppid=22676 vsize=9824668 CPUtime=855.29 cores=1,3,5,7
/proc/22678/task/22697/stat : 22697 (java) R 22676 22678 21597 0 -1 4202560 329 0 0 0 85513 16 0 0 20 0 22 0 253662972 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153264605456 140153321810625 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22698] ppid=22676 vsize=9824668 CPUtime=855.35 cores=1,3,5,7
/proc/22678/task/22698/stat : 22698 (java) R 22676 22678 21597 0 -1 4202560 5986 0 0 0 85498 37 0 0 20 0 22 0 253662972 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153263553680 140153321872599 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22699] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22699/stat : 22699 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153262503080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22700] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22700/stat : 22700 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 225745 33554432000 1073741824 1073778376 140735226754464 140153261450280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1759.53
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+902.601 s]
/proc/loadavg: 3.90 3.98 3.86 5/219 22828
/proc/meminfo: memFree=28022672/32873648 swapFree=7108/7108
[pid=22678] ppid=22676 vsize=9824668 CPUtime=1800.07 cores=1,3,5,7
/proc/22678/stat : 22678 (java) S 22676 22678 21597 0 -1 4202496 36729 0 1 0 179862 145 0 0 20 0 22 0 253662958 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140735226745600 219517321277 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22678/statm: 2456167 208013 2274 9 0 2446860 0
[pid=22678/tid=22680] ppid=22676 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/22678/task/22680/stat : 22680 (java) S 22676 22678 21597 0 -1 4202560 2528 0 1 0 13 2 0 0 20 0 22 0 253662959 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153448776696 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22681] ppid=22676 vsize=9824668 CPUtime=3.44 cores=1,3,5,7
/proc/22678/task/22681/stat : 22681 (java) S 22676 22678 21597 0 -1 4202560 800 0 0 0 336 8 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153292810536 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22682] ppid=22676 vsize=9824668 CPUtime=3.51 cores=1,3,5,7
/proc/22678/task/22682/stat : 22682 (java) S 22676 22678 21597 0 -1 4202560 669 0 0 0 343 8 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153291757736 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22683] ppid=22676 vsize=9824668 CPUtime=3.54 cores=1,3,5,7
/proc/22678/task/22683/stat : 22683 (java) S 22676 22678 21597 0 -1 4202560 815 0 0 0 347 7 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153290705448 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22684] ppid=22676 vsize=9824668 CPUtime=3.7 cores=1,3,5,7
/proc/22678/task/22684/stat : 22684 (java) S 22676 22678 21597 0 -1 4202560 532 0 0 0 361 9 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153289652648 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22685] ppid=22676 vsize=9824668 CPUtime=3.44 cores=1,3,5,7
/proc/22678/task/22685/stat : 22685 (java) S 22676 22678 21597 0 -1 4202560 544 0 0 0 335 9 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153288600360 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22686] ppid=22676 vsize=9824668 CPUtime=3.38 cores=1,3,5,7
/proc/22678/task/22686/stat : 22686 (java) S 22676 22678 21597 0 -1 4202560 739 0 0 0 329 9 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153287547560 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22687] ppid=22676 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/22678/task/22687/stat : 22687 (java) S 22676 22678 21597 0 -1 4202560 728 0 0 0 338 10 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153286495272 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22688] ppid=22676 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/22678/task/22688/stat : 22688 (java) S 22676 22678 21597 0 -1 4202560 724 0 0 0 320 7 0 0 20 0 22 0 253662960 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153285442472 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22689] ppid=22676 vsize=9824668 CPUtime=19.62 cores=1,3,5,7
/proc/22678/task/22689/stat : 22689 (java) S 22676 22678 21597 0 -1 4202560 1744 0 0 0 1936 26 0 0 20 0 22 0 253662962 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153273030888 219517335465 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22690] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22690/stat : 22690 (java) S 22676 22678 21597 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153271976952 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22691] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22691/stat : 22691 (java) S 22676 22678 21597 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253662962 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153270924552 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22692] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22692/stat : 22692 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153269873040 219517343520 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22693] ppid=22676 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/22678/task/22693/stat : 22693 (java) S 22676 22678 21597 0 -1 4202560 10832 0 0 0 151 3 0 0 20 0 22 0 253662964 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153268820664 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22678/tid=22694] ppid=22676 vsize=9824668 CPUtime=0.92 cores=1,3,5,7
/proc/22678/task/22694/stat : 22694 (java) S 22676 22678 21597 0 -1 4202560 8513 0 0 0 90 2 0 0 20 0 22 0 253662964 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153267767864 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22678/tid=22695] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22695/stat : 22695 (java) S 22676 22678 21597 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253662964 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153266715768 219517334588 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22696] ppid=22676 vsize=9824668 CPUtime=0.38 cores=1,3,5,7
/proc/22678/task/22696/stat : 22696 (java) S 22676 22678 21597 0 -1 4202560 52 0 0 0 16 22 0 0 20 0 22 0 253662964 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153265663176 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22697] ppid=22676 vsize=9824668 CPUtime=874.98 cores=1,3,5,7
/proc/22678/task/22697/stat : 22697 (java) R 22676 22678 21597 0 -1 4202560 330 0 0 0 87481 17 0 0 20 0 22 0 253662972 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153264605664 140153321826287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22678/tid=22698] ppid=22676 vsize=9824668 CPUtime=875.03 cores=1,3,5,7
/proc/22678/task/22698/stat : 22698 (java) R 22676 22678 21597 0 -1 4202560 5992 0 0 0 87465 38 0 0 20 0 22 0 253662972 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153263553600 140153321870478 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22699] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22699/stat : 22699 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153262503080 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22678/tid=22700] ppid=22676 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22678/task/22700/stat : 22700 (java) S 22676 22678 21597 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253662972 10060460032 208013 33554432000 1073741824 1073778376 140735226754464 140153261450280 219517335465 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 9824668
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): 902.657
CPU time (s): 1800.82
CPU user time (s): 1798.89
CPU system time (s): 1.93271
CPU usage (%): 199.502
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.89
system time used= 1.93271
maximum resident set size= 1266064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36772
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 31838
involuntary context switches= 59800
runsolver used 3.42148 second user time and 8.44272 second system time
The end