Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.32 | 1800.86 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_25_4.opb |
MD5SUM | de244e44f140b74baa9d32bfcc24f10d |
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 | -59 |
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 | -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) | 31508 |
Sum of products size (including duplicates) | 63016 |
Number of different products | 15754 |
Sum of products size | 31508 |
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-1875432-1245211247.opb. 0.00/0.00 c Instance file HOME/instance-1875432-1245211247.opb 0.00/0.00 c File size is 1391216 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: 16754 | 0.19/0.22 c | Number Clauses: 16754 | 0.19/0.22 c | Number Cardinality: 1002 | 0.19/0.22 c | Number PB Constraints: 15754 | 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.218966 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 | 17254 33511 130532 | 11170 0 nan | 0.000 % | 0.59/0.62 c | 100 | 17254 33511 130532 | 12287 100 267 | 0.481 % | 1.00/1.06 c | 250 | 17254 33511 130532 | 13516 250 272 | 1.003 % | 1.89/1.92 c | 475 | 16460 33511 130532 | 14867 436 234 | 6.462 % | 2.69/2.74 c =============================================================================== 2.69/2.76 c core #2 2.69/2.76 c Core size: 1314 Core Weight: 1 Total Weight: -498 2.69/2.76 c Elapsed CPU time: 2.72758 s Remaining CPU time: 1797.27 s 2.79/2.84 c Learning 66 hard constraints 2.79/2.84 c ============================[ Search Statistics ]============================== 2.79/2.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.79/2.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 2.79/2.84 c =============================================================================== 2.79/2.84 c | 0 | 17630 33578 131482 | 11192 0 nan | 0.000 % | 3.09/3.18 c | 100 | 17630 33578 131482 | 12311 100 435 | 0.000 % | 3.39/3.49 c | 250 | 17630 33578 131482 | 13543 250 269 | 0.000 % | 3.89/3.95 c | 475 | 17630 33578 131482 | 14897 475 317 | 0.000 % | 4.79/4.82 c | 812 | 17630 33578 131482 | 16387 812 288 | 0.000 % | 6.19/6.23 c | 1318 | 17630 33578 131482 | 18025 1318 306 | 0.000 % | 8.99/9.09 c | 2125 | 17630 33578 131482 | 19828 2125 330 | 0.000 % | 13.38/13.42 c | 3319 | 17630 33578 131482 | 21811 3319 354 | 0.000 % | 19.48/19.57 c | 5027 | 17562 33578 131482 | 23992 4953 365 | 1.327 % | 29.18/29.22 c | 7589 | 17365 33578 131482 | 26391 6930 377 | 2.014 % | 44.68/44.71 c | 11455 | 17025 33578 131482 | 29030 10029 396 | 5.480 % | 66.86/66.98 c | 17221 | 15265 33578 131482 | 31933 13573 436 | 17.425 % | 98.36/98.41 c | 25870 | 12929 33578 131482 | 35127 20206 450 | 31.424 % | 122.94/123.05 c =============================================================================== 124.45/124.58 c core #3 124.45/124.58 c Core size: 2624 Core Weight: 1 Total Weight: -497 124.45/124.58 c Elapsed CPU time: 124.112 s Remaining CPU time: 1675.89 s 124.65/124.71 c Learning 234 hard constraints 124.65/124.71 c ============================[ Search Statistics ]============================== 124.65/124.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 124.65/124.71 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 124.65/124.71 c =============================================================================== 124.65/124.71 c | 0 | 18127 33813 148568 | 11271 0 nan | 0.000 % | 125.45/125.56 c | 146 | 18127 33813 148568 | 12398 146 763 | 0.000 % | 126.15/126.25 c | 298 | 18127 33813 148568 | 13637 298 596 | 0.000 % | 127.45/127.54 c | 523 | 18127 33813 148568 | 15001 523 524 | 0.000 % | 128.65/128.72 c | 860 | 18127 33813 148568 | 16501 860 484 | 0.000 % | 130.95/131.08 c | 1366 | 18127 33813 148568 | 18152 1366 455 | 0.000 % | 133.94/134.05 c | 2125 | 18127 33813 148568 | 19967 2125 449 | 0.000 % | 138.55/138.69 c | 3264 | 18127 33813 148568 | 21963 3264 432 | 0.000 % | 145.24/145.38 c | 4972 | 18127 33813 148568 | 24160 4972 445 | 0.000 % | 155.54/155.61 c | 7534 | 18126 33813 148568 | 26576 7533 452 | 0.006 % | 170.54/170.64 c | 11465 | 18126 33813 148568 | 29234 11464 478 | 0.006 % | 197.83/197.96 c | 17256 | 18126 33813 148568 | 32157 17255 533 | 0.006 % | 242.51/242.69 c | 25908 | 18126 33813 148568 | 35373 25907 545 | 0.006 % | 311.99/312.11 c | 38935 | 18126 33813 148568 | 38910 15546 511 | 0.006 % | 405.57/405.73 c | 58398 | 18126 33813 148568 | 42801 35009 551 | 0.006 % | 513.33/513.51 c | 87593 | 18126 33813 148568 | 47081 31434 620 | 0.006 % | 711.27/711.59 c | 131382 | 18126 33813 148568 | 51789 40340 651 | 0.006 % | 1031.88/1032.26 c | 197067 | 18126 33813 148568 | 56968 19301 460 | 0.006 % | 1520.04/1520.59 c | 295675 | 18098 33813 148568 | 62665 27217 678 | 0.160 % |
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-1875432-1245211247/watcher-1875432-1245211247 -o /tmp/evaluation-result-1875432-1245211247/solver-1875432-1245211247 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875432-1245211247.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 3/64 15018 /proc/meminfo: memFree=1821304/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=4216 CPUtime=0 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 259 0 0 0 0 0 0 0 18 0 1 0 73827654 4317184 243 1992294400 134512640 135709839 4294956240 18446744073709551615 135190367 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 1054 251 125 292 0 419 0 [startup+0.0292809 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15018 /proc/meminfo: memFree=1821304/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=5904 CPUtime=0.02 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 700 0 0 0 2 0 0 0 18 0 1 0 73827654 6045696 684 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 1476 686 154 292 0 841 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 5904 [startup+0.102289 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15018 /proc/meminfo: memFree=1821304/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=7648 CPUtime=0.09 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 1199 0 0 0 9 0 0 0 18 0 1 0 73827654 7831552 1183 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 1912 1184 252 292 0 1277 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7648 [startup+0.301312 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15018 /proc/meminfo: memFree=1821304/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=12952 CPUtime=0.29 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 3365 0 0 0 28 1 0 0 19 0 1 0 73827654 13262848 2712 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 3238 2712 134 292 0 2943 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 12952 [startup+0.702358 s] /proc/loadavg: 0.99 0.98 0.99 3/64 15018 /proc/meminfo: memFree=1821304/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=12952 CPUtime=0.69 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 3376 0 0 0 68 1 0 0 22 0 1 0 73827654 13262848 2723 1992294400 134512640 135709839 4294956240 18446744073709551615 134577653 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 3238 2723 136 292 0 2943 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12952 [startup+1.50145 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15019 /proc/meminfo: memFree=1810480/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=14008 CPUtime=1.49 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 3639 0 0 0 148 1 0 0 25 0 1 0 73827654 14344192 2986 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 3502 2986 136 292 0 3207 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14008 [startup+3.10163 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15019 /proc/meminfo: memFree=1809264/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=17972 CPUtime=3.09 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 4927 0 0 0 305 4 0 0 25 0 1 0 73827654 18403328 4003 1992294400 134512640 135709839 4294956240 18446744073709551615 134577692 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 4493 4003 136 292 0 4198 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17972 [startup+6.30201 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15019 /proc/meminfo: memFree=1804984/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=19820 CPUtime=6.29 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 5376 0 0 0 624 5 0 0 25 0 1 0 73827654 20295680 4452 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 4955 4453 136 292 0 4660 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19820 [startup+12.7018 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15019 /proc/meminfo: memFree=1796792/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=27620 CPUtime=12.68 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 7316 0 0 0 1261 7 0 0 25 0 1 0 73827654 28282880 6392 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 0 0 0 /proc/15018/statm: 6905 6392 136 292 0 6610 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 27620 [startup+25.5012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1782328/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=41520 CPUtime=25.47 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 10788 0 0 0 2535 12 0 0 25 0 1 0 73827654 42516480 9864 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 10380 9864 136 292 0 10085 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 41520 [startup+51.1012 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1756088/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=68092 CPUtime=51.07 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 17460 0 0 0 5087 20 0 0 25 0 1 0 73827654 69726208 16536 1992294400 134512640 135709839 4294956240 18446744073709551615 134573759 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 17023 16536 136 292 0 16728 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 68092 [startup+102.305 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1703224/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=120300 CPUtime=102.26 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 30491 0 0 0 10191 35 0 0 25 0 1 0 73827654 123187200 29567 1992294400 134512640 135709839 4294956240 18446744073709551615 134577720 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 30075 29567 136 292 0 29780 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 120300 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1678008/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=145404 CPUtime=162.24 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 36739 0 0 0 16173 51 0 0 25 0 1 0 73827654 148893696 35815 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 36351 35815 136 292 0 36056 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 145404 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1677944/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=145404 CPUtime=222.22 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 36755 0 0 0 22162 60 0 0 25 0 1 0 73827654 148893696 35831 1992294400 134512640 135709839 4294956240 18446744073709551615 134517505 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 36351 35831 136 292 0 36056 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 145404 [startup+282.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1642872/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=180820 CPUtime=282.2 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 45602 0 0 0 28147 73 0 0 25 0 1 0 73827654 185159680 44678 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 45205 44678 136 292 0 44910 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 180820 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1584504/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=238772 CPUtime=342.18 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 60110 0 0 0 34129 89 0 0 25 0 1 0 73827654 244502528 59186 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 59693 59186 136 292 0 59398 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 238772 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1528440/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=295504 CPUtime=402.17 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 74291 0 0 0 40113 104 0 0 25 0 1 0 73827654 302596096 73367 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 73876 73367 136 292 0 73581 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 295504 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1468984/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=354456 CPUtime=462.15 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 88993 0 0 0 46093 122 0 0 25 0 1 0 73827654 362962944 88069 1992294400 134512640 135709839 4294956240 18446744073709551615 134518144 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 88614 88069 136 292 0 88319 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 354456 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1392888/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=430824 CPUtime=522.14 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 108077 0 0 0 52074 140 0 0 25 0 1 0 73827654 441163776 107153 1992294400 134512640 135709839 4294956240 18446744073709551615 134601361 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 107706 107153 136 292 0 107411 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 430824 [startup+582.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1346872/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=476164 CPUtime=582.11 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 119438 0 0 0 58059 152 0 0 25 0 1 0 73827654 487591936 118514 1992294400 134512640 135709839 4294956240 18446744073709551615 134577667 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 119041 118514 136 292 0 118746 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 476164 [startup+642.303 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1279544/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=542916 CPUtime=642.1 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 136111 0 0 0 64039 171 0 0 25 0 1 0 73827654 555945984 135187 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 135729 135187 136 292 0 135434 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 542916 [startup+702.303 s] ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=1037304/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=784748 CPUtime=882.02 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 196588 0 0 0 87972 230 0 0 25 0 1 0 73827654 803581952 195664 1992294400 134512640 135709839 4294956240 18446744073709551615 134601448 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 196187 195664 136 292 0 195892 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 784748 [startup+942.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=984440/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=837872 CPUtime=942 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 209871 0 0 0 93953 247 0 0 25 0 1 0 73827654 857980928 208947 1992294400 134512640 135709839 4294956240 18446744073709551615 134573663 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 209468 208947 136 292 0 209173 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 837872 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=938104/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=883832 CPUtime=1001.99 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 221322 0 0 0 99935 264 0 0 25 0 1 0 73827654 905043968 220398 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 220958 220398 136 292 0 220663 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 883832 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=888824/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=933652 CPUtime=1061.97 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 233774 0 0 0 105919 278 0 0 25 0 1 0 73827654 956059648 232850 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 233413 232850 136 292 0 233118 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 933652 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=832184/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=989552 CPUtime=1121.96 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 247760 0 0 0 111899 297 0 0 25 0 1 0 73827654 1013301248 246836 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 247388 246836 136 292 0 247093 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 989552 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=771256/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1050980 CPUtime=1181.94 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 263106 0 0 0 117883 311 0 0 25 0 1 0 73827654 1076203520 262182 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 262745 262182 136 292 0 262450 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1050980 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=711224/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1110280 CPUtime=1241.92 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 277928 0 0 0 123866 326 0 0 25 0 1 0 73827654 1136926720 277004 1992294400 134512640 135709839 4294956240 18446744073709551615 134577675 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 277570 277004 136 292 0 277275 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 1110280 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=654840/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1166152 CPUtime=1301.91 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 291922 0 0 0 129848 343 0 0 25 0 1 0 73827654 1194139648 290998 1992294400 134512640 135709839 4294956240 18446744073709551615 134573815 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 291538 290998 136 292 0 291243 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 1166152 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 15025 /proc/meminfo: memFree=603320/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1218376 CPUtime=1361.88 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 304953 0 0 0 135831 357 0 0 25 0 1 0 73827654 1247617024 304029 1992294400 134512640 135709839 4294956240 18446744073709551615 134517169 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 304594 304029 136 292 0 304299 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1218376 [startup+1422.31 s] /proc/loadavg: 1.04 1.00 1.00 2/65 15025 /proc/meminfo: memFree=545336/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1275724 CPUtime=1421.88 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 319291 0 0 0 141817 371 0 0 25 0 1 0 73827654 1306341376 318367 1992294400 134512640 135709839 4294956240 18446744073709551615 134573921 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 318931 318367 136 292 0 318636 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1275724 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 1.00 2/65 15025 /proc/meminfo: memFree=490616/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1330892 CPUtime=1481.85 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 333083 0 0 0 147801 384 0 0 25 0 1 0 73827654 1362833408 332159 1992294400 134512640 135709839 4294956240 18446744073709551615 134573938 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 332723 332159 136 292 0 332428 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1330892 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 15025 /proc/meminfo: memFree=439672/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1381164 CPUtime=1541.83 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 345649 0 0 0 153785 398 0 0 25 0 1 0 73827654 1414311936 344725 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 345291 344725 136 292 0 344996 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1381164 [startup+1602.3 s] /proc/loadavg: 1.04 1.01 1.00 2/65 15025 /proc/meminfo: memFree=379704/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1441576 CPUtime=1601.82 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 360749 0 0 0 159770 412 0 0 25 0 1 0 73827654 1476173824 359825 1992294400 134512640 135709839 4294956240 18446744073709551615 134579353 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 360394 359825 136 292 0 360099 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1441576 [startup+1662.3 s] /proc/loadavg: 1.01 1.01 1.00 2/65 15025 /proc/meminfo: memFree=328696/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1492048 CPUtime=1661.8 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 373362 0 0 0 165756 424 0 0 25 0 1 0 73827654 1527857152 372438 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 373012 372438 136 292 0 372717 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1492048 [startup+1722.3 s] /proc/loadavg: 1.03 1.02 1.00 2/65 15025 /proc/meminfo: memFree=278136/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1543040 CPUtime=1721.78 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 386091 0 0 0 171741 437 0 0 25 0 1 0 73827654 1580072960 385167 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 385760 385167 136 292 0 385465 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1543040 [startup+1782.3 s] /proc/loadavg: 1.08 1.03 1.00 2/65 15025 /proc/meminfo: memFree=224504/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1596164 CPUtime=1781.76 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 399356 0 0 0 177726 450 0 0 25 0 1 0 73827654 1634471936 398432 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 399041 398432 136 292 0 398746 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1596164 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.06 1.03 1.00 2/65 15025 /proc/meminfo: memFree=207544/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=1612824 CPUtime=1800.06 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4194304 403526 0 0 0 179551 455 0 0 25 0 1 0 73827654 1651531776 402602 1992294400 134512640 135709839 4294956240 18446744073709551615 134518518 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 403206 402602 136 292 0 402911 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1612824 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.06 1.03 1.00 2/65 15025 /proc/meminfo: memFree=207544/2055920 swapFree=4191900/4192956 [pid=15018] ppid=15016 vsize=0 CPUtime=1800.26 /proc/15018/stat : 15018 (wbo) R 15016 15018 13765 0 -1 4195332 403526 0 0 0 179551 475 0 0 25 0 1 0 73827654 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/15018/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.26 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.86 CPU time (s): 1800.32 CPU user time (s): 1795.52 CPU system time (s): 4.80627 CPU usage (%): 99.9703 Max. virtual memory (cumulated for all children) (KiB): 1612824 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.52 system time used= 4.80627 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 403526 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= 2826 runsolver used 1.15782 second user time and 3.89141 second system time The end
Begin job on node20 at 2009-06-17 06:00:47 IDJOB=1875432 IDBENCH=48272 IDSOLVER=698 FILE ID=node20/1875432-1245211247 PBS_JOBID= 9368344 Free space on /tmp= 66324 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_25_4.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-1875432-1245211247/watcher-1875432-1245211247 -o /tmp/evaluation-result-1875432-1245211247/solver-1875432-1245211247 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875432-1245211247.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= de244e44f140b74baa9d32bfcc24f10d RANDOM SEED=1590822688 node20.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: 1822744 kB Buffers: 38932 kB Cached: 110484 kB SwapCached: 524 kB Active: 58604 kB Inactive: 103904 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1822744 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 2796 kB Writeback: 0 kB Mapped: 21252 kB Slab: 56656 kB Committed_AS: 152540 kB PageTables: 1400 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-1875432-1245211247.opb Free space on /tmp at the end= 66320 MiB End job on node20 at 2009-06-17 06:30:51