Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.19 | 1800.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_1000_60_3.opb |
MD5SUM | e05fbfdce4433b0b2590ec382b530cec |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -60 |
Best CPU time to get the best result obtained on this benchmark | 1800.01 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -71 |
Optimality of the best value was proved | NO |
Number of variables | 2000 |
Total number of constraints | 3001 |
Number of constraints which are clauses | 1000 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2000 |
Number of terms in the objective function | 1000 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 2000 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 150588 |
Sum of products size (including duplicates) | 301176 |
Number of different products | 75294 |
Sum of products size | 150588 |
0.00/0.00 c This is wbo 1.0 alpha (based on Minisat 2.0 beta) 0.00/0.00 c WARNING: for repeatability, setting FPU to use double precision 0.00/0.00 c Parsing opb file format. File HOME/instance-1875385-1245204938.opb. 0.00/0.00 c Instance file HOME/instance-1875385-1245204938.opb 0.00/0.00 c File size is 6868288 bytes. 1.09/1.19 c Highest Coefficient sum: 2000 1.09/1.19 c ============================[ Problem Statistics ]============================= 1.09/1.19 c | | 1.09/1.19 c | Parsing time: 1.15 s | 1.09/1.19 c | Number Variables: 77294 | 1.09/1.19 c | Number Clauses: 77294 | 1.09/1.19 c | Number Cardinality: 2002 | 1.09/1.19 c | Number PB Constraints: 75294 | 1.09/1.19 c core #1 1.09/1.19 c Core size: 2001 Core Weight: 1 Total Weight: -999 1.09/1.19 c Elapsed CPU time: 1.15482 s Remaining CPU time: 1798.85 s 1.49/1.50 c ============================[ Search Statistics ]============================== 1.49/1.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.49/1.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.49/1.50 c =============================================================================== 1.49/1.50 c | 0 | 78294 154591 611352 | 51530 0 nan | 0.000 % | 3.38/3.49 c | 100 | 78294 154591 611352 | 56683 100 101 | 0.126 % | 5.78/5.86 c | 250 | 78294 154591 611352 | 62351 250 223 | 0.213 % | 9.18/9.26 c | 475 | 78294 154591 611352 | 68586 475 254 | 0.294 % | 12.09/12.14 c | 812 | 78061 154591 611352 | 75445 809 306 | 0.384 % | 12.28/12.33 c =============================================================================== 12.28/12.38 c core #2 12.28/12.38 c Core size: 1908 Core Weight: 1 Total Weight: -998 12.28/12.38 c Elapsed CPU time: 12.3031 s Remaining CPU time: 1787.7 s 12.68/12.75 c Learning 69 hard constraints 12.68/12.75 c ============================[ Search Statistics ]============================== 12.68/12.75 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.68/12.75 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.68/12.75 c =============================================================================== 12.68/12.75 c | 0 | 79147 154661 613265 | 51553 0 nan | 0.000 % | 14.19/14.27 c | 100 | 79147 154661 613265 | 56709 100 950 | 0.000 % | 14.29/14.35 c | 250 | 79147 154661 613265 | 62379 250 382 | 0.000 % | 18.38/18.42 c | 475 | 79147 154661 613265 | 68617 475 501 | 0.000 % | 20.28/20.34 c | 812 | 79147 154661 613265 | 75479 812 607 | 0.000 % | 26.97/27.04 c | 1389 | 79147 154661 613265 | 83027 1389 598 | 0.000 % | 41.67/41.74 c | 2410 | 79147 154661 613265 | 91330 2410 685 | 0.078 % | 57.76/57.81 c | 3607 | 79085 154661 613265 | 100463 3588 709 | 0.177 % | 84.56/84.68 c | 5459 | 78924 154661 613265 | 110509 5365 712 | 0.282 % | 122.04/122.10 c | 8021 | 78638 154661 613265 | 121560 7815 723 | 0.643 % | 185.12/185.26 c | 11906 | 78632 154661 613265 | 133716 11700 751 | 1.069 % | 271.78/271.95 c | 17672 | 78216 154661 613265 | 147088 17353 779 | 2.313 % | 411.34/411.58 c | 26321 | 76722 154661 613265 | 161797 24884 798 | 5.195 % | 612.26/612.59 c | 39295 | 73311 154661 613265 | 177977 35759 834 | 11.984 % | 931.44/931.84 c | 58792 | 62467 154661 613265 | 195774 50906 881 | 26.198 % | 1394.87/1395.40 c | 87984 | 53919 154661 613265 | 215352 71222 930 | 32.560 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1875385-1245204938/watcher-1875385-1245204938 -o /tmp/evaluation-result-1875385-1245204938/solver-1875385-1245204938 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875385-1245204938.opb 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): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5265 /proc/meminfo: memFree=1802848/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=9568 CPUtime=0 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 285 0 0 0 0 0 0 0 18 0 1 0 188095226 9797632 269 1992294400 134512640 135709839 4294956240 18446744073709551615 134570505 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 2392 269 126 292 0 420 0 [startup+0.047525 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5265 /proc/meminfo: memFree=1802848/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=13508 CPUtime=0.04 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 1190 0 0 0 4 0 0 0 18 0 1 0 188095226 13832192 1174 1992294400 134512640 135709839 4294956240 18446744073709551615 134570547 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 3377 1174 178 292 0 1405 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 13508 [startup+0.10153 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5265 /proc/meminfo: memFree=1802848/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=17652 CPUtime=0.09 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 2206 0 0 0 9 0 0 0 18 0 1 0 188095226 18075648 2117 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 4413 2117 239 292 0 2441 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 17652 [startup+0.30155 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5265 /proc/meminfo: memFree=1802848/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=24872 CPUtime=0.29 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 4062 0 0 0 28 1 0 0 19 0 1 0 188095226 25468928 3859 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 6218 3859 427 292 0 4246 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 24872 [startup+0.701592 s] /proc/loadavg: 1.00 1.00 1.00 3/64 5265 /proc/meminfo: memFree=1802848/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=29548 CPUtime=0.69 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 5832 0 0 0 67 2 0 0 23 0 1 0 188095226 30257152 5629 1992294400 134512640 135709839 4294956240 18446744073709551615 134544290 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 7387 5629 1013 292 0 5415 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29548 [startup+1.50167 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1780824/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=56320 CPUtime=1.49 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 15244 0 0 0 143 6 0 0 25 0 1 0 188095226 57671680 12683 1992294400 134512640 135709839 4294956240 18446744073709551615 135182831 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 14080 12683 134 292 0 13785 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 56320 [startup+3.10184 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1756888/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=50464 CPUtime=3.08 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 15386 0 0 0 302 6 0 0 25 0 1 0 188095226 51675136 11617 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 12616 11617 135 292 0 12321 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 50464 [startup+6.30217 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1755176/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=52568 CPUtime=6.28 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 15891 0 0 0 622 6 0 0 25 0 1 0 188095226 53829632 12122 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 13142 12122 136 292 0 12847 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 52568 [startup+12.7018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1750888/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=76504 CPUtime=12.68 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 21593 0 0 0 1260 8 0 0 25 0 1 0 188095226 78340096 17690 1992294400 134512640 135709839 4294956240 18446744073709551615 135162228 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 19126 17690 136 292 0 18831 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 76504 [startup+25.5011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1737576/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=70036 CPUtime=25.48 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 21774 0 0 0 2538 10 0 0 25 0 1 0 188095226 71716864 16495 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 17509 16495 136 292 0 17214 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 70036 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1720104/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=87636 CPUtime=51.07 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 26179 0 0 0 5094 13 0 0 25 0 1 0 188095226 89739264 20900 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 21909 20900 136 292 0 21614 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 87636 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1691496/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=115668 CPUtime=102.25 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 33192 0 0 0 10206 19 0 0 25 0 1 0 188095226 118444032 27913 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 28917 27913 136 292 0 28622 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 115668 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1658856/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=148716 CPUtime=162.22 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 41440 0 0 0 16196 26 0 0 25 0 1 0 188095226 152285184 36161 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 37179 36161 136 292 0 36884 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 148716 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1623208/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=183988 CPUtime=222.2 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 50282 0 0 0 22186 34 0 0 25 0 1 0 188095226 188403712 45003 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 45997 45003 136 292 0 45702 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 183988 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1589800/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=217552 CPUtime=282.18 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 58655 0 0 0 28176 42 0 0 25 0 1 0 188095226 222773248 53376 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 54388 53376 136 292 0 54093 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 217552 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1556264/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=250952 CPUtime=342.16 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 67004 0 0 0 34167 49 0 0 25 0 1 0 188095226 256974848 61725 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 62738 61725 136 292 0 62443 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 250952 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1523688/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=283532 CPUtime=402.13 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 75167 0 0 0 40157 56 0 0 25 0 1 0 188095226 290336768 69888 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 70883 69888 136 292 0 70588 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 283532 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1491496/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=315568 CPUtime=462.12 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 83145 0 0 0 46148 64 0 0 25 0 1 0 188095226 323141632 77866 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 78892 77866 136 292 0 78597 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 315568 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1459112/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=348232 CPUtime=522.09 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 91331 0 0 0 52139 70 0 0 25 0 1 0 188095226 356589568 86052 1992294400 134512640 135709839 4294956240 18446744073709551615 134601473 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 87058 86052 136 292 0 86763 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 348232 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1424680/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=382088 CPUtime=582.07 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 99787 0 0 0 58130 77 0 0 25 0 1 0 188095226 391258112 94508 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 95522 94508 136 292 0 95227 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 382088 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1388072/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=418468 CPUtime=642.05 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 108888 0 0 0 64120 85 0 0 25 0 1 0 188095226 428511232 103609 1992294400 134512640 135709839 4294956240 18446744073709551615 134577942 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 104617 103609 136 292 0 104322 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 418468 [startup+702.302 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=1260008/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=546364 CPUtime=881.96 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 140859 0 0 0 88085 111 0 0 25 0 1 0 188095226 559476736 135580 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 136591 135580 136 292 0 136296 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 546364 [startup+942.301 s] /proc/loadavg: 1.07 1.02 1.00 2/65 5266 /proc/meminfo: memFree=1228648/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=578016 CPUtime=941.93 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 148770 0 0 0 94075 118 0 0 25 0 1 0 188095226 591888384 143491 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 144504 143491 136 292 0 144209 0 Current children cumulated CPU time (s) 941.93 Current children cumulated vsize (KiB) 578016 [startup+1002.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 5266 /proc/meminfo: memFree=1197352/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=609032 CPUtime=1001.92 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 156511 0 0 0 100068 124 0 0 25 0 1 0 188095226 623648768 151232 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 152258 151232 136 292 0 151963 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 609032 [startup+1062.3 s] /proc/loadavg: 1.09 1.04 1.00 2/65 5266 /proc/meminfo: memFree=1165480/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=640860 CPUtime=1061.89 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 164483 0 0 0 106059 130 0 0 25 0 1 0 188095226 656240640 159204 1992294400 134512640 135709839 4294956240 18446744073709551615 134573944 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 160215 159204 136 292 0 159920 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 640860 [startup+1122.3 s] /proc/loadavg: 1.08 1.04 1.00 2/65 5266 /proc/meminfo: memFree=1132584/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=673884 CPUtime=1121.87 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 172687 0 0 0 112050 137 0 0 25 0 1 0 188095226 690057216 167408 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 168471 167408 136 292 0 168176 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 673884 [startup+1182.3 s] /proc/loadavg: 1.08 1.05 1.00 2/65 5266 /proc/meminfo: memFree=1104040/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=702644 CPUtime=1181.85 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 179887 0 0 0 118043 142 0 0 25 0 1 0 188095226 719507456 174608 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 175661 174608 136 292 0 175366 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 702644 [startup+1242.3 s] /proc/loadavg: 1.06 1.05 1.00 2/65 5266 /proc/meminfo: memFree=1069416/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=736916 CPUtime=1241.83 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 188463 0 0 0 124032 151 0 0 25 0 1 0 188095226 754601984 183184 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 184229 183184 136 292 0 183934 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 736916 [startup+1302.3 s] /proc/loadavg: 1.02 1.04 1.00 2/65 5266 /proc/meminfo: memFree=1036968/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=768704 CPUtime=1301.8 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 196414 0 0 0 130024 156 0 0 25 0 1 0 188095226 787152896 191135 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 192176 191135 136 292 0 191881 0 Current children cumulated CPU time (s) 1301.8 Current children cumulated vsize (KiB) 768704 [startup+1362.3 s] /proc/loadavg: 1.01 1.03 1.00 2/65 5266 /proc/meminfo: memFree=1002984/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=803132 CPUtime=1361.79 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 204999 0 0 0 136014 165 0 0 25 0 1 0 188095226 822407168 199720 1992294400 134512640 135709839 4294956240 18446744073709551615 134577777 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 200783 199720 136 292 0 200488 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 803132 [startup+1422.31 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5266 /proc/meminfo: memFree=970984/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=834652 CPUtime=1421.76 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 212897 0 0 0 142005 171 0 0 25 0 1 0 188095226 854683648 207618 1992294400 134512640 135709839 4294956240 18446744073709551615 134577780 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 208663 207618 136 292 0 208368 0 Current children cumulated CPU time (s) 1421.76 Current children cumulated vsize (KiB) 834652 [startup+1482.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 5266 /proc/meminfo: memFree=937896/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=868016 CPUtime=1481.74 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 221243 0 0 0 147993 181 0 0 25 0 1 0 188095226 888848384 215964 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 217004 215964 136 292 0 216709 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 868016 [startup+1542.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 5266 /proc/meminfo: memFree=903656/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=901836 CPUtime=1541.72 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 229687 0 0 0 153984 188 0 0 25 0 1 0 188095226 923480064 224408 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 225459 224408 136 292 0 225164 0 Current children cumulated CPU time (s) 1541.72 Current children cumulated vsize (KiB) 901836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=876328/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=929504 CPUtime=1601.69 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 236599 0 0 0 159976 193 0 0 25 0 1 0 188095226 951812096 231320 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 232376 231320 136 292 0 232081 0 Current children cumulated CPU time (s) 1601.69 Current children cumulated vsize (KiB) 929504 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=842664/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=962700 CPUtime=1661.68 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 244919 0 0 0 165968 200 0 0 25 0 1 0 188095226 985804800 239640 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 240675 239640 136 292 0 240380 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 962700 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=810856/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=994760 CPUtime=1721.65 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 252925 0 0 0 171958 207 0 0 25 0 1 0 188095226 1018634240 247646 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 248690 247646 136 292 0 248395 0 Current children cumulated CPU time (s) 1721.65 Current children cumulated vsize (KiB) 994760 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=780264/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=1025296 CPUtime=1781.62 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 260507 0 0 0 177946 216 0 0 25 0 1 0 188095226 1049903104 255228 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 256324 255228 136 292 0 256029 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (KiB) 1025296 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=770408/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=1034916 CPUtime=1800.03 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4194304 262918 0 0 0 179784 219 0 0 25 0 1 0 188095226 1059753984 257639 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 258729 257639 136 292 0 258434 0 Current children cumulated CPU time (s) 1800.03 Current children cumulated vsize (KiB) 1034916 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/65 5266 /proc/meminfo: memFree=770408/2055920 swapFree=4191896/4192956 [pid=5265] ppid=5263 vsize=0 CPUtime=1800.12 /proc/5265/stat : 5265 (wbo) R 5263 5265 4691 0 -1 4195332 262918 0 0 0 179784 228 0 0 25 0 1 0 188095226 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/5265/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.12 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.86 CPU time (s): 1800.19 CPU user time (s): 1797.85 CPU system time (s): 2.34164 CPU usage (%): 99.9628 Max. virtual memory (cumulated for all children) (KiB): 1034916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.85 system time used= 2.34164 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 262918 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= 2 involuntary context switches= 5058 runsolver used 1.62275 second user time and 4.93825 second system time The end
Begin job on node2 at 2009-06-17 04:15:38 IDJOB=1875385 IDBENCH=48225 IDSOLVER=698 FILE ID=node2/1875385-1245204938 PBS_JOBID= 9368358 Free space on /tmp= 66448 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_1000_60_3.opb COMMAND LINE= wbo -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1875385-1245204938/watcher-1875385-1245204938 -o /tmp/evaluation-result-1875385-1245204938/solver-1875385-1245204938 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875385-1245204938.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= e05fbfdce4433b0b2590ec382b530cec RANDOM SEED=1551435429 node2.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.214 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1808128 kB Buffers: 53756 kB Cached: 122716 kB SwapCached: 260 kB Active: 83276 kB Inactive: 106476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808128 kB SwapTotal: 4192956 kB SwapFree: 4191896 kB Dirty: 4484 kB Writeback: 0 kB Mapped: 21784 kB Slab: 43956 kB Committed_AS: 206196 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875385-1245204938.opb Free space on /tmp at the end= 66440 MiB End job on node2 at 2009-06-17 04:45:45