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-3491769-1307767537/watcher-3491769-1307767537 -o /tmp/evaluation-result-3491769-1307767537/solver-3491769-1307767537 -C 1800 -W 1900 -M 15500 HOME/clasp HOME/instance-3491769-1307767537.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: 2.20 2.55 2.81 4/178 20708
/proc/meminfo: memFree=31767672/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=2872 CPUtime=0 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 433 0 0 0 0 0 0 0 25 0 1 0 888352536 2940928 373 33554432000 4194304 6245536 140734889335200 18446744073709551615 4304805 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 718 373 219 501 0 214 0
[startup+0.0531811 s]
/proc/loadavg: 2.20 2.55 2.81 4/178 20708
/proc/meminfo: memFree=31767672/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=2872 CPUtime=0.05 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 467 0 0 0 5 0 0 0 25 0 1 0 888352536 2940928 407 33554432000 4194304 6245536 140734889335200 18446744073709551615 4629354 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 718 407 226 501 0 214 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2872
[startup+0.100167 s]
/proc/loadavg: 2.20 2.55 2.81 4/178 20708
/proc/meminfo: memFree=31767672/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=3004 CPUtime=0.09 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 487 0 0 0 9 0 0 0 25 0 1 0 888352536 3076096 427 33554432000 4194304 6245536 140734889335200 18446744073709551615 4629009 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 751 427 227 501 0 247 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3004
[startup+0.300131 s]
/proc/loadavg: 2.20 2.55 2.81 4/178 20708
/proc/meminfo: memFree=31767672/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=3268 CPUtime=0.29 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 560 0 0 0 29 0 0 0 25 0 1 0 888352536 3346432 500 33554432000 4194304 6245536 140734889335200 18446744073709551615 4638229 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 817 500 227 501 0 313 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3268
[startup+0.70006 s]
/proc/loadavg: 2.20 2.55 2.81 4/178 20708
/proc/meminfo: memFree=31767672/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=3672 CPUtime=0.69 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 650 0 0 0 69 0 0 0 25 0 1 0 888352536 3760128 590 33554432000 4194304 6245536 140734889335200 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 918 590 227 501 0 414 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3672
[startup+1.50092 s]
/proc/loadavg: 2.20 2.55 2.81 4/179 20709
/proc/meminfo: memFree=31765708/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=4212 CPUtime=1.49 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 803 0 0 0 149 0 0 0 25 0 1 0 888352536 4313088 743 33554432000 4194304 6245536 140734889335200 18446744073709551615 4700402 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 1053 743 231 501 0 549 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4212
[startup+3.10063 s]
/proc/loadavg: 2.20 2.55 2.81 4/179 20709
/proc/meminfo: memFree=31764716/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=4740 CPUtime=3.09 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 939 0 0 0 309 0 0 0 25 0 1 0 888352536 4853760 879 33554432000 4194304 6245536 140734889335200 18446744073709551615 4637702 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 1185 879 231 501 0 681 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 4740
[startup+6.30113 s]
/proc/loadavg: 2.27 2.56 2.81 4/179 20710
/proc/meminfo: memFree=31763824/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=5472 CPUtime=6.29 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 1097 0 0 0 629 0 0 0 25 0 1 0 888352536 5603328 1037 33554432000 4194304 6245536 140734889335200 18446744073709551615 4304903 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 1368 1037 231 501 0 864 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5472
[startup+12.701 s]
/proc/loadavg: 2.32 2.56 2.82 4/179 20710
/proc/meminfo: memFree=31762452/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=6128 CPUtime=12.69 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 1285 0 0 0 1269 0 0 0 25 0 1 0 888352536 6275072 1225 33554432000 4194304 6245536 140734889335200 18446744073709551615 4628996 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 1532 1225 231 501 0 1028 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6128
[startup+25.5006 s]
/proc/loadavg: 2.47 2.58 2.82 4/179 20710
/proc/meminfo: memFree=31760688/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=7340 CPUtime=25.49 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 1584 0 0 0 2549 0 0 0 25 0 1 0 888352536 7516160 1524 33554432000 4194304 6245536 140734889335200 18446744073709551615 4635164 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 1835 1524 231 501 0 1331 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 7340
[startup+51.1001 s]
/proc/loadavg: 2.65 2.62 2.82 4/179 20711
/proc/meminfo: memFree=31759040/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=8664 CPUtime=51.09 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 1891 0 0 0 5109 0 0 0 25 0 1 0 888352536 8871936 1831 33554432000 4194304 6245536 140734889335200 18446744073709551615 4629037 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 2166 1831 231 501 0 1662 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 8664
[startup+102.306 s]
/proc/loadavg: 2.85 2.67 2.83 4/179 20750
/proc/meminfo: memFree=31756548/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=12852 CPUtime=102.29 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 2953 0 0 0 10229 0 0 0 25 0 1 0 888352536 13160448 2893 33554432000 4194304 6245536 140734889335200 18446744073709551615 4629034 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 3213 2893 231 501 0 2709 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 12852
[startup+162.3 s]
/proc/loadavg: 2.94 2.73 2.83 4/179 20790
/proc/meminfo: memFree=31748300/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=15732 CPUtime=162.29 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 3661 0 0 0 16229 0 0 0 25 0 1 0 888352536 16109568 3601 33554432000 4194304 6245536 140734889335200 18446744073709551615 4700632 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 3933 3601 231 501 0 3429 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 15732
[startup+222.301 s]
/proc/loadavg: 2.98 2.78 2.84 4/179 20791
/proc/meminfo: memFree=31745028/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=16404 CPUtime=222.29 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 3830 0 0 0 22229 0 0 0 25 0 1 0 888352536 16797696 3770 33554432000 4194304 6245536 140734889335200 18446744073709551615 4700427 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4101 3770 231 501 0 3597 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 16404
[startup+282.301 s]
/proc/loadavg: 2.99 2.81 2.84 4/179 20831
/proc/meminfo: memFree=31704804/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=17776 CPUtime=282.3 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4149 0 0 0 28229 1 0 0 25 0 1 0 888352536 18202624 4089 33554432000 4194304 6245536 140734889335200 18446744073709551615 4629028 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4444 4089 231 501 0 3940 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 17776
[startup+342.3 s]
/proc/loadavg: 2.99 2.85 2.85 4/179 20832
/proc/meminfo: memFree=31689876/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=342.3 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4274 0 0 0 34229 1 0 0 25 0 1 0 888352536 18767872 4214 33554432000 4194304 6245536 140734889335200 18446744073709551615 4628817 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4214 231 501 0 4078 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 18328
Solver just ended. Dumping a history of the last processes samples
[startup+345.501 s]
/proc/loadavg: 2.99 2.85 2.85 4/179 20833
/proc/meminfo: memFree=31687892/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=345.5 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4274 0 0 0 34549 1 0 0 25 0 1 0 888352536 18767872 4214 33554432000 4194304 6245536 140734889335200 18446744073709551615 4628178 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4214 231 501 0 4078 0
Current children cumulated CPU time (s) 345.5
Current children cumulated vsize (KiB) 18328
[startup+358.3 s]
/proc/loadavg: 2.99 2.85 2.85 4/179 20833
/proc/meminfo: memFree=31686400/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=358.3 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4274 0 0 0 35829 1 0 0 25 0 1 0 888352536 18767872 4214 33554432000 4194304 6245536 140734889335200 18446744073709551615 4344048 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4214 231 501 0 4078 0
Current children cumulated CPU time (s) 358.3
Current children cumulated vsize (KiB) 18328
[startup+364.7 s]
/proc/loadavg: 2.99 2.85 2.85 4/179 20833
/proc/meminfo: memFree=31684292/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=364.7 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4274 0 0 0 36469 1 0 0 25 0 1 0 888352536 18767872 4214 33554432000 4194304 6245536 140734889335200 18446744073709551615 4633927 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4214 231 501 0 4078 0
Current children cumulated CPU time (s) 364.7
Current children cumulated vsize (KiB) 18328
[startup+367.901 s]
/proc/loadavg: 2.99 2.86 2.85 4/179 20833
/proc/meminfo: memFree=31684164/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=367.9 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4275 0 0 0 36789 1 0 0 25 0 1 0 888352536 18767872 4215 33554432000 4194304 6245536 140734889335200 18446744073709551615 4629011 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4215 231 501 0 4078 0
Current children cumulated CPU time (s) 367.9
Current children cumulated vsize (KiB) 18328
[startup+369.5 s]
/proc/loadavg: 2.99 2.86 2.85 4/179 20833
/proc/meminfo: memFree=31684396/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=369.51 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4275 0 0 0 36950 1 0 0 25 0 1 0 888352536 18767872 4215 33554432000 4194304 6245536 140734889335200 18446744073709551615 4629222 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4215 231 501 0 4078 0
Current children cumulated CPU time (s) 369.51
Current children cumulated vsize (KiB) 18328
[startup+369.9 s]
/proc/loadavg: 2.99 2.86 2.85 4/179 20833
/proc/meminfo: memFree=31684396/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=369.9 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4275 0 0 0 36989 1 0 0 25 0 1 0 888352536 18767872 4215 33554432000 4194304 6245536 140734889335200 18446744073709551615 4635990 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4215 231 501 0 4078 0
Current children cumulated CPU time (s) 369.9
Current children cumulated vsize (KiB) 18328
[startup+370.3 s]
/proc/loadavg: 2.99 2.86 2.85 4/179 20833
/proc/meminfo: memFree=31684396/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=370.3 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4275 0 0 0 37029 1 0 0 25 0 1 0 888352536 18767872 4215 33554432000 4194304 6245536 140734889335200 18446744073709551615 4700960 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4215 231 501 0 4078 0
Current children cumulated CPU time (s) 370.3
Current children cumulated vsize (KiB) 18328
[startup+370.4 s]
/proc/loadavg: 2.99 2.86 2.85 4/179 20833
/proc/meminfo: memFree=31684396/32950928 swapFree=67048868/67111528
[pid=20708] ppid=20706 vsize=18328 CPUtime=370.4 cores=0,2,4,6
/proc/20708/stat : 20708 (clasp) R 20706 20708 17848 0 -1 4202496 4275 0 0 0 37039 1 0 0 25 0 1 0 888352536 18767872 4215 33554432000 4194304 6245536 140734889335200 18446744073709551615 4701680 0 0 4096 18946 0 0 0 17 4 0 0 0
/proc/20708/statm: 4582 4215 231 501 0 4078 0
Current children cumulated CPU time (s) 370.4
Current children cumulated vsize (KiB) 18328
Child status: 10
Real time (s): 370.492
CPU time (s): 370.5
CPU user time (s): 370.487
CPU system time (s): 0.012998
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 18328
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 370.487
system time used= 0.012998
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4287
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= 4
involuntary context switches= 448
runsolver used 0.514921 second user time and 1.17182 second system time
The end