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-3688640-1337878638/watcher-3688640-1337878638 -o /tmp/evaluation-result-3688640-1337878638/solver-3688640-1337878638 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688640-1337878638.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.60 3.70 3.76 4/197 22684
/proc/meminfo: memFree=27089008/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/22684/stat : 22684 (java) D 22682 22684 20503 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 253992342 9515008 182 33554432000 1073741824 1073778376 140736994627456 140736994618488 270118239925 0 0 4096 0 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/22684/statm: 2323 182 140 9 0 71 0
[startup+0.022852 s]
/proc/loadavg: 3.60 3.70 3.76 4/197 22684
/proc/meminfo: memFree=27089008/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=8482100 CPUtime=0 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 1627 0 1 0 0 0 0 0 20 0 2 0 253992342 8685670400 1818 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2120525 1818 941 9 0 2111634 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8482100
[startup+0.100192 s]
/proc/loadavg: 3.60 3.70 3.76 4/197 22684
/proc/meminfo: memFree=27089008/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 4157 0 1 0 8 1 0 0 20 0 18 0 253992342 9787813888 5358 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2389603 5358 2080 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300184 s]
/proc/loadavg: 3.60 3.70 3.76 4/197 22684
/proc/meminfo: memFree=27089008/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9558412 CPUtime=0.44 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 6071 0 1 0 42 2 0 0 20 0 18 0 253992342 9787813888 8284 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2389603 8284 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.44
Current children cumulated vsize (KiB) 9558412
[startup+0.700203 s]
/proc/loadavg: 3.60 3.70 3.76 4/197 22684
/proc/meminfo: memFree=27089008/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9558412 CPUtime=1.6 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 21510 0 1 0 153 7 0 0 20 0 18 0 253992342 9787813888 26638 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2389603 26647 2244 9 0 2380296 0
Current children cumulated CPU time (s) 1.6
Current children cumulated vsize (KiB) 9558412
[startup+1.5008 s]
/proc/loadavg: 3.60 3.70 3.76 6/215 22702
/proc/meminfo: memFree=26914516/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9558412 CPUtime=3.76 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 29551 0 1 0 348 28 0 0 20 0 18 0 253992342 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2389603 85142 2261 9 0 2380296 0
[pid=22684/tid=22686] ppid=22682 vsize=9558412 CPUtime=1.23 cores=1,3,5,7
/proc/22684/task/22686/stat : 22686 (java) R 22682 22684 20503 0 -1 4202560 2522 0 1 0 120 3 0 0 20 0 18 0 253992343 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162915527768 140162785501568 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22687] ppid=22682 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 20503 0 -1 4202560 39 0 0 0 6 2 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162904590888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22688] ppid=22682 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 20503 0 -1 4202560 37 0 0 0 7 2 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162903538088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22689] ppid=22682 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 20503 0 -1 4202560 35 0 0 0 7 2 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162757245224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22690] ppid=22682 vsize=9558412 CPUtime=0.13 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 20503 0 -1 4202560 224 0 0 0 10 3 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162756192424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 20503 0 -1 4202560 114 0 0 0 8 1 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162755140648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=9558412 CPUtime=0.1 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 20503 0 -1 4202560 38 0 0 0 7 3 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162754087848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 20503 0 -1 4202560 173 0 0 0 5 3 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162753035048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 20503 0 -1 4202560 130 0 0 0 5 3 0 0 20 0 18 0 253992344 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162751982248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 20503 0 -1 4202560 72 0 0 0 0 0 0 0 20 0 18 0 253992345 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162739784168 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 253992346 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162738730232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 253992346 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162737677320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253992348 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162736625808 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=9558412 CPUtime=0.8 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) S 22682 22684 20503 0 -1 4202560 14901 0 0 0 77 3 0 0 20 0 18 0 253992348 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162735573944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=9558412 CPUtime=0.82 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) S 22682 22684 20503 0 -1 4202560 10091 0 0 0 79 3 0 0 20 0 18 0 253992348 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162734521144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253992348 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162733468536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=9558412 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 253992348 9787813888 85142 33554432000 1073741824 1073778376 140734292387776 140162732415944 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 9558412
[startup+3.10062 s]
/proc/loadavg: 3.60 3.70 3.76 7/219 22709
/proc/meminfo: memFree=26754704/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9824668 CPUtime=5.43 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 29961 0 1 0 508 35 0 0 20 0 22 0 253992342 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2456167 85763 2271 9 0 2446860 0
[pid=22684/tid=22686] ppid=22682 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 20503 0 -1 4202560 2535 0 1 0 123 4 0 0 20 0 22 0 253992343 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162915529720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22687] ppid=22682 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 20503 0 -1 4202560 39 0 0 0 6 2 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162904590888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22688] ppid=22682 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 20503 0 -1 4202560 37 0 0 0 7 2 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162903538088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22689] ppid=22682 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 20503 0 -1 4202560 35 0 0 0 7 2 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162757245224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22690] ppid=22682 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 20503 0 -1 4202560 224 0 0 0 10 3 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162756192424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=9824668 CPUtime=0.09 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 20503 0 -1 4202560 114 0 0 0 8 1 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162755140648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 20503 0 -1 4202560 38 0 0 0 7 3 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162754087848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 20503 0 -1 4202560 173 0 0 0 5 3 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162753035048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=9824668 CPUtime=0.08 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 20503 0 -1 4202560 130 0 0 0 5 3 0 0 20 0 22 0 253992344 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162751982248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 20503 0 -1 4202560 73 0 0 0 0 0 0 0 20 0 22 0 253992345 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162739784168 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162738730232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162737677320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162736625808 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) R 22682 22684 20503 0 -1 4202560 14903 0 0 0 102 3 0 0 20 0 22 0 253992348 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162735573824 140162921373633 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) R 22682 22684 20503 0 -1 4202560 10350 0 0 0 112 3 0 0 20 0 22 0 253992348 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162734520984 140162922327243 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162733468536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162732415944 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22706] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22706/stat : 22706 (java) S 22682 22684 20503 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 253992497 10060460032 85763 33554432000 1073741824 1073778376 140734292387776 140162728203048 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 9824668
[startup+6.30087 s]
/proc/loadavg: 3.63 3.70 3.76 5/219 22718
/proc/meminfo: memFree=26646564/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9824668 CPUtime=11.66 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 30343 0 1 0 1119 47 0 0 20 0 19 0 253992342 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2456167 123274 2276 9 0 2446860 0
[pid=22684/tid=22686] ppid=22682 vsize=9824668 CPUtime=1.27 cores=1,3,5,7
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 20503 0 -1 4202560 2535 0 1 0 123 4 0 0 20 0 19 0 253992343 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162915529720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22687] ppid=22682 vsize=9824668 CPUtime=0.11 cores=1,3,5,7
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 20503 0 -1 4202560 54 0 0 0 8 3 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162904590888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22688] ppid=22682 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 20503 0 -1 4202560 53 0 0 0 9 3 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162903538088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22689] ppid=22682 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 20503 0 -1 4202560 52 0 0 0 12 4 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162757245224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22690] ppid=22682 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 20503 0 -1 4202560 232 0 0 0 12 4 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162756192424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=9824668 CPUtime=0.12 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 20503 0 -1 4202560 131 0 0 0 10 2 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162755140648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=9824668 CPUtime=0.13 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 20503 0 -1 4202560 57 0 0 0 10 3 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162754087848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 20503 0 -1 4202560 197 0 0 0 12 4 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162753035048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=9824668 CPUtime=0.1 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 20503 0 -1 4202560 149 0 0 0 7 3 0 0 20 0 19 0 253992344 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162751982248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 20503 0 -1 4202560 199 0 0 0 0 0 0 0 20 0 19 0 253992345 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162739784168 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253992346 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162738730232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253992346 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162737677320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253992348 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162736625808 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=9824668 CPUtime=1.28 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) S 22682 22684 20503 0 -1 4202560 14960 0 0 0 125 3 0 0 20 0 19 0 253992348 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162735573944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=9824668 CPUtime=1.43 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) S 22682 22684 20503 0 -1 4202560 10352 0 0 0 140 3 0 0 20 0 19 0 253992348 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162734521144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253992348 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162733468536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253992348 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162732415944 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22715] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22715/stat : 22715 (java) S 22682 22684 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253992646 10060460032 123274 33554432000 1073741824 1073778376 140734292387776 140162729256616 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 11.66
Current children cumulated vsize (KiB) 9824668
[startup+12.7009 s]
/proc/loadavg: 3.66 3.71 3.76 5/219 22721
/proc/meminfo: memFree=26549108/32873844 swapFree=6856/6856
################
# More data... #
################
[pid=22684/tid=22690] ppid=22682 vsize=9824668 CPUtime=3.42 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 20503 0 -1 4202560 2825 0 0 0 318 24 0 0 20 0 22 0 253992344 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162756192424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=9824668 CPUtime=2.77 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 20503 0 -1 4202560 2087 0 0 0 260 17 0 0 20 0 22 0 253992344 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162755140648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=9824668 CPUtime=3.01 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 20503 0 -1 4202560 761 0 0 0 278 23 0 0 20 0 22 0 253992344 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162754087848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 20503 0 -1 4202560 2801 0 0 0 280 23 0 0 20 0 22 0 253992344 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162753035048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=9824668 CPUtime=2.85 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 20503 0 -1 4202560 1149 0 0 0 261 24 0 0 20 0 22 0 253992344 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162751982248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=9824668 CPUtime=13.77 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 20503 0 -1 4202560 3269 0 0 0 1369 8 0 0 20 0 22 0 253992345 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162739784168 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162738730232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162737677320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162736625808 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=9824668 CPUtime=1.34 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) S 22682 22684 20503 0 -1 4202560 14966 0 0 0 131 3 0 0 20 0 22 0 253992348 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162735573944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) S 22682 22684 20503 0 -1 4202560 10394 0 0 0 160 4 0 0 20 0 22 0 253992348 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162734521144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162733468536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=9824668 CPUtime=0.41 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 20503 0 -1 4202560 47 0 0 0 21 20 0 0 20 0 22 0 253992348 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162732415944 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22715] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22715/stat : 22715 (java) S 22682 22684 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253992646 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162729256616 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22977] ppid=22682 vsize=9824668 CPUtime=261.48 cores=1,3,5,7
/proc/22684/task/22977/stat : 22977 (java) R 22682 22684 20503 0 -1 4202560 3 0 0 0 26145 3 0 0 20 0 22 0 254047640 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162730306128 140162785941688 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22978] ppid=22682 vsize=9824668 CPUtime=261.46 cores=1,3,5,7
/proc/22684/task/22978/stat : 22978 (java) R 22682 22684 20503 0 -1 4202560 34 0 0 0 26143 3 0 0 20 0 22 0 254047640 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162728201488 140162785893529 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22979] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22979/stat : 22979 (java) S 22682 22684 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254047640 10060460032 929403 33554432000 1073741824 1073778376 140734292387776 140162731361064 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1637.02
Current children cumulated vsize (KiB) 9824668
[startup+882.301 s]
/proc/loadavg: 3.86 3.88 3.82 5/219 22983
/proc/meminfo: memFree=21991028/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9824668 CPUtime=1755.85 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 48822 0 1 0 175294 291 0 0 20 0 22 0 253992342 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2456167 952350 2290 9 0 2446860 0
[pid=22684/tid=22686] ppid=22682 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 20503 0 -1 4202560 2542 0 1 0 128 5 0 0 20 0 22 0 253992343 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162915529720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22687] ppid=22682 vsize=9824668 CPUtime=3.27 cores=1,3,5,7
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 20503 0 -1 4202560 1481 0 0 0 304 23 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162904590888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22688] ppid=22682 vsize=9824668 CPUtime=3.45 cores=1,3,5,7
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 20503 0 -1 4202560 773 0 0 0 320 25 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162903538088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22689] ppid=22682 vsize=9824668 CPUtime=3.26 cores=1,3,5,7
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 20503 0 -1 4202560 2115 0 0 0 305 21 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162757245224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22690] ppid=22682 vsize=9824668 CPUtime=3.83 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 20503 0 -1 4202560 2882 0 0 0 357 26 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162756192424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=9824668 CPUtime=2.98 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 20503 0 -1 4202560 2116 0 0 0 281 17 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162755140648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=9824668 CPUtime=3.25 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 20503 0 -1 4202560 770 0 0 0 302 23 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162754087848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=9824668 CPUtime=3.22 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 20503 0 -1 4202560 2951 0 0 0 299 23 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162753035048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=9824668 CPUtime=3.06 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 20503 0 -1 4202560 1163 0 0 0 281 25 0 0 20 0 22 0 253992344 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162751982248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=9824668 CPUtime=15.87 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 20503 0 -1 4202560 3298 0 0 0 1578 9 0 0 20 0 22 0 253992345 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162739784168 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162738730232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162737677320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162736625808 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) S 22682 22684 20503 0 -1 4202560 14967 0 0 0 132 3 0 0 20 0 22 0 253992348 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162735573944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) S 22682 22684 20503 0 -1 4202560 10395 0 0 0 160 4 0 0 20 0 22 0 253992348 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162734521144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162733468536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=9824668 CPUtime=0.45 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 20503 0 -1 4202560 51 0 0 0 23 22 0 0 20 0 22 0 253992348 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162732415944 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22715] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22715/stat : 22715 (java) S 22682 22684 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253992646 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162729256616 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22977] ppid=22682 vsize=9824668 CPUtime=318.68 cores=1,3,5,7
/proc/22684/task/22977/stat : 22977 (java) R 22682 22684 20503 0 -1 4202560 4 0 0 0 31864 4 0 0 20 0 22 0 254047640 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162730307920 140162785960992 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22978] ppid=22682 vsize=9824668 CPUtime=318.66 cores=1,3,5,7
/proc/22684/task/22978/stat : 22978 (java) R 22682 22684 20503 0 -1 4202560 37 0 0 0 31862 4 0 0 20 0 22 0 254047640 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162728200888 140162786195935 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22979] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22979/stat : 22979 (java) S 22682 22684 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254047640 10060460032 952350 33554432000 1073741824 1073778376 140734292387776 140162731361064 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1755.85
Current children cumulated vsize (KiB) 9824668
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+903.201 s]
/proc/loadavg: 3.90 3.88 3.82 5/219 22983
/proc/meminfo: memFree=21974320/32873844 swapFree=6856/6856
[pid=22684] ppid=22682 vsize=9824668 CPUtime=1797.82 cores=1,3,5,7
/proc/22684/stat : 22684 (java) S 22682 22684 20503 0 -1 4202496 48835 0 1 0 179490 292 0 0 20 0 22 0 253992342 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140734292378912 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22684/statm: 2456167 952361 2290 9 0 2446860 0
[pid=22684/tid=22686] ppid=22682 vsize=9824668 CPUtime=1.33 cores=1,3,5,7
/proc/22684/task/22686/stat : 22686 (java) S 22682 22684 20503 0 -1 4202560 2542 0 1 0 128 5 0 0 20 0 22 0 253992343 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162915529720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22687] ppid=22682 vsize=9824668 CPUtime=3.33 cores=1,3,5,7
/proc/22684/task/22687/stat : 22687 (java) S 22682 22684 20503 0 -1 4202560 1481 0 0 0 310 23 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162904590888 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22688] ppid=22682 vsize=9824668 CPUtime=3.48 cores=1,3,5,7
/proc/22684/task/22688/stat : 22688 (java) S 22682 22684 20503 0 -1 4202560 773 0 0 0 323 25 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162903538088 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22689] ppid=22682 vsize=9824668 CPUtime=3.29 cores=1,3,5,7
/proc/22684/task/22689/stat : 22689 (java) S 22682 22684 20503 0 -1 4202560 2115 0 0 0 308 21 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162757245224 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22690] ppid=22682 vsize=9824668 CPUtime=3.9 cores=1,3,5,7
/proc/22684/task/22690/stat : 22690 (java) S 22682 22684 20503 0 -1 4202560 2893 0 0 0 364 26 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162756192424 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22691] ppid=22682 vsize=9824668 CPUtime=3.03 cores=1,3,5,7
/proc/22684/task/22691/stat : 22691 (java) S 22682 22684 20503 0 -1 4202560 2116 0 0 0 285 18 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162755140648 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22692] ppid=22682 vsize=9824668 CPUtime=3.29 cores=1,3,5,7
/proc/22684/task/22692/stat : 22692 (java) S 22682 22684 20503 0 -1 4202560 770 0 0 0 306 23 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162754087848 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22693] ppid=22682 vsize=9824668 CPUtime=3.25 cores=1,3,5,7
/proc/22684/task/22693/stat : 22693 (java) S 22682 22684 20503 0 -1 4202560 2951 0 0 0 302 23 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162753035048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22694] ppid=22682 vsize=9824668 CPUtime=3.09 cores=1,3,5,7
/proc/22684/task/22694/stat : 22694 (java) S 22682 22684 20503 0 -1 4202560 1163 0 0 0 284 25 0 0 20 0 22 0 253992344 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162751982248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22695] ppid=22682 vsize=9824668 CPUtime=15.88 cores=1,3,5,7
/proc/22684/task/22695/stat : 22695 (java) S 22682 22684 20503 0 -1 4202560 3298 0 0 0 1578 10 0 0 20 0 22 0 253992345 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162739784168 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22696] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22696/stat : 22696 (java) S 22682 22684 20503 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162738730232 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22697] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22697/stat : 22697 (java) S 22682 22684 20503 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253992346 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162737677320 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22698] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22698/stat : 22698 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162736625808 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22699] ppid=22682 vsize=9824668 CPUtime=1.35 cores=1,3,5,7
/proc/22684/task/22699/stat : 22699 (java) S 22682 22684 20503 0 -1 4202560 14967 0 0 0 132 3 0 0 20 0 22 0 253992348 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162735573944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22700] ppid=22682 vsize=9824668 CPUtime=1.64 cores=1,3,5,7
/proc/22684/task/22700/stat : 22700 (java) S 22682 22684 20503 0 -1 4202560 10395 0 0 0 160 4 0 0 20 0 22 0 253992348 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162734521144 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22684/tid=22701] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22701/stat : 22701 (java) S 22682 22684 20503 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253992348 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162733468536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22702] ppid=22682 vsize=9824668 CPUtime=0.48 cores=1,3,5,7
/proc/22684/task/22702/stat : 22702 (java) S 22682 22684 20503 0 -1 4202560 51 0 0 0 24 24 0 0 20 0 22 0 253992348 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162732415944 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22715] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22715/stat : 22715 (java) S 22682 22684 20503 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253992646 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162729256616 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22684/tid=22977] ppid=22682 vsize=9824668 CPUtime=339.44 cores=1,3,5,7
/proc/22684/task/22977/stat : 22977 (java) R 22682 22684 20503 0 -1 4202560 4 0 0 0 33939 5 0 0 20 0 22 0 254047640 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162730306976 140162785941688 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=22684/tid=22978] ppid=22682 vsize=9824668 CPUtime=339.42 cores=1,3,5,7
/proc/22684/task/22978/stat : 22978 (java) R 22682 22684 20503 0 -1 4202560 39 0 0 0 33937 5 0 0 20 0 22 0 254047640 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162728202608 140162786272253 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22684/tid=22979] ppid=22682 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/22684/task/22979/stat : 22979 (java) S 22682 22684 20503 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 254047640 10060460032 952361 33554432000 1073741824 1073778376 140734292387776 140162731361064 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
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
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22684 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=80410
# childrusage.ru_stime.tv_sec=3
# childrusage.ru_stime.tv_usec=232508
# CPU time returned by wait4() is 1796.31
# while last known CPU time is 1797.82
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 2.22009
# lost CPU user time (s): 2.37
# lost CPU system time (s): -0.15
Real time (s): 903.241
CPU time (s): 1800.04
CPU user time (s): 1797.27
CPU system time (s): 2.77
CPU usage (%): 199.287
Max. virtual memory (cumulated for all children) (KiB): 9824668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.08
system time used= 3.23251
maximum resident set size= 3809556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48863
page faults= 1
swaps= 0
block input operations= 240
block output operations= 968
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 24066
involuntary context switches= 27975
runsolver used 3.42148 second user time and 9.11561 second system time
The end