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-3469505-1307105147/watcher-3469505-1307105147 -o /tmp/evaluation-result-3469505-1307105147/solver-3469505-1307105147 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469505-1307105147.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: 2.00 2.01 2.00 2/437 3336
/proc/meminfo: memFree=24687512/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=14052 CPUtime=0 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 944 0 0 0 0 0 0 0 25 0 1 0 802930324 14389248 834 33554432000 4194304 4933572 140737288785504 18446744073709551615 270338080523 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 3513 835 342 181 0 522 0
[startup+0.0285731 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 3336
/proc/meminfo: memFree=24687512/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=14184 CPUtime=0.02 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1014 0 0 0 2 0 0 0 25 0 1 0 802930324 14524416 904 33554432000 4194304 4933572 140737288785504 18446744073709551615 4718144 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 3546 904 371 181 0 555 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 14184
[startup+0.100558 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 3336
/proc/meminfo: memFree=24687512/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=14184 CPUtime=0.09 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1014 0 0 0 9 0 0 0 25 0 1 0 802930324 14524416 904 33554432000 4194304 4933572 140737288785504 18446744073709551615 4719019 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 3546 904 371 181 0 555 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14184
[startup+0.300508 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 3336
/proc/meminfo: memFree=24687512/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=14316 CPUtime=0.29 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1019 0 0 0 29 0 0 0 25 0 1 0 802930324 14659584 909 33554432000 4194304 4933572 140737288785504 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 3579 909 371 181 0 588 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 14316
[startup+0.700427 s]
/proc/loadavg: 2.00 2.01 2.00 2/437 3336
/proc/meminfo: memFree=24687512/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=14588 CPUtime=0.69 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1095 0 0 0 69 0 0 0 25 0 1 0 802930324 14938112 985 33554432000 4194304 4933572 140737288785504 18446744073709551615 4713036 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 3647 985 371 181 0 656 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14588
[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3337
/proc/meminfo: memFree=24683920/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=15248 CPUtime=1.49 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1281 0 0 0 149 0 0 0 25 0 1 0 802930324 15613952 1171 33554432000 4194304 4933572 140737288785504 18446744073709551615 4319339 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 3812 1171 376 181 0 821 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 15248
[startup+3.10095 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3337
/proc/meminfo: memFree=24674248/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=15384 CPUtime=3.09 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1319 0 0 0 309 0 0 0 25 0 1 0 802930324 15753216 1209 33554432000 4194304 4933572 140737288785504 18446744073709551615 4649413 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 3846 1209 376 181 0 855 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15384
[startup+6.30031 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3337
/proc/meminfo: memFree=24669560/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=16296 CPUtime=6.29 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1522 0 0 0 629 0 0 0 25 0 1 0 802930324 16687104 1412 33554432000 4194304 4933572 140737288785504 18446744073709551615 4718548 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 4074 1412 376 181 0 1083 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16296
[startup+12.7011 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3338
/proc/meminfo: memFree=24658872/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=16676 CPUtime=12.69 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1639 0 0 0 1269 0 0 0 25 0 1 0 802930324 17076224 1529 33554432000 4194304 4933572 140737288785504 18446744073709551615 4409535 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 4169 1529 376 181 0 1178 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 16676
[startup+25.5005 s]
/proc/loadavg: 2.00 2.01 2.00 3/438 3338
/proc/meminfo: memFree=24656404/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=18068 CPUtime=25.49 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 1983 0 0 0 2549 0 0 0 25 0 1 0 802930324 18501632 1873 33554432000 4194304 4933572 140737288785504 18446744073709551615 4648609 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 4517 1873 376 181 0 1526 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 18068
[startup+51.1004 s]
/proc/loadavg: 1.85 1.97 1.99 2/432 3358
/proc/meminfo: memFree=24780592/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=19188 CPUtime=51.09 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 2224 0 0 0 5109 0 0 0 25 0 1 0 802930324 19648512 2114 33554432000 4194304 4933572 140737288785504 18446744073709551615 4637426 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 4797 2114 376 181 0 1806 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 19188
[startup+102.315 s]
/proc/loadavg: 1.37 1.82 1.94 2/432 3359
/proc/meminfo: memFree=24779212/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=20848 CPUtime=102.31 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 2626 0 0 0 10231 0 0 0 25 0 1 0 802930324 21348352 2516 33554432000 4194304 4933572 140737288785504 18446744073709551615 4719072 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 5212 2516 376 181 0 2221 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 20848
[startup+162.3 s]
/proc/loadavg: 1.13 1.67 1.87 2/432 3361
/proc/meminfo: memFree=24776960/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=22016 CPUtime=162.3 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 2889 0 0 0 16230 0 0 0 25 0 1 0 802930324 22544384 2779 33554432000 4194304 4933572 140737288785504 18446744073709551615 4719088 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 5504 2779 376 181 0 2513 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 22016
[startup+222.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/432 3362
/proc/meminfo: memFree=24776056/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=23768 CPUtime=222.3 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 3275 0 0 0 22230 0 0 0 25 0 1 0 802930324 24338432 3165 33554432000 4194304 4933572 140737288785504 18446744073709551615 4340846 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 5942 3165 376 181 0 2951 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 23768
[startup+282.301 s]
/proc/loadavg: 1.02 1.44 1.76 2/432 3364
/proc/meminfo: memFree=24775296/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=24556 CPUtime=282.3 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 3470 0 0 0 28230 0 0 0 25 0 1 0 802930324 25145344 3360 33554432000 4194304 4933572 140737288785504 18446744073709551615 4719090 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 6139 3360 376 181 0 3148 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 24556
[startup+342.301 s]
/proc/loadavg: 1.00 1.36 1.71 2/432 3365
/proc/meminfo: memFree=24775152/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=25900 CPUtime=342.31 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 3780 0 0 0 34231 0 0 0 25 0 1 0 802930324 26521600 3670 33554432000 4194304 4933572 140737288785504 18446744073709551615 4649384 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 6475 3670 376 181 0 3484 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 25900
[startup+402.301 s]
/proc/loadavg: 1.00 1.29 1.66 2/432 3368
/proc/meminfo: memFree=24774520/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=26556 CPUtime=402.31 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 3952 0 0 0 40231 0 0 0 25 0 1 0 802930324 27193344 3842 33554432000 4194304 4933572 140737288785504 18446744073709551615 4712943 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 6639 3842 376 181 0 3648 0
Current children cumulated CPU time (s) 402.31
Current children cumulated vsize (KiB) 26556
[startup+462.301 s]
/proc/loadavg: 1.05 1.25 1.62 2/432 3370
/proc/meminfo: memFree=24773500/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=27368 CPUtime=462.31 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4123 0 0 0 46231 0 0 0 25 0 1 0 802930324 28024832 4013 33554432000 4194304 4933572 140737288785504 18446744073709551615 4635448 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 6842 4013 376 181 0 3851 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 27368
[startup+522.301 s]
/proc/loadavg: 1.02 1.20 1.58 2/432 3371
/proc/meminfo: memFree=24773824/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=27676 CPUtime=522.31 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4201 0 0 0 52231 0 0 0 25 0 1 0 802930324 28340224 4091 33554432000 4194304 4933572 140737288785504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 6919 4091 376 181 0 3928 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 27676
[startup+582.301 s]
/proc/loadavg: 1.00 1.16 1.54 2/432 3373
/proc/meminfo: memFree=24773060/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=28576 CPUtime=582.32 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4382 0 0 0 58232 0 0 0 25 0 1 0 802930324 29261824 4272 33554432000 4194304 4933572 140737288785504 18446744073709551615 4711093 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7144 4272 376 181 0 4153 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 28576
[startup+642.301 s]
/proc/loadavg: 1.00 1.13 1.50 2/432 3374
/proc/meminfo: memFree=24772176/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=29248 CPUtime=642.33 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4547 0 0 0 64233 0 0 0 25 0 1 0 802930324 29949952 4437 33554432000 4194304 4933572 140737288785504 18446744073709551615 4649830 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7312 4437 376 181 0 4321 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 29248
Solver just ended. Dumping a history of the last processes samples
[startup+646.3 s]
/proc/loadavg: 1.00 1.13 1.50 2/432 3374
/proc/meminfo: memFree=24771308/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=29248 CPUtime=646.32 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4547 0 0 0 64632 0 0 0 25 0 1 0 802930324 29949952 4437 33554432000 4194304 4933572 140737288785504 18446744073709551615 4319335 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7312 4437 376 181 0 4321 0
Current children cumulated CPU time (s) 646.32
Current children cumulated vsize (KiB) 29248
[startup+652.701 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3375
/proc/meminfo: memFree=24771184/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=29248 CPUtime=652.72 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4561 0 0 0 65272 0 0 0 25 0 1 0 802930324 29949952 4451 33554432000 4194304 4933572 140737288785504 18446744073709551615 4718548 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7312 4451 376 181 0 4321 0
Current children cumulated CPU time (s) 652.72
Current children cumulated vsize (KiB) 29248
[startup+655.9 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3375
/proc/meminfo: memFree=24770936/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=29448 CPUtime=655.92 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4583 0 0 0 65592 0 0 0 25 0 1 0 802930324 30154752 4473 33554432000 4194304 4933572 140737288785504 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7362 4473 376 181 0 4371 0
Current children cumulated CPU time (s) 655.92
Current children cumulated vsize (KiB) 29448
[startup+657.501 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3375
/proc/meminfo: memFree=24770936/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=29448 CPUtime=657.52 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4583 0 0 0 65752 0 0 0 25 0 1 0 802930324 30154752 4473 33554432000 4194304 4933572 140737288785504 18446744073709551615 4713154 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7362 4473 376 181 0 4371 0
Current children cumulated CPU time (s) 657.52
Current children cumulated vsize (KiB) 29448
[startup+658.301 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3375
/proc/meminfo: memFree=24771056/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=29448 CPUtime=658.32 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4583 0 0 0 65832 0 0 0 25 0 1 0 802930324 30154752 4473 33554432000 4194304 4933572 140737288785504 18446744073709551615 4718463 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7362 4473 376 181 0 4371 0
Current children cumulated CPU time (s) 658.32
Current children cumulated vsize (KiB) 29448
[startup+658.701 s]
/proc/loadavg: 1.00 1.12 1.50 2/432 3375
/proc/meminfo: memFree=24771056/32951124 swapFree=50923800/67111528
[pid=3336] ppid=3334 vsize=29448 CPUtime=658.72 cores=1,3,5,7
/proc/3336/stat : 3336 (clasp) R 3334 3336 2319 0 -1 4202496 4583 0 0 0 65872 0 0 0 25 0 1 0 802930324 30154752 4473 33554432000 4194304 4933572 140737288785504 18446744073709551615 4649402 0 0 4096 18946 0 0 0 17 5 0 0 0
/proc/3336/statm: 7362 4473 376 181 0 4371 0
Current children cumulated CPU time (s) 658.72
Current children cumulated vsize (KiB) 29448
Child status: 10
Real time (s): 658.749
CPU time (s): 658.778
CPU user time (s): 658.773
CPU system time (s): 0.004999
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 29448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 658.773
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4597
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= 10
involuntary context switches= 830
runsolver used 2.46362 second user time and 6.49101 second system time
The end