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-3457669-1307230262/watcher-3457669-1307230262 -o /tmp/evaluation-result-3457669-1307230262/solver-3457669-1307230262 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar CuttingPlanes HOME/instance-3457669-1307230262.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.06 2.05 2.00 2/455 17433
/proc/meminfo: memFree=20509656/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 4188 0 1 0 0 0 0 0 25 0 2 0 815441831 10694979584 3890 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2611079 3902 917 9 0 2602235 0
[pid=17433/tid=17434] ppid=17431 vsize=10444316 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 5449 0 1 0 0 0 0 0 25 0 2 0 815441831 10694979584 6265 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270338077755 0 4 0 16784584 0 0 0 -1 0 0 0 0
[startup+0.099382 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17433
/proc/meminfo: memFree=20509656/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10540040 CPUtime=0.1 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 13067 0 1 0 9 1 0 0 25 0 18 0 815441831 10793000960 12757 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2635010 12757 2092 9 0 2625744 0
[pid=17433/tid=17434] ppid=17431 vsize=10540040 CPUtime=0.08 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 11126 0 1 0 7 1 0 0 25 0 18 0 815441831 10793000960 12757 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540040
[startup+0.100353 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17433
/proc/meminfo: memFree=20509656/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10540040 CPUtime=0.1 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 13077 0 1 0 9 1 0 0 25 0 18 0 815441831 10793000960 12767 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2635010 12767 2092 9 0 2625744 0
[pid=17433/tid=17434] ppid=17431 vsize=10540040 CPUtime=0.08 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 11137 0 1 0 7 1 0 0 25 0 18 0 815441831 10793000960 12768 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 47439715658579 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540040
[startup+0.300353 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17433
/proc/meminfo: memFree=20509656/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10542224 CPUtime=0.5 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 16821 0 1 0 48 2 0 0 25 0 18 0 815441831 10795237376 15844 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2635556 15845 2201 9 0 2626290 0
[pid=17433/tid=17434] ppid=17431 vsize=10542224 CPUtime=0.28 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 13026 0 1 0 27 1 0 0 25 0 18 0 815441831 10795237376 15846 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 46912505604710 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10542224
[startup+0.700263 s]
/proc/loadavg: 2.06 2.05 2.00 2/455 17433
/proc/meminfo: memFree=20509656/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10552564 CPUtime=1.56 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 33181 0 1 0 151 5 0 0 25 0 19 0 815441831 10805825536 29554 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2638141 29556 2230 9 0 2628875 0
[pid=17433/tid=17434] ppid=17431 vsize=10552564 CPUtime=0.68 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 21832 0 1 0 65 3 0 0 19 0 19 0 815441831 10805825536 29556 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.56
Current children cumulated vsize (KiB) 10552564
[startup+1.50111 s]
/proc/loadavg: 2.06 2.05 2.00 4/474 17452
/proc/meminfo: memFree=20333620/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10552564 CPUtime=2.98 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 99966 0 1 0 284 14 0 0 25 0 19 0 815441831 10805825536 93769 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2638141 93770 2236 9 0 2628875 0
[pid=17433/tid=17434] ppid=17431 vsize=10552564 CPUtime=1.47 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 85892 0 1 0 136 11 0 0 18 0 19 0 815441831 10805825536 93771 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 46912505957634 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17433/tid=17436] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93773 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17437] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17437/stat : 17437 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93774 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17438] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17438/stat : 17438 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93777 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17439] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17439/stat : 17439 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93780 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17440] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17440/stat : 17440 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93781 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17441] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17441/stat : 17441 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93782 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17442] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17442/stat : 17442 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93783 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17443] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17443/stat : 17443 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 93785 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17444] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17444/stat : 17444 (java) S 17431 17433 15674 0 -1 4202560 5 0 0 0 0 0 0 0 18 0 19 0 815441834 10805825536 93789 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17445] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17445/stat : 17445 (java) S 17431 17433 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 93791 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17446] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17446/stat : 17446 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 93794 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17447] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17447/stat : 17447 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 93796 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17448] ppid=17431 vsize=10552564 CPUtime=0.7 cores=0,2,4,6
/proc/17433/task/17448/stat : 17448 (java) S 17431 17433 15674 0 -1 4202560 4877 0 0 0 70 0 0 0 15 0 19 0 815441837 10805825536 93800 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=17433/tid=17449] ppid=17431 vsize=10552564 CPUtime=0.77 cores=0,2,4,6
/proc/17433/task/17449/stat : 17449 (java) S 17431 17433 15674 0 -1 4202560 8038 0 0 0 76 1 0 0 15 0 19 0 815441837 10805825536 93804 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=17433/tid=17450] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17450/stat : 17450 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 93806 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17451] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17451/stat : 17451 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815441837 10805825536 93810 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17452] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17452/stat : 17452 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815441881 10805825536 93814 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 10552564
[startup+3.1008 s]
/proc/loadavg: 2.06 2.05 2.00 3/474 17452
/proc/meminfo: memFree=19905200/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10552564 CPUtime=4.67 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 252848 0 1 0 433 34 0 0 25 0 19 0 815441831 10805825536 246650 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2638141 246653 2238 9 0 2628875 0
[pid=17433/tid=17434] ppid=17431 vsize=10552564 CPUtime=3.08 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 238767 0 1 0 277 31 0 0 21 0 19 0 815441831 10805825536 246655 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 46912505942638 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17433/tid=17436] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246657 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17437] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17437/stat : 17437 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246660 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17438] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17438/stat : 17438 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246662 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17439] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17439/stat : 17439 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246664 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17440] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17440/stat : 17440 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246666 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17441] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17441/stat : 17441 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246669 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17442] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17442/stat : 17442 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246671 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17443] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17443/stat : 17443 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 246673 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17444] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17444/stat : 17444 (java) S 17431 17433 15674 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 815441834 10805825536 246675 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17445] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17445/stat : 17445 (java) S 17431 17433 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 246677 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17446] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17446/stat : 17446 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 246679 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17447] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17447/stat : 17447 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 246681 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17448] ppid=17431 vsize=10552564 CPUtime=0.76 cores=0,2,4,6
/proc/17433/task/17448/stat : 17448 (java) S 17431 17433 15674 0 -1 4202560 4883 0 0 0 76 0 0 0 15 0 19 0 815441837 10805825536 246684 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=17433/tid=17449] ppid=17431 vsize=10552564 CPUtime=0.79 cores=0,2,4,6
/proc/17433/task/17449/stat : 17449 (java) S 17431 17433 15674 0 -1 4202560 8041 0 0 0 78 1 0 0 15 0 19 0 815441837 10805825536 246686 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=17433/tid=17450] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17450/stat : 17450 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 246688 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17451] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17451/stat : 17451 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815441837 10805825536 246690 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17452] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17452/stat : 17452 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815441881 10805825536 246693 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.67
Current children cumulated vsize (KiB) 10552564
Solver just ended. Dumping a history of the last processes samples
[startup+3.90067 s]
/proc/loadavg: 2.06 2.05 2.00 3/474 17452
/proc/meminfo: memFree=19489552/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10552564 CPUtime=5.46 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 326432 0 1 0 505 41 0 0 25 0 19 0 815441831 10805825536 320234 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2638141 320237 2238 9 0 2628875 0
[pid=17433/tid=17434] ppid=17431 vsize=10552564 CPUtime=3.88 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 312351 0 1 0 349 39 0 0 23 0 19 0 815441831 10805825536 320239 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 46912505941368 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17433/tid=17436] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320241 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17437] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17437/stat : 17437 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320243 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17438] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17438/stat : 17438 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320245 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17439] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17439/stat : 17439 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320247 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17440] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17440/stat : 17440 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320250 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17441] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17441/stat : 17441 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320253 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17442] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17442/stat : 17442 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320254 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17443] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17443/stat : 17443 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 320256 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17444] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17444/stat : 17444 (java) S 17431 17433 15674 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 815441834 10805825536 320259 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17445] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17445/stat : 17445 (java) S 17431 17433 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 320261 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17446] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17446/stat : 17446 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 320263 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17447] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17447/stat : 17447 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 320265 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17448] ppid=17431 vsize=10552564 CPUtime=0.76 cores=0,2,4,6
/proc/17433/task/17448/stat : 17448 (java) S 17431 17433 15674 0 -1 4202560 4883 0 0 0 76 0 0 0 15 0 19 0 815441837 10805825536 320267 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=17433/tid=17449] ppid=17431 vsize=10552564 CPUtime=0.79 cores=0,2,4,6
/proc/17433/task/17449/stat : 17449 (java) S 17431 17433 15674 0 -1 4202560 8041 0 0 0 78 1 0 0 15 0 19 0 815441837 10805825536 320269 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=17433/tid=17450] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17450/stat : 17450 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 320272 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17451] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17451/stat : 17451 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815441837 10805825536 320274 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17452] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17452/stat : 17452 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815441881 10805825536 320275 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.46
Current children cumulated vsize (KiB) 10552564
[startup+4.3016 s]
/proc/loadavg: 2.06 2.05 2.00 3/474 17452
/proc/meminfo: memFree=19085152/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=10552564 CPUtime=5.87 cores=0,2,4,6
/proc/17433/stat : 17433 (java) S 17431 17433 15674 0 -1 4202496 364272 0 1 0 542 45 0 0 25 0 19 0 815441831 10805825536 358073 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350186469 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 2638141 358075 2238 9 0 2628875 0
[pid=17433/tid=17434] ppid=17431 vsize=10552564 CPUtime=4.3 cores=0,2,4,6
/proc/17433/task/17434/stat : 17434 (java) R 17431 17433 15674 0 -1 4202560 350577 0 1 0 387 43 0 0 18 0 19 0 815441831 10805825536 358464 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 46912505758783 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=17433/tid=17436] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17436/stat : 17436 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358468 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17437] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17437/stat : 17437 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358470 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17438] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17438/stat : 17438 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358472 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17439] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17439/stat : 17439 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358474 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17440] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17440/stat : 17440 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358475 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17441] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17441/stat : 17441 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358477 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17442] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17442/stat : 17442 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358479 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17443] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17443/stat : 17443 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441833 10805825536 358482 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17444] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17444/stat : 17444 (java) S 17431 17433 15674 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 815441834 10805825536 358484 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 0 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17445] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17445/stat : 17445 (java) S 17431 17433 15674 0 -1 4202560 16 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 358486 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17446] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17446/stat : 17446 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 815441835 10805825536 358488 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17447] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17447/stat : 17447 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 358490 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350207409 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17448] ppid=17431 vsize=10552564 CPUtime=0.76 cores=0,2,4,6
/proc/17433/task/17448/stat : 17448 (java) S 17431 17433 15674 0 -1 4202560 4883 0 0 0 76 0 0 0 15 0 19 0 815441837 10805825536 358493 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 0 0 0 0
[pid=17433/tid=17449] ppid=17431 vsize=10552564 CPUtime=0.79 cores=0,2,4,6
/proc/17433/task/17449/stat : 17449 (java) S 17431 17433 15674 0 -1 4202560 8041 0 0 0 78 1 0 0 15 0 19 0 815441837 10805825536 358496 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 2 0 0 0
[pid=17433/tid=17450] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17450/stat : 17450 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 815441837 10805825536 358499 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350199705 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17451] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17451/stat : 17451 (java) S 17431 17433 15674 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 815441837 10805825536 358502 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 6 0 0 0
[pid=17433/tid=17452] ppid=17431 vsize=10552564 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17452/stat : 17452 (java) S 17431 17433 15674 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 815441881 10805825536 358504 33554432000 1073741824 1073778376 140733404237488 18446744073709551615 270350200320 0 4 0 16800975 18446604453894817088 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.87
Current children cumulated vsize (KiB) 10552564
[startup+4.41659 s]
/proc/loadavg: 2.06 2.05 2.00 3/474 17452
/proc/meminfo: memFree=19085152/32951124 swapFree=50923800/67111528
[pid=17433] ppid=17431 vsize=0 CPUtime=6 cores=0,2,4,6
/proc/17433/stat : 17433 (java) Z 17431 17433 15674 0 -1 4203548 372442 0 1 0 553 47 0 0 18 0 2 0 815441831 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/17433/statm: 0 0 0 0 0 0 0
[pid=17433/tid=17443] ppid=17431 vsize=0 CPUtime=0 cores=0,2,4,6
/proc/17433/task/17443/stat : 17443 (java) R 17431 17433 15674 0 -1 4203588 1 0 0 0 0 0 0 0 18 0 2 0 815441833 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) 6
Current children cumulated vsize (KiB) 0
Child status: 20
Real time (s): 4.47002
CPU time (s): 6.06008
CPU user time (s): 5.53616
CPU system time (s): 0.52392
CPU usage (%): 135.571
Max. virtual memory (cumulated for all children) (KiB): 10552564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.53616
system time used= 0.52392
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 372442
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= 335
involuntary context switches= 39
runsolver used 0.025996 second user time and 0.054991 second system time
The end