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-3457015-1307215867/watcher-3457015-1307215867 -o /tmp/evaluation-result-3457015-1307215867/solver-3457015-1307215867 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457015-1307215867.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: 0.00 0.00 0.00 1/506 12058
/proc/meminfo: memFree=16683488/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 3020 0 1 0 0 0 0 0 23 0 2 0 814002814 10681323520 2721 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2607745 2734 906 9 0 2598901 0
[pid=12058/tid=12059] ppid=12056 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 6424 0 1 0 0 0 0 0 24 0 2 0 814002814 10694979584 7240 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255106462779 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.118976 s]
/proc/loadavg: 0.00 0.00 0.00 1/506 12058
/proc/meminfo: memFree=16683488/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10540380 CPUtime=0.13 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 13348 0 1 0 11 2 0 0 23 0 18 0 814002814 10793349120 13014 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2635095 13014 2133 9 0 2625829 0
[pid=12058/tid=12059] ppid=12056 vsize=10540380 CPUtime=0.09 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 11336 0 1 0 8 1 0 0 18 0 18 0 814002814 10793349120 13014 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912496207680 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10540380
[startup+0.200971 s]
/proc/loadavg: 0.00 0.00 0.00 1/506 12058
/proc/meminfo: memFree=16683488/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10540848 CPUtime=0.26 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 13984 0 1 0 24 2 0 0 23 0 18 0 814002814 10793828352 13630 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2635212 13630 2180 9 0 2625946 0
[pid=12058/tid=12059] ppid=12056 vsize=10540848 CPUtime=0.18 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 11792 0 1 0 17 1 0 0 18 0 18 0 814002814 10793828352 13631 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 10540848
[startup+0.300937 s]
/proc/loadavg: 0.00 0.00 0.00 1/506 12058
/proc/meminfo: memFree=16683488/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10542708 CPUtime=0.47 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 16104 0 1 0 45 2 0 0 23 0 19 0 814002814 10795732992 15371 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2635677 15371 2209 9 0 2626411 0
[pid=12058/tid=12059] ppid=12056 vsize=10542708 CPUtime=0.28 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 12958 0 1 0 26 2 0 0 19 0 19 0 814002814 10795732992 15371 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505122688 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 10542708
[startup+0.700869 s]
/proc/loadavg: 0.00 0.00 0.00 1/506 12058
/proc/meminfo: memFree=16683488/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10552012 CPUtime=1.59 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 44919 0 1 0 153 6 0 0 23 0 19 0 814002814 10805260288 41056 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2638003 41056 2222 9 0 2628737 0
[pid=12058/tid=12059] ppid=12056 vsize=10552012 CPUtime=0.68 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 34004 0 1 0 63 5 0 0 18 0 19 0 814002814 10805260288 41057 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 10552012
[startup+1.50073 s]
/proc/loadavg: 0.00 0.00 0.00 3/548 12105
/proc/meminfo: memFree=16104128/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10550500 CPUtime=2.68 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 130823 0 1 0 251 17 0 0 23 0 19 0 814002814 10803712000 126490 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2637625 126498 2226 9 0 2628359 0
[pid=12058/tid=12059] ppid=12056 vsize=10550500 CPUtime=1.48 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 119684 0 1 0 133 15 0 0 18 0 19 0 814002814 10803712000 126502 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505640291 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126506 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12062] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12062/stat : 12062 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126511 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12063] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12063/stat : 12063 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126515 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12064] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12064/stat : 12064 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126519 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12065] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12065/stat : 12065 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126523 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12066] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12066/stat : 12066 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126527 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12067] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12067/stat : 12067 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126531 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12068] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12068/stat : 12068 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 126534 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12071] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12071/stat : 12071 (java) S 12056 12058 12030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002817 10803712000 126538 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12072] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12072/stat : 12072 (java) S 12056 12058 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002818 10803712000 126541 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12073] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12073/stat : 12073 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002818 10803712000 126544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12081] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12081/stat : 12081 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002820 10803712000 126546 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12082] ppid=12056 vsize=10550500 CPUtime=0.59 cores=1,3,5,7
/proc/12058/task/12082/stat : 12082 (java) S 12056 12058 12030 0 -1 4202560 5435 0 0 0 59 0 0 0 15 0 19 0 814002820 10803712000 126547 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12083] ppid=12056 vsize=10550500 CPUtime=0.58 cores=1,3,5,7
/proc/12058/task/12083/stat : 12083 (java) S 12056 12058 12030 0 -1 4202560 4555 0 0 0 58 0 0 0 15 0 19 0 814002820 10803712000 126550 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12084] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12084/stat : 12084 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814002820 10803712000 126555 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12085] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12085/stat : 12085 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002820 10803712000 126560 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12104] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12104/stat : 12104 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002844 10803712000 126565 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 10550500
[startup+3.10145 s]
/proc/loadavg: 0.00 0.00 0.00 3/548 12105
/proc/meminfo: memFree=15198568/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10550500 CPUtime=4.29 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 288960 0 1 0 395 34 0 0 23 0 19 0 814002814 10803712000 284626 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2637625 284631 2226 9 0 2628359 0
[pid=12058/tid=12059] ppid=12056 vsize=10550500 CPUtime=3.09 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 277816 0 1 0 276 33 0 0 19 0 19 0 814002814 10803712000 284633 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505670165 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284635 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12062] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12062/stat : 12062 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284638 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12063] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12063/stat : 12063 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284641 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12064] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12064/stat : 12064 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284643 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12065] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12065/stat : 12065 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284646 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12066] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12066/stat : 12066 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284648 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12067] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12067/stat : 12067 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284651 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12068] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12068/stat : 12068 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10803712000 284653 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12071] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12071/stat : 12071 (java) S 12056 12058 12030 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814002817 10803712000 284656 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12072] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12072/stat : 12072 (java) S 12056 12058 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002818 10803712000 284659 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12073] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12073/stat : 12073 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002818 10803712000 284661 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12081] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12081/stat : 12081 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002820 10803712000 284664 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12082] ppid=12056 vsize=10550500 CPUtime=0.59 cores=1,3,5,7
/proc/12058/task/12082/stat : 12082 (java) S 12056 12058 12030 0 -1 4202560 5435 0 0 0 59 0 0 0 15 0 19 0 814002820 10803712000 284666 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12083] ppid=12056 vsize=10550500 CPUtime=0.59 cores=1,3,5,7
/proc/12058/task/12083/stat : 12083 (java) S 12056 12058 12030 0 -1 4202560 4555 0 0 0 59 0 0 0 15 0 19 0 814002820 10803712000 284669 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12084] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12084/stat : 12084 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814002820 10803712000 284672 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12085] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12085/stat : 12085 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814002820 10803712000 284674 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12104] ppid=12056 vsize=10550500 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12104/stat : 12104 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002844 10803712000 284677 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.29
Current children cumulated vsize (KiB) 10550500
[startup+6.30089 s]
/proc/loadavg: 0.16 0.03 0.01 3/548 12105
/proc/meminfo: memFree=12642672/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10548128 CPUtime=7.53 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 602045 0 1 0 686 67 0 0 23 0 19 0 814002814 10801283072 596911 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2637032 596915 2227 9 0 2627766 0
[pid=12058/tid=12059] ppid=12056 vsize=10548128 CPUtime=6.28 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 590894 0 1 0 563 65 0 0 21 0 19 0 814002814 10801283072 596917 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505640232 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596919 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12062] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12062/stat : 12062 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596920 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12063] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12063/stat : 12063 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596922 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12064] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12064/stat : 12064 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596925 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12065] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12065/stat : 12065 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596927 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12066] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12066/stat : 12066 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596931 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12067] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12067/stat : 12067 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596936 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12068] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12068/stat : 12068 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814002816 10801283072 596940 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12071] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12071/stat : 12071 (java) S 12056 12058 12030 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 814002817 10801283072 596945 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12072] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12072/stat : 12072 (java) S 12056 12058 12030 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814002818 10801283072 596949 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12073] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12073/stat : 12073 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814002818 10801283072 596954 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12081] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12081/stat : 12081 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002820 10801283072 596958 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12082] ppid=12056 vsize=10548128 CPUtime=0.6 cores=1,3,5,7
/proc/12058/task/12082/stat : 12082 (java) S 12056 12058 12030 0 -1 4202560 5436 0 0 0 60 0 0 0 15 0 19 0 814002820 10801283072 596962 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12083] ppid=12056 vsize=10548128 CPUtime=0.63 cores=1,3,5,7
/proc/12058/task/12083/stat : 12083 (java) S 12056 12058 12030 0 -1 4202560 4559 0 0 0 63 0 0 0 16 0 19 0 814002820 10801283072 596967 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
################
# More data... #
################
[pid=12058/tid=12085] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12085/stat : 12085 (java) S 12056 12058 12030 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 814002820 10801283072 916514 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12104] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12104/stat : 12104 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002844 10801283072 916514 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1667.09
Current children cumulated vsize (KiB) 10548128
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.70 3/548 12155
/proc/meminfo: memFree=9356584/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10548128 CPUtime=1727.22 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 924080 0 1 0 172615 107 0 0 23 0 19 0 814002814 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2637032 916544 2256 9 0 2627766 0
[pid=12058/tid=12059] ppid=12056 vsize=10548128 CPUtime=1719.76 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 837849 0 1 0 171884 92 0 0 25 0 19 0 814002814 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505640020 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=10548128 CPUtime=0.61 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (java) S 12056 12058 12030 0 -1 4202560 6098 0 0 0 61 0 0 0 15 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12062] ppid=12056 vsize=10548128 CPUtime=0.48 cores=1,3,5,7
/proc/12058/task/12062/stat : 12062 (java) S 12056 12058 12030 0 -1 4202560 5954 0 0 0 48 0 0 0 15 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12063] ppid=12056 vsize=10548128 CPUtime=0.6 cores=1,3,5,7
/proc/12058/task/12063/stat : 12063 (java) S 12056 12058 12030 0 -1 4202560 9097 0 0 0 59 1 0 0 16 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12064] ppid=12056 vsize=10548128 CPUtime=0.48 cores=1,3,5,7
/proc/12058/task/12064/stat : 12064 (java) S 12056 12058 12030 0 -1 4202560 6616 0 0 0 48 0 0 0 15 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12065] ppid=12056 vsize=10548128 CPUtime=0.56 cores=1,3,5,7
/proc/12058/task/12065/stat : 12065 (java) S 12056 12058 12030 0 -1 4202560 9343 0 0 0 55 1 0 0 16 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12066] ppid=12056 vsize=10548128 CPUtime=0.62 cores=1,3,5,7
/proc/12058/task/12066/stat : 12066 (java) S 12056 12058 12030 0 -1 4202560 7846 0 0 0 61 1 0 0 16 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12067] ppid=12056 vsize=10548128 CPUtime=0.69 cores=1,3,5,7
/proc/12058/task/12067/stat : 12067 (java) S 12056 12058 12030 0 -1 4202560 11189 0 0 0 68 1 0 0 16 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12068] ppid=12056 vsize=10548128 CPUtime=0.67 cores=1,3,5,7
/proc/12058/task/12068/stat : 12068 (java) S 12056 12058 12030 0 -1 4202560 8369 0 0 0 66 1 0 0 15 0 19 0 814002816 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12071] ppid=12056 vsize=10548128 CPUtime=0.99 cores=1,3,5,7
/proc/12058/task/12071/stat : 12071 (java) S 12056 12058 12030 0 -1 4202560 9070 0 0 0 96 3 0 0 15 0 19 0 814002817 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12072] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12072/stat : 12072 (java) S 12056 12058 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002818 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12073] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12073/stat : 12073 (java) S 12056 12058 12030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002818 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12081] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12081/stat : 12081 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002820 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12082] ppid=12056 vsize=10548128 CPUtime=0.83 cores=1,3,5,7
/proc/12058/task/12082/stat : 12082 (java) S 12056 12058 12030 0 -1 4202560 6792 0 0 0 82 1 0 0 15 0 19 0 814002820 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12083] ppid=12056 vsize=10548128 CPUtime=0.83 cores=1,3,5,7
/proc/12058/task/12083/stat : 12083 (java) S 12056 12058 12030 0 -1 4202560 4602 0 0 0 83 0 0 0 15 0 19 0 814002820 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12084] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12084/stat : 12084 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814002820 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12085] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12085/stat : 12085 (java) S 12056 12058 12030 0 -1 4202560 104 0 0 0 0 0 0 0 15 0 19 0 814002820 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12104] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12104/stat : 12104 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002844 10801283072 916544 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1727.22
Current children cumulated vsize (KiB) 10548128
[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 1.72 3/548 12156
/proc/meminfo: memFree=9353320/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10548128 CPUtime=1787.35 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 924107 0 1 0 178628 107 0 0 23 0 19 0 814002814 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2637032 916561 2256 9 0 2627766 0
[pid=12058/tid=12059] ppid=12056 vsize=10548128 CPUtime=1779.71 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 837853 0 1 0 177879 92 0 0 25 0 19 0 814002814 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505640258 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=10548128 CPUtime=0.63 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (java) S 12056 12058 12030 0 -1 4202560 6100 0 0 0 63 0 0 0 15 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12062] ppid=12056 vsize=10548128 CPUtime=0.5 cores=1,3,5,7
/proc/12058/task/12062/stat : 12062 (java) S 12056 12058 12030 0 -1 4202560 5959 0 0 0 50 0 0 0 16 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12063] ppid=12056 vsize=10548128 CPUtime=0.62 cores=1,3,5,7
/proc/12058/task/12063/stat : 12063 (java) S 12056 12058 12030 0 -1 4202560 9097 0 0 0 61 1 0 0 16 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12064] ppid=12056 vsize=10548128 CPUtime=0.5 cores=1,3,5,7
/proc/12058/task/12064/stat : 12064 (java) S 12056 12058 12030 0 -1 4202560 6618 0 0 0 50 0 0 0 15 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12065] ppid=12056 vsize=10548128 CPUtime=0.59 cores=1,3,5,7
/proc/12058/task/12065/stat : 12065 (java) S 12056 12058 12030 0 -1 4202560 9348 0 0 0 58 1 0 0 15 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12066] ppid=12056 vsize=10548128 CPUtime=0.64 cores=1,3,5,7
/proc/12058/task/12066/stat : 12066 (java) S 12056 12058 12030 0 -1 4202560 7847 0 0 0 63 1 0 0 16 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12067] ppid=12056 vsize=10548128 CPUtime=0.71 cores=1,3,5,7
/proc/12058/task/12067/stat : 12067 (java) S 12056 12058 12030 0 -1 4202560 11191 0 0 0 70 1 0 0 15 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12068] ppid=12056 vsize=10548128 CPUtime=0.68 cores=1,3,5,7
/proc/12058/task/12068/stat : 12068 (java) S 12056 12058 12030 0 -1 4202560 8369 0 0 0 67 1 0 0 16 0 19 0 814002816 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12071] ppid=12056 vsize=10548128 CPUtime=0.99 cores=1,3,5,7
/proc/12058/task/12071/stat : 12071 (java) S 12056 12058 12030 0 -1 4202560 9074 0 0 0 96 3 0 0 15 0 19 0 814002817 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12072] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12072/stat : 12072 (java) S 12056 12058 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002818 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12073] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12073/stat : 12073 (java) S 12056 12058 12030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002818 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12081] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12081/stat : 12081 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002820 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12082] ppid=12056 vsize=10548128 CPUtime=0.83 cores=1,3,5,7
/proc/12058/task/12082/stat : 12082 (java) S 12056 12058 12030 0 -1 4202560 6792 0 0 0 82 1 0 0 15 0 19 0 814002820 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12083] ppid=12056 vsize=10548128 CPUtime=0.83 cores=1,3,5,7
/proc/12058/task/12083/stat : 12083 (java) S 12056 12058 12030 0 -1 4202560 4602 0 0 0 83 0 0 0 15 0 19 0 814002820 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12084] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12084/stat : 12084 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814002820 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12085] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12085/stat : 12085 (java) S 12056 12058 12030 0 -1 4202560 106 0 0 0 0 0 0 0 15 0 19 0 814002820 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12104] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12104/stat : 12104 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002844 10801283072 916561 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1787.35
Current children cumulated vsize (KiB) 10548128
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795 s]
/proc/loadavg: 2.01 2.03 1.73 3/548 12166
/proc/meminfo: memFree=9351432/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=10548128 CPUtime=1800.09 cores=1,3,5,7
/proc/12058/stat : 12058 (java) S 12056 12058 12030 0 -1 4202496 924113 0 1 0 179902 107 0 0 23 0 19 0 814002814 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118571493 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 2637032 916562 2256 9 0 2627766 0
[pid=12058/tid=12059] ppid=12056 vsize=10548128 CPUtime=1792.41 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4202560 837854 0 1 0 179149 92 0 0 25 0 19 0 814002814 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 46912505799158 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=12058/tid=12061] ppid=12056 vsize=10548128 CPUtime=0.63 cores=1,3,5,7
/proc/12058/task/12061/stat : 12061 (java) S 12056 12058 12030 0 -1 4202560 6100 0 0 0 63 0 0 0 15 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12062] ppid=12056 vsize=10548128 CPUtime=0.52 cores=1,3,5,7
/proc/12058/task/12062/stat : 12062 (java) S 12056 12058 12030 0 -1 4202560 5959 0 0 0 52 0 0 0 16 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12063] ppid=12056 vsize=10548128 CPUtime=0.62 cores=1,3,5,7
/proc/12058/task/12063/stat : 12063 (java) S 12056 12058 12030 0 -1 4202560 9097 0 0 0 61 1 0 0 15 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12064] ppid=12056 vsize=10548128 CPUtime=0.51 cores=1,3,5,7
/proc/12058/task/12064/stat : 12064 (java) S 12056 12058 12030 0 -1 4202560 6618 0 0 0 51 0 0 0 16 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12065] ppid=12056 vsize=10548128 CPUtime=0.6 cores=1,3,5,7
/proc/12058/task/12065/stat : 12065 (java) S 12056 12058 12030 0 -1 4202560 9348 0 0 0 59 1 0 0 16 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12066] ppid=12056 vsize=10548128 CPUtime=0.64 cores=1,3,5,7
/proc/12058/task/12066/stat : 12066 (java) S 12056 12058 12030 0 -1 4202560 7847 0 0 0 63 1 0 0 15 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
[pid=12058/tid=12067] ppid=12056 vsize=10548128 CPUtime=0.71 cores=1,3,5,7
/proc/12058/task/12067/stat : 12067 (java) S 12056 12058 12030 0 -1 4202560 11191 0 0 0 70 1 0 0 15 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12068] ppid=12056 vsize=10548128 CPUtime=0.69 cores=1,3,5,7
/proc/12058/task/12068/stat : 12068 (java) S 12056 12058 12030 0 -1 4202560 8370 0 0 0 68 1 0 0 16 0 19 0 814002816 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12071] ppid=12056 vsize=10548128 CPUtime=0.99 cores=1,3,5,7
/proc/12058/task/12071/stat : 12071 (java) S 12056 12058 12030 0 -1 4202560 9076 0 0 0 96 3 0 0 15 0 19 0 814002817 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 0 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12072] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12072/stat : 12072 (java) S 12056 12058 12030 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 814002818 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12073] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12073/stat : 12073 (java) S 12056 12058 12030 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 814002818 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12081] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12081/stat : 12081 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 814002820 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118592433 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12082] ppid=12056 vsize=10548128 CPUtime=0.83 cores=1,3,5,7
/proc/12058/task/12082/stat : 12082 (java) S 12056 12058 12030 0 -1 4202560 6792 0 0 0 82 1 0 0 15 0 19 0 814002820 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12083] ppid=12056 vsize=10548128 CPUtime=0.83 cores=1,3,5,7
/proc/12058/task/12083/stat : 12083 (java) S 12056 12058 12030 0 -1 4202560 4602 0 0 0 83 0 0 0 15 0 19 0 814002820 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 1 0 0 0
[pid=12058/tid=12084] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12084/stat : 12084 (java) S 12056 12058 12030 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 814002820 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118584729 0 4 0 16800975 18446604460756111680 0 0 -1 3 0 0 0
[pid=12058/tid=12085] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12085/stat : 12085 (java) S 12056 12058 12030 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 814002820 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 5 0 0 0
[pid=12058/tid=12104] ppid=12056 vsize=10548128 CPUtime=0 cores=1,3,5,7
/proc/12058/task/12104/stat : 12104 (java) S 12056 12058 12030 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814002844 10801283072 916562 33554432000 1073741824 1073778376 140736051516240 18446744073709551615 255118585344 0 4 0 16800975 18446604460756111680 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 10548128
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1795.13 s]
/proc/loadavg: 2.01 2.03 1.73 3/548 12166
/proc/meminfo: memFree=9351432/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=0 CPUtime=1800.23 cores=1,3,5,7
/proc/12058/stat : 12058 (java) Z 12056 12058 12030 0 -1 4203548 924151 0 1 0 179909 114 0 0 17 0 2 0 814002814 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 0 0 0 0 0 0 0
[pid=12058/tid=12059] ppid=12056 vsize=0 CPUtime=1792.51 cores=1,3,5,7
/proc/12058/task/12059/stat : 12059 (java) R 12056 12058 12030 0 -1 4203588 837854 0 1 0 179152 99 0 0 25 0 2 0 814002814 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) 1800.23
Current children cumulated vsize (KiB) 0
[startup+1795.2 s]
/proc/loadavg: 2.01 2.03 1.73 3/532 12169
/proc/meminfo: memFree=12808556/32951124 swapFree=67111204/67111528
[pid=12058] ppid=12056 vsize=0 CPUtime=1800.31 cores=1,3,5,7
/proc/12058/stat : 12058 (java) Z 12056 12058 12030 0 -1 4203548 924151 0 1 0 179909 122 0 0 17 0 1 0 814002814 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/12058/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 0
Child status: 143
Real time (s): 1795.22
CPU time (s): 1800.32
CPU user time (s): 1799.09
CPU system time (s): 1.22781
CPU usage (%): 100.284
Max. virtual memory (cumulated for all children) (KiB): 10552012
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.22781
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 924151
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= 40510
involuntary context switches= 11257
runsolver used 9.48856 second user time and 21.5607 second system time
The end