Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.0 | ? (TO) | 1800.26 | 1800.8 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/bsg/normalized-bsg_500_60_5.opb |
MD5SUM | 13c8aeb5c21aab422ad1cf9309500df6 |
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 | -30 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -40 |
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) | 75000 |
Sum of products size (including duplicates) | 150000 |
Number of different products | 37500 |
Sum of products size | 75000 |
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-1875402-1245207642.opb. 0.00/0.00 c Instance file HOME/instance-1875402-1245207642.opb 0.00/0.00 c File size is 3315462 bytes. 0.49/0.54 c Highest Coefficient sum: 1000 0.49/0.54 c ============================[ Problem Statistics ]============================= 0.49/0.54 c | | 0.49/0.54 c | Parsing time: 0.54 s | 0.49/0.54 c | Number Variables: 38500 | 0.49/0.54 c | Number Clauses: 38500 | 0.49/0.54 c | Number Cardinality: 1002 | 0.49/0.54 c | Number PB Constraints: 37500 | 0.49/0.54 c core #1 0.49/0.54 c Core size: 1001 Core Weight: 1 Total Weight: -499 0.49/0.54 c Elapsed CPU time: 0.538918 s Remaining CPU time: 1799.46 s 0.69/0.70 c ============================[ Search Statistics ]============================== 0.69/0.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.69/0.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.69/0.70 c =============================================================================== 0.69/0.70 c | 0 | 39000 77003 304500 | 25667 0 nan | 0.000 % | 1.09/1.11 c | 100 | 39000 77003 304500 | 28234 100 211 | 0.472 % | 1.50/1.55 c | 250 | 38999 77003 304500 | 31057 250 266 | 0.633 % | 2.60/2.66 c | 475 | 33407 77003 304500 | 34163 333 261 | 18.910 % | 2.89/2.95 c =============================================================================== 2.89/2.97 c core #2 2.89/2.97 c Core size: 1304 Core Weight: 1 Total Weight: -498 2.89/2.97 c Elapsed CPU time: 2.92455 s Remaining CPU time: 1797.08 s 3.09/3.15 c Learning 80 hard constraints 3.09/3.15 c ============================[ Search Statistics ]============================== 3.09/3.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.09/3.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.09/3.15 c =============================================================================== 3.09/3.15 c | 0 | 39363 77084 305466 | 25694 0 nan | 0.000 % | 3.59/3.62 c | 100 | 39363 77084 305466 | 28264 100 432 | 0.000 % | 4.39/4.43 c | 397 | 39363 77084 305466 | 31090 397 367 | 0.000 % | 5.19/5.30 c | 622 | 39363 77084 305466 | 34199 622 346 | 0.000 % | 6.39/6.44 c | 994 | 39363 77084 305466 | 37619 994 337 | 0.000 % | 8.39/8.45 c | 1500 | 39363 77084 305466 | 41381 1500 327 | 0.000 % | 11.49/11.60 c | 2259 | 39360 77084 305466 | 45519 2258 349 | 0.193 % | 16.78/16.85 c | 3398 | 39360 77084 305466 | 50071 3397 340 | 0.193 % | 24.98/25.05 c | 5106 | 38849 77084 305466 | 55078 4817 366 | 1.476 % | 36.28/36.34 c | 7700 | 38383 77084 305466 | 60586 7371 381 | 3.366 % | 53.07/53.10 c | 11544 | 36976 77084 305466 | 66645 10626 392 | 13.945 % | 77.57/77.61 c | 17422 | 31925 77084 305466 | 73309 14720 422 | 28.029 % | 114.36/114.42 c | 26071 | 27898 77084 305466 | 80640 21735 442 | 38.574 % | 124.55/124.64 c =============================================================================== 125.75/125.82 c core #3 125.75/125.82 c Core size: 2626 Core Weight: 1 Total Weight: -497 125.75/125.82 c Elapsed CPU time: 125.286 s Remaining CPU time: 1674.71 s 125.94/126.05 c Learning 105 hard constraints 125.94/126.05 c ============================[ Search Statistics ]============================== 125.94/126.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 125.94/126.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 125.94/126.05 c =============================================================================== 125.94/126.05 c | 0 | 39859 77190 316206 | 25730 0 nan | 0.000 % | 126.65/126.71 c | 100 | 39859 77190 316206 | 28303 100 635 | 0.000 % | 127.55/127.67 c | 250 | 39859 77190 316206 | 31133 250 581 | 0.000 % | 128.95/129.02 c | 475 | 39859 77190 316206 | 34246 475 512 | 0.000 % | 130.55/130.64 c | 812 | 39859 77190 316206 | 37671 812 426 | 0.000 % | 133.15/133.22 c | 1318 | 39859 77190 316206 | 41438 1318 426 | 0.000 % | 137.24/137.40 c | 2077 | 39859 77190 316206 | 45582 2077 414 | 0.000 % | 143.34/143.44 c | 3216 | 39859 77190 316206 | 50140 3216 419 | 0.000 % | 151.44/151.52 c | 4924 | 39859 77190 316206 | 55154 4924 436 | 0.000 % | 163.64/163.79 c | 7506 | 39859 77190 316206 | 60669 7506 442 | 0.000 % | 184.93/185.02 c | 11350 | 39859 77190 316206 | 66736 11350 459 | 0.000 % | 214.43/214.58 c | 17270 | 39859 77190 316206 | 73410 17270 462 | 0.000 % | 258.50/258.67 c | 25920 | 39859 77190 316206 | 80751 25920 477 | 0.000 % | 332.68/332.81 c | 39015 | 39859 77190 316206 | 88826 39015 489 | 0.000 % | 451.86/452.04 c | 58476 | 39859 77190 316206 | 97709 58476 506 | 0.000 % | 635.10/635.35 c | 87668 | 39859 77190 316206 | 107480 87668 523 | 0.001 % | 896.12/896.50 c | 131457 | 39859 77190 316206 | 118228 25090 555 | 0.000 % | 1306.50/1306.93 c | 197141 | 39783 77190 316206 | 130051 69527 551 | 0.650 % |
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-1875402-1245207642/watcher-1875402-1245207642 -o /tmp/evaluation-result-1875402-1245207642/solver-1875402-1245207642 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875402-1245207642.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14933 /proc/meminfo: memFree=1820848/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=6096 CPUtime=0 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 266 0 0 0 0 0 0 0 18 0 1 0 73467223 6242304 250 1992294400 134512640 135709839 4294956240 18446744073709551615 135168571 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 1524 258 125 292 0 419 0 [startup+0.017222 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14933 /proc/meminfo: memFree=1820848/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=6996 CPUtime=0.01 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 514 0 0 0 1 0 0 0 18 0 1 0 73467223 7163904 498 1992294400 134512640 135709839 4294956240 18446744073709551615 134570460 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 1749 499 140 292 0 644 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 6996 [startup+0.101232 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14933 /proc/meminfo: memFree=1820848/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=12396 CPUtime=0.09 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 1750 0 0 0 9 0 0 0 18 0 1 0 73467223 12693504 1734 1992294400 134512640 135709839 4294956240 18446744073709551615 134570447 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 3099 1735 233 292 0 1994 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 12396 [startup+0.301254 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14933 /proc/meminfo: memFree=1820848/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=15200 CPUtime=0.29 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 2837 0 0 0 29 0 0 0 19 0 1 0 73467223 15564800 2788 1992294400 134512640 135709839 4294956240 18446744073709551615 134547899 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 3800 2788 524 292 0 2695 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 15200 [startup+0.7013 s] /proc/loadavg: 1.00 1.00 1.00 3/64 14933 /proc/meminfo: memFree=1820848/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=29064 CPUtime=0.69 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 7570 0 0 0 67 2 0 0 22 0 1 0 73467223 29761536 6538 1992294400 134512640 135709839 4294956240 18446744073709551615 135162432 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 7266 6538 134 292 0 6971 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 29064 [startup+1.50139 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14934 /proc/meminfo: memFree=1797672/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=26560 CPUtime=1.5 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 7725 0 0 0 147 3 0 0 25 0 1 0 73467223 27197440 6013 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 6640 6013 136 292 0 6345 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 26560 [startup+3.10259 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14934 /proc/meminfo: memFree=1796584/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=35580 CPUtime=3.09 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 9883 0 0 0 304 5 0 0 25 0 1 0 73467223 36433920 8171 1992294400 134512640 135709839 4294956240 18446744073709551615 135182786 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 8895 8172 136 292 0 8600 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 35580 [startup+6.30195 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14934 /proc/meminfo: memFree=1789488/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=34572 CPUtime=6.29 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 10352 0 0 0 623 6 0 0 25 0 1 0 73467223 35401728 8029 1992294400 134512640 135709839 4294956240 18446744073709551615 134574264 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 8643 8029 136 292 0 8348 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34572 [startup+12.7017 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14934 /proc/meminfo: memFree=1783280/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=41040 CPUtime=12.69 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 11969 0 0 0 1261 8 0 0 25 0 1 0 73467223 42024960 9646 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 10260 9646 136 292 0 9965 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 41040 [startup+25.5012 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1772336/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=51344 CPUtime=25.48 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 14562 0 0 0 2535 13 0 0 25 0 1 0 73467223 52576256 12239 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 12836 12239 136 292 0 12541 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51344 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1749104/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=75036 CPUtime=51.07 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 20461 0 0 0 5084 23 0 0 25 0 1 0 73467223 76836864 18138 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 18759 18138 136 292 0 18464 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 75036 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1704048/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=119524 CPUtime=102.26 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 31583 0 0 0 10184 42 0 0 25 0 1 0 73467223 122392576 29260 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 29881 29260 136 292 0 29586 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 119524 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1676720/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=146496 CPUtime=162.24 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 38896 0 0 0 16166 58 0 0 25 0 1 0 73467223 150011904 35968 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 36624 35968 136 292 0 36329 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 146496 [startup+222.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1676720/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=146496 CPUtime=222.22 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 38910 0 0 0 22155 67 0 0 25 0 1 0 73467223 150011904 35982 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 36624 35982 136 292 0 36329 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 146496 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1652464/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=171444 CPUtime=282.21 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 45184 0 0 0 28139 82 0 0 25 0 1 0 73467223 175558656 42256 1992294400 134512640 135709839 4294956240 18446744073709551615 134601441 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 42861 42256 136 292 0 42566 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 171444 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1606640/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=216432 CPUtime=342.19 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 56436 0 0 0 34118 101 0 0 25 0 1 0 73467223 221626368 53508 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 54108 53508 136 292 0 53813 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 216432 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1560048/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=263160 CPUtime=402.17 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 68096 0 0 0 40102 115 0 0 25 0 1 0 73467223 269475840 65168 1992294400 134512640 135709839 4294956240 18446744073709551615 134601361 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 65790 65168 136 292 0 65495 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 263160 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1519408/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=303624 CPUtime=462.15 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 78233 0 0 0 46085 130 0 0 25 0 1 0 73467223 310910976 75305 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 75906 75305 136 292 0 75611 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 303624 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1476272/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=347484 CPUtime=522.13 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 89144 0 0 0 52067 146 0 0 25 0 1 0 73467223 355823616 86216 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 86871 86216 136 292 0 86576 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 347484 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1431408/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=391568 CPUtime=582.11 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 100169 0 0 0 58051 160 0 0 25 0 1 0 73467223 400965632 97241 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 97892 97241 136 292 0 97597 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 391568 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1389360/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=433252 CPUtime=642.1 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 110599 0 0 0 64037 173 0 0 25 0 1 0 73467223 443650048 107671 1992294400 134512640 135709839 4294956240 18446744073709551615 134577399 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 108313 107671 136 292 0 108018 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 433252 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1218352/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=604560 CPUtime=882.02 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 153319 0 0 0 87972 230 0 0 25 0 1 0 73467223 619069440 150391 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 151140 150391 136 292 0 150845 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 604560 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1167152/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=655968 CPUtime=942 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 166168 0 0 0 93954 246 0 0 25 0 1 0 73467223 671711232 163240 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 163992 163240 136 292 0 163697 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 655968 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1121136/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=701408 CPUtime=1001.99 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 177549 0 0 0 99937 262 0 0 25 0 1 0 73467223 718241792 174621 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 175352 174621 136 292 0 175057 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 701408 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1074480/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=748592 CPUtime=1061.97 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 189316 0 0 0 105922 275 0 0 25 0 1 0 73467223 766558208 186388 1992294400 134512640 135709839 4294956240 18446744073709551615 134517520 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 187148 186388 136 292 0 186853 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 748592 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=1026544/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=795744 CPUtime=1121.95 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 201127 0 0 0 111907 288 0 0 25 0 1 0 73467223 814841856 198199 1992294400 134512640 135709839 4294956240 18446744073709551615 134517517 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 198936 198199 136 292 0 198641 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 795744 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=986224/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=836100 CPUtime=1181.93 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 211219 0 0 0 117893 300 0 0 25 0 1 0 73467223 856166400 208291 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 209025 208291 136 292 0 208730 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 836100 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=948400/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=874072 CPUtime=1241.92 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 220668 0 0 0 123879 313 0 0 25 0 1 0 73467223 895049728 217740 1992294400 134512640 135709839 4294956240 18446744073709551615 134601443 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 218518 217740 136 292 0 218223 0 Current children cumulated CPU time (s) 1241.92 Current children cumulated vsize (KiB) 874072 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=910896/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=911076 CPUtime=1301.9 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 229923 0 0 0 129866 324 0 0 25 0 1 0 73467223 932941824 226995 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 227769 226995 136 292 0 227474 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 911076 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=874352/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=947700 CPUtime=1361.88 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 239102 0 0 0 135851 337 0 0 25 0 1 0 73467223 970444800 236174 1992294400 134512640 135709839 4294956240 18446744073709551615 134577726 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 236925 236174 136 292 0 236630 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 947700 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=836144/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=985608 CPUtime=1421.87 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 248572 0 0 0 141839 348 0 0 25 0 1 0 73467223 1009262592 245644 1992294400 134512640 135709839 4294956240 18446744073709551615 135232529 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 246402 245644 136 292 0 246107 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 985608 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=799728/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=1022492 CPUtime=1481.85 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 257761 0 0 0 147823 362 0 0 25 0 1 0 73467223 1047031808 254833 1992294400 134512640 135709839 4294956240 18446744073709551615 134518592 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 255623 254833 136 292 0 255328 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1022492 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=759856/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=1061876 CPUtime=1541.83 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 267610 0 0 0 153808 375 0 0 25 0 1 0 73467223 1087361024 264682 1992294400 134512640 135709839 4294956240 18446744073709551615 134518150 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 265469 264682 136 292 0 265174 0 Current children cumulated CPU time (s) 1541.83 Current children cumulated vsize (KiB) 1061876 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=716336/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=1105744 CPUtime=1601.81 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 278590 0 0 0 159795 386 0 0 25 0 1 0 73467223 1132281856 275662 1992294400 134512640 135709839 4294956240 18446744073709551615 134518154 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 276436 275662 136 292 0 276141 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 1105744 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=667632/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=1154156 CPUtime=1661.8 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 290689 0 0 0 165779 401 0 0 25 0 1 0 73467223 1181855744 287761 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 288539 287761 136 292 0 288244 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1154156 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=630896/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=1191228 CPUtime=1721.78 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 299951 0 0 0 171767 411 0 0 25 0 1 0 73467223 1219817472 297023 1992294400 134512640 135709839 4294956240 18446744073709551615 134573761 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 297807 297023 136 292 0 297512 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 1191228 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=599280/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=1222308 CPUtime=1781.76 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 307691 0 0 0 177754 422 0 0 25 0 1 0 73467223 1251643392 304763 1992294400 134512640 135709839 4294956240 18446744073709551615 135171716 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 305577 304763 136 292 0 305282 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 1222308 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=588784/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=1232532 CPUtime=1800.06 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4194304 310268 0 0 0 179580 426 0 0 25 0 1 0 73467223 1262112768 307340 1992294400 134512640 135709839 4294956240 18446744073709551615 134518513 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 308133 307340 136 292 0 307838 0 Current children cumulated CPU time (s) 1800.06 Current children cumulated vsize (KiB) 1232532 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/65 14940 /proc/meminfo: memFree=588784/2055920 swapFree=4191900/4192956 [pid=14933] ppid=14931 vsize=0 CPUtime=1800.16 /proc/14933/stat : 14933 (wbo) R 14931 14933 13765 0 -1 4195332 310268 0 0 0 179580 436 0 0 25 0 1 0 73467223 0 0 1992294400 0 0 0 0 0 0 0 4096 3 0 0 0 17 1 0 0 /proc/14933/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.16 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.26 CPU user time (s): 1795.81 CPU system time (s): 4.45532 CPU usage (%): 99.9702 Max. virtual memory (cumulated for all children) (KiB): 1232532 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1795.81 system time used= 4.45532 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 310268 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= 2878 runsolver used 1.16982 second user time and 3.87041 second system time The end
Begin job on node20 at 2009-06-17 05:00:42 IDJOB=1875402 IDBENCH=48242 IDSOLVER=698 FILE ID=node20/1875402-1245207642 PBS_JOBID= 9368344 Free space on /tmp= 66320 MiB SOLVER NAME= wbo 1.0 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_500_60_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-1875402-1245207642/watcher-1875402-1245207642 -o /tmp/evaluation-result-1875402-1245207642/solver-1875402-1245207642 -C 1800 -W 2000 -M 1800 wbo -file-format=opb -time-limit=1800 HOME/instance-1875402-1245207642.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 13c8aeb5c21aab422ad1cf9309500df6 RANDOM SEED=588500518 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: 1823696 kB Buffers: 37780 kB Cached: 110888 kB SwapCached: 524 kB Active: 58044 kB Inactive: 103644 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1823696 kB SwapTotal: 4192956 kB SwapFree: 4191900 kB Dirty: 3340 kB Writeback: 0 kB Mapped: 21252 kB Slab: 56576 kB Committed_AS: 151264 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-1875402-1245207642.opb Free space on /tmp at the end= 66316 MiB End job on node20 at 2009-06-17 05:30:47