Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.29 | 1800.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_5.opb |
MD5SUM | dfd3914a8aa1cc34e3abdf0a14d8373d |
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 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -82 |
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) | 31412 |
Sum of products size (including duplicates) | 62824 |
Number of different products | 15706 |
Sum of products size | 31412 |
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-1875417-1245209312.opb. 0.00/0.00 c Instance file HOME/instance-1875417-1245209312.opb 0.00/0.00 c File size is 1386954 bytes. 0.19/0.22 c Highest Coefficient sum: 1000 0.19/0.22 c ============================[ Problem Statistics ]============================= 0.19/0.22 c | | 0.19/0.22 c | Parsing time: 0.22 s | 0.19/0.22 c | Number Variables: 16706 | 0.19/0.22 c | Number Clauses: 16706 | 0.19/0.22 c | Number Cardinality: 1002 | 0.19/0.22 c | Number PB Constraints: 15706 | 0.19/0.22 c core #1 0.19/0.22 c Core size: 1001 Core Weight: 1 Total Weight: -499 0.19/0.22 c Elapsed CPU time: 0.219966 s Remaining CPU time: 1799.78 s 0.19/0.29 c ============================[ Search Statistics ]============================== 0.19/0.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.29 c =============================================================================== 0.19/0.29 c | 0 | 17206 33415 130148 | 11138 0 nan | 0.000 % | 0.59/0.65 c | 100 | 17206 33415 130148 | 12252 100 219 | 0.448 % | 0.89/0.99 c | 250 | 17205 33415 130148 | 13477 250 290 | 0.610 % | 1.59/1.65 c | 475 | 15538 33415 130148 | 14825 384 239 | 13.094 % | 2.09/2.15 c =============================================================================== 2.09/2.17 c core #2 2.09/2.17 c Core size: 1275 Core Weight: 1 Total Weight: -498 2.09/2.17 c Elapsed CPU time: 2.14667 s Remaining CPU time: 1797.85 s 2.19/2.25 c Learning 67 hard constraints 2.19/2.25 c ============================[ Search Statistics ]============================== 2.19/2.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.19/2.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.19/2.25 c =============================================================================== 2.19/2.25 c | 0 | 17601 33483 131636 | 11161 0 nan | 0.000 % | 2.49/2.59 c | 100 | 17601 33483 131636 | 12277 100 469 | 0.000 % | 2.89/2.96 c | 250 | 17601 33483 131636 | 13504 250 292 | 0.000 % | 3.40/3.48 c | 475 | 17601 33483 131636 | 14855 475 328 | 0.000 % | 4.39/4.47 c | 813 | 17601 33483 131636 | 16340 813 312 | 0.000 % | 5.99/6.02 c | 1319 | 17601 33483 131636 | 17974 1319 326 | 0.000 % | 7.99/8.01 c | 2082 | 17564 33483 131636 | 19772 2023 341 | 0.415 % | 15.39/15.42 c | 3228 | 17562 33483 131636 | 21749 3169 340 | 0.653 % | 21.38/21.41 c | 4989 | 17486 33483 131636 | 23924 4817 359 | 0.653 % | 30.48/30.53 c | 7551 | 17446 33483 131636 | 26317 7372 360 | 1.835 % | 43.99/44.04 c | 11395 | 17114 33483 131636 | 28948 10819 392 | 5.664 % | 65.87/65.98 c | 17280 | 15669 33483 131636 | 31843 15409 431 | 19.453 % | 96.77/96.82 c | 25966 | 15630 33483 131636 | 35027 24095 437 | 24.021 % | 140.25/140.34 c | 38943 | 13255 33483 131636 | 38530 34792 453 | 39.538 % | 140.45/140.50 c =============================================================================== 141.96/142.02 c core #3 141.96/142.02 c Core size: 3071 Core Weight: 1 Total Weight: -497 141.96/142.02 c Elapsed CPU time: 141.548 s Remaining CPU time: 1658.45 s 142.06/142.15 c Learning 414 hard constraints 142.06/142.15 c ============================[ Search Statistics ]============================== 142.06/142.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 142.06/142.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 142.06/142.15 c =============================================================================== 142.06/142.15 c | 0 | 18101 33898 149756 | 11299 0 nan | 0.000 % | 142.56/142.67 c | 100 | 18101 33898 149756 | 12429 100 686 | 0.000 % | 143.15/143.22 c | 250 | 18101 33898 149756 | 13672 250 398 | 0.000 % | 144.26/144.33 c | 543 | 18101 33898 149756 | 15039 543 393 | 0.000 % | 145.75/145.85 c | 880 | 18101 33898 149756 | 16543 880 387 | 0.000 % | 147.95/148.09 c | 1386 | 18101 33898 149756 | 18197 1386 377 | 0.000 % | 151.15/151.23 c | 2145 | 18101 33898 149756 | 20017 2145 391 | 0.000 % | 155.55/155.66 c | 3284 | 18101 33898 149756 | 22019 3284 416 | 0.000 % | 162.55/162.61 c | 5122 | 18101 33898 149756 | 24221 5122 424 | 0.000 % | 173.44/173.59 c | 7883 | 18101 33898 149756 | 26643 7883 446 | 0.000 % | 189.34/189.46 c | 11727 | 18101 33898 149756 | 29307 11727 469 | 0.000 % | 214.33/214.45 c | 17493 | 18101 33898 149756 | 32238 17493 502 | 0.000 % | 256.73/256.85 c | 26142 | 18101 33898 149756 | 35462 26142 516 | 0.000 % | 330.11/330.23 c | 39132 | 18101 33898 149756 | 39008 15205 523 | 0.000 % | 430.09/430.29 c | 58677 | 18101 33898 149756 | 42909 34750 550 | 0.000 % | 571.75/571.90 c | 87869 | 18101 33898 149756 | 47200 33871 593 | 0.000 % | 790.09/790.39 c | 131700 | 18101 33898 149756 | 51920 35466 623 | 0.000 % | 1140.01/1140.32 c | 197384 | 18101 33898 149756 | 57112 52891 717 | 0.000 % | 1687.16/1687.65 c | 295955 | 18099 33898 149756 | 62823 56214 610 | 0.011 % |
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-1875417-1245209312/watcher-1875417-1245209312 -o /tmp/evaluation-result-1875417-1245209312/solver-1875417-1245209312 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875417-1245209312.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.92 0.98 0.99 3/64 7817 /proc/meminfo: memFree=1609256/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=4216 CPUtime=0 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 280 0 0 0 0 0 0 0 18 0 1 0 188530993 4317184 264 1992294400 134512640 135709839 4294956240 18446744073709551615 134570700 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 1054 264 126 292 0 420 0 [startup+0.102385 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7817 /proc/meminfo: memFree=1609256/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=7612 CPUtime=0.09 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 1188 0 0 0 9 0 0 0 18 0 1 0 188530993 7794688 1172 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 1903 1172 249 292 0 1269 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7612 [startup+0.201395 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7817 /proc/meminfo: memFree=1609256/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=8936 CPUtime=0.19 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 1678 0 0 0 19 0 0 0 18 0 1 0 188530993 9150464 1662 1992294400 134512640 135709839 4294956240 18446744073709551615 134605451 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 2234 1662 423 292 0 1600 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8936 [startup+0.301405 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7817 /proc/meminfo: memFree=1609256/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=12940 CPUtime=0.29 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 3354 0 0 0 29 0 0 0 19 0 1 0 188530993 13250560 2704 1992294400 134512640 135709839 4294956240 18446744073709551615 134518529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 3235 2704 134 292 0 2940 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12940 [startup+0.701445 s] /proc/loadavg: 0.92 0.98 0.99 3/64 7817 /proc/meminfo: memFree=1609256/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=13072 CPUtime=0.69 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 3377 0 0 0 69 0 0 0 23 0 1 0 188530993 13385728 2727 1992294400 134512640 135709839 4294956240 18446744073709551615 134518593 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 3268 2727 136 292 0 2973 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13072 [startup+1.50153 s] /proc/loadavg: 0.92 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1598176/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=13996 CPUtime=1.49 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 3614 0 0 0 148 1 0 0 25 0 1 0 188530993 14331904 2964 1992294400 134512640 135709839 4294956240 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 3499 2964 136 292 0 3204 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 13996 [startup+3.10169 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1594784/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=17544 CPUtime=3.09 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 4812 0 0 0 306 3 0 0 25 0 1 0 188530993 17965056 3893 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 4386 3893 136 292 0 4091 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17544 [startup+6.30201 s] /proc/loadavg: 0.93 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1592160/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=20448 CPUtime=6.29 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 5538 0 0 0 625 4 0 0 25 0 1 0 188530993 20938752 4619 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 5112 4619 136 292 0 4817 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20448 [startup+12.7017 s] /proc/loadavg: 0.94 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1584176/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=27716 CPUtime=12.69 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 7336 0 0 0 1263 6 0 0 25 0 1 0 188530993 28381184 6417 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 6929 6417 136 292 0 6634 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 27716 [startup+25.502 s] /proc/loadavg: 0.95 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1571696/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=40136 CPUtime=25.48 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 10438 0 0 0 2538 10 0 0 25 0 1 0 188530993 41099264 9519 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 10034 9519 136 292 0 9739 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 40136 [startup+51.1016 s] /proc/loadavg: 0.96 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1543728/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=68308 CPUtime=51.08 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 17498 0 0 0 5090 18 0 0 25 0 1 0 188530993 69947392 16579 1992294400 134512640 135709839 4294956240 18446744073709551615 134578355 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 17077 16579 136 292 0 16782 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 68308 [startup+102.302 s] /proc/loadavg: 0.98 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1489520/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=121908 CPUtime=102.27 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 30882 0 0 0 10195 32 0 0 25 0 1 0 188530993 124833792 29963 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 30477 29963 136 292 0 30182 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 121908 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1444080/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=167340 CPUtime=162.25 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 42215 0 0 0 16176 49 0 0 25 0 1 0 188530993 171356160 41296 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 41835 41296 136 292 0 41540 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 167340 [startup+222.306 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1443952/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=167340 CPUtime=222.24 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 42238 0 0 0 22164 60 0 0 25 0 1 0 188530993 171356160 41319 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 41835 41319 136 292 0 41540 0 Current children cumulated CPU time (s) 222.24 Current children cumulated vsize (KiB) 167340 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1443888/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=167340 CPUtime=282.22 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 42241 0 0 0 28155 67 0 0 25 0 1 0 188530993 171356160 41322 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 41835 41322 136 292 0 41540 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 167340 [startup+342.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1398576/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=212812 CPUtime=342.2 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 53618 0 0 0 34139 81 0 0 25 0 1 0 188530993 217919488 52699 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 53203 52699 136 292 0 52908 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 212812 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1347248/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=264748 CPUtime=402.19 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 66577 0 0 0 40125 94 0 0 25 0 1 0 188530993 271101952 65658 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 66187 65658 136 292 0 65892 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 264748 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1291376/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=319880 CPUtime=462.17 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 80379 0 0 0 46107 110 0 0 25 0 1 0 188530993 327557120 79460 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 79970 79460 136 292 0 79675 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 319880 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1230000/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=381872 CPUtime=522.15 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 95843 0 0 0 52088 127 0 0 25 0 1 0 188530993 391036928 94924 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 95468 94924 136 292 0 95173 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 381872 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1170544/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=440280 CPUtime=582.14 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 110446 0 0 0 58072 142 0 0 25 0 1 0 188530993 450846720 109527 1992294400 134512640 135709839 4294956240 18446744073709551615 134577786 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 110070 109527 136 292 0 109775 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 440280 [startup+642.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=1114672/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=496764 CPUtime=642.13 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 124572 0 0 0 64059 154 0 0 25 0 1 0 188530993 508686336 123653 1992294400 134512640 135709839 4294956240 18446744073709551615 134573956 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 124191 123653 136 292 0 123896 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 496764 [startup+702.302 s] ################ # More data... # ################ [startup+882.307 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=891888/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=718456 CPUtime=882.07 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 179981 0 0 0 87992 215 0 0 25 0 1 0 188530993 735698944 179062 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 179614 179062 136 292 0 179319 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 718456 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=841648/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=769220 CPUtime=942.05 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 192636 0 0 0 93978 227 0 0 25 0 1 0 188530993 787681280 191717 1992294400 134512640 135709839 4294956240 18446744073709551615 134577496 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 192305 191717 136 292 0 192010 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 769220 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=779504/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=830928 CPUtime=1002.03 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 208053 0 0 0 99961 242 0 0 25 0 1 0 188530993 850870272 207134 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 207732 207134 136 292 0 207437 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 830928 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=717168/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=893480 CPUtime=1062.02 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 223707 0 0 0 105945 257 0 0 25 0 1 0 188530993 914923520 222788 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 223370 222788 136 292 0 223075 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 893480 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=663728/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=946352 CPUtime=1122 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 236910 0 0 0 111933 267 0 0 25 0 1 0 188530993 969064448 235991 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 236588 235991 136 292 0 236293 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 946352 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=614256/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=996516 CPUtime=1181.99 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 249424 0 0 0 117919 280 0 0 25 0 1 0 188530993 1020432384 248505 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 249129 248505 136 292 0 248834 0 Current children cumulated CPU time (s) 1181.99 Current children cumulated vsize (KiB) 996516 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=561520/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1048416 CPUtime=1241.98 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 262425 0 0 0 123905 293 0 0 25 0 1 0 188530993 1073577984 261506 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 262104 261506 136 292 0 261809 0 Current children cumulated CPU time (s) 1241.98 Current children cumulated vsize (KiB) 1048416 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=506608/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1103908 CPUtime=1301.96 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 276282 0 0 0 129891 305 0 0 25 0 1 0 188530993 1130401792 275363 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 275977 275363 136 292 0 275682 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 1103908 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7818 /proc/meminfo: memFree=458544/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1151220 CPUtime=1361.95 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 288113 0 0 0 135874 321 0 0 25 0 1 0 188530993 1178849280 287194 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 287805 287194 136 292 0 287510 0 Current children cumulated CPU time (s) 1361.95 Current children cumulated vsize (KiB) 1151220 [startup+1422.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=402736/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1206596 CPUtime=1421.93 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 301940 0 0 0 141857 336 0 0 25 0 1 0 188530993 1235554304 301021 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 301649 301021 136 292 0 301354 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 1206596 [startup+1482.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=355952/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1253636 CPUtime=1481.92 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 313694 0 0 0 147842 350 0 0 25 0 1 0 188530993 1283723264 312775 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 313409 312775 136 292 0 313114 0 Current children cumulated CPU time (s) 1481.92 Current children cumulated vsize (KiB) 1253636 [startup+1542.31 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=297264/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1311908 CPUtime=1541.9 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 328280 0 0 0 153826 364 0 0 25 0 1 0 188530993 1343393792 327361 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 327977 327361 136 292 0 327682 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 1311908 [startup+1602.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=242288/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1367260 CPUtime=1601.89 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 342097 0 0 0 159811 378 0 0 25 0 1 0 188530993 1400074240 341178 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 341815 341178 136 292 0 341520 0 Current children cumulated CPU time (s) 1601.89 Current children cumulated vsize (KiB) 1367260 [startup+1662.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=182960/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1426156 CPUtime=1661.87 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 356839 0 0 0 165795 392 0 0 25 0 1 0 188530993 1460383744 355920 1992294400 134512640 135709839 4294956240 18446744073709551615 134578410 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 356539 355920 136 292 0 356244 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 1426156 [startup+1722.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=136048/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1473320 CPUtime=1721.85 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 368612 0 0 0 171782 403 0 0 25 0 1 0 188530993 1508679680 367693 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 368330 367693 136 292 0 368035 0 Current children cumulated CPU time (s) 1721.85 Current children cumulated vsize (KiB) 1473320 [startup+1782.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=73584/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1535540 CPUtime=1781.84 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 384184 0 0 0 177765 419 0 0 25 0 1 0 188530993 1572392960 383265 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 383885 383265 136 292 0 383590 0 Current children cumulated CPU time (s) 1781.84 Current children cumulated vsize (KiB) 1535540 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.98 0.99 2/65 7820 /proc/meminfo: memFree=54192/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=1554572 CPUtime=1800.04 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4194304 388918 0 0 0 179580 424 0 0 25 0 1 0 188530993 1591881728 387999 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 388643 387999 136 292 0 388348 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1554572 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.7 s] /proc/loadavg: 0.99 0.98 0.99 2/66 7821 /proc/meminfo: memFree=1327400/2055920 swapFree=4192812/4192956 [pid=7817] ppid=7815 vsize=0 CPUtime=1800.24 /proc/7817/stat : 7817 (wbo) R 7815 7817 6958 0 -1 4195332 388918 0 0 0 179580 444 0 0 25 0 1 0 188530993 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/7817/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.24 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.29 CPU user time (s): 1795.81 CPU system time (s): 4.48132 CPU usage (%): 99.9747 Max. virtual memory (cumulated for all children) (KiB): 1554572 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.81 system time used= 4.48132 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 388918 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= 1959 runsolver used 1.52877 second user time and 5.03323 second system time The end
Begin job on node27 at 2009-06-17 05:28:32 IDJOB=1875417 IDBENCH=48257 IDSOLVER=698 FILE ID=node27/1875417-1245209312 PBS_JOBID= 9368347 Free space on /tmp= 66288 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_5.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-1875417-1245209312/watcher-1875417-1245209312 -o /tmp/evaluation-result-1875417-1245209312/solver-1875417-1245209312 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875417-1245209312.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= dfd3914a8aa1cc34e3abdf0a14d8373d RANDOM SEED=566167775 node27.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 : 2800.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 : 5521.40 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 : 2800.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: 1610696 kB Buffers: 72244 kB Cached: 279520 kB SwapCached: 0 kB Active: 97976 kB Inactive: 268268 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1610696 kB SwapTotal: 4192956 kB SwapFree: 4192812 kB Dirty: 2800 kB Writeback: 0 kB Mapped: 24228 kB Slab: 64896 kB Committed_AS: 185568 kB PageTables: 1376 kB VmallocTotal: 536870911 kB VmallocUsed: 264948 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1875417-1245209312.opb Free space on /tmp at the end= 66284 MiB End job on node27 at 2009-06-17 05:58:36