Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.29 | 1801.05 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_2.opb |
MD5SUM | 493eec42e81abed935f584a4e365015a |
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 | -58 |
Best CPU time to get the best result obtained on this benchmark | 1800.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -84 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1501 |
Number of constraints which are clauses | 500 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1001 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 1000 |
Number of terms in the objective function | 500 |
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 | 500 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31340 |
Sum of products size (including duplicates) | 62680 |
Number of different products | 15670 |
Sum of products size | 31340 |
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-1875395-1245206454.opb. 0.00/0.00 c Instance file HOME/instance-1875395-1245206454.opb 0.00/0.00 c File size is 1383772 bytes. 0.19/0.20 c Highest Coefficient sum: 1000 0.19/0.20 c ============================[ Problem Statistics ]============================= 0.19/0.20 c | | 0.19/0.20 c | Parsing time: 0.20 s | 0.19/0.20 c | Number Variables: 16670 | 0.19/0.20 c | Number Clauses: 16670 | 0.19/0.20 c | Number Cardinality: 1002 | 0.19/0.20 c | Number PB Constraints: 15670 | 0.19/0.21 c core #1 0.19/0.21 c Core size: 1001 Core Weight: 1 Total Weight: -499 0.19/0.21 c Elapsed CPU time: 0.197969 s Remaining CPU time: 1799.8 s 0.19/0.27 c ============================[ Search Statistics ]============================== 0.19/0.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 17170 33343 129860 | 11114 0 nan | 0.000 % | 0.59/0.61 c | 100 | 17170 33343 129860 | 12225 100 239 | 0.524 % | 0.89/0.96 c | 250 | 17169 33343 129860 | 13448 250 297 | 0.693 % | 1.79/1.80 c | 475 | 15251 33343 129860 | 14793 352 258 | 11.841 % | 2.08/2.14 c =============================================================================== 2.08/2.16 c core #2 2.08/2.16 c Core size: 1307 Core Weight: 1 Total Weight: -498 2.08/2.16 c Elapsed CPU time: 2.13167 s Remaining CPU time: 1797.87 s 2.19/2.24 c Learning 76 hard constraints 2.19/2.24 c ============================[ Search Statistics ]============================== 2.19/2.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.24 c =============================================================================== 2.19/2.24 c | 0 | 17531 33420 131307 | 11140 0 nan | 0.000 % | 2.49/2.59 c | 100 | 17531 33420 131307 | 12254 100 408 | 0.000 % | 2.99/3.09 c | 250 | 17531 33420 131307 | 13479 250 376 | 0.000 % | 3.59/3.69 c | 476 | 17531 33420 131307 | 14827 476 369 | 0.000 % | 4.59/4.60 c | 813 | 17531 33420 131307 | 16310 813 343 | 0.000 % | 5.98/6.09 c | 1319 | 17531 33420 131307 | 17941 1319 340 | 0.001 % | 8.48/8.55 c | 2079 | 17531 33420 131307 | 19735 2079 350 | 0.000 % | 12.59/12.65 c | 3218 | 17531 33420 131307 | 21708 3218 373 | 0.000 % | 18.79/18.86 c | 4926 | 17531 33420 131307 | 23879 4926 383 | 0.000 % | 27.48/27.51 c | 7489 | 17494 33420 131307 | 26267 7464 387 | 0.439 % | 41.67/41.75 c | 11333 | 17316 33420 131307 | 28894 10619 396 | 6.640 % | 61.97/62.02 c | 17101 | 15601 33420 131307 | 31783 14809 419 | 13.331 % | 83.66/83.73 c =============================================================================== 84.76/84.81 c core #3 84.76/84.81 c Core size: 2489 Core Weight: 1 Total Weight: -497 84.76/84.81 c Elapsed CPU time: 84.5102 s Remaining CPU time: 1715.49 s 84.86/84.92 c Learning 300 hard constraints 84.86/84.92 c ============================[ Search Statistics ]============================== 84.86/84.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 84.86/84.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 84.86/84.92 c =============================================================================== 84.86/84.92 c | 0 | 18031 33721 159031 | 11240 0 nan | 0.000 % | 85.36/85.49 c | 100 | 18031 33721 159031 | 12364 100 734 | 0.000 % | 86.06/86.13 c | 250 | 18031 33721 159031 | 13600 250 588 | 0.000 % | 87.26/87.34 c | 475 | 18031 33721 159031 | 14960 475 474 | 0.000 % | 88.56/88.66 c | 812 | 18031 33721 159031 | 16456 812 446 | 0.000 % | 90.26/90.36 c | 1318 | 18031 33721 159031 | 18102 1318 442 | 0.000 % | 93.66/93.79 c | 2195 | 18031 33721 159031 | 19912 2195 444 | 0.000 % | 97.95/98.04 c | 3334 | 18031 33721 159031 | 21904 3334 432 | 0.000 % | 103.14/103.21 c | 5042 | 18031 33721 159031 | 24094 5042 441 | 0.000 % | 112.75/112.88 c | 7604 | 18031 33721 159031 | 26504 7604 461 | 0.000 % | 127.54/127.61 c | 11466 | 18030 33721 159031 | 29154 11465 460 | 0.006 % | 149.64/149.76 c | 17232 | 18030 33721 159031 | 32069 17231 497 | 0.006 % | 184.50/184.63 c | 25881 | 18030 33721 159031 | 35276 25880 520 | 0.006 % | 247.07/247.29 c | 38954 | 18030 33721 159031 | 38804 15629 509 | 0.006 % | 327.64/327.83 c | 58415 | 18030 33721 159031 | 42685 35090 544 | 0.006 % | 439.91/440.18 c | 87607 | 18030 33721 159031 | 46953 24986 620 | 0.006 % | 628.02/628.33 c | 131396 | 18030 33721 159031 | 51649 33048 575 | 0.007 % | 950.79/951.28 c | 197090 | 18030 33721 159031 | 56813 50818 631 | 0.006 % | 1435.39/1436.00 c | 295641 | 17997 33721 159031 | 62495 33065 561 | 0.189 % |
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-1875395-1245206454/watcher-1875395-1245206454 -o /tmp/evaluation-result-1875395-1245206454/solver-1875395-1245206454 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875395-1245206454.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: 0.99 0.98 0.99 2/64 7954 /proc/meminfo: memFree=1830688/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=3888 CPUtime=0 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 188246430 3981312 188 1992294400 134512640 135709839 4294956240 18446744073709551615 134570352 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 972 189 123 292 0 339 0 [startup+0.100317 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7954 /proc/meminfo: memFree=1830688/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=7640 CPUtime=0.09 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 1209 0 0 0 9 0 0 0 18 0 1 0 188246430 7823360 1193 1992294400 134512640 135709839 4294956240 18446744073709551615 134542934 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 1910 1193 256 292 0 1277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7640 [startup+0.202327 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7954 /proc/meminfo: memFree=1830688/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=9060 CPUtime=0.19 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 1742 0 0 0 19 0 0 0 18 0 1 0 188246430 9277440 1726 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 2265 1726 449 292 0 1632 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 9060 [startup+0.302336 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7954 /proc/meminfo: memFree=1830688/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=12928 CPUtime=0.29 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 3350 0 0 0 28 1 0 0 19 0 1 0 188246430 13238272 2701 1992294400 134512640 135709839 4294956240 18446744073709551615 135182879 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 3232 2701 135 292 0 2937 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12928 [startup+0.701373 s] /proc/loadavg: 0.99 0.98 0.99 2/64 7954 /proc/meminfo: memFree=1830688/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=13072 CPUtime=0.69 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 3390 0 0 0 68 1 0 0 23 0 1 0 188246430 13385728 2741 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 3268 2741 136 292 0 2973 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13072 [startup+1.50145 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1819352/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=13996 CPUtime=1.48 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 3621 0 0 0 147 1 0 0 25 0 1 0 188246430 14331904 2972 1992294400 134512640 135709839 4294956240 18446744073709551615 134582682 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 3499 2972 136 292 0 3204 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 13996 [startup+3.1016 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1815384/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=17400 CPUtime=3.09 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 4757 0 0 0 306 3 0 0 25 0 1 0 188246430 17817600 3839 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 4350 3839 136 292 0 4055 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17400 [startup+6.30189 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1813016/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=20836 CPUtime=6.29 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 5596 0 0 0 624 5 0 0 25 0 1 0 188246430 21336064 4678 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 5209 4678 136 292 0 4914 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20836 [startup+12.7015 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1804696/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=28892 CPUtime=12.69 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 7618 0 0 0 1262 7 0 0 25 0 1 0 188246430 29585408 6700 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 7223 6700 136 292 0 6928 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 28892 [startup+25.5057 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1788696/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=44492 CPUtime=25.48 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 11528 0 0 0 2539 9 0 0 25 0 1 0 188246430 45559808 10610 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 11123 10610 136 292 0 10828 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 44492 [startup+51.101 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1758936/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=74600 CPUtime=51.07 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 19052 0 0 0 5091 16 0 0 25 0 1 0 188246430 76390400 18134 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 18650 18134 136 292 0 18355 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 74600 [startup+102.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1719256/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=113596 CPUtime=102.25 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 28768 0 0 0 10194 31 0 0 25 0 1 0 188246430 116322304 27850 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 28399 27850 136 292 0 28104 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 113596 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1719128/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=113596 CPUtime=162.23 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 28807 0 0 0 16184 39 0 0 25 0 1 0 188246430 116322304 27889 1992294400 134512640 135709839 4294956240 18446744073709551615 134577399 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 28399 27889 136 292 0 28104 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 113596 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1663960/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=168612 CPUtime=222.19 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 42565 0 0 0 22166 53 0 0 25 0 1 0 188246430 172658688 41647 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 42153 41647 136 292 0 41858 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 168612 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1608472/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=224964 CPUtime=282.16 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 56633 0 0 0 28146 70 0 0 25 0 1 0 188246430 230363136 55715 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 56241 55715 136 292 0 55946 0 Current children cumulated CPU time (s) 282.16 Current children cumulated vsize (KiB) 224964 [startup+342.307 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1544920/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=287468 CPUtime=342.14 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 72265 0 0 0 34129 85 0 0 25 0 1 0 188246430 294367232 71347 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 71867 71347 136 292 0 71572 0 Current children cumulated CPU time (s) 342.14 Current children cumulated vsize (KiB) 287468 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1480344/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=352996 CPUtime=402.11 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 88643 0 0 0 40112 99 0 0 25 0 1 0 188246430 361467904 87725 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 88249 87725 136 292 0 87954 0 Current children cumulated CPU time (s) 402.11 Current children cumulated vsize (KiB) 352996 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1411416/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=421224 CPUtime=462.08 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 105672 0 0 0 46090 118 0 0 25 0 1 0 188246430 431333376 104754 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 105306 104754 136 292 0 105011 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 421224 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1354072/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=478584 CPUtime=522.06 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 120032 0 0 0 52073 133 0 0 25 0 1 0 188246430 490070016 119114 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 119646 119114 136 292 0 119351 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 478584 [startup+582.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7955 /proc/meminfo: memFree=1290648/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=541480 CPUtime=582.03 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 135748 0 0 0 58052 151 0 0 25 0 1 0 188246430 554475520 134830 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 135370 134830 136 292 0 135075 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 541480 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7957 /proc/meminfo: memFree=1239512/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=592844 CPUtime=642.01 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 148594 0 0 0 64034 167 0 0 25 0 1 0 188246430 607072256 147676 1992294400 134512640 135709839 4294956240 18446744073709551615 134518608 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 148211 147676 136 292 0 147916 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 592844 [startup+702.301 s] ################ # More data... # ################ [startup+882.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7957 /proc/meminfo: memFree=1013080/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=818408 CPUtime=881.92 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 204964 0 0 0 87961 231 0 0 25 0 1 0 188246430 838049792 204046 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 204602 204046 136 292 0 204307 0 Current children cumulated CPU time (s) 881.92 Current children cumulated vsize (KiB) 818408 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7957 /proc/meminfo: memFree=954264/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=877376 CPUtime=941.89 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 219728 0 0 0 93945 244 0 0 25 0 1 0 188246430 898433024 218810 1992294400 134512640 135709839 4294956240 18446744073709551615 134573919 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 219344 218810 136 292 0 219049 0 Current children cumulated CPU time (s) 941.89 Current children cumulated vsize (KiB) 877376 [startup+1002.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7957 /proc/meminfo: memFree=898712/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=932624 CPUtime=1001.88 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 233499 0 0 0 99926 262 0 0 25 0 1 0 188246430 955006976 232581 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 233156 232581 136 292 0 232861 0 Current children cumulated CPU time (s) 1001.88 Current children cumulated vsize (KiB) 932624 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7957 /proc/meminfo: memFree=835160/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=996828 CPUtime=1061.85 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 249553 0 0 0 105905 280 0 0 25 0 1 0 188246430 1020751872 248635 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 249207 248635 136 292 0 248912 0 Current children cumulated CPU time (s) 1061.85 Current children cumulated vsize (KiB) 996828 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7957 /proc/meminfo: memFree=766744/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1064340 CPUtime=1121.83 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 266442 0 0 0 111890 293 0 0 25 0 1 0 188246430 1089884160 265524 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 266085 265524 136 292 0 265790 0 Current children cumulated CPU time (s) 1121.83 Current children cumulated vsize (KiB) 1064340 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7957 /proc/meminfo: memFree=717848/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1113264 CPUtime=1181.78 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 278675 0 0 0 117870 308 0 0 25 0 1 0 188246430 1139982336 277757 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 278316 277757 136 292 0 278021 0 Current children cumulated CPU time (s) 1181.78 Current children cumulated vsize (KiB) 1113264 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=661336/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1169428 CPUtime=1241.77 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 292713 0 0 0 123852 325 0 0 25 0 1 0 188246430 1197494272 291795 1992294400 134512640 135709839 4294956240 18446744073709551615 134573916 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 292357 291795 136 292 0 292062 0 Current children cumulated CPU time (s) 1241.77 Current children cumulated vsize (KiB) 1169428 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=612312/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1219020 CPUtime=1301.74 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 305114 0 0 0 129837 337 0 0 25 0 1 0 188246430 1248276480 304196 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 304755 304196 136 292 0 304460 0 Current children cumulated CPU time (s) 1301.74 Current children cumulated vsize (KiB) 1219020 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=561240/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1269264 CPUtime=1361.72 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 317662 0 0 0 135821 351 0 0 25 0 1 0 188246430 1299726336 316744 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 317316 316744 136 292 0 317021 0 Current children cumulated CPU time (s) 1361.72 Current children cumulated vsize (KiB) 1269264 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=501080/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1330184 CPUtime=1421.7 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 332879 0 0 0 141804 366 0 0 25 0 1 0 188246430 1362108416 331961 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 332546 331961 136 292 0 332251 0 Current children cumulated CPU time (s) 1421.7 Current children cumulated vsize (KiB) 1330184 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=450008/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1380868 CPUtime=1481.67 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 345566 0 0 0 147788 379 0 0 25 0 1 0 188246430 1414008832 344648 1992294400 134512640 135709839 4294956240 18446744073709551615 134572762 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 345217 344648 136 292 0 344922 0 Current children cumulated CPU time (s) 1481.67 Current children cumulated vsize (KiB) 1380868 [startup+1542.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=390296/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1439760 CPUtime=1541.65 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 360273 0 0 0 153773 392 0 0 25 0 1 0 188246430 1474314240 359355 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 359940 359355 136 292 0 359645 0 Current children cumulated CPU time (s) 1541.65 Current children cumulated vsize (KiB) 1439760 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=335960/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1494680 CPUtime=1601.63 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 373969 0 0 0 159756 407 0 0 25 0 1 0 188246430 1530552320 373051 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 373670 373051 136 292 0 373375 0 Current children cumulated CPU time (s) 1601.63 Current children cumulated vsize (KiB) 1494680 [startup+1662.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=273432/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1556624 CPUtime=1661.61 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 389457 0 0 0 165740 421 0 0 25 0 1 0 188246430 1593982976 388539 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 389156 388539 136 292 0 388861 0 Current children cumulated CPU time (s) 1661.61 Current children cumulated vsize (KiB) 1556624 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=216152/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1614488 CPUtime=1721.56 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 403906 0 0 0 171720 436 0 0 25 0 1 0 188246430 1653235712 402988 1992294400 134512640 135709839 4294956240 18446744073709551615 134572844 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 403622 402988 136 292 0 403327 0 Current children cumulated CPU time (s) 1721.56 Current children cumulated vsize (KiB) 1614488 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=163672/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1666012 CPUtime=1781.54 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 416794 0 0 0 177707 447 0 0 25 0 1 0 188246430 1705996288 415876 1992294400 134512640 135709839 4294956240 18446744073709551615 134518525 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 416503 415876 136 292 0 416208 0 Current children cumulated CPU time (s) 1781.54 Current children cumulated vsize (KiB) 1666012 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=143576/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=1685968 CPUtime=1800.04 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4194304 421796 0 0 0 179553 451 0 0 25 0 1 0 188246430 1726431232 420878 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 421492 420878 136 292 0 421197 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1685968 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7963 /proc/meminfo: memFree=143576/2055920 swapFree=4191900/4192956 [pid=7954] ppid=7952 vsize=0 CPUtime=1800.23 /proc/7954/stat : 7954 (wbo) R 7952 7954 7882 0 -1 4195332 421796 0 0 0 179553 470 0 0 25 0 1 0 188246430 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 0 0 0 /proc/7954/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.23 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.05 CPU time (s): 1800.29 CPU user time (s): 1795.54 CPU system time (s): 4.75328 CPU usage (%): 99.9579 Max. virtual memory (cumulated for all children) (KiB): 1685968 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.54 system time used= 4.75328 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 421796 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= 5986 runsolver used 1.79673 second user time and 4.76828 second system time The end
Begin job on node14 at 2009-06-17 04:40:54 IDJOB=1875395 IDBENCH=48235 IDSOLVER=698 FILE ID=node14/1875395-1245206454 PBS_JOBID= 9368370 Free space on /tmp= 66376 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_2.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-1875395-1245206454/watcher-1875395-1245206454 -o /tmp/evaluation-result-1875395-1245206454/solver-1875395-1245206454 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875395-1245206454.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 493eec42e81abed935f584a4e365015a RANDOM SEED=214813449 node14.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.234 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.234 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: 1832064 kB Buffers: 53016 kB Cached: 115372 kB SwapCached: 388 kB Active: 80328 kB Inactive: 101476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1832064 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2796 kB Writeback: 0 kB Mapped: 21800 kB Slab: 28020 kB Committed_AS: 193672 kB PageTables: 1452 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-1875395-1245206454.opb Free space on /tmp at the end= 66372 MiB End job on node14 at 2009-06-17 05:10:58