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-3457345-1307220340/watcher-3457345-1307220340 -o /tmp/evaluation-result-3457345-1307220340/solver-3457345-1307220340 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457345-1307220340.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: 2.00 2.01 1.97 1/413 13595
/proc/meminfo: memFree=25981868/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=36924 CPUtime=0 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 1370 0 1 0 0 0 0 0 25 0 2 0 289643367 37810176 1072 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 9231 1072 832 9 0 387 0
[pid=13595/tid=13596] ppid=13593 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 2979 0 1 0 0 0 0 0 25 0 2 0 289643367 10694979584 3795 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218880259131 0 4 0 16784584 0 0 0 -1 4 0 0 0
[startup+0.121514 s]
/proc/loadavg: 2.00 2.01 1.97 1/413 13595
/proc/meminfo: memFree=25981868/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10540032 CPUtime=0.12 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 13285 0 1 0 11 1 0 0 25 0 18 0 289643367 10792992768 12951 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2635008 12951 2133 9 0 2625742 0
[pid=13595/tid=13596] ppid=13593 vsize=10540032 CPUtime=0.1 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 11350 0 1 0 9 1 0 0 18 0 18 0 289643367 10792992768 12952 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 47329204541034 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 10540032
[startup+0.223496 s]
/proc/loadavg: 2.00 2.01 1.97 1/413 13595
/proc/meminfo: memFree=25981868/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10541156 CPUtime=0.3 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 14330 0 1 0 29 1 0 0 25 0 18 0 289643367 10794143744 13961 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2635289 13962 2186 9 0 2626023 0
[pid=13595/tid=13596] ppid=13593 vsize=10541156 CPUtime=0.19 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 12008 0 1 0 18 1 0 0 18 0 18 0 289643367 10794143744 13962 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 46912505557865 0 4 0 16800975 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 10541156
[startup+0.337514 s]
/proc/loadavg: 2.00 2.01 1.97 1/413 13595
/proc/meminfo: memFree=25981868/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10542572 CPUtime=0.54 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 16657 0 1 0 52 2 0 0 25 0 18 0 289643367 10795593728 16189 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2635643 16190 2204 9 0 2626377 0
[pid=13595/tid=13596] ppid=13593 vsize=10542572 CPUtime=0.3 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 13816 0 1 0 29 1 0 0 18 0 18 0 289643367 10795593728 16191 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 46912505613695 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10542572
[startup+0.700436 s]
/proc/loadavg: 2.00 2.01 1.97 1/413 13595
/proc/meminfo: memFree=25981868/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10545816 CPUtime=1.32 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 26691 0 1 0 129 3 0 0 25 0 19 0 289643367 10798915584 24840 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2636454 24842 2229 9 0 2627188 0
[pid=13595/tid=13596] ppid=13593 vsize=10545816 CPUtime=0.66 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 21335 0 1 0 64 2 0 0 18 0 19 0 289643367 10798915584 24842 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 46912505744547 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.32
Current children cumulated vsize (KiB) 10545816
[startup+1.50129 s]
/proc/loadavg: 2.08 2.02 1.97 3/430 13636
/proc/meminfo: memFree=25828288/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10545816 CPUtime=2.19 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 66307 0 1 0 212 7 0 0 25 0 19 0 289643367 10798915584 64455 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2636454 64455 2232 9 0 2627188 0
[pid=13595/tid=13596] ppid=13593 vsize=10545816 CPUtime=1.46 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 60932 0 1 0 140 6 0 0 19 0 19 0 289643367 10798915584 64455 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 46912505748160 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13595/tid=13598] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13598/stat : 13598 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64455 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13599] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13599/stat : 13599 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64455 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13600] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13600/stat : 13600 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64455 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13601] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13601/stat : 13601 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64455 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13602] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13602/stat : 13602 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64455 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13603] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13603/stat : 13603 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64458 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13604] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13604/stat : 13604 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64460 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13605] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13605/stat : 13605 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 64462 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13606] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13606/stat : 13606 (java) S 13593 13595 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289643370 10798915584 64464 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 0 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13607] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13607/stat : 13607 (java) S 13593 13595 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643371 10798915584 64466 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13608] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13608/stat : 13608 (java) S 13593 13595 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289643371 10798915584 64467 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13609] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13609/stat : 13609 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 64469 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892388785 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13610] ppid=13593 vsize=10545816 CPUtime=0.38 cores=0,2,4,6
/proc/13595/task/13610/stat : 13610 (java) S 13593 13595 12126 0 -1 4202560 1780 0 0 0 38 0 0 0 16 0 19 0 289643373 10798915584 64470 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13611] ppid=13593 vsize=10545816 CPUtime=0.34 cores=0,2,4,6
/proc/13595/task/13611/stat : 13611 (java) S 13593 13595 12126 0 -1 4202560 2434 0 0 0 34 0 0 0 15 0 19 0 289643373 10798915584 64472 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13612] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13612/stat : 13612 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 64473 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13613] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13613/stat : 13613 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643373 10798915584 64474 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13614] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13614/stat : 13614 (java) S 13593 13595 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643403 10798915584 64474 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.19
Current children cumulated vsize (KiB) 10545816
Solver just ended. Dumping a history of the last processes samples
[startup+1.60128 s]
/proc/loadavg: 2.08 2.02 1.97 3/430 13636
/proc/meminfo: memFree=25828288/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10545816 CPUtime=2.32 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 70867 0 1 0 224 8 0 0 25 0 19 0 289643367 10798915584 69015 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2636454 69019 2235 9 0 2627188 0
[pid=13595/tid=13596] ppid=13593 vsize=10545816 CPUtime=1.56 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 65485 0 1 0 149 7 0 0 19 0 19 0 289643367 10798915584 69020 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 46912505688583 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13595/tid=13598] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13598/stat : 13598 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69020 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13599] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13599/stat : 13599 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69020 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13600] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13600/stat : 13600 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69025 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13601] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13601/stat : 13601 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69028 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13602] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13602/stat : 13602 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69029 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13603] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13603/stat : 13603 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69029 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13604] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13604/stat : 13604 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69033 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13605] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13605/stat : 13605 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643369 10798915584 69035 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13606] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13606/stat : 13606 (java) S 13593 13595 12126 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 289643370 10798915584 69037 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 0 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13607] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13607/stat : 13607 (java) S 13593 13595 12126 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 289643371 10798915584 69038 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13608] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13608/stat : 13608 (java) S 13593 13595 12126 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 289643371 10798915584 69040 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13609] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13609/stat : 13609 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 69041 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892388785 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13610] ppid=13593 vsize=10545816 CPUtime=0.38 cores=0,2,4,6
/proc/13595/task/13610/stat : 13610 (java) S 13593 13595 12126 0 -1 4202560 1780 0 0 0 38 0 0 0 16 0 19 0 289643373 10798915584 69043 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13611] ppid=13593 vsize=10545816 CPUtime=0.36 cores=0,2,4,6
/proc/13595/task/13611/stat : 13611 (java) S 13593 13595 12126 0 -1 4202560 2446 0 0 0 36 0 0 0 15 0 19 0 289643373 10798915584 69043 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13612] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13612/stat : 13612 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 69043 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13613] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13613/stat : 13613 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643373 10798915584 69043 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13614] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13614/stat : 13614 (java) S 13593 13595 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643403 10798915584 69043 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10545816
[startup+2.0012 s]
/proc/loadavg: 2.08 2.02 1.97 3/430 13636
/proc/meminfo: memFree=25828288/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10545816 CPUtime=2.79 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 83769 0 1 0 269 10 0 0 25 0 19 0 289643367 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2636454 81913 2262 9 0 2627188 0
[pid=13595/tid=13596] ppid=13593 vsize=10545816 CPUtime=1.94 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 77021 0 1 0 185 9 0 0 20 0 19 0 289643367 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 46912505718802 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13595/tid=13598] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13598/stat : 13598 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13599] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13599/stat : 13599 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13600] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13600/stat : 13600 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13601] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13601/stat : 13601 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13602] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13602/stat : 13602 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13603] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13603/stat : 13603 (java) S 13593 13595 12126 0 -1 4202560 99 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13604] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13604/stat : 13604 (java) S 13593 13595 12126 0 -1 4202560 300 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13605] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13605/stat : 13605 (java) S 13593 13595 12126 0 -1 4202560 275 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13606] ppid=13593 vsize=10545816 CPUtime=0.01 cores=0,2,4,6
/proc/13595/task/13606/stat : 13606 (java) S 13593 13595 12126 0 -1 4202560 677 0 0 0 1 0 0 0 17 0 19 0 289643370 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 0 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13607] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13607/stat : 13607 (java) S 13593 13595 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289643371 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13608] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13608/stat : 13608 (java) S 13593 13595 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289643371 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13609] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13609/stat : 13609 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892388785 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13610] ppid=13593 vsize=10545816 CPUtime=0.43 cores=0,2,4,6
/proc/13595/task/13610/stat : 13610 (java) S 13593 13595 12126 0 -1 4202560 1788 0 0 0 43 0 0 0 16 0 19 0 289643373 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13611] ppid=13593 vsize=10545816 CPUtime=0.37 cores=0,2,4,6
/proc/13595/task/13611/stat : 13611 (java) S 13593 13595 12126 0 -1 4202560 2453 0 0 0 37 0 0 0 15 0 19 0 289643373 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13612] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13612/stat : 13612 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13613] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13613/stat : 13613 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643373 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13614] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13614/stat : 13614 (java) S 13593 13595 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643403 10798915584 81913 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 10545816
[startup+2.40115 s]
/proc/loadavg: 2.08 2.02 1.97 4/432 13709
/proc/meminfo: memFree=25680636/32950928 swapFree=52006644/67111528
[pid=13595] ppid=13593 vsize=10545816 CPUtime=3.27 cores=0,2,4,6
/proc/13595/stat : 13595 (java) S 13593 13595 12126 0 -1 4202496 83853 0 1 0 317 10 0 0 25 0 19 0 289643367 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892367845 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/13595/statm: 2636454 81942 2262 9 0 2627188 0
[pid=13595/tid=13596] ppid=13593 vsize=10545816 CPUtime=2.34 cores=0,2,4,6
/proc/13595/task/13596/stat : 13596 (java) R 13593 13595 12126 0 -1 4202560 77031 0 1 0 225 9 0 0 21 0 19 0 289643367 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 46912505731635 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=13595/tid=13598] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13598/stat : 13598 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13599] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13599/stat : 13599 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13600] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13600/stat : 13600 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13601] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13601/stat : 13601 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 17 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13602] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13602/stat : 13602 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13603] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13603/stat : 13603 (java) S 13593 13595 12126 0 -1 4202560 99 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13604] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13604/stat : 13604 (java) S 13593 13595 12126 0 -1 4202560 300 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13605] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13605/stat : 13605 (java) S 13593 13595 12126 0 -1 4202560 275 0 0 0 0 0 0 0 18 0 19 0 289643369 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 0 0 0 0
[pid=13595/tid=13606] ppid=13593 vsize=10545816 CPUtime=0.01 cores=0,2,4,6
/proc/13595/task/13606/stat : 13606 (java) S 13593 13595 12126 0 -1 4202560 677 0 0 0 1 0 0 0 17 0 19 0 289643370 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 0 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13607] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13607/stat : 13607 (java) S 13593 13595 12126 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 289643371 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13608] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13608/stat : 13608 (java) S 13593 13595 12126 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 289643371 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13609] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13609/stat : 13609 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892388785 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13610] ppid=13593 vsize=10545816 CPUtime=0.48 cores=0,2,4,6
/proc/13595/task/13610/stat : 13610 (java) S 13593 13595 12126 0 -1 4202560 1794 0 0 0 48 0 0 0 15 0 19 0 289643373 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13611] ppid=13593 vsize=10545816 CPUtime=0.41 cores=0,2,4,6
/proc/13595/task/13611/stat : 13611 (java) S 13593 13595 12126 0 -1 4202560 2521 0 0 0 41 0 0 0 15 0 19 0 289643373 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13612] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13612/stat : 13612 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 289643373 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381081 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
[pid=13595/tid=13613] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13613/stat : 13613 (java) S 13593 13595 12126 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 289643373 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 2 0 0 0
[pid=13595/tid=13614] ppid=13593 vsize=10545816 CPUtime=0 cores=0,2,4,6
/proc/13595/task/13614/stat : 13614 (java) S 13593 13595 12126 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 289643403 10798915584 81942 33554432000 1073741824 1073778376 140734727041616 18446744073709551615 218892381696 0 4 0 16800975 18446604446710436992 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.27
Current children cumulated vsize (KiB) 10545816
Child status: 30
Real time (s): 2.49845
CPU time (s): 3.38449
CPU user time (s): 3.2615
CPU system time (s): 0.122981
CPU usage (%): 135.464
Max. virtual memory (cumulated for all children) (KiB): 10545844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.2615
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 83869
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= 345
involuntary context switches= 77
runsolver used 0.010998 second user time and 0.037994 second system time
The end