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-3710055-1338212333/watcher-3710055-1338212333 -o /tmp/evaluation-result-3710055-1338212333/solver-3710055-1338212333 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710055-1338212333.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: 1.90 1.97 1.99 3/194 5721
/proc/meminfo: memFree=27731920/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/5721/stat : 5721 (java) D 5719 5721 32675 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 287358739 9515008 176 33554432000 1073741824 1073778376 140735261536368 140735261519096 214537421712 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5721/statm: 2323 176 133 9 0 71 0
[startup+0.0911971 s]
/proc/loadavg: 1.90 1.97 1.99 3/194 5721
/proc/meminfo: memFree=27731920/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9558440 CPUtime=0.07 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 3934 0 1 0 6 1 0 0 20 0 18 0 287358739 9787842560 5141 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2389610 5141 2073 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558440
[startup+0.100178 s]
/proc/loadavg: 1.90 1.97 1.99 3/194 5721
/proc/meminfo: memFree=27731920/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9558440 CPUtime=0.09 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 4269 0 1 0 8 1 0 0 20 0 18 0 287358739 9787842560 5476 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2389610 5477 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440
[startup+0.300159 s]
/proc/loadavg: 1.90 1.97 1.99 3/194 5721
/proc/meminfo: memFree=27731920/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9558440 CPUtime=0.55 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 7237 0 1 0 53 2 0 0 20 0 18 0 287358739 9787842560 9810 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2389610 9810 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 9558440
[startup+0.700168 s]
/proc/loadavg: 1.90 1.97 1.99 3/194 5721
/proc/meminfo: memFree=27731920/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9625004 CPUtime=1.33 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 8134 0 1 0 131 2 0 0 20 0 19 0 287358739 9856004096 16058 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2406251 16058 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9625004
[startup+1.50053 s]
/proc/loadavg: 1.90 1.97 1.99 3/213 5740
/proc/meminfo: memFree=27676028/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 8138 0 1 0 215 2 0 0 20 0 19 0 287358739 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2406251 16572 2258 9 0 2396937 0
[pid=5721/tid=5723] ppid=5719 vsize=9625004 CPUtime=1.46 cores=1,3,5,7
/proc/5721/task/5723/stat : 5723 (java) R 5719 5721 32675 0 -1 4202560 2534 0 1 0 144 2 0 0 20 0 19 0 287358740 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285520208360 140285393279267 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5724] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5724/stat : 5724 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285364186024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5725] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5725/stat : 5725 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285363133480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5726] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5726/stat : 5726 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285362080424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5727] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5727/stat : 5727 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285361027880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5728] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5728/stat : 5728 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285359974824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5729] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5729/stat : 5729 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285358922280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5730] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5730/stat : 5730 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285357869224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5731] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5731/stat : 5731 (java) S 5719 5721 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285356816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5732] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5732/stat : 5732 (java) S 5719 5721 32675 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285344406376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5733] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5733/stat : 5733 (java) S 5719 5721 32675 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285343352696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5734] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5734/stat : 5734 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285342299528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5735] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5735/stat : 5735 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285341248272 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5736] ppid=5719 vsize=9625004 CPUtime=0.28 cores=1,3,5,7
/proc/5721/task/5736/stat : 5736 (java) S 5719 5721 32675 0 -1 4202560 1455 0 0 0 28 0 0 0 20 0 19 0 287358745 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285340195128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5737] ppid=5719 vsize=9625004 CPUtime=0.39 cores=1,3,5,7
/proc/5721/task/5737/stat : 5737 (java) S 5719 5721 32675 0 -1 4202560 2953 0 0 0 39 0 0 0 20 0 19 0 287358745 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285339142584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5738] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5738/stat : 5738 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285338089720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5739] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5739/stat : 5739 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285337037384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5740] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5740/stat : 5740 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358778 9856004096 16572 33554432000 1073741824 1073778376 140734078826128 140285335983656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625004
[startup+3.10061 s]
/proc/loadavg: 1.90 1.97 1.99 3/212 5740
/proc/meminfo: memFree=27646116/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9625004 CPUtime=4.25 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 14822 0 1 0 421 4 0 0 20 0 19 0 287358739 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2406251 24046 2283 9 0 2396937 0
[pid=5721/tid=5723] ppid=5719 vsize=9625004 CPUtime=3.03 cores=1,3,5,7
/proc/5721/task/5723/stat : 5723 (java) R 5719 5721 32675 0 -1 4202560 2538 0 1 0 301 2 0 0 20 0 19 0 287358740 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285520208176 140285393433966 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5724] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5724/stat : 5724 (java) S 5719 5721 32675 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285364186024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5725] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5725/stat : 5725 (java) S 5719 5721 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285363133480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5726] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5726/stat : 5726 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285362080424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5727] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5727/stat : 5727 (java) S 5719 5721 32675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285361027880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5728] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5728/stat : 5728 (java) S 5719 5721 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285359974824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5729] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5729/stat : 5729 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285358922280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5730] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5730/stat : 5730 (java) S 5719 5721 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285357869224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5731] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5731/stat : 5731 (java) S 5719 5721 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285356816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5732] ppid=5719 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/5721/task/5732/stat : 5732 (java) S 5719 5721 32675 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 287358742 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285344406376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5733] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5733/stat : 5733 (java) S 5719 5721 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285343352696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5734] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5734/stat : 5734 (java) S 5719 5721 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285342299528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5735] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5735/stat : 5735 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285341248272 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5736] ppid=5719 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5721/task/5736/stat : 5736 (java) S 5719 5721 32675 0 -1 4202560 8071 0 0 0 68 2 0 0 20 0 19 0 287358745 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285340195128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5737] ppid=5719 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/5721/task/5737/stat : 5737 (java) S 5719 5721 32675 0 -1 4202560 2953 0 0 0 43 0 0 0 20 0 19 0 287358745 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285339142584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5738] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5738/stat : 5738 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285338089720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5739] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5739/stat : 5739 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285337037384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5740] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5740/stat : 5740 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358778 9856004096 24046 33554432000 1073741824 1073778376 140734078826128 140285335983656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.25
Current children cumulated vsize (KiB) 9625004
[startup+6.3006 s]
/proc/loadavg: 1.91 1.97 1.99 3/212 5740
/proc/meminfo: memFree=27644948/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9625004 CPUtime=7.51 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 14861 0 1 0 746 5 0 0 20 0 19 0 287358739 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2406251 24060 2283 9 0 2396937 0
[pid=5721/tid=5723] ppid=5719 vsize=9625004 CPUtime=6.18 cores=1,3,5,7
/proc/5721/task/5723/stat : 5723 (java) R 5719 5721 32675 0 -1 4202560 2540 0 1 0 616 2 0 0 20 0 19 0 287358740 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285520208176 140285393433739 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5724] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5724/stat : 5724 (java) S 5719 5721 32675 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285364186024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5725] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5725/stat : 5725 (java) S 5719 5721 32675 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285363133480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5726] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5726/stat : 5726 (java) S 5719 5721 32675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285362080424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5727] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5727/stat : 5727 (java) S 5719 5721 32675 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285361027880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5728] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5728/stat : 5728 (java) S 5719 5721 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285359974824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5729] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5729/stat : 5729 (java) S 5719 5721 32675 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285358922280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5730] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5730/stat : 5730 (java) S 5719 5721 32675 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285357869224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5731] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5731/stat : 5731 (java) S 5719 5721 32675 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 287358741 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285356816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5732] ppid=5719 vsize=9625004 CPUtime=0.05 cores=1,3,5,7
/proc/5721/task/5732/stat : 5732 (java) S 5719 5721 32675 0 -1 4202560 53 0 0 0 5 0 0 0 20 0 19 0 287358742 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285344406376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5733] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5733/stat : 5733 (java) S 5719 5721 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285343352696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5734] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5734/stat : 5734 (java) S 5719 5721 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285342299528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5735] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5735/stat : 5735 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285341248272 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5736] ppid=5719 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5721/task/5736/stat : 5736 (java) S 5719 5721 32675 0 -1 4202560 8080 0 0 0 74 2 0 0 20 0 19 0 287358745 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285340195128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5737] ppid=5719 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/5721/task/5737/stat : 5737 (java) S 5719 5721 32675 0 -1 4202560 2953 0 0 0 43 0 0 0 20 0 19 0 287358745 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285339142584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5738] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5738/stat : 5738 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285338089720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5739] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5739/stat : 5739 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285337037384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5740] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5740/stat : 5740 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358778 9856004096 24060 33554432000 1073741824 1073778376 140734078826128 140285335983656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.51
Current children cumulated vsize (KiB) 9625004
[startup+12.7006 s]
################
# More data... #
################
[pid=5721/tid=5729] ppid=5719 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5721/task/5729/stat : 5729 (java) S 5719 5721 32675 0 -1 4202560 226 0 0 0 64 4 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285358922280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5730] ppid=5719 vsize=9625004 CPUtime=0.63 cores=1,3,5,7
/proc/5721/task/5730/stat : 5730 (java) S 5719 5721 32675 0 -1 4202560 65 0 0 0 60 3 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285357869224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5731] ppid=5719 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5721/task/5731/stat : 5731 (java) S 5719 5721 32675 0 -1 4202560 94 0 0 0 66 4 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285356816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5732] ppid=5719 vsize=9625004 CPUtime=2.99 cores=1,3,5,7
/proc/5721/task/5732/stat : 5732 (java) S 5719 5721 32675 0 -1 4202560 144 0 0 0 297 2 0 0 20 0 19 0 287358742 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285344406376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5733] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5733/stat : 5733 (java) S 5719 5721 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285343352696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5734] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5734/stat : 5734 (java) S 5719 5721 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285342299528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5735] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5735/stat : 5735 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285341248272 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5736] ppid=5719 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5721/task/5736/stat : 5736 (java) S 5719 5721 32675 0 -1 4202560 8080 0 0 0 74 2 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285340195128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5737] ppid=5719 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/5721/task/5737/stat : 5737 (java) S 5719 5721 32675 0 -1 4202560 2957 0 0 0 45 0 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285339142584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5738] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5738/stat : 5738 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285338089720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5739] ppid=5719 vsize=9625004 CPUtime=0.36 cores=1,3,5,7
/proc/5721/task/5739/stat : 5739 (java) S 5719 5721 32675 0 -1 4202560 95 0 0 0 15 21 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285337037384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5740] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5740/stat : 5740 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358778 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285335983656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1667.4
Current children cumulated vsize (KiB) 9625004
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 5836
/proc/meminfo: memFree=27183532/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9625004 CPUtime=1727.58 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 16343 0 1 0 172699 59 0 0 20 0 19 0 287358739 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2406251 107406 2284 9 0 2396937 0
[pid=5721/tid=5723] ppid=5719 vsize=9625004 CPUtime=1717.51 cores=1,3,5,7
/proc/5721/task/5723/stat : 5723 (java) R 5719 5721 32675 0 -1 4202560 2665 0 1 0 171720 31 0 0 20 0 19 0 287358740 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285520208176 140285393433967 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5724] ppid=5719 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5721/task/5724/stat : 5724 (java) S 5719 5721 32675 0 -1 4202560 259 0 0 0 65 3 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285364186024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5725] ppid=5719 vsize=9625004 CPUtime=0.64 cores=1,3,5,7
/proc/5721/task/5725/stat : 5725 (java) S 5719 5721 32675 0 -1 4202560 71 0 0 0 60 4 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285363133480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5726] ppid=5719 vsize=9625004 CPUtime=0.67 cores=1,3,5,7
/proc/5721/task/5726/stat : 5726 (java) S 5719 5721 32675 0 -1 4202560 211 0 0 0 63 4 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285362080424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5727] ppid=5719 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/5721/task/5727/stat : 5727 (java) S 5719 5721 32675 0 -1 4202560 186 0 0 0 71 3 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285361027880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5728] ppid=5719 vsize=9625004 CPUtime=0.73 cores=1,3,5,7
/proc/5721/task/5728/stat : 5728 (java) S 5719 5721 32675 0 -1 4202560 103 0 0 0 69 4 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285359974824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5729] ppid=5719 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/5721/task/5729/stat : 5729 (java) S 5719 5721 32675 0 -1 4202560 226 0 0 0 70 4 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285358922280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5730] ppid=5719 vsize=9625004 CPUtime=0.66 cores=1,3,5,7
/proc/5721/task/5730/stat : 5730 (java) S 5719 5721 32675 0 -1 4202560 65 0 0 0 63 3 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285357869224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5731] ppid=5719 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/5721/task/5731/stat : 5731 (java) S 5719 5721 32675 0 -1 4202560 94 0 0 0 68 4 0 0 20 0 19 0 287358741 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285356816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5732] ppid=5719 vsize=9625004 CPUtime=3.05 cores=1,3,5,7
/proc/5721/task/5732/stat : 5732 (java) S 5719 5721 32675 0 -1 4202560 146 0 0 0 303 2 0 0 20 0 19 0 287358742 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285344406376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5733] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5733/stat : 5733 (java) S 5719 5721 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285343352696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5734] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5734/stat : 5734 (java) S 5719 5721 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285342299528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5735] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5735/stat : 5735 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285341248272 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5736] ppid=5719 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5721/task/5736/stat : 5736 (java) S 5719 5721 32675 0 -1 4202560 8080 0 0 0 74 2 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285340195128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5737] ppid=5719 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/5721/task/5737/stat : 5737 (java) S 5719 5721 32675 0 -1 4202560 2957 0 0 0 45 0 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285339142584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5738] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5738/stat : 5738 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285338089720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5739] ppid=5719 vsize=9625004 CPUtime=0.38 cores=1,3,5,7
/proc/5721/task/5739/stat : 5739 (java) S 5719 5721 32675 0 -1 4202560 99 0 0 0 16 22 0 0 20 0 19 0 287358745 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285337037384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5740] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5740/stat : 5740 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358778 9856004096 107406 33554432000 1073741824 1073778376 140734078826128 140285335983656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1727.58
Current children cumulated vsize (KiB) 9625004
[startup+1782.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/213 5836
/proc/meminfo: memFree=27156788/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9625004 CPUtime=1787.78 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 16392 0 1 0 178716 62 0 0 20 0 19 0 287358739 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2406251 110495 2284 9 0 2396937 0
[pid=5721/tid=5723] ppid=5719 vsize=9625004 CPUtime=1777.38 cores=1,3,5,7
/proc/5721/task/5723/stat : 5723 (java) R 5719 5721 32675 0 -1 4202560 2667 0 1 0 177706 32 0 0 20 0 19 0 287358740 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285520208176 140285393363684 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5724] ppid=5719 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/5721/task/5724/stat : 5724 (java) S 5719 5721 32675 0 -1 4202560 282 0 0 0 69 3 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285364186024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5725] ppid=5719 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5721/task/5725/stat : 5725 (java) S 5719 5721 32675 0 -1 4202560 71 0 0 0 64 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285363133480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5726] ppid=5719 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5721/task/5726/stat : 5726 (java) S 5719 5721 32675 0 -1 4202560 211 0 0 0 66 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285362080424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5727] ppid=5719 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5721/task/5727/stat : 5727 (java) S 5719 5721 32675 0 -1 4202560 192 0 0 0 73 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285361027880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5728] ppid=5719 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5721/task/5728/stat : 5728 (java) S 5719 5721 32675 0 -1 4202560 109 0 0 0 72 5 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285359974824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5729] ppid=5719 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5721/task/5729/stat : 5729 (java) S 5719 5721 32675 0 -1 4202560 226 0 0 0 72 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285358922280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5730] ppid=5719 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/5721/task/5730/stat : 5730 (java) S 5719 5721 32675 0 -1 4202560 65 0 0 0 68 3 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285357869224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5731] ppid=5719 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/5721/task/5731/stat : 5731 (java) S 5719 5721 32675 0 -1 4202560 100 0 0 0 70 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285356816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5732] ppid=5719 vsize=9625004 CPUtime=3.12 cores=1,3,5,7
/proc/5721/task/5732/stat : 5732 (java) S 5719 5721 32675 0 -1 4202560 148 0 0 0 310 2 0 0 20 0 19 0 287358742 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285344406376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5733] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5733/stat : 5733 (java) S 5719 5721 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285343352696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5734] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5734/stat : 5734 (java) S 5719 5721 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285342299528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5735] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5735/stat : 5735 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285341248272 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5736] ppid=5719 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5721/task/5736/stat : 5736 (java) S 5719 5721 32675 0 -1 4202560 8080 0 0 0 74 2 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285340195128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5737] ppid=5719 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/5721/task/5737/stat : 5737 (java) S 5719 5721 32675 0 -1 4202560 2957 0 0 0 45 0 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285339142584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5738] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5738/stat : 5738 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285338089720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5739] ppid=5719 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/5721/task/5739/stat : 5739 (java) S 5719 5721 32675 0 -1 4202560 103 0 0 0 17 23 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285337037384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5740] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5740/stat : 5740 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358778 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285335983656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1787.78
Current children cumulated vsize (KiB) 9625004
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.6 s]
/proc/loadavg: 2.04 2.02 2.00 3/213 5836
/proc/meminfo: memFree=27156040/32873648 swapFree=7104/7104
[pid=5721] ppid=5719 vsize=9625004 CPUtime=1800.09 cores=1,3,5,7
/proc/5721/stat : 5721 (java) S 5719 5721 32675 0 -1 4202496 16392 0 1 0 179947 62 0 0 20 0 19 0 287358739 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140734078817264 214540779581 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/5721/statm: 2406251 110495 2284 9 0 2396937 0
[pid=5721/tid=5723] ppid=5719 vsize=9625004 CPUtime=1789.69 cores=1,3,5,7
/proc/5721/task/5723/stat : 5723 (java) R 5719 5721 32675 0 -1 4202560 2667 0 1 0 178937 32 0 0 20 0 19 0 287358740 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285520208176 140285393336819 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5724] ppid=5719 vsize=9625004 CPUtime=0.72 cores=1,3,5,7
/proc/5721/task/5724/stat : 5724 (java) S 5719 5721 32675 0 -1 4202560 282 0 0 0 69 3 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285364186024 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5725] ppid=5719 vsize=9625004 CPUtime=0.68 cores=1,3,5,7
/proc/5721/task/5725/stat : 5725 (java) S 5719 5721 32675 0 -1 4202560 71 0 0 0 64 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285363133480 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5726] ppid=5719 vsize=9625004 CPUtime=0.7 cores=1,3,5,7
/proc/5721/task/5726/stat : 5726 (java) S 5719 5721 32675 0 -1 4202560 211 0 0 0 66 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285362080424 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5727] ppid=5719 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5721/task/5727/stat : 5727 (java) S 5719 5721 32675 0 -1 4202560 192 0 0 0 73 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285361027880 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5728] ppid=5719 vsize=9625004 CPUtime=0.77 cores=1,3,5,7
/proc/5721/task/5728/stat : 5728 (java) S 5719 5721 32675 0 -1 4202560 109 0 0 0 72 5 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285359974824 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5729] ppid=5719 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5721/task/5729/stat : 5729 (java) S 5719 5721 32675 0 -1 4202560 226 0 0 0 72 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285358922280 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5730] ppid=5719 vsize=9625004 CPUtime=0.71 cores=1,3,5,7
/proc/5721/task/5730/stat : 5730 (java) S 5719 5721 32675 0 -1 4202560 65 0 0 0 68 3 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285357869224 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=5721/tid=5731] ppid=5719 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/5721/task/5731/stat : 5731 (java) S 5719 5721 32675 0 -1 4202560 100 0 0 0 70 4 0 0 20 0 19 0 287358741 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285356816680 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5732] ppid=5719 vsize=9625004 CPUtime=3.12 cores=1,3,5,7
/proc/5721/task/5732/stat : 5732 (java) S 5719 5721 32675 0 -1 4202560 148 0 0 0 310 2 0 0 20 0 19 0 287358742 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285344406376 214540793769 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5733] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5733/stat : 5733 (java) S 5719 5721 32675 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285343352696 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5734] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5734/stat : 5734 (java) S 5719 5721 32675 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 287358742 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285342299528 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5735] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5735/stat : 5735 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285341248272 214540801824 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5736] ppid=5719 vsize=9625004 CPUtime=0.76 cores=1,3,5,7
/proc/5721/task/5736/stat : 5736 (java) S 5719 5721 32675 0 -1 4202560 8080 0 0 0 74 2 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285340195128 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=5721/tid=5737] ppid=5719 vsize=9625004 CPUtime=0.45 cores=1,3,5,7
/proc/5721/task/5737/stat : 5737 (java) S 5719 5721 32675 0 -1 4202560 2957 0 0 0 45 0 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285339142584 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5738] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5738/stat : 5738 (java) S 5719 5721 32675 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285338089720 214540792892 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=5721/tid=5739] ppid=5719 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/5721/task/5739/stat : 5739 (java) S 5719 5721 32675 0 -1 4202560 103 0 0 0 17 24 0 0 20 0 19 0 287358745 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285337037384 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=5721/tid=5740] ppid=5719 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/5721/task/5740/stat : 5740 (java) S 5719 5721 32675 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 287358778 9856004096 110495 33554432000 1073741824 1073778376 140734078826128 140285335983656 214540793769 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625004
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): 1794.67
CPU time (s): 1800.67
CPU user time (s): 1799.62
CPU system time (s): 1.05084
CPU usage (%): 100.335
Max. virtual memory (cumulated for all children) (KiB): 9625004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.62
system time used= 1.05084
maximum resident set size= 442112
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16429
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40397
involuntary context switches= 29073
runsolver used 5.9321 second user time and 14.5018 second system time
The end