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-3456168-1307664154/watcher-3456168-1307664154 -o /tmp/evaluation-result-3456168-1307664154/solver-3456168-1307664154 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3456168-1307664154.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.98 2.00 2.00 4/195 1492
/proc/meminfo: memFree=31981868/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=2464 CPUtime=0 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4194304 280 0 0 0 0 0 0 0 25 0 1 0 956646069 2523136 44 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251362623111 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/1492/statm: 616 44 35 9 0 27 0
[startup+0.011482 s]
/proc/loadavg: 1.98 2.00 2.00 4/195 1492
/proc/meminfo: memFree=31981868/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10430980 CPUtime=0 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 3099 0 1 0 0 0 0 0 25 0 2 0 956646069 10681323520 2801 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2607745 2822 906 9 0 2598901 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10430980
[startup+0.100476 s]
/proc/loadavg: 1.98 2.00 2.00 4/195 1492
/proc/meminfo: memFree=31981868/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10540104 CPUtime=0.11 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 13005 0 1 0 10 1 0 0 25 0 18 0 956646069 10793066496 12702 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2635026 12705 2093 9 0 2625760 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540104
[startup+0.300439 s]
/proc/loadavg: 1.98 2.00 2.00 4/195 1492
/proc/meminfo: memFree=31981868/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10544652 CPUtime=0.49 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 16195 0 1 0 47 2 0 0 25 0 19 0 956646069 10797723648 15396 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2636163 15397 2199 9 0 2626897 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 10544652
[startup+0.700369 s]
/proc/loadavg: 1.98 2.00 2.00 4/195 1492
/proc/meminfo: memFree=31981868/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10554100 CPUtime=1.68 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 42790 0 1 0 163 5 0 0 25 0 19 0 956646069 10807398400 37973 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2638525 37977 2208 9 0 2629259 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 10554100
[startup+1.50124 s]
/proc/loadavg: 1.98 2.00 2.00 3/214 1511
/proc/meminfo: memFree=31547912/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10554100 CPUtime=2.67 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 105175 0 1 0 254 13 0 0 25 0 19 0 956646069 10807398400 100358 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2638525 100362 2216 9 0 2629259 0
[pid=1492/tid=1494] ppid=1490 vsize=10554100 CPUtime=1.49 cores=0,2,4,6
/proc/1492/task/1494/stat : 1494 (java) R 1490 1492 30485 0 -1 4202560 92707 0 1 0 138 11 0 0 18 0 19 0 956646069 10807398400 100364 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 46912505544256 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1492/tid=1495] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1495/stat : 1495 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100367 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1496] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1496/stat : 1496 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100370 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1497] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1497/stat : 1497 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100372 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1498] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1498/stat : 1498 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100374 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1499] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1499/stat : 1499 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100377 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1500] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1500/stat : 1500 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100379 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1501] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1501/stat : 1501 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100382 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1502] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1502/stat : 1502 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 100385 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1503] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1503/stat : 1503 (java) S 1490 1492 30485 0 -1 4202560 3 0 0 0 0 0 0 0 18 0 19 0 956646072 10807398400 100387 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 0 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1504] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1504/stat : 1504 (java) S 1490 1492 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 100390 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1505] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1505/stat : 1505 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 100392 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1506] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1506/stat : 1506 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956646075 10807398400 100395 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379370417 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1507] ppid=1490 vsize=10554100 CPUtime=0.62 cores=0,2,4,6
/proc/1492/task/1507/stat : 1507 (java) S 1490 1492 30485 0 -1 4202560 5712 0 0 0 61 1 0 0 15 0 19 0 956646075 10807398400 100397 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1508] ppid=1490 vsize=10554100 CPUtime=0.54 cores=0,2,4,6
/proc/1492/task/1508/stat : 1508 (java) S 1490 1492 30485 0 -1 4202560 5605 0 0 0 54 0 0 0 16 0 19 0 956646075 10807398400 100400 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1509] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1509/stat : 1509 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956646075 10807398400 100402 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1510] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1510/stat : 1510 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956646075 10807398400 100405 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1511] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1511/stat : 1511 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956646088 10807398400 100407 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.67
Current children cumulated vsize (KiB) 10554100
[startup+3.10093 s]
/proc/loadavg: 1.98 2.00 2.00 3/214 1511
/proc/meminfo: memFree=31000576/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10554100 CPUtime=4.33 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 232227 0 1 0 405 28 0 0 25 0 19 0 956646069 10807398400 227408 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2638525 227413 2216 9 0 2629259 0
[pid=1492/tid=1494] ppid=1490 vsize=10554100 CPUtime=3.08 cores=0,2,4,6
/proc/1492/task/1494/stat : 1494 (java) R 1490 1492 30485 0 -1 4202560 219755 0 1 0 282 26 0 0 19 0 19 0 956646069 10807398400 227415 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 46912505544574 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1492/tid=1495] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1495/stat : 1495 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227418 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1496] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1496/stat : 1496 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227420 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1497] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1497/stat : 1497 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227423 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1498] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1498/stat : 1498 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227425 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1499] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1499/stat : 1499 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227427 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1500] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1500/stat : 1500 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227429 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1501] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1501/stat : 1501 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227431 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1502] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1502/stat : 1502 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 227433 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1503] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1503/stat : 1503 (java) S 1490 1492 30485 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 956646072 10807398400 227435 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 0 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1504] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1504/stat : 1504 (java) S 1490 1492 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 227437 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1505] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1505/stat : 1505 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 227439 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1506] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1506/stat : 1506 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956646075 10807398400 227442 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379370417 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1507] ppid=1490 vsize=10554100 CPUtime=0.69 cores=0,2,4,6
/proc/1492/task/1507/stat : 1507 (java) S 1490 1492 30485 0 -1 4202560 5716 0 0 0 68 1 0 0 15 0 19 0 956646075 10807398400 227444 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1508] ppid=1490 vsize=10554100 CPUtime=0.54 cores=0,2,4,6
/proc/1492/task/1508/stat : 1508 (java) S 1490 1492 30485 0 -1 4202560 5605 0 0 0 54 0 0 0 15 0 19 0 956646075 10807398400 227446 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1509] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1509/stat : 1509 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956646075 10807398400 227449 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1510] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1510/stat : 1510 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956646075 10807398400 227451 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1511] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1511/stat : 1511 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956646088 10807398400 227453 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.33
Current children cumulated vsize (KiB) 10554100
Solver just ended. Dumping a history of the last processes samples
[startup+3.90078 s]
/proc/loadavg: 1.98 2.00 2.00 3/214 1511
/proc/meminfo: memFree=30469608/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10554100 CPUtime=5.13 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 294561 0 1 0 477 36 0 0 25 0 19 0 956646069 10807398400 289742 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2638525 289746 2216 9 0 2629259 0
[pid=1492/tid=1494] ppid=1490 vsize=10554100 CPUtime=3.88 cores=0,2,4,6
/proc/1492/task/1494/stat : 1494 (java) R 1490 1492 30485 0 -1 4202560 282088 0 1 0 354 34 0 0 20 0 19 0 956646069 10807398400 289748 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 46912505544259 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1492/tid=1495] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1495/stat : 1495 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289750 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1496] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1496/stat : 1496 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289752 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1497] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1497/stat : 1497 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289755 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1498] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1498/stat : 1498 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289757 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1499] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1499/stat : 1499 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289759 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1500] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1500/stat : 1500 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289762 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1501] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1501/stat : 1501 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289763 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1502] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1502/stat : 1502 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 289765 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1503] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1503/stat : 1503 (java) S 1490 1492 30485 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 956646072 10807398400 289767 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 0 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1504] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1504/stat : 1504 (java) S 1490 1492 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 289769 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1505] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1505/stat : 1505 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 289770 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1506] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1506/stat : 1506 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956646075 10807398400 289773 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379370417 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1507] ppid=1490 vsize=10554100 CPUtime=0.69 cores=0,2,4,6
/proc/1492/task/1507/stat : 1507 (java) S 1490 1492 30485 0 -1 4202560 5716 0 0 0 68 1 0 0 15 0 19 0 956646075 10807398400 289775 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1508] ppid=1490 vsize=10554100 CPUtime=0.54 cores=0,2,4,6
/proc/1492/task/1508/stat : 1508 (java) S 1490 1492 30485 0 -1 4202560 5605 0 0 0 54 0 0 0 15 0 19 0 956646075 10807398400 289777 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1509] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1509/stat : 1509 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956646075 10807398400 289779 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1510] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1510/stat : 1510 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 956646075 10807398400 289780 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1511] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1511/stat : 1511 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956646088 10807398400 289783 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.13
Current children cumulated vsize (KiB) 10554100
[startup+4.30071 s]
/proc/loadavg: 1.98 2.00 2.00 3/214 1511
/proc/meminfo: memFree=29958124/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=10554100 CPUtime=5.54 cores=0,2,4,6
/proc/1492/stat : 1492 (java) S 1490 1492 30485 0 -1 4202496 324980 0 1 0 515 39 0 0 25 0 19 0 956646069 10807398400 320160 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379349477 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/1492/statm: 2638525 320162 2217 9 0 2629259 0
[pid=1492/tid=1494] ppid=1490 vsize=10554100 CPUtime=4.29 cores=0,2,4,6
/proc/1492/task/1494/stat : 1494 (java) R 1490 1492 30485 0 -1 4202560 312690 0 1 0 392 37 0 0 18 0 19 0 956646069 10807398400 320350 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 46912505553484 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=1492/tid=1495] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1495/stat : 1495 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320350 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1496] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1496/stat : 1496 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320351 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1497] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1497/stat : 1497 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320352 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1498] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1498/stat : 1498 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320354 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1499] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1499/stat : 1499 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320356 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1500] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1500/stat : 1500 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320358 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1501] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1501/stat : 1501 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320360 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1502] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1502/stat : 1502 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 956646071 10807398400 320362 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1503] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1503/stat : 1503 (java) S 1490 1492 30485 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 956646072 10807398400 320363 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 0 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1504] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1504/stat : 1504 (java) S 1490 1492 30485 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 320363 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1505] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1505/stat : 1505 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 956646073 10807398400 320367 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1506] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1506/stat : 1506 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 956646075 10807398400 320367 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379370417 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1507] ppid=1490 vsize=10554100 CPUtime=0.69 cores=0,2,4,6
/proc/1492/task/1507/stat : 1507 (java) S 1490 1492 30485 0 -1 4202560 5716 0 0 0 68 1 0 0 15 0 19 0 956646075 10807398400 320368 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
[pid=1492/tid=1508] ppid=1490 vsize=10554100 CPUtime=0.54 cores=0,2,4,6
/proc/1492/task/1508/stat : 1508 (java) S 1490 1492 30485 0 -1 4202560 5605 0 0 0 54 0 0 0 15 0 19 0 956646075 10807398400 320370 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1509] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1509/stat : 1509 (java) S 1490 1492 30485 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 956646075 10807398400 320373 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379362713 0 4 0 16800975 18446604443002788800 0 0 -1 2 0 0 0
[pid=1492/tid=1510] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1510/stat : 1510 (java) S 1490 1492 30485 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 956646075 10807398400 320374 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 6 0 0 0
[pid=1492/tid=1511] ppid=1490 vsize=10554100 CPUtime=0 cores=0,2,4,6
/proc/1492/task/1511/stat : 1511 (java) S 1490 1492 30485 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 956646088 10807398400 320377 33554432000 1073741824 1073778376 140736837356048 18446744073709551615 251379363328 0 4 0 16800975 18446604443002788800 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 10554100
[startup+4.70162 s]
/proc/loadavg: 1.98 2.00 2.00 3/214 1511
/proc/meminfo: memFree=29958124/32950928 swapFree=67051096/67111528
[pid=1492] ppid=1490 vsize=0 CPUtime=5.95 cores=0,2,4,6
/proc/1492/stat : 1492 (java) Z 1490 1492 30485 0 -1 4203548 348615 0 1 0 547 48 0 0 18 0 2 0 956646069 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/1492/statm: 0 0 0 0 0 0 0
[pid=1492/tid=1502] ppid=1490 vsize=0 CPUtime=0.05 cores=0,2,4,6
/proc/1492/task/1502/stat : 1502 (java) R 1490 1492 30485 0 -1 4203588 1 0 0 0 0 5 0 0 18 0 2 0 956646071 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 0
Child status: 30
Real time (s): 4.70292
CPU time (s): 5.95809
CPU user time (s): 5.47517
CPU system time (s): 0.482926
CPU usage (%): 126.689
Max. virtual memory (cumulated for all children) (KiB): 10555264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.47517
system time used= 0.482926
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 348615
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= 331
involuntary context switches= 68
runsolver used 0.005999 second user time and 0.023996 second system time
The end