runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3457352-1307220467/watcher-3457352-1307220467 -o /tmp/evaluation-result-3457352-1307220467/solver-3457352-1307220467 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457352-1307220467.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: 2.20 2.08 2.00 2/495 5883
/proc/meminfo: memFree=16954132/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 2298 0 1 0 0 0 0 0 25 0 2 0 814462056 10681323520 2000 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2607745 2013 906 9 0 2598901 0
[pid=5883/tid=5884] ppid=5881 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 5788 0 1 0 0 0 0 0 25 0 2 0 814462056 10694979584 6604 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0769001 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5883
/proc/meminfo: memFree=16954132/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 11960 0 1 0 5 1 0 0 25 0 18 0 814462056 10724442112 11656 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2618272 11656 1755 9 0 2609006 0
[pid=5883/tid=5884] ppid=5881 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 10785 0 1 0 5 1 0 0 25 0 18 0 814462056 10724442112 11656 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 47094866594643 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088
[startup+0.100894 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5883
/proc/meminfo: memFree=16954132/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10540276 CPUtime=0.11 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 13108 0 1 0 9 2 0 0 25 0 18 0 814462056 10793242624 12798 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2635069 12798 2093 9 0 2625803 0
[pid=5883/tid=5884] ppid=5881 vsize=10540276 CPUtime=0.08 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 11185 0 1 0 7 1 0 0 18 0 18 0 814462056 10793242624 12798 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 47094866594643 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540276
[startup+0.311102 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5883
/proc/meminfo: memFree=16954132/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10547544 CPUtime=0.6 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 17986 0 1 0 57 3 0 0 25 0 18 0 814462056 10800685056 17074 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2636886 17075 2213 9 0 2627620 0
[pid=5883/tid=5884] ppid=5881 vsize=10547544 CPUtime=0.29 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 13375 0 1 0 27 2 0 0 18 0 18 0 814462056 10800685056 17075 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505583656 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 10547544
[startup+0.832767 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5883
/proc/meminfo: memFree=16954132/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10564772 CPUtime=2.01 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 39669 0 1 0 197 4 0 0 25 0 19 0 814462056 10818326528 34643 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2641193 34643 2230 9 0 2631927 0
[pid=5883/tid=5884] ppid=5881 vsize=10564772 CPUtime=0.78 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 24651 0 1 0 76 2 0 0 19 0 19 0 814462056 10818326528 34643 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505773909 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10564772
[startup+1.50165 s]
/proc/loadavg: 2.19 2.08 2.00 3/514 5902
/proc/meminfo: memFree=16712872/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10564772 CPUtime=2.83 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 90012 0 1 0 273 10 0 0 25 0 19 0 814462056 10818326528 84970 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2641193 84975 2233 9 0 2631927 0
[pid=5883/tid=5884] ppid=5881 vsize=10564772 CPUtime=1.46 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 74671 0 1 0 138 8 0 0 21 0 19 0 814462056 10818326528 84976 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505716074 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5883/tid=5886] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5886/stat : 5886 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84976 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5887] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5887/stat : 5887 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84979 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5888] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5888/stat : 5888 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84981 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5889] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5889/stat : 5889 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84985 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5890] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5890/stat : 5890 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84989 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5891] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5891/stat : 5891 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84992 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5892] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5892/stat : 5892 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84994 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5893] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5893/stat : 5893 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 84997 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5894] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5894/stat : 5894 (java) S 5881 5883 5272 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814462059 10818326528 85000 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 0 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5895] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5895/stat : 5895 (java) S 5881 5883 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814462059 10818326528 85004 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5896] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5896/stat : 5896 (java) S 5881 5883 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814462059 10818326528 85008 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5897] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5897/stat : 5897 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10818326528 85010 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273440177 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5898] ppid=5881 vsize=10564772 CPUtime=0.69 cores=1,3,5,7
/proc/5883/task/5898/stat : 5898 (java) S 5881 5883 5272 0 -1 4202560 7926 0 0 0 68 1 0 0 15 0 19 0 814462061 10818326528 85013 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5899] ppid=5881 vsize=10564772 CPUtime=0.66 cores=1,3,5,7
/proc/5883/task/5899/stat : 5899 (java) S 5881 5883 5272 0 -1 4202560 6258 0 0 0 66 0 0 0 15 0 19 0 814462061 10818326528 85016 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 1 0 0 0
[pid=5883/tid=5900] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5900/stat : 5900 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10818326528 85019 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5901] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5901/stat : 5901 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814462061 10818326528 85023 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5902] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5902/stat : 5902 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 814462087 10818326528 85027 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 10564772
[startup+3.10137 s]
/proc/loadavg: 2.19 2.08 2.00 3/514 5902
/proc/meminfo: memFree=16367844/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10564772 CPUtime=4.53 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 210041 0 1 0 431 22 0 0 25 0 19 0 814462056 10818326528 204997 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2641193 205000 2235 9 0 2631927 0
[pid=5883/tid=5884] ppid=5881 vsize=10564772 CPUtime=3.06 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 194680 0 1 0 286 20 0 0 18 0 19 0 814462056 10818326528 205000 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505773966 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5883/tid=5886] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5886/stat : 5886 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205002 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5887] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5887/stat : 5887 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205004 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5888] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5888/stat : 5888 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205006 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5889] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5889/stat : 5889 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205008 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5890] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5890/stat : 5890 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205009 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5891] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5891/stat : 5891 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205009 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5892] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5892/stat : 5892 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205011 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5893] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5893/stat : 5893 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10818326528 205014 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5894] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5894/stat : 5894 (java) S 5881 5883 5272 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814462059 10818326528 205016 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 0 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5895] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5895/stat : 5895 (java) S 5881 5883 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814462059 10818326528 205018 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5896] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5896/stat : 5896 (java) S 5881 5883 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814462059 10818326528 205021 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5897] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5897/stat : 5897 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10818326528 205023 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273440177 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5898] ppid=5881 vsize=10564772 CPUtime=0.78 cores=1,3,5,7
/proc/5883/task/5898/stat : 5898 (java) S 5881 5883 5272 0 -1 4202560 7942 0 0 0 77 1 0 0 15 0 19 0 814462061 10818326528 205025 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5899] ppid=5881 vsize=10564772 CPUtime=0.67 cores=1,3,5,7
/proc/5883/task/5899/stat : 5899 (java) S 5881 5883 5272 0 -1 4202560 6258 0 0 0 67 0 0 0 15 0 19 0 814462061 10818326528 205027 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 1 0 0 0
[pid=5883/tid=5900] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5900/stat : 5900 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10818326528 205028 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5901] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5901/stat : 5901 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814462061 10818326528 205030 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5902] ppid=5881 vsize=10564772 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5902/stat : 5902 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 814462087 10818326528 205032 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.53
Current children cumulated vsize (KiB) 10564772
[startup+6.3008 s]
/proc/loadavg: 2.19 2.08 2.00 3/514 5902
/proc/meminfo: memFree=15544128/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10557460 CPUtime=7.76 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 404229 0 1 0 734 42 0 0 25 0 19 0 814462056 10810839040 397351 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2639365 397353 2236 9 0 2630099 0
[pid=5883/tid=5884] ppid=5881 vsize=10557460 CPUtime=6.25 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 388865 0 1 0 585 40 0 0 25 0 19 0 814462056 10810839040 397354 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505774206 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5883/tid=5886] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5886/stat : 5886 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397356 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5887] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5887/stat : 5887 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397357 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5888] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5888/stat : 5888 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397358 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5889] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5889/stat : 5889 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397359 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5890] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5890/stat : 5890 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397361 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5891] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5891/stat : 5891 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397362 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5892] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5892/stat : 5892 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397364 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5893] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5893/stat : 5893 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462058 10810839040 397365 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5894] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5894/stat : 5894 (java) S 5881 5883 5272 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814462059 10810839040 397366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 0 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5895] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5895/stat : 5895 (java) S 5881 5883 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814462059 10810839040 397368 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5896] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5896/stat : 5896 (java) S 5881 5883 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814462059 10810839040 397369 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5897] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5897/stat : 5897 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 397370 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273440177 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5898] ppid=5881 vsize=10557460 CPUtime=0.82 cores=1,3,5,7
/proc/5883/task/5898/stat : 5898 (java) S 5881 5883 5272 0 -1 4202560 7944 0 0 0 81 1 0 0 15 0 19 0 814462061 10810839040 397372 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5899] ppid=5881 vsize=10557460 CPUtime=0.67 cores=1,3,5,7
/proc/5883/task/5899/stat : 5899 (java) S 5881 5883 5272 0 -1 4202560 6258 0 0 0 67 0 0 0 15 0 19 0 814462061 10810839040 397373 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=5883/tid=5893] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5893/stat : 5893 (java) S 5881 5883 5272 0 -1 4202560 2618 0 0 0 5 0 0 0 15 0 19 0 814462058 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5894] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5894/stat : 5894 (java) S 5881 5883 5272 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 814462059 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 0 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5895] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5895/stat : 5895 (java) S 5881 5883 5272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5896] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5896/stat : 5896 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5897] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5897/stat : 5897 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273440177 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5898] ppid=5881 vsize=10557460 CPUtime=0.88 cores=1,3,5,7
/proc/5883/task/5898/stat : 5898 (java) S 5881 5883 5272 0 -1 4202560 7956 0 0 0 87 1 0 0 15 0 19 0 814462061 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5899] ppid=5881 vsize=10557460 CPUtime=0.74 cores=1,3,5,7
/proc/5883/task/5899/stat : 5899 (java) S 5881 5883 5272 0 -1 4202560 6260 0 0 0 74 0 0 0 15 0 19 0 814462061 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 1 0 0 0
[pid=5883/tid=5900] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5900/stat : 5900 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5901] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5901/stat : 5901 (java) S 5881 5883 5272 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 814462061 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5902] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5902/stat : 5902 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 814462087 10810839040 673821 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 52.89
Current children cumulated vsize (KiB) 10557460
[startup+102.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/514 5905
/proc/meminfo: memFree=13387256/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10557460 CPUtime=104.27 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 882534 0 1 0 10335 92 0 0 25 0 19 0 814462056 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2639365 875366 2251 9 0 2630099 0
[pid=5883/tid=5884] ppid=5881 vsize=10557460 CPUtime=102.06 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 830269 0 1 0 10120 86 0 0 25 0 19 0 814462056 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505821423 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5883/tid=5886] ppid=5881 vsize=10557460 CPUtime=0.07 cores=1,3,5,7
/proc/5883/task/5886/stat : 5886 (java) S 5881 5883 5272 0 -1 4202560 4101 0 0 0 7 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5887] ppid=5881 vsize=10557460 CPUtime=0.07 cores=1,3,5,7
/proc/5883/task/5887/stat : 5887 (java) S 5881 5883 5272 0 -1 4202560 5212 0 0 0 6 1 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5888] ppid=5881 vsize=10557460 CPUtime=0.09 cores=1,3,5,7
/proc/5883/task/5888/stat : 5888 (java) S 5881 5883 5272 0 -1 4202560 7379 0 0 0 9 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5889] ppid=5881 vsize=10557460 CPUtime=0.02 cores=1,3,5,7
/proc/5883/task/5889/stat : 5889 (java) S 5881 5883 5272 0 -1 4202560 1571 0 0 0 2 0 0 0 15 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5890] ppid=5881 vsize=10557460 CPUtime=0.06 cores=1,3,5,7
/proc/5883/task/5890/stat : 5890 (java) S 5881 5883 5272 0 -1 4202560 6591 0 0 0 6 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5891] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5891/stat : 5891 (java) S 5881 5883 5272 0 -1 4202560 4841 0 0 0 5 0 0 0 15 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5892] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5892/stat : 5892 (java) S 5881 5883 5272 0 -1 4202560 4554 0 0 0 5 0 0 0 15 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5893] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5893/stat : 5893 (java) S 5881 5883 5272 0 -1 4202560 2618 0 0 0 5 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5894] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5894/stat : 5894 (java) S 5881 5883 5272 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 814462059 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 0 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5895] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5895/stat : 5895 (java) S 5881 5883 5272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5896] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5896/stat : 5896 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5897] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5897/stat : 5897 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273440177 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5898] ppid=5881 vsize=10557460 CPUtime=0.92 cores=1,3,5,7
/proc/5883/task/5898/stat : 5898 (java) S 5881 5883 5272 0 -1 4202560 7961 0 0 0 91 1 0 0 15 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5899] ppid=5881 vsize=10557460 CPUtime=0.74 cores=1,3,5,7
/proc/5883/task/5899/stat : 5899 (java) S 5881 5883 5272 0 -1 4202560 6260 0 0 0 74 0 0 0 16 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 1 0 0 0
[pid=5883/tid=5900] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5900/stat : 5900 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5901] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5901/stat : 5901 (java) S 5881 5883 5272 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5902] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5902/stat : 5902 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 814462087 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 104.27
Current children cumulated vsize (KiB) 10557460
Solver just ended. Dumping a history of the last processes samples
[startup+102.519 s]
/proc/loadavg: 2.03 2.05 2.00 3/514 5905
/proc/meminfo: memFree=13387256/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10557460 CPUtime=104.49 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 882534 0 1 0 10357 92 0 0 25 0 19 0 814462056 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2639365 875366 2251 9 0 2630099 0
[pid=5883/tid=5884] ppid=5881 vsize=10557460 CPUtime=102.28 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 830269 0 1 0 10142 86 0 0 25 0 19 0 814462056 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505821823 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5883/tid=5886] ppid=5881 vsize=10557460 CPUtime=0.07 cores=1,3,5,7
/proc/5883/task/5886/stat : 5886 (java) S 5881 5883 5272 0 -1 4202560 4101 0 0 0 7 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5887] ppid=5881 vsize=10557460 CPUtime=0.07 cores=1,3,5,7
/proc/5883/task/5887/stat : 5887 (java) S 5881 5883 5272 0 -1 4202560 5212 0 0 0 6 1 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5888] ppid=5881 vsize=10557460 CPUtime=0.09 cores=1,3,5,7
/proc/5883/task/5888/stat : 5888 (java) S 5881 5883 5272 0 -1 4202560 7379 0 0 0 9 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5889] ppid=5881 vsize=10557460 CPUtime=0.02 cores=1,3,5,7
/proc/5883/task/5889/stat : 5889 (java) S 5881 5883 5272 0 -1 4202560 1571 0 0 0 2 0 0 0 15 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5890] ppid=5881 vsize=10557460 CPUtime=0.06 cores=1,3,5,7
/proc/5883/task/5890/stat : 5890 (java) S 5881 5883 5272 0 -1 4202560 6591 0 0 0 6 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5891] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5891/stat : 5891 (java) S 5881 5883 5272 0 -1 4202560 4841 0 0 0 5 0 0 0 15 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5892] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5892/stat : 5892 (java) S 5881 5883 5272 0 -1 4202560 4554 0 0 0 5 0 0 0 15 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5893] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5893/stat : 5893 (java) S 5881 5883 5272 0 -1 4202560 2618 0 0 0 5 0 0 0 16 0 19 0 814462058 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5894] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5894/stat : 5894 (java) S 5881 5883 5272 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 814462059 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 0 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5895] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5895/stat : 5895 (java) S 5881 5883 5272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5896] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5896/stat : 5896 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5897] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5897/stat : 5897 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273440177 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5898] ppid=5881 vsize=10557460 CPUtime=0.92 cores=1,3,5,7
/proc/5883/task/5898/stat : 5898 (java) S 5881 5883 5272 0 -1 4202560 7961 0 0 0 91 1 0 0 15 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5899] ppid=5881 vsize=10557460 CPUtime=0.74 cores=1,3,5,7
/proc/5883/task/5899/stat : 5899 (java) S 5881 5883 5272 0 -1 4202560 6260 0 0 0 74 0 0 0 16 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 1 0 0 0
[pid=5883/tid=5900] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5900/stat : 5900 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5901] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5901/stat : 5901 (java) S 5881 5883 5272 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 814462061 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5902] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5902/stat : 5902 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 814462087 10810839040 875366 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 104.49
Current children cumulated vsize (KiB) 10557460
[startup+102.901 s]
/proc/loadavg: 2.03 2.05 2.00 3/514 5905
/proc/meminfo: memFree=13387256/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=10557460 CPUtime=104.9 cores=1,3,5,7
/proc/5883/stat : 5883 (java) S 5881 5883 5272 0 -1 4202496 883778 0 1 0 10397 93 0 0 25 0 19 0 814462056 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5883/statm: 2639365 876580 2251 9 0 2630099 0
[pid=5883/tid=5884] ppid=5881 vsize=10557460 CPUtime=102.65 cores=1,3,5,7
/proc/5883/task/5884/stat : 5884 (java) R 5881 5883 5272 0 -1 4202560 830270 0 1 0 10179 86 0 0 25 0 19 0 814462056 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 46912505366600 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5883/tid=5886] ppid=5881 vsize=10557460 CPUtime=0.07 cores=1,3,5,7
/proc/5883/task/5886/stat : 5886 (java) S 5881 5883 5272 0 -1 4202560 4101 0 0 0 7 0 0 0 15 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5887] ppid=5881 vsize=10557460 CPUtime=0.07 cores=1,3,5,7
/proc/5883/task/5887/stat : 5887 (java) S 5881 5883 5272 0 -1 4202560 5212 0 0 0 6 1 0 0 16 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5888] ppid=5881 vsize=10557460 CPUtime=0.1 cores=1,3,5,7
/proc/5883/task/5888/stat : 5888 (java) S 5881 5883 5272 0 -1 4202560 7910 0 0 0 10 0 0 0 16 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5889] ppid=5881 vsize=10557460 CPUtime=0.02 cores=1,3,5,7
/proc/5883/task/5889/stat : 5889 (java) S 5881 5883 5272 0 -1 4202560 1571 0 0 0 2 0 0 0 15 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5890] ppid=5881 vsize=10557460 CPUtime=0.06 cores=1,3,5,7
/proc/5883/task/5890/stat : 5890 (java) S 5881 5883 5272 0 -1 4202560 6591 0 0 0 6 0 0 0 16 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5891] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5891/stat : 5891 (java) S 5881 5883 5272 0 -1 4202560 4841 0 0 0 5 0 0 0 15 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5892] ppid=5881 vsize=10557460 CPUtime=0.05 cores=1,3,5,7
/proc/5883/task/5892/stat : 5892 (java) S 5881 5883 5272 0 -1 4202560 4560 0 0 0 5 0 0 0 15 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
[pid=5883/tid=5893] ppid=5881 vsize=10557460 CPUtime=0.06 cores=1,3,5,7
/proc/5883/task/5893/stat : 5893 (java) S 5881 5883 5272 0 -1 4202560 3324 0 0 0 6 0 0 0 16 0 19 0 814462058 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5894] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5894/stat : 5894 (java) S 5881 5883 5272 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 814462059 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 0 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5895] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5895/stat : 5895 (java) S 5881 5883 5272 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5896] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5896/stat : 5896 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814462059 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5897] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5897/stat : 5897 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273440177 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5898] ppid=5881 vsize=10557460 CPUtime=0.93 cores=1,3,5,7
/proc/5883/task/5898/stat : 5898 (java) S 5881 5883 5272 0 -1 4202560 7961 0 0 0 92 1 0 0 15 0 19 0 814462061 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5899] ppid=5881 vsize=10557460 CPUtime=0.74 cores=1,3,5,7
/proc/5883/task/5899/stat : 5899 (java) S 5881 5883 5272 0 -1 4202560 6260 0 0 0 74 0 0 0 16 0 19 0 814462061 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 1 0 0 0
[pid=5883/tid=5900] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5900/stat : 5900 (java) S 5881 5883 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814462061 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273432473 0 4 0 16800975 18446604463405716800 0 0 -1 3 0 0 0
[pid=5883/tid=5901] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5901/stat : 5901 (java) S 5881 5883 5272 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 814462061 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 5 0 0 0
[pid=5883/tid=5902] ppid=5881 vsize=10557460 CPUtime=0 cores=1,3,5,7
/proc/5883/task/5902/stat : 5902 (java) S 5881 5883 5272 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 814462087 10810839040 876580 33554432000 1073741824 1073778376 140736935212480 18446744073709551615 254273433088 0 4 0 16800975 18446604463405716800 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 104.9
Current children cumulated vsize (KiB) 10557460
[startup+103.101 s]
/proc/loadavg: 2.03 2.05 2.00 3/514 5905
/proc/meminfo: memFree=13387256/32951124 swapFree=67057928/67111528
[pid=5883] ppid=5881 vsize=0 CPUtime=105.1 cores=1,3,5,7
/proc/5883/stat : 5883 (java) Z 5881 5883 5272 0 -1 4203548 883792 0 1 0 10406 104 0 0 18 0 2 0 814462056 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5883/statm: 0 0 0 0 0 0 0
[pid=5883/tid=5902] ppid=5881 vsize=0 CPUtime=0.11 cores=1,3,5,7
/proc/5883/task/5902/stat : 5902 (java) R 5881 5883 5272 0 -1 4203588 10 0 0 0 0 11 0 0 18 0 2 0 814462087 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 105.1
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 103.116
CPU time (s): 105.125
CPU user time (s): 104.063
CPU system time (s): 1.06184
CPU usage (%): 101.948
Max. virtual memory (cumulated for all children) (KiB): 10564772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 104.063
system time used= 1.06184
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 883792
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2626
involuntary context switches= 3418
runsolver used 0.490925 second user time and 1.19982 second system time
The end