runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3491660-1307766686/watcher-3491660-1307766686 -o /tmp/evaluation-result-3491660-1307766686/solver-3491660-1307766686 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491660-1307766686.opb --solu --heu=VSIDS
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: 1.99 1.88 1.69 2/177 24652
/proc/meminfo: memFree=31480952/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=2884 CPUtime=0 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 449 0 0 0 0 0 0 0 23 0 1 0 888266386 2953216 388 33554432000 4194304 6245536 140733629626272 18446744073709551615 4323520 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 721 388 219 501 0 217 0
[startup+0.059569 s]
/proc/loadavg: 1.99 1.88 1.69 2/177 24652
/proc/meminfo: memFree=31480952/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=3144 CPUtime=0.05 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 511 0 0 0 5 0 0 0 23 0 1 0 888266386 3219456 450 33554432000 4194304 6245536 140733629626272 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 786 450 226 501 0 282 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 3144
[startup+0.100549 s]
/proc/loadavg: 1.99 1.88 1.69 2/177 24652
/proc/meminfo: memFree=31480952/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=3144 CPUtime=0.1 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 535 0 0 0 10 0 0 0 23 0 1 0 888266386 3219456 474 33554432000 4194304 6245536 140733629626272 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 786 474 227 501 0 282 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3144
[startup+0.300513 s]
/proc/loadavg: 1.99 1.88 1.69 2/177 24652
/proc/meminfo: memFree=31480952/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=3540 CPUtime=0.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 605 0 0 0 30 0 0 0 25 0 1 0 888266386 3624960 544 33554432000 4194304 6245536 140733629626272 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 885 544 227 501 0 381 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 3540
[startup+0.700441 s]
/proc/loadavg: 1.99 1.88 1.69 2/177 24652
/proc/meminfo: memFree=31480952/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=3804 CPUtime=0.7 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 691 0 0 0 70 0 0 0 25 0 1 0 888266386 3895296 630 33554432000 4194304 6245536 140733629626272 18446744073709551615 4635525 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 951 630 227 501 0 447 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 3804
[startup+1.5003 s]
/proc/loadavg: 1.99 1.88 1.69 3/178 24653
/proc/meminfo: memFree=31479364/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=4592 CPUtime=1.5 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 890 0 0 0 150 0 0 0 25 0 1 0 888266386 4702208 829 33554432000 4194304 6245536 140733629626272 18446744073709551615 4701638 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 1148 829 227 501 0 644 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 4592
[startup+3.101 s]
/proc/loadavg: 1.99 1.88 1.69 3/178 24653
/proc/meminfo: memFree=31478008/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=5252 CPUtime=3.1 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 1057 0 0 0 310 0 0 0 25 0 1 0 888266386 5378048 996 33554432000 4194304 6245536 140733629626272 18446744073709551615 4344624 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 1313 996 231 501 0 809 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 5252
[startup+6.30042 s]
/proc/loadavg: 1.99 1.88 1.69 3/178 24653
/proc/meminfo: memFree=31476680/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=6056 CPUtime=6.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 1266 0 0 0 630 0 0 0 25 0 1 0 888266386 6201344 1205 33554432000 4194304 6245536 140733629626272 18446744073709551615 4344916 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 1514 1205 231 501 0 1010 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 6056
[startup+12.7003 s]
/proc/loadavg: 1.99 1.88 1.69 3/178 24653
/proc/meminfo: memFree=31475148/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=7232 CPUtime=12.7 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 1550 0 0 0 1270 0 0 0 25 0 1 0 888266386 7405568 1489 33554432000 4194304 6245536 140733629626272 18446744073709551615 4635700 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 1808 1489 231 501 0 1304 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 7232
[startup+25.5009 s]
/proc/loadavg: 1.99 1.89 1.70 3/178 24768
/proc/meminfo: memFree=31479300/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=9456 CPUtime=25.5 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 2090 0 0 0 2550 0 0 0 25 0 1 0 888266386 9682944 2029 33554432000 4194304 6245536 140733629626272 18446744073709551615 4635128 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 2364 2029 231 501 0 1860 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 9456
[startup+51.1002 s]
/proc/loadavg: 1.99 1.89 1.70 3/178 24768
/proc/meminfo: memFree=31475084/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=12556 CPUtime=51.09 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 2869 0 0 0 5109 0 0 0 25 0 1 0 888266386 12857344 2808 33554432000 4194304 6245536 140733629626272 18446744073709551615 4700645 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 3139 2808 231 501 0 2635 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 12556
[startup+102.306 s]
/proc/loadavg: 1.99 1.91 1.72 3/178 24884
/proc/meminfo: memFree=31470892/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=15676 CPUtime=102.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 3644 0 0 0 10230 0 0 0 25 0 1 0 888266386 16052224 3583 33554432000 4194304 6245536 140733629626272 18446744073709551615 4608303 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 3919 3583 231 501 0 3415 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 15676
[startup+162.301 s]
/proc/loadavg: 1.94 1.91 1.73 3/178 25151
/proc/meminfo: memFree=31468552/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=18288 CPUtime=162.29 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 4286 0 0 0 16229 0 0 0 25 0 1 0 888266386 18726912 4225 33554432000 4194304 6245536 140733629626272 18446744073709551615 4701658 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 4572 4225 231 501 0 4068 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 18288
[startup+222.301 s]
/proc/loadavg: 1.98 1.92 1.74 3/178 25229
/proc/meminfo: memFree=31464364/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=18984 CPUtime=222.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 4432 0 0 0 22230 0 0 0 25 0 1 0 888266386 19439616 4371 33554432000 4194304 6245536 140733629626272 18446744073709551615 4638448 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 4746 4371 231 501 0 4242 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 18984
[startup+282.301 s]
/proc/loadavg: 1.99 1.93 1.75 3/178 25230
/proc/meminfo: memFree=31460704/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=19696 CPUtime=282.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 4626 0 0 0 28230 0 0 0 25 0 1 0 888266386 20168704 4565 33554432000 4194304 6245536 140733629626272 18446744073709551615 4702063 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 4924 4565 231 501 0 4420 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 19696
[startup+342.301 s]
/proc/loadavg: 1.99 1.94 1.76 3/178 25232
/proc/meminfo: memFree=31458444/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=20132 CPUtime=342.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 4705 0 0 0 34230 0 0 0 25 0 1 0 888266386 20615168 4644 33554432000 4194304 6245536 140733629626272 18446744073709551615 4316409 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 5033 4644 231 501 0 4529 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 20132
[startup+402.3 s]
/proc/loadavg: 1.99 1.95 1.78 3/178 25234
/proc/meminfo: memFree=31457544/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=20416 CPUtime=402.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 4778 0 0 0 40230 0 0 0 25 0 1 0 888266386 20905984 4717 33554432000 4194304 6245536 140733629626272 18446744073709551615 4344648 0 0 4096 18946 0 0 0 17 3 0 0 0
/proc/24652/statm: 5104 4717 231 501 0 4600 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 20416
[startup+462.3 s]
/proc/loadavg: 1.99 1.95 1.79 3/178 25235
/proc/meminfo: memFree=31456524/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=21244 CPUtime=462.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 4969 0 0 0 46230 0 0 0 25 0 1 0 888266386 21753856 4908 33554432000 4194304 6245536 140733629626272 18446744073709551615 4362846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5311 4908 231 501 0 4807 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 21244
[startup+522.3 s]
/proc/loadavg: 1.99 1.96 1.80 3/178 25237
/proc/meminfo: memFree=31455628/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=21932 CPUtime=522.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5139 0 0 0 52230 0 0 0 25 0 1 0 888266386 22458368 5078 33554432000 4194304 6245536 140733629626272 18446744073709551615 4629016 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5483 5078 231 501 0 4979 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 21932
[startup+582.3 s]
/proc/loadavg: 1.99 1.97 1.81 3/178 25314
/proc/meminfo: memFree=31460900/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=22492 CPUtime=582.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5276 0 0 0 58230 0 0 0 25 0 1 0 888266386 23031808 5215 33554432000 4194304 6245536 140733629626272 18446744073709551615 4701014 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5623 5215 231 501 0 5119 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 22492
[startup+642.3 s]
/proc/loadavg: 2.04 1.98 1.82 3/178 25582
/proc/meminfo: memFree=31463140/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23184 CPUtime=642.31 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5434 0 0 0 64231 0 0 0 25 0 1 0 888266386 23740416 5373 33554432000 4194304 6245536 140733629626272 18446744073709551615 4696433 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5796 5373 231 501 0 5292 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 23184
Solver just ended. Dumping a history of the last processes samples
[startup+665.506 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25583
/proc/meminfo: memFree=31460160/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23184 CPUtime=665.51 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5450 0 0 0 66551 0 0 0 25 0 1 0 888266386 23740416 5389 33554432000 4194304 6245536 140733629626272 18446744073709551615 4700461 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5796 5389 231 501 0 5292 0
Current children cumulated CPU time (s) 665.51
Current children cumulated vsize (KiB) 23184
[startup+671.901 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25583
/proc/meminfo: memFree=31459416/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23328 CPUtime=671.9 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5471 0 0 0 67190 0 0 0 25 0 1 0 888266386 23887872 5410 33554432000 4194304 6245536 140733629626272 18446744073709551615 4702028 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5832 5410 231 501 0 5328 0
Current children cumulated CPU time (s) 671.9
Current children cumulated vsize (KiB) 23328
[startup+675.1 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25583
/proc/meminfo: memFree=31459480/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23328 CPUtime=675.1 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5471 0 0 0 67510 0 0 0 25 0 1 0 888266386 23887872 5410 33554432000 4194304 6245536 140733629626272 18446744073709551615 4628325 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5832 5410 231 501 0 5328 0
Current children cumulated CPU time (s) 675.1
Current children cumulated vsize (KiB) 23328
[startup+678.301 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25659
/proc/meminfo: memFree=31464464/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23328 CPUtime=678.3 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5471 0 0 0 67830 0 0 0 25 0 1 0 888266386 23887872 5410 33554432000 4194304 6245536 140733629626272 18446744073709551615 4304794 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5832 5410 231 501 0 5328 0
Current children cumulated CPU time (s) 678.3
Current children cumulated vsize (KiB) 23328
[startup+679.9 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25697
/proc/meminfo: memFree=31465320/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23328 CPUtime=679.9 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5471 0 0 0 67990 0 0 0 25 0 1 0 888266386 23887872 5410 33554432000 4194304 6245536 140733629626272 18446744073709551615 4702028 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5832 5410 231 501 0 5328 0
Current children cumulated CPU time (s) 679.9
Current children cumulated vsize (KiB) 23328
[startup+680.7 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25697
/proc/meminfo: memFree=31465320/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23328 CPUtime=680.7 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5471 0 0 0 68070 0 0 0 25 0 1 0 888266386 23887872 5410 33554432000 4194304 6245536 140733629626272 18446744073709551615 4344933 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5832 5410 231 501 0 5328 0
Current children cumulated CPU time (s) 680.7
Current children cumulated vsize (KiB) 23328
[startup+681.1 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25697
/proc/meminfo: memFree=31464700/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23328 CPUtime=681.1 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5471 0 0 0 68110 0 0 0 25 0 1 0 888266386 23887872 5410 33554432000 4194304 6245536 140733629626272 18446744073709551615 4628868 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5832 5410 231 501 0 5328 0
Current children cumulated CPU time (s) 681.1
Current children cumulated vsize (KiB) 23328
[startup+681.2 s]
/proc/loadavg: 2.02 1.98 1.83 3/178 25697
/proc/meminfo: memFree=31464700/32951124 swapFree=67076880/67111528
[pid=24652] ppid=24650 vsize=23328 CPUtime=681.2 cores=1,3,5,7
/proc/24652/stat : 24652 (clasp) R 24650 24652 17771 0 -1 4202496 5471 0 0 0 68120 0 0 0 25 0 1 0 888266386 23887872 5410 33554432000 4194304 6245536 140733629626272 18446744073709551615 4700384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/24652/statm: 5832 5410 231 501 0 5328 0
Current children cumulated CPU time (s) 681.2
Current children cumulated vsize (KiB) 23328
Child status: 10
Real time (s): 681.223
CPU time (s): 681.236
CPU user time (s): 681.229
CPU system time (s): 0.006998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 23328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 681.229
system time used= 0.006998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5483
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 3551
runsolver used 0.876866 second user time and 2.22466 second system time
The end