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-3457351-1307220463/watcher-3457351-1307220463 -o /tmp/evaluation-result-3457351-1307220463/solver-3457351-1307220463 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457351-1307220463.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.20 2.08 2.00 2/495 5837
/proc/meminfo: memFree=16954600/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10430980 CPUtime=0 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 3009 0 1 0 0 0 0 0 25 0 2 0 814461675 10681323520 2710 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2607745 2723 906 9 0 2598901 0
[pid=5837/tid=5838] ppid=5835 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) R 5835 5837 5272 0 -1 4202560 6481 0 1 0 0 0 0 0 25 0 2 0 814461675 10694979584 7297 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254261310523 0 4 0 16784584 0 0 0 -1 1 0 0 0
[startup+0.069687 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5837
/proc/meminfo: memFree=16954600/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10538428 CPUtime=0.05 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 11872 0 1 0 4 1 0 0 25 0 18 0 814461675 10791350272 11568 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2634607 11568 1754 9 0 2625341 0
[pid=5837/tid=5838] ppid=5835 vsize=10538428 CPUtime=0.05 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) R 5835 5837 5272 0 -1 4202560 10698 0 1 0 4 1 0 0 19 0 18 0 814461675 10791350272 11568 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10538428
[startup+0.100681 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5837
/proc/meminfo: memFree=16954600/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10540476 CPUtime=0.11 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 13154 0 1 0 9 2 0 0 25 0 18 0 814461675 10793447424 12809 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2635119 12810 2092 9 0 2625853 0
[pid=5837/tid=5838] ppid=5835 vsize=10540476 CPUtime=0.08 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) R 5835 5837 5272 0 -1 4202560 11177 0 1 0 7 1 0 0 18 0 18 0 814461675 10793447424 12810 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 47996409061381 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10540476
[startup+0.300612 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5837
/proc/meminfo: memFree=16954600/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10542524 CPUtime=0.5 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 16029 0 1 0 48 2 0 0 25 0 18 0 814461675 10795544576 15620 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2635631 15621 2201 9 0 2626365 0
[pid=5837/tid=5838] ppid=5835 vsize=10542524 CPUtime=0.29 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) R 5835 5837 5272 0 -1 4202560 13363 0 1 0 27 2 0 0 18 0 18 0 814461675 10795544576 15622 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542524
[startup+0.700578 s]
/proc/loadavg: 2.20 2.08 2.00 2/495 5837
/proc/meminfo: memFree=16954600/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10545600 CPUtime=1.37 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 31067 0 1 0 133 4 0 0 25 0 19 0 814461675 10798694400 28571 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2636400 28575 2230 9 0 2627134 0
[pid=5837/tid=5838] ppid=5835 vsize=10545600 CPUtime=0.68 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) R 5835 5837 5272 0 -1 4202560 24381 0 1 0 65 3 0 0 19 0 19 0 814461675 10798694400 28576 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 46912505714453 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.37
Current children cumulated vsize (KiB) 10545600
[startup+1.50143 s]
/proc/loadavg: 2.20 2.08 2.00 3/514 5856
/proc/meminfo: memFree=16773976/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10545600 CPUtime=2.18 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 79869 0 1 0 209 9 0 0 25 0 19 0 814461675 10798694400 77372 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2636400 77372 2232 9 0 2627134 0
[pid=5837/tid=5838] ppid=5835 vsize=10545600 CPUtime=1.48 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) R 5835 5837 5272 0 -1 4202560 73175 0 1 0 140 8 0 0 21 0 19 0 814461675 10798694400 77372 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 46912505224576 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5837/tid=5840] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5840/stat : 5840 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77376 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5841] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5841/stat : 5841 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77379 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5842] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5842/stat : 5842 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77381 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5843] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5843/stat : 5843 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77384 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5844] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5844/stat : 5844 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77386 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5845] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5845/stat : 5845 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77388 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5846] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5846/stat : 5846 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77390 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5847] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5847/stat : 5847 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10798694400 77392 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5848] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5848/stat : 5848 (java) S 5835 5837 5272 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 814461678 10798694400 77394 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 0 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5849] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5849/stat : 5849 (java) S 5835 5837 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814461678 10798694400 77396 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5850] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5850/stat : 5850 (java) S 5835 5837 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814461678 10798694400 77397 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5851] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5851/stat : 5851 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461681 10798694400 77399 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273440177 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5852] ppid=5835 vsize=10545600 CPUtime=0.36 cores=1,3,5,7
/proc/5837/task/5852/stat : 5852 (java) S 5835 5837 5272 0 -1 4202560 1489 0 0 0 36 0 0 0 17 0 19 0 814461681 10798694400 77400 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 7 0 0 0
[pid=5837/tid=5853] ppid=5835 vsize=10545600 CPUtime=0.32 cores=1,3,5,7
/proc/5837/task/5853/stat : 5853 (java) S 5835 5837 5272 0 -1 4202560 4044 0 0 0 32 0 0 0 15 0 19 0 814461681 10798694400 77402 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5854] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5854/stat : 5854 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461681 10798694400 77403 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 7 0 0 0
[pid=5837/tid=5855] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5855/stat : 5855 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814461681 10798694400 77405 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 4 0 16800975 18446604463423142592 0 0 -1 7 0 0 0
[pid=5837/tid=5856] ppid=5835 vsize=10545600 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5856/stat : 5856 (java) S 5835 5837 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814461708 10798694400 77406 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.18
Current children cumulated vsize (KiB) 10545600
[startup+3.10116 s]
/proc/loadavg: 2.20 2.08 2.00 3/514 5856
/proc/meminfo: memFree=16504860/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10546624 CPUtime=3.97 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 162549 0 1 0 378 19 0 0 25 0 19 0 814461675 10799742976 160050 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2636656 160053 2235 9 0 2627390 0
[pid=5837/tid=5838] ppid=5835 vsize=10546624 CPUtime=3.08 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) R 5835 5837 5272 0 -1 4202560 155510 0 1 0 290 18 0 0 25 0 19 0 814461675 10799742976 160054 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 46912505714735 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5837/tid=5840] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5840/stat : 5840 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160056 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5841] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5841/stat : 5841 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160057 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5842] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5842/stat : 5842 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160059 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5843] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5843/stat : 5843 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160060 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5844] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5844/stat : 5844 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160060 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5845] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5845/stat : 5845 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160061 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5846] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5846/stat : 5846 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160062 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5847] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5847/stat : 5847 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461677 10799742976 160063 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5848] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5848/stat : 5848 (java) S 5835 5837 5272 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 814461678 10799742976 160064 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 0 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5849] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5849/stat : 5849 (java) S 5835 5837 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 814461678 10799742976 160065 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5850] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5850/stat : 5850 (java) S 5835 5837 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 814461678 10799742976 160066 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5851] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5851/stat : 5851 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461681 10799742976 160067 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273440177 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5852] ppid=5835 vsize=10546624 CPUtime=0.46 cores=1,3,5,7
/proc/5837/task/5852/stat : 5852 (java) S 5835 5837 5272 0 -1 4202560 1810 0 0 0 46 0 0 0 15 0 19 0 814461681 10799742976 160068 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 7 0 0 0
[pid=5837/tid=5853] ppid=5835 vsize=10546624 CPUtime=0.41 cores=1,3,5,7
/proc/5837/task/5853/stat : 5853 (java) S 5835 5837 5272 0 -1 4202560 4071 0 0 0 41 0 0 0 15 0 19 0 814461681 10799742976 160069 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5854] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5854/stat : 5854 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 814461681 10799742976 160070 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 7 0 0 0
[pid=5837/tid=5855] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5855/stat : 5855 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 814461681 10799742976 160071 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 4 0 16800975 18446604463423142592 0 0 -1 5 0 0 0
[pid=5837/tid=5856] ppid=5835 vsize=10546624 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5856/stat : 5856 (java) S 5835 5837 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 814461708 10799742976 160071 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 10546624
Solver just ended. Dumping a history of the last processes samples
[startup+3.5011 s]
/proc/loadavg: 2.20 2.08 2.00 3/514 5856
/proc/meminfo: memFree=16299764/32951124 swapFree=67057928/67111528
[pid=5837] ppid=5835 vsize=10547652 CPUtime=4.39 cores=1,3,5,7
/proc/5837/stat : 5837 (java) S 5835 5837 5272 0 -1 4202496 180866 0 1 0 417 22 0 0 25 0 17 0 814461675 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273419237 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5837/statm: 2636913 178366 2237 9 0 2627647 0
[pid=5837/tid=5838] ppid=5835 vsize=10547652 CPUtime=3.47 cores=1,3,5,7
/proc/5837/task/5838/stat : 5838 (java) S 5835 5837 5272 0 -1 4202560 173775 0 1 0 326 21 0 0 25 0 17 0 814461675 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5840] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5840/stat : 5840 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5841] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5841/stat : 5841 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5842] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5842/stat : 5842 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5843] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5843/stat : 5843 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5844] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5844/stat : 5844 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5845] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5845/stat : 5845 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5846] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5846/stat : 5846 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5847] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5847/stat : 5847 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461677 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5848] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5848/stat : 5848 (java) S 5835 5837 5272 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 17 0 814461678 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 0 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5849] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5849/stat : 5849 (java) S 5835 5837 5272 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 17 0 814461678 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5850] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5850/stat : 5850 (java) S 5835 5837 5272 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 17 0 814461678 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 1 0 0 0
[pid=5837/tid=5852] ppid=5835 vsize=10547652 CPUtime=0.47 cores=1,3,5,7
/proc/5837/task/5852/stat : 5852 (java) S 5835 5837 5272 0 -1 4202560 1810 0 0 0 47 0 0 0 15 0 17 0 814461681 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 7 0 0 0
[pid=5837/tid=5853] ppid=5835 vsize=10547652 CPUtime=0.42 cores=1,3,5,7
/proc/5837/task/5853/stat : 5853 (java) S 5835 5837 5272 0 -1 4202560 4071 0 0 0 42 0 0 0 15 0 17 0 814461681 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
[pid=5837/tid=5854] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5854/stat : 5854 (java) S 5835 5837 5272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 814461681 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273432473 0 4 0 16800975 18446604463423142592 0 0 -1 7 0 0 0
[pid=5837/tid=5856] ppid=5835 vsize=10547652 CPUtime=0 cores=1,3,5,7
/proc/5837/task/5856/stat : 5856 (java) S 5835 5837 5272 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 17 0 814461708 10800795648 178366 33554432000 1073741824 1073778376 140736312211904 18446744073709551615 254273433088 0 4 0 16800975 18446604463423142592 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 10547652
Child status: 30
Real time (s): 3.53491
CPU time (s): 4.42233
CPU user time (s): 4.17037
CPU system time (s): 0.251961
CPU usage (%): 125.104
Max. virtual memory (cumulated for all children) (KiB): 10547652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.17037
system time used= 0.251961
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 180866
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= 298
involuntary context switches= 40
runsolver used 0.024996 second user time and 0.048992 second system time
The end