runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4089152-1466018754/watcher-4089152-1466018754 -o /tmp/evaluation-result-4089152-1466018754/solver-4089152-1466018754 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466012072-5946 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089152-1466018754.opb
pid=8540
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.19 2.18 2.17 3/194 8543
/proc/meminfo: memFree=30161520/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/8543/stat : 8543 (java) R 8540 8543 5929 0 -1 4202496 534 0 0 0 0 0 0 0 20 0 1 0 3924003 9515008 186 33554432000 1073741824 1073778376 140735073628832 140735073611560 272877317415 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2323 186 143 9 0 71 0
[startup+0.10016 s]
/proc/loadavg: 2.19 2.18 2.17 3/194 8543
/proc/meminfo: memFree=30161520/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 4396 0 1 0 7 2 0 0 20 0 18 0 3924003 9787879424 6028 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2389619 6028 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200278 s]
/proc/loadavg: 2.19 2.18 2.17 3/194 8543
/proc/meminfo: memFree=30161520/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 6592 0 1 0 27 2 0 0 20 0 19 0 3924003 9856040960 7448 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 7397 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9625040
[startup+0.300278 s]
/proc/loadavg: 2.19 2.18 2.17 3/194 8543
/proc/meminfo: memFree=30161520/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 6780 0 1 0 48 2 0 0 20 0 19 0 3924003 9856040960 7919 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 7919 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040
[startup+0.700207 s]
/proc/loadavg: 2.19 2.18 2.17 3/194 8543
/proc/meminfo: memFree=30161520/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=1.03 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 7856 0 1 0 101 2 0 0 20 0 19 0 3924003 9856040960 8960 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 8960 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9625040
[startup+1.50074 s]
/proc/loadavg: 2.19 2.18 2.17 3/213 8562
/proc/meminfo: memFree=30129132/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=1.86 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 7861 0 1 0 184 2 0 0 20 0 19 0 3924003 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 10497 2249 9 0 2396937 0
[pid=8543/tid=8545] ppid=8540 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/8543/task/8545/stat : 8545 (java) R 8540 8543 5929 0 -1 4202560 2410 0 1 0 144 2 0 0 20 0 19 0 3924004 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565138375176 140564968720480 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8546] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8546/stat : 8546 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565099866280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8547] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8547/stat : 8547 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565098813736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8548] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8548/stat : 8548 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565097761192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8549] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8549/stat : 8549 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565096708648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8550] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8550/stat : 8550 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565095656104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8551] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8551/stat : 8551 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565094603560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8552] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8552/stat : 8552 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565093551016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8553] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8553/stat : 8553 (java) S 8540 8543 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140565092498472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8554] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8554/stat : 8554 (java) S 8540 8543 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564961921128 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8555] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8555/stat : 8555 (java) S 8540 8543 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564960867448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8556] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8556/stat : 8556 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564959814792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8557] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8557/stat : 8557 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564958763536 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8558] ppid=8540 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8543/task/8558/stat : 8558 (java) S 8540 8543 5929 0 -1 4202560 2181 0 0 0 20 0 0 0 20 0 19 0 3924009 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564957710904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8559] ppid=8540 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/8543/task/8559/stat : 8559 (java) S 8540 8543 5929 0 -1 4202560 2000 0 0 0 16 0 0 0 20 0 19 0 3924009 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564956658360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8560] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8560/stat : 8560 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564955606008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8561] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8561/stat : 8561 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564954553672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8562] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8562/stat : 8562 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924018 9856040960 10497 33554432000 1073741824 1073778376 140735073628832 140564953498408 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 9625040
[startup+3.10083 s]
/proc/loadavg: 2.19 2.18 2.17 3/213 8562
/proc/meminfo: memFree=30120452/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 7867 0 1 0 344 3 0 0 20 0 19 0 3924003 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 13569 2249 9 0 2396937 0
[pid=8543/tid=8545] ppid=8540 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/8543/task/8545/stat : 8545 (java) R 8540 8543 5929 0 -1 4202560 2416 0 1 0 304 2 0 0 20 0 19 0 3924004 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565138366160 140564968721754 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8546] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8546/stat : 8546 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565099866280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8547] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8547/stat : 8547 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565098813736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8548] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8548/stat : 8548 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565097761192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8549] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8549/stat : 8549 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565096708648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8550] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8550/stat : 8550 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565095656104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8551] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8551/stat : 8551 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565094603560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8552] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8552/stat : 8552 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565093551016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8553] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8553/stat : 8553 (java) S 8540 8543 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140565092498472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8554] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8554/stat : 8554 (java) S 8540 8543 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564961921128 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8555] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8555/stat : 8555 (java) S 8540 8543 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564960867448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8556] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8556/stat : 8556 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564959814792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8557] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8557/stat : 8557 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564958763536 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8558] ppid=8540 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8543/task/8558/stat : 8558 (java) S 8540 8543 5929 0 -1 4202560 2181 0 0 0 20 0 0 0 20 0 19 0 3924009 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564957710904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8559] ppid=8540 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/8543/task/8559/stat : 8559 (java) S 8540 8543 5929 0 -1 4202560 2000 0 0 0 16 0 0 0 20 0 19 0 3924009 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564956658360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8560] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8560/stat : 8560 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564955606008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8561] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8561/stat : 8561 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564954553672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8562] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8562/stat : 8562 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924018 9856040960 13569 33554432000 1073741824 1073778376 140735073628832 140564953498408 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 9625040
[startup+6.30084 s]
/proc/loadavg: 2.17 2.18 2.17 3/213 8562
/proc/meminfo: memFree=30101652/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=6.67 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 7879 0 1 0 664 3 0 0 20 0 19 0 3924003 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 18575 2250 9 0 2396937 0
[pid=8543/tid=8545] ppid=8540 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/8543/task/8545/stat : 8545 (java) R 8540 8543 5929 0 -1 4202560 2427 0 1 0 624 2 0 0 20 0 19 0 3924004 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565138366160 140564968798517 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8546] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8546/stat : 8546 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565099866280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8547] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8547/stat : 8547 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565098813736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8548] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8548/stat : 8548 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565097761192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8549] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8549/stat : 8549 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565096708648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8550] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8550/stat : 8550 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565095656104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8551] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8551/stat : 8551 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565094603560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8552] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8552/stat : 8552 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565093551016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8553] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8553/stat : 8553 (java) S 8540 8543 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3924005 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140565092498472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8554] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8554/stat : 8554 (java) S 8540 8543 5929 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564961921128 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8555] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8555/stat : 8555 (java) S 8540 8543 5929 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564960867448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8556] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8556/stat : 8556 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564959814792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8557] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8557/stat : 8557 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564958763536 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8558] ppid=8540 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/8543/task/8558/stat : 8558 (java) S 8540 8543 5929 0 -1 4202560 2181 0 0 0 20 0 0 0 20 0 19 0 3924009 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564957710904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8559] ppid=8540 vsize=9625040 CPUtime=0.16 cores=1,3,5,7
/proc/8543/task/8559/stat : 8559 (java) S 8540 8543 5929 0 -1 4202560 2000 0 0 0 16 0 0 0 20 0 19 0 3924009 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564956658360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8560] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8560/stat : 8560 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564955606008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8561] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8561/stat : 8561 (java) S 8540 8543 5929 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564954553672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8562] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8562/stat : 8562 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924018 9856040960 18575 33554432000 1073741824 1073778376 140735073628832 140564953498408 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=8543/tid=8555] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8555/stat : 8555 (java) S 8540 8543 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564960867448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8556] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8556/stat : 8556 (java) S 8540 8543 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564959814792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8557] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8557/stat : 8557 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564958763536 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8558] ppid=8540 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8543/task/8558/stat : 8558 (java) S 8540 8543 5929 0 -1 4202560 2181 0 0 0 21 0 0 0 20 0 19 0 3924009 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564957710904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8559] ppid=8540 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/8543/task/8559/stat : 8559 (java) S 8540 8543 5929 0 -1 4202560 3470 0 0 0 23 0 0 0 20 0 19 0 3924009 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564956658360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8560] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8560/stat : 8560 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564955606008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8561] ppid=8540 vsize=9625040 CPUtime=0.56 cores=1,3,5,7
/proc/8543/task/8561/stat : 8561 (java) S 8540 8543 5929 0 -1 4202560 96 0 0 0 23 33 0 0 20 0 19 0 3924009 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564954553672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8562] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8562/stat : 8562 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924018 9856040960 109623 33554432000 1073741824 1073778376 140735073628832 140564953498408 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1667.31
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.14 2.16 2.16 3/213 8736
/proc/meminfo: memFree=29795700/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=1727.37 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 13187 0 1 0 172649 88 0 0 20 0 19 0 3924003 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 108644 2277 9 0 2396937 0
[pid=8543/tid=8545] ppid=8540 vsize=9625040 CPUtime=1720.09 cores=1,3,5,7
/proc/8543/task/8545/stat : 8545 (java) R 8540 8543 5929 0 -1 4202560 2513 0 1 0 171978 31 0 0 20 0 19 0 3924004 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565138366144 140564968740882 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8546] ppid=8540 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/8543/task/8546/stat : 8546 (java) S 8540 8543 5929 0 -1 4202560 374 0 0 0 71 7 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565099866280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8547] ppid=8540 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/8543/task/8547/stat : 8547 (java) S 8540 8543 5929 0 -1 4202560 461 0 0 0 68 7 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565098813736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8548] ppid=8540 vsize=9625040 CPUtime=0.68 cores=1,3,5,7
/proc/8543/task/8548/stat : 8548 (java) S 8540 8543 5929 0 -1 4202560 516 0 0 0 61 7 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565097761192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8549] ppid=8540 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/8543/task/8549/stat : 8549 (java) S 8540 8543 5929 0 -1 4202560 535 0 0 0 65 9 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565096708648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8550] ppid=8540 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/8543/task/8550/stat : 8550 (java) S 8540 8543 5929 0 -1 4202560 487 0 0 0 68 6 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565095656104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8551] ppid=8540 vsize=9625040 CPUtime=0.81 cores=1,3,5,7
/proc/8543/task/8551/stat : 8551 (java) S 8540 8543 5929 0 -1 4202560 497 0 0 0 75 6 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565094603560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8552] ppid=8540 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/8543/task/8552/stat : 8552 (java) S 8540 8543 5929 0 -1 4202560 218 0 0 0 71 8 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565093551016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8553] ppid=8540 vsize=9625040 CPUtime=0.69 cores=1,3,5,7
/proc/8543/task/8553/stat : 8553 (java) S 8540 8543 5929 0 -1 4202560 349 0 0 0 63 6 0 0 20 0 19 0 3924005 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140565092498472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8554] ppid=8540 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8543/task/8554/stat : 8554 (java) S 8540 8543 5929 0 -1 4202560 228 0 0 0 51 2 0 0 20 0 19 0 3924007 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564961921128 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8555] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8555/stat : 8555 (java) S 8540 8543 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564960867448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8556] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8556/stat : 8556 (java) S 8540 8543 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564959814792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8557] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8557/stat : 8557 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564958763536 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8558] ppid=8540 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8543/task/8558/stat : 8558 (java) S 8540 8543 5929 0 -1 4202560 2181 0 0 0 21 0 0 0 20 0 19 0 3924009 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564957710904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8559] ppid=8540 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/8543/task/8559/stat : 8559 (java) S 8540 8543 5929 0 -1 4202560 3470 0 0 0 23 0 0 0 20 0 19 0 3924009 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564956658360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8560] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8560/stat : 8560 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564955606008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8561] ppid=8540 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/8543/task/8561/stat : 8561 (java) S 8540 8543 5929 0 -1 4202560 100 0 0 0 24 34 0 0 20 0 19 0 3924009 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564954553672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8562] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8562/stat : 8562 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924018 9856040960 108644 33554432000 1073741824 1073778376 140735073628832 140564953498408 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1727.37
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.18 2.17 2.16 3/213 8737
/proc/meminfo: memFree=29769384/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=1787.56 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 13197 0 1 0 178667 89 0 0 20 0 19 0 3924003 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 105758 2277 9 0 2396937 0
[pid=8543/tid=8545] ppid=8540 vsize=9625040 CPUtime=1780.03 cores=1,3,5,7
/proc/8543/task/8545/stat : 8545 (java) R 8540 8543 5929 0 -1 4202560 2515 0 1 0 177971 32 0 0 20 0 19 0 3924004 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565138373840 140564968677573 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8546] ppid=8540 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/8543/task/8546/stat : 8546 (java) S 8540 8543 5929 0 -1 4202560 374 0 0 0 73 7 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565099866280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8547] ppid=8540 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/8543/task/8547/stat : 8547 (java) S 8540 8543 5929 0 -1 4202560 461 0 0 0 71 7 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565098813736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8548] ppid=8540 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/8543/task/8548/stat : 8548 (java) S 8540 8543 5929 0 -1 4202560 516 0 0 0 65 7 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565097761192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8549] ppid=8540 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/8543/task/8549/stat : 8549 (java) S 8540 8543 5929 0 -1 4202560 535 0 0 0 69 9 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565096708648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8550] ppid=8540 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/8543/task/8550/stat : 8550 (java) S 8540 8543 5929 0 -1 4202560 487 0 0 0 70 6 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565095656104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8551] ppid=8540 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/8543/task/8551/stat : 8551 (java) S 8540 8543 5929 0 -1 4202560 497 0 0 0 78 6 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565094603560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8552] ppid=8540 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/8543/task/8552/stat : 8552 (java) S 8540 8543 5929 0 -1 4202560 218 0 0 0 74 8 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565093551016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8553] ppid=8540 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/8543/task/8553/stat : 8553 (java) S 8540 8543 5929 0 -1 4202560 349 0 0 0 67 6 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565092498472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8554] ppid=8540 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8543/task/8554/stat : 8554 (java) S 8540 8543 5929 0 -1 4202560 232 0 0 0 51 2 0 0 20 0 19 0 3924007 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564961921128 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8555] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8555/stat : 8555 (java) S 8540 8543 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564960867448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8556] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8556/stat : 8556 (java) S 8540 8543 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564959814792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8557] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8557/stat : 8557 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564958763536 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8558] ppid=8540 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8543/task/8558/stat : 8558 (java) S 8540 8543 5929 0 -1 4202560 2181 0 0 0 21 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564957710904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8559] ppid=8540 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/8543/task/8559/stat : 8559 (java) S 8540 8543 5929 0 -1 4202560 3470 0 0 0 23 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564956658360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8560] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8560/stat : 8560 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564955606008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8561] ppid=8540 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8543/task/8561/stat : 8561 (java) S 8540 8543 5929 0 -1 4202560 104 0 0 0 25 35 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564954553672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8562] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8562/stat : 8562 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924018 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564953498408 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1787.56
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.8 s]
/proc/loadavg: 2.14 2.16 2.16 3/213 8737
/proc/meminfo: memFree=29769384/32872528 swapFree=1243664/1390832
[pid=8543] ppid=8540 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/8543/stat : 8543 (java) S 8540 8543 5929 0 -1 4202496 13197 0 1 0 179917 89 0 0 20 0 19 0 3924003 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140735073619968 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/8543/statm: 2406260 105758 2277 9 0 2396937 0
[pid=8543/tid=8545] ppid=8540 vsize=9625040 CPUtime=1792.53 cores=1,3,5,7
/proc/8543/task/8545/stat : 8545 (java) R 8540 8543 5929 0 -1 4202560 2515 0 1 0 179221 32 0 0 20 0 19 0 3924004 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565138366144 140564968740887 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8546] ppid=8540 vsize=9625040 CPUtime=0.8 cores=1,3,5,7
/proc/8543/task/8546/stat : 8546 (java) S 8540 8543 5929 0 -1 4202560 374 0 0 0 73 7 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565099866280 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8547] ppid=8540 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/8543/task/8547/stat : 8547 (java) S 8540 8543 5929 0 -1 4202560 461 0 0 0 71 7 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565098813736 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8548] ppid=8540 vsize=9625040 CPUtime=0.72 cores=1,3,5,7
/proc/8543/task/8548/stat : 8548 (java) S 8540 8543 5929 0 -1 4202560 516 0 0 0 65 7 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565097761192 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8549] ppid=8540 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/8543/task/8549/stat : 8549 (java) S 8540 8543 5929 0 -1 4202560 535 0 0 0 69 9 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565096708648 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8550] ppid=8540 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/8543/task/8550/stat : 8550 (java) S 8540 8543 5929 0 -1 4202560 487 0 0 0 70 6 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565095656104 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8551] ppid=8540 vsize=9625040 CPUtime=0.84 cores=1,3,5,7
/proc/8543/task/8551/stat : 8551 (java) S 8540 8543 5929 0 -1 4202560 497 0 0 0 78 6 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565094603560 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8552] ppid=8540 vsize=9625040 CPUtime=0.82 cores=1,3,5,7
/proc/8543/task/8552/stat : 8552 (java) S 8540 8543 5929 0 -1 4202560 218 0 0 0 74 8 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565093551016 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8553] ppid=8540 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/8543/task/8553/stat : 8553 (java) S 8540 8543 5929 0 -1 4202560 349 0 0 0 67 6 0 0 20 0 19 0 3924005 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140565092498472 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8554] ppid=8540 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/8543/task/8554/stat : 8554 (java) S 8540 8543 5929 0 -1 4202560 232 0 0 0 51 2 0 0 20 0 19 0 3924007 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564961921128 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=8543/tid=8555] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8555/stat : 8555 (java) S 8540 8543 5929 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564960867448 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8556] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8556/stat : 8556 (java) S 8540 8543 5929 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3924007 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564959814792 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8557] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8557/stat : 8557 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564958763536 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8558] ppid=8540 vsize=9625040 CPUtime=0.21 cores=1,3,5,7
/proc/8543/task/8558/stat : 8558 (java) S 8540 8543 5929 0 -1 4202560 2181 0 0 0 21 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564957710904 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8559] ppid=8540 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/8543/task/8559/stat : 8559 (java) S 8540 8543 5929 0 -1 4202560 3470 0 0 0 23 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564956658360 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=8543/tid=8560] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8560/stat : 8560 (java) S 8540 8543 5929 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564955606008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=8543/tid=8561] ppid=8540 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/8543/task/8561/stat : 8561 (java) S 8540 8543 5929 0 -1 4202560 104 0 0 0 25 35 0 0 20 0 19 0 3924009 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564954553672 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=8543/tid=8562] ppid=8540 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/8543/task/8562/stat : 8562 (java) S 8540 8543 5929 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3924018 9856040960 105758 33554432000 1073741824 1073778376 140735073628832 140564953498408 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8543 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1794.84
CPU time (s): 1800.64
CPU user time (s): 1799.25
CPU system time (s): 1.39179
CPU usage (%): 100.323
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.25
system time used= 1.39179
maximum resident set size= 628060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13239
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1616
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39230
involuntary context switches= 14174
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1015 second user time and 13.6239 second system time
The end