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-3469169-1307084986/watcher-3469169-1307084986 -o /tmp/evaluation-result-3469169-1307084986/solver-3469169-1307084986 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3469169-1307084986.opb --solu --heu=VSIDS
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: 1.90 1.38 1.52 3/483 9249
/proc/meminfo: memFree=24939640/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=12852 CPUtime=0 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 625 0 0 0 0 0 0 0 25 0 1 0 898729315 13160448 550 33554432000 4194304 4933572 140736497462384 18446744073709551615 4340876 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 3213 550 361 181 0 222 0
[startup+0.02102 s]
/proc/loadavg: 1.90 1.38 1.52 3/483 9249
/proc/meminfo: memFree=24939640/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=12852 CPUtime=0.01 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 633 0 0 0 1 0 0 0 25 0 1 0 898729315 13160448 558 33554432000 4194304 4933572 140736497462384 18446744073709551615 4637138 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 3213 558 369 181 0 222 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12852
[startup+0.101005 s]
/proc/loadavg: 1.90 1.38 1.52 3/483 9249
/proc/meminfo: memFree=24939640/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=13112 CPUtime=0.09 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 703 0 0 0 9 0 0 0 25 0 1 0 898729315 13426688 628 33554432000 4194304 4933572 140736497462384 18446744073709551615 4717253 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 3278 628 369 181 0 287 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 13112
[startup+0.300968 s]
/proc/loadavg: 1.90 1.38 1.52 3/483 9249
/proc/meminfo: memFree=24939640/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=13508 CPUtime=0.29 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 780 0 0 0 29 0 0 0 25 0 1 0 898729315 13832192 705 33554432000 4194304 4933572 140736497462384 18446744073709551615 4718636 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 3377 705 369 181 0 386 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13508
[startup+0.700894 s]
/proc/loadavg: 1.90 1.38 1.52 3/483 9249
/proc/meminfo: memFree=24939640/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=13768 CPUtime=0.69 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 866 0 0 0 69 0 0 0 25 0 1 0 898729315 14098432 791 33554432000 4194304 4933572 140736497462384 18446744073709551615 4718551 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 3442 791 369 181 0 451 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 13768
[startup+1.5008 s]
/proc/loadavg: 1.90 1.38 1.52 3/484 9250
/proc/meminfo: memFree=24936804/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=14560 CPUtime=1.49 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 1065 0 0 0 149 0 0 0 25 0 1 0 898729315 14909440 990 33554432000 4194304 4933572 140736497462384 18446744073709551615 4632837 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 3640 990 369 181 0 649 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 14560
[startup+3.10057 s]
/proc/loadavg: 1.90 1.38 1.52 3/484 9250
/proc/meminfo: memFree=24934696/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=15224 CPUtime=3.09 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 1232 0 0 0 309 0 0 0 25 0 1 0 898729315 15589376 1157 33554432000 4194304 4933572 140736497462384 18446744073709551615 4329837 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 3806 1157 374 181 0 815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15224
[startup+6.30098 s]
/proc/loadavg: 1.91 1.39 1.53 3/484 9250
/proc/meminfo: memFree=24933672/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=16020 CPUtime=6.29 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 1442 0 0 0 629 0 0 0 25 0 1 0 898729315 16404480 1367 33554432000 4194304 4933572 140736497462384 18446744073709551615 4361474 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 4005 1367 374 181 0 1014 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 16020
[startup+12.7008 s]
/proc/loadavg: 1.92 1.40 1.53 3/484 9251
/proc/meminfo: memFree=24931596/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=17204 CPUtime=12.69 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 1725 0 0 0 1269 0 0 0 25 0 1 0 898729315 17616896 1650 33554432000 4194304 4933572 140736497462384 18446744073709551615 4330085 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 4301 1650 374 181 0 1310 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17204
[startup+25.5005 s]
/proc/loadavg: 1.94 1.43 1.54 3/484 9251
/proc/meminfo: memFree=24928848/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=19444 CPUtime=25.49 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 2266 0 0 0 2549 0 0 0 25 0 1 0 898729315 19910656 2191 33554432000 4194304 4933572 140736497462384 18446744073709551615 4361630 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 4861 2191 374 181 0 1870 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 19444
[startup+51.1008 s]
/proc/loadavg: 2.01 1.49 1.55 3/484 9252
/proc/meminfo: memFree=24924968/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=22568 CPUtime=51.09 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 3043 0 0 0 5109 0 0 0 25 0 1 0 898729315 23109632 2968 33554432000 4194304 4933572 140736497462384 18446744073709551615 4649576 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 5642 2968 374 181 0 2651 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 22568
[startup+102.317 s]
/proc/loadavg: 1.95 1.55 1.57 3/484 9415
/proc/meminfo: memFree=24919292/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=25580 CPUtime=102.31 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 3819 0 0 0 10230 1 0 0 25 0 1 0 898729315 26193920 3744 33554432000 4194304 4933572 140736497462384 18446744073709551615 4648957 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 6395 3744 374 181 0 3404 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 25580
[startup+162.3 s]
/proc/loadavg: 1.98 1.63 1.59 3/484 9606
/proc/meminfo: memFree=24919108/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=28216 CPUtime=162.29 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 4445 0 0 0 16228 1 0 0 25 0 1 0 898729315 28893184 4370 33554432000 4194304 4933572 140736497462384 18446744073709551615 4319365 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 7054 4370 374 181 0 4063 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 28216
[startup+222.3 s]
/proc/loadavg: 2.09 1.72 1.62 3/484 9661
/proc/meminfo: memFree=24916952/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=28920 CPUtime=222.29 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 4618 0 0 0 22228 1 0 0 25 0 1 0 898729315 29614080 4543 33554432000 4194304 4933572 140736497462384 18446744073709551615 260905050261 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 7230 4543 374 181 0 4239 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 28920
[startup+282.3 s]
/proc/loadavg: 2.07 1.79 1.65 3/484 9663
/proc/meminfo: memFree=24913044/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=29612 CPUtime=282.29 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 4800 0 0 0 28228 1 0 0 25 0 1 0 898729315 30322688 4725 33554432000 4194304 4933572 140736497462384 18446744073709551615 4649364 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 7403 4725 374 181 0 4412 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 29612
[startup+342.3 s]
/proc/loadavg: 2.03 1.82 1.67 3/484 9664
/proc/meminfo: memFree=24909664/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=30036 CPUtime=342.29 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 4886 0 0 0 34228 1 0 0 25 0 1 0 898729315 30756864 4811 33554432000 4194304 4933572 140736497462384 18446744073709551615 4717240 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 7509 4811 374 181 0 4518 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 30036
[startup+402.301 s]
/proc/loadavg: 2.01 1.85 1.68 3/484 9666
/proc/meminfo: memFree=24908864/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=30308 CPUtime=402.29 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 4959 0 0 0 40228 1 0 0 25 0 1 0 898729315 31035392 4884 33554432000 4194304 4933572 140736497462384 18446744073709551615 4649594 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 7577 4884 374 181 0 4586 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 30308
[startup+462.301 s]
/proc/loadavg: 2.00 1.88 1.70 3/484 9668
/proc/meminfo: memFree=24908448/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=31140 CPUtime=462.3 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5146 0 0 0 46228 2 0 0 25 0 1 0 898729315 31887360 5071 33554432000 4194304 4933572 140736497462384 18446744073709551615 4649590 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 7785 5071 374 181 0 4794 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 31140
[startup+522.301 s]
/proc/loadavg: 2.00 1.90 1.72 3/484 9777
/proc/meminfo: memFree=24917400/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=31984 CPUtime=522.3 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5339 0 0 0 52228 2 0 0 25 0 1 0 898729315 32751616 5264 33554432000 4194304 4933572 140736497462384 18446744073709551615 4340880 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 7996 5264 374 181 0 5005 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 31984
[startup+582.301 s]
/proc/loadavg: 2.04 1.93 1.74 3/484 9914
/proc/meminfo: memFree=24913760/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=32548 CPUtime=582.3 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5475 0 0 0 58227 3 0 0 25 0 1 0 898729315 33329152 5400 33554432000 4194304 4933572 140736497462384 18446744073709551615 4717456 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8137 5400 374 181 0 5146 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 32548
[startup+642.301 s]
/proc/loadavg: 2.04 1.95 1.76 3/484 9915
/proc/meminfo: memFree=24910624/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33112 CPUtime=642.31 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5630 0 0 0 64228 3 0 0 25 0 1 0 898729315 33906688 5555 33554432000 4194304 4933572 140736497462384 18446744073709551615 4648559 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8278 5555 374 181 0 5287 0
Current children cumulated CPU time (s) 642.31
Current children cumulated vsize (KiB) 33112
Solver just ended. Dumping a history of the last processes samples
[startup+665.517 s]
/proc/loadavg: 2.03 1.95 1.76 3/484 9916
/proc/meminfo: memFree=24909492/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33256 CPUtime=665.52 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5658 0 0 0 66549 3 0 0 25 0 1 0 898729315 34054144 5583 33554432000 4194304 4933572 140736497462384 18446744073709551615 4359998 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8314 5583 374 181 0 5323 0
Current children cumulated CPU time (s) 665.52
Current children cumulated vsize (KiB) 33256
[startup+671.9 s]
/proc/loadavg: 2.03 1.95 1.76 3/484 9916
/proc/meminfo: memFree=24909492/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33396 CPUtime=671.91 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5679 0 0 0 67188 3 0 0 25 0 1 0 898729315 34197504 5604 33554432000 4194304 4933572 140736497462384 18446744073709551615 4637414 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8349 5604 374 181 0 5358 0
Current children cumulated CPU time (s) 671.91
Current children cumulated vsize (KiB) 33396
[startup+675.101 s]
/proc/loadavg: 2.02 1.95 1.76 3/484 9916
/proc/meminfo: memFree=24908996/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33396 CPUtime=675.11 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5679 0 0 0 67508 3 0 0 25 0 1 0 898729315 34197504 5604 33554432000 4194304 4933572 140736497462384 18446744073709551615 4329746 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8349 5604 374 181 0 5358 0
Current children cumulated CPU time (s) 675.11
Current children cumulated vsize (KiB) 33396
[startup+678.301 s]
/proc/loadavg: 2.02 1.95 1.76 3/484 9916
/proc/meminfo: memFree=24909732/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33396 CPUtime=678.31 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5679 0 0 0 67828 3 0 0 25 0 1 0 898729315 34197504 5604 33554432000 4194304 4933572 140736497462384 18446744073709551615 4362184 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8349 5604 374 181 0 5358 0
Current children cumulated CPU time (s) 678.31
Current children cumulated vsize (KiB) 33396
[startup+679.901 s]
/proc/loadavg: 2.02 1.95 1.76 3/484 9916
/proc/meminfo: memFree=24909112/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33396 CPUtime=679.91 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5679 0 0 0 67988 3 0 0 25 0 1 0 898729315 34197504 5604 33554432000 4194304 4933572 140736497462384 18446744073709551615 4632840 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8349 5604 374 181 0 5358 0
Current children cumulated CPU time (s) 679.91
Current children cumulated vsize (KiB) 33396
[startup+680.301 s]
/proc/loadavg: 2.02 1.95 1.76 3/484 9916
/proc/meminfo: memFree=24909112/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33396 CPUtime=680.31 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5679 0 0 0 68028 3 0 0 25 0 1 0 898729315 34197504 5604 33554432000 4194304 4933572 140736497462384 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8349 5604 374 181 0 5358 0
Current children cumulated CPU time (s) 680.31
Current children cumulated vsize (KiB) 33396
[startup+680.701 s]
/proc/loadavg: 2.02 1.95 1.76 3/484 9916
/proc/meminfo: memFree=24909112/32950928 swapFree=61542356/67111528
[pid=9249] ppid=9247 vsize=33396 CPUtime=680.71 cores=0,2,4,6
/proc/9249/stat : 9249 (clasp) R 9247 9249 2195 0 -1 4202496 5679 0 0 0 68068 3 0 0 25 0 1 0 898729315 34197504 5604 33554432000 4194304 4933572 140736497462384 18446744073709551615 4717062 0 0 4096 18946 0 0 0 17 2 0 0 0
/proc/9249/statm: 8349 5604 374 181 0 5358 0
Current children cumulated CPU time (s) 680.71
Current children cumulated vsize (KiB) 33396
Child status: 10
Real time (s): 680.724
CPU time (s): 680.737
CPU user time (s): 680.702
CPU system time (s): 0.034994
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 33396
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 680.703
system time used= 0.034994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5693
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= 6
involuntary context switches= 1193
runsolver used 3.34449 second user time and 6.83696 second system time
The end