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-3458089-1307157953/watcher-3458089-1307157953 -o /tmp/evaluation-result-3458089-1307157953/solver-3458089-1307157953 -C 1800 -W 1900 -M 15500 java -server -Xms13000m -Xmx13000m -jar sat4j-pb.jar Resolution HOME/instance-3458089-1307157953.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.02 2.00 2/479 20107
/proc/meminfo: memFree=28589380/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 3837 0 1 0 0 0 0 0 25 0 2 0 827393316 13850947584 3539 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3381579 3552 917 9 0 3372735 0
[pid=20107/tid=20108] ppid=20105 vsize=13526316 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 6329 0 1 0 0 0 0 0 25 0 2 0 827393317 13850947584 7145 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228122407995 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.0722181 s]
/proc/loadavg: 2.01 2.02 2.00 2/479 20107
/proc/meminfo: memFree=28589380/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13555088 CPUtime=0.06 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 14354 0 1 0 5 1 0 0 25 0 18 0 827393316 13880410112 14052 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3388772 14054 1754 9 0 3379506 0
[pid=20107/tid=20108] ppid=20105 vsize=13555088 CPUtime=0.05 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 13183 0 1 0 4 1 0 0 25 0 18 0 827393317 13880410112 14054 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912496206192 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 13555088
[startup+0.100212 s]
/proc/loadavg: 2.01 2.02 2.00 2/479 20107
/proc/meminfo: memFree=28589380/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13622192 CPUtime=0.1 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 15585 0 1 0 9 1 0 0 25 0 18 0 827393316 13949124608 15251 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3405548 15253 2092 9 0 3396282 0
[pid=20107/tid=20108] ppid=20105 vsize=13622192 CPUtime=0.08 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 13637 0 1 0 7 1 0 0 18 0 18 0 827393317 13949124608 15253 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912496197400 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 13622192
[startup+0.301187 s]
/proc/loadavg: 2.01 2.02 2.00 2/479 20107
/proc/meminfo: memFree=28589380/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13625032 CPUtime=0.53 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 18166 0 1 0 51 2 0 0 25 0 19 0 827393316 13952032768 17118 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3406258 17118 2212 9 0 3396992 0
[pid=20107/tid=20108] ppid=20105 vsize=13625032 CPUtime=0.28 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 14300 0 1 0 27 1 0 0 19 0 19 0 827393317 13952032768 17118 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912505546263 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 13625032
[startup+0.7011 s]
/proc/loadavg: 2.01 2.02 2.00 2/479 20107
/proc/meminfo: memFree=28589380/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13642380 CPUtime=1.14 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 24837 0 1 0 112 2 0 0 25 0 19 0 827393316 13969797120 21952 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3410595 21952 2247 9 0 3401329 0
[pid=20107/tid=20108] ppid=20105 vsize=13642380 CPUtime=0.66 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 14722 0 1 0 65 1 0 0 19 0 19 0 827393317 13969797120 21952 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912505547383 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.14
Current children cumulated vsize (KiB) 13642380
[startup+1.50095 s]
/proc/loadavg: 2.01 2.02 2.00 4/498 20133
/proc/meminfo: memFree=28489676/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13642380 CPUtime=2.43 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 32047 0 1 0 240 3 0 0 25 0 19 0 827393316 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3410595 26427 2247 9 0 3401329 0
[pid=20107/tid=20108] ppid=20105 vsize=13642380 CPUtime=1.42 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 14727 0 1 0 141 1 0 0 17 0 19 0 827393317 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912505539807 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20107/tid=20110] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20107 16141 0 -1 4202560 275 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20111] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20107 16141 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20112] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20107 16141 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20113] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20115] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20107 16141 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20116] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20118] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20107 16141 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20119] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) S 20105 20107 16141 0 -1 4202560 252 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20121] ppid=20105 vsize=13642380 CPUtime=0.04 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20107 16141 0 -1 4202560 846 0 0 0 4 0 0 0 15 0 19 0 827393320 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 0 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20122] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20122/stat : 20122 (java) S 20105 20107 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827393320 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20124] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20124/stat : 20124 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827393320 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20125] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20125/stat : 20125 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134537649 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20127] ppid=20105 vsize=13642380 CPUtime=0.38 cores=1,3,5,7
/proc/20107/task/20127/stat : 20127 (java) S 20105 20107 16141 0 -1 4202560 6347 0 0 0 38 0 0 0 15 0 19 0 827393322 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20128] ppid=20105 vsize=13642380 CPUtime=0.53 cores=1,3,5,7
/proc/20107/task/20128/stat : 20128 (java) R 20105 20107 16141 0 -1 4202560 8159 0 0 0 53 0 0 0 15 0 19 0 827393322 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 47600994224212 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=20107/tid=20130] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20130/stat : 20130 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20131] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20131/stat : 20131 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393322 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20133] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20133/stat : 20133 (java) S 20105 20107 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827393334 13969797120 26427 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.43
Current children cumulated vsize (KiB) 13642380
[startup+3.10067 s]
/proc/loadavg: 2.01 2.02 2.00 3/498 20133
/proc/meminfo: memFree=28480872/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13642380 CPUtime=4.28 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 33116 0 1 0 425 3 0 0 25 0 19 0 827393316 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3410595 26469 2248 9 0 3401329 0
[pid=20107/tid=20108] ppid=20105 vsize=13642380 CPUtime=2.99 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 14728 0 1 0 298 1 0 0 19 0 19 0 827393317 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912505582845 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20107/tid=20110] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20107 16141 0 -1 4202560 277 0 0 0 0 0 0 0 16 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20111] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20107 16141 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20112] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20107 16141 0 -1 4202560 148 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20113] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20115] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20107 16141 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20116] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20107 16141 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20118] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20107 16141 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20119] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) S 20105 20107 16141 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 827393319 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20121] ppid=20105 vsize=13642380 CPUtime=0.07 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20107 16141 0 -1 4202560 922 0 0 0 7 0 0 0 15 0 19 0 827393320 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 0 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20122] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20122/stat : 20122 (java) S 20105 20107 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827393320 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20124] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20124/stat : 20124 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827393320 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20125] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20125/stat : 20125 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134537649 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20127] ppid=20105 vsize=13642380 CPUtime=0.38 cores=1,3,5,7
/proc/20107/task/20127/stat : 20127 (java) S 20105 20107 16141 0 -1 4202560 6347 0 0 0 38 0 0 0 15 0 19 0 827393322 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20128] ppid=20105 vsize=13642380 CPUtime=0.78 cores=1,3,5,7
/proc/20107/task/20128/stat : 20128 (java) S 20105 20107 16141 0 -1 4202560 9131 0 0 0 78 0 0 0 15 0 19 0 827393322 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20130] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20130/stat : 20130 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20131] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20131/stat : 20131 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393322 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20133] ppid=20105 vsize=13642380 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20133/stat : 20133 (java) S 20105 20107 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827393334 13969797120 26469 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.28
Current children cumulated vsize (KiB) 13642380
[startup+6.30108 s]
/proc/loadavg: 2.01 2.02 2.00 4/498 20133
/proc/meminfo: memFree=28462716/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13637176 CPUtime=7.52 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 33965 0 1 0 749 3 0 0 25 0 19 0 827393316 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3409294 25860 2248 9 0 3400028 0
[pid=20107/tid=20108] ppid=20105 vsize=13637176 CPUtime=6.04 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 14742 0 1 0 603 1 0 0 19 0 19 0 827393317 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912505534476 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20107/tid=20110] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20107 16141 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20111] ppid=20105 vsize=13637176 CPUtime=0.01 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20107 16141 0 -1 4202560 173 0 0 0 1 0 0 0 15 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20112] ppid=20105 vsize=13637176 CPUtime=0.01 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20107 16141 0 -1 4202560 148 0 0 0 1 0 0 0 16 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20113] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20107 16141 0 -1 4202560 53 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20115] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20116] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20107 16141 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20118] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20107 16141 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20119] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) S 20105 20107 16141 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20121] ppid=20105 vsize=13637176 CPUtime=0.2 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20107 16141 0 -1 4202560 1429 0 0 0 20 0 0 0 15 0 19 0 827393320 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 0 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20122] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20122/stat : 20122 (java) S 20105 20107 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827393320 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20124] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20124/stat : 20124 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827393320 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20125] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20125/stat : 20125 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134537649 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20127] ppid=20105 vsize=13637176 CPUtime=0.38 cores=1,3,5,7
/proc/20107/task/20127/stat : 20127 (java) S 20105 20107 16141 0 -1 4202560 6347 0 0 0 38 0 0 0 15 0 19 0 827393322 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20128] ppid=20105 vsize=13637176 CPUtime=0.81 cores=1,3,5,7
/proc/20107/task/20128/stat : 20128 (java) S 20105 20107 16141 0 -1 4202560 9133 0 0 0 81 0 0 0 15 0 19 0 827393322 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20130] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20130/stat : 20130 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20131] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20131/stat : 20131 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393322 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20133] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20133/stat : 20133 (java) S 20105 20107 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827393334 13964468224 25860 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.52
Current children cumulated vsize (KiB) 13637176
Solver just ended. Dumping a history of the last processes samples
[startup+6.70101 s]
/proc/loadavg: 2.01 2.02 2.00 3/498 20133
/proc/meminfo: memFree=28459968/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13637176 CPUtime=7.93 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 33968 0 1 0 790 3 0 0 25 0 19 0 827393316 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3409294 25862 2248 9 0 3400028 0
[pid=20107/tid=20108] ppid=20105 vsize=13637176 CPUtime=6.42 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 14743 0 1 0 641 1 0 0 20 0 19 0 827393317 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912505579368 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20107/tid=20110] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20107 16141 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20111] ppid=20105 vsize=13637176 CPUtime=0.01 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20107 16141 0 -1 4202560 173 0 0 0 1 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20112] ppid=20105 vsize=13637176 CPUtime=0.01 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20107 16141 0 -1 4202560 148 0 0 0 1 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20113] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20107 16141 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20115] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20116] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20107 16141 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20118] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20107 16141 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20119] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) S 20105 20107 16141 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20121] ppid=20105 vsize=13637176 CPUtime=0.21 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20107 16141 0 -1 4202560 1429 0 0 0 21 0 0 0 15 0 19 0 827393320 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 0 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20122] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20122/stat : 20122 (java) S 20105 20107 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827393320 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20124] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20124/stat : 20124 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827393320 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20125] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20125/stat : 20125 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134537649 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20127] ppid=20105 vsize=13637176 CPUtime=0.38 cores=1,3,5,7
/proc/20107/task/20127/stat : 20127 (java) S 20105 20107 16141 0 -1 4202560 6347 0 0 0 38 0 0 0 15 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20128] ppid=20105 vsize=13637176 CPUtime=0.81 cores=1,3,5,7
/proc/20107/task/20128/stat : 20128 (java) S 20105 20107 16141 0 -1 4202560 9133 0 0 0 81 0 0 0 15 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20130] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20130/stat : 20130 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20131] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20131/stat : 20131 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20133] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20133/stat : 20133 (java) S 20105 20107 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827393334 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 7.93
Current children cumulated vsize (KiB) 13637176
[startup+6.80099 s]
/proc/loadavg: 2.01 2.02 2.00 3/498 20133
/proc/meminfo: memFree=28459968/32951124 swapFree=41830676/67111528
[pid=20107] ppid=20105 vsize=13637176 CPUtime=8.03 cores=1,3,5,7
/proc/20107/stat : 20107 (java) S 20105 20107 16141 0 -1 4202496 33968 0 1 0 800 3 0 0 25 0 19 0 827393316 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134516709 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/20107/statm: 3409294 25862 2248 9 0 3400028 0
[pid=20107/tid=20108] ppid=20105 vsize=13637176 CPUtime=6.52 cores=1,3,5,7
/proc/20107/task/20108/stat : 20108 (java) R 20105 20107 16141 0 -1 4202560 14743 0 1 0 651 1 0 0 20 0 19 0 827393317 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 46912505535688 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=20107/tid=20110] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20110/stat : 20110 (java) S 20105 20107 16141 0 -1 4202560 277 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20111] ppid=20105 vsize=13637176 CPUtime=0.01 cores=1,3,5,7
/proc/20107/task/20111/stat : 20111 (java) S 20105 20107 16141 0 -1 4202560 173 0 0 0 1 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20112] ppid=20105 vsize=13637176 CPUtime=0.01 cores=1,3,5,7
/proc/20107/task/20112/stat : 20112 (java) S 20105 20107 16141 0 -1 4202560 148 0 0 0 1 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20113] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20113/stat : 20113 (java) S 20105 20107 16141 0 -1 4202560 55 0 0 0 0 0 0 0 16 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20115] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20115/stat : 20115 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20116] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20116/stat : 20116 (java) S 20105 20107 16141 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20118] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20118/stat : 20118 (java) S 20105 20107 16141 0 -1 4202560 237 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20119] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20119/stat : 20119 (java) S 20105 20107 16141 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 827393319 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20121] ppid=20105 vsize=13637176 CPUtime=0.21 cores=1,3,5,7
/proc/20107/task/20121/stat : 20121 (java) S 20105 20107 16141 0 -1 4202560 1429 0 0 0 21 0 0 0 15 0 19 0 827393320 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 0 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20122] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20122/stat : 20122 (java) S 20105 20107 16141 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 827393320 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20124] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20124/stat : 20124 (java) S 20105 20107 16141 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 827393320 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 5 0 0 0
[pid=20107/tid=20125] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20125/stat : 20125 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134537649 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20127] ppid=20105 vsize=13637176 CPUtime=0.38 cores=1,3,5,7
/proc/20107/task/20127/stat : 20127 (java) S 20105 20107 16141 0 -1 4202560 6347 0 0 0 38 0 0 0 15 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 7 0 0 0
[pid=20107/tid=20128] ppid=20105 vsize=13637176 CPUtime=0.81 cores=1,3,5,7
/proc/20107/task/20128/stat : 20128 (java) S 20105 20107 16141 0 -1 4202560 9133 0 0 0 81 0 0 0 15 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
[pid=20107/tid=20130] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20130/stat : 20130 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134529945 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20131] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20131/stat : 20131 (java) S 20105 20107 16141 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 827393322 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 3 0 0 0
[pid=20107/tid=20133] ppid=20105 vsize=13637176 CPUtime=0 cores=1,3,5,7
/proc/20107/task/20133/stat : 20133 (java) S 20105 20107 16141 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 827393334 13964468224 25862 33554432000 1073741824 1073778376 140734736311296 18446744073709551615 228134530560 0 4 0 16800975 18446604462210038592 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 8.03
Current children cumulated vsize (KiB) 13637176
Child status: 30
Real time (s): 6.87117
CPU time (s): 8.11477
CPU user time (s): 8.06777
CPU system time (s): 0.046992
CPU usage (%): 118.099
Max. virtual memory (cumulated for all children) (KiB): 13642380
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.06777
system time used= 0.046992
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33993
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= 681
involuntary context switches= 219
runsolver used 0.035994 second user time and 0.081987 second system time
The end