Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 182.952 | 183.019 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb |
MD5SUM | aeb6a0e03ee8f8f2b4b438b8148c9b4c |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 24.4793 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | YES |
Number of variables | 144 |
Total number of constraints | 13 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13 |
Minimum length of a constraint | 8 |
Maximum length of a constraint | 80 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 32768 |
Number of bits of the biggest number in a constraint | 16 |
Biggest sum of numbers in a constraint | 130560 |
Number of bits of the biggest sum of numbers | 17 |
Number of products (including duplicates) | 384 |
Sum of products size (including duplicates) | 768 |
Number of different products | 384 |
Sum of products size | 768 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702252-1278547268.opb. 0.00/0.00 c Instance file HOME/instance-2702252-1278547268.opb 0.00/0.00 c File size is 28515 bytes. 0.00/0.00 c Highest Coefficient sum: 130560 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 528 | 0.00/0.00 c | Number Clauses: 384 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 403 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 528 787 3304 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 100 | 528 787 3304 | 5500 100 67 | 0.003 % | 0.00/0.01 c | 251 | 528 787 3304 | 6050 251 70 | 0.003 % | 0.01/0.04 c | 476 | 528 787 3304 | 6655 476 67 | 0.003 % | 0.01/0.05 c | 814 | 528 787 3304 | 7320 814 59 | 0.000 % | 0.01/0.09 c | 1321 | 528 787 3304 | 8052 1321 59 | 0.000 % | 0.09/0.14 c | 2081 | 528 787 3304 | 8857 2081 59 | 0.003 % | 0.19/0.24 c | 3221 | 528 787 3304 | 9743 3221 61 | 0.000 % | 0.39/0.40 c | 4930 | 528 787 3304 | 10717 4930 61 | 0.004 % | 0.69/0.71 c | 7492 | 528 787 3304 | 11789 7492 58 | 0.000 % | 0.99/1.08 c | 11337 | 528 787 3304 | 12968 11337 55 | 0.000 % | 1.69/1.78 c | 17103 | 528 787 3304 | 14265 10526 50 | 0.000 % | 2.49/2.57 c | 25752 | 528 787 3304 | 15692 11797 50 | 0.000 % | 4.40/4.45 c | 38727 | 528 787 3304 | 17261 8632 50 | 0.000 % | 7.49/7.51 c | 58189 | 528 787 3304 | 18987 10410 58 | 0.000 % | 12.29/12.39 c | 87381 | 528 787 3304 | 20886 10719 45 | 0.003 % | 12.49/12.58 c =============================================================================== 12.49/12.58 c New solution: 65 12.49/12.58 o 65 12.49/12.58 c Elapsed CPU time: 12.3591 s Remaining CPU time: 167.641 s 12.49/12.58 c =============================================================================== 12.49/12.58 c | 89769 | 528 788 3312 | 5000 13107 46 | 0.003 % | 12.59/12.63 c | 89869 | 518 788 3312 | 5500 3377 50 | 1.897 % | 12.59/12.64 c | 90019 | 518 788 3312 | 6050 3527 50 | 1.894 % | 12.59/12.66 c | 90245 | 518 788 3312 | 6655 3753 51 | 1.894 % | 12.59/12.69 c | 90582 | 518 788 3312 | 7320 4090 52 | 1.894 % | 12.69/12.73 c | 91089 | 518 788 3312 | 8052 4597 53 | 1.894 % | 12.69/12.79 c | 91849 | 518 788 3312 | 8857 5357 51 | 1.894 % | 12.79/12.89 c | 92988 | 518 788 3312 | 9743 6496 51 | 1.894 % | 12.99/13.02 c | 94696 | 518 788 3312 | 10717 8204 52 | 1.894 % | 13.20/13.26 c | 97259 | 518 788 3312 | 11789 10767 51 | 1.894 % | 13.59/13.63 c | 101105 | 518 788 3312 | 12968 8642 47 | 1.894 % | 14.19/14.30 c | 106871 | 518 788 3312 | 14265 7810 52 | 1.894 % | 15.49/15.55 c | 115521 | 518 788 3312 | 15692 9261 45 | 1.897 % | 15.99/16.00 c =============================================================================== 15.99/16.00 c New solution: 17 15.99/16.00 o 17 15.99/16.00 c Elapsed CPU time: 15.7046 s Remaining CPU time: 164.295 s 15.99/16.00 c =============================================================================== 15.99/16.00 c | 119141 | 518 789 3320 | 5000 12881 51 | 1.897 % | 15.99/16.04 c | 119242 | 498 789 3320 | 5500 3322 66 | 5.685 % | 15.99/16.04 c | 119392 | 498 789 3320 | 6050 3472 65 | 5.682 % | 15.99/16.06 c | 119618 | 498 789 3320 | 6655 3698 64 | 5.682 % | 15.99/16.08 c | 119956 | 498 789 3320 | 7320 4036 63 | 5.682 % | 16.09/16.11 c | 120462 | 498 789 3320 | 8052 4542 63 | 5.685 % | 16.09/16.16 c | 121221 | 498 789 3320 | 8857 5301 60 | 5.682 % | 16.18/16.26 c | 122361 | 498 789 3320 | 9743 6441 58 | 5.682 % | 16.40/16.43 c | 124069 | 498 789 3320 | 10717 8149 57 | 5.682 % | 16.68/16.71 c | 126632 | 498 789 3320 | 11789 10712 55 | 5.682 % | 17.08/17.13 c | 130476 | 498 789 3320 | 12968 8567 47 | 5.682 % | 17.19/17.22 c =============================================================================== 17.19/17.22 c New solution: 5 17.19/17.22 o 5 17.19/17.22 c Elapsed CPU time: 16.8944 s Remaining CPU time: 163.106 s 17.19/17.22 c =============================================================================== 17.19/17.22 c | 131665 | 498 790 3328 | 5000 9756 47 | 5.682 % | 17.19/17.26 c | 131765 | 478 790 3328 | 5500 4978 46 | 9.473 % | 17.19/17.28 c | 131916 | 478 790 3328 | 6050 5129 46 | 9.470 % | 17.19/17.29 c | 132142 | 478 790 3328 | 6655 5355 46 | 9.470 % | 17.29/17.31 c | 132480 | 478 790 3328 | 7320 5693 46 | 9.470 % | 17.29/17.35 c | 132986 | 478 790 3328 | 8052 6199 48 | 9.470 % | 17.39/17.41 c | 133746 | 478 790 3328 | 8857 6959 48 | 9.470 % | 17.50/17.52 c | 134885 | 478 790 3328 | 9743 8098 49 | 9.470 % | 17.59/17.65 c | 136594 | 478 790 3328 | 10717 9807 50 | 9.470 % | 17.99/18.02 c | 139156 | 478 790 3328 | 11789 6807 57 | 9.470 % | 18.38/18.46 c | 143001 | 478 790 3328 | 12968 10652 53 | 9.470 % | 18.99/19.08 c | 148767 | 478 790 3328 | 14265 9856 46 | 9.470 % | 20.19/20.23 c | 157417 | 478 790 3328 | 15692 11204 45 | 9.470 % | 21.69/21.73 c | 170391 | 478 790 3328 | 17261 8182 35 | 9.470 % | 24.99/25.01 c | 189852 | 478 790 3328 | 18987 10121 43 | 9.470 % | 29.39/29.48 c =============================================================================== 29.39/29.48 c New solution: 3 29.39/29.48 o 3 29.39/29.48 c Elapsed CPU time: 28.9436 s Remaining CPU time: 151.056 s 29.39/29.48 c =============================================================================== 29.39/29.48 c | 218149 | 478 791 3336 | 5000 19075 54 | 9.470 % | 29.49/29.56 c | 218249 | 457 791 3336 | 5500 4855 68 | 13.450 % | 29.49/29.57 c | 218399 | 457 791 3336 | 6050 5005 68 | 13.447 % | 29.49/29.59 c | 218626 | 457 791 3336 | 6655 5232 67 | 13.447 % | 29.59/29.61 c | 218964 | 457 791 3336 | 7320 5570 67 | 13.447 % | 29.59/29.65 c | 219470 | 457 791 3336 | 8052 6076 66 | 13.447 % | 29.69/29.72 c | 220229 | 457 791 3336 | 8857 6835 65 | 13.450 % | 29.78/29.82 c | 221370 | 457 791 3336 | 9743 7976 63 | 13.450 % | 29.99/30.02 c | 223079 | 457 791 3336 | 10717 9685 60 | 13.447 % | 30.19/30.26 c | 225641 | 457 791 3336 | 11789 6756 51 | 13.447 % | 30.59/30.66 c | 229485 | 457 791 3336 | 12968 10600 54 | 13.447 % | 31.49/31.50 c | 235251 | 457 791 3336 | 14265 9693 51 | 13.447 % | 32.38/32.48 c | 243901 | 457 791 3336 | 15692 10981 44 | 13.451 % | 33.78/33.85 c | 256876 | 457 791 3336 | 17261 15902 51 | 13.447 % | 37.29/37.39 c | 276338 | 457 791 3336 | 18987 9144 49 | 13.447 % | 44.38/44.42 c | 305530 | 457 791 3336 | 20886 19014 51 | 13.450 % | 52.58/52.67 c | 349319 | 457 791 3336 | 22974 20321 51 | 13.447 % | 67.38/67.49 c | 415004 | 457 791 3336 | 25272 11687 36 | 13.450 % | 96.67/96.74 c | 513531 | 457 791 3336 | 27799 12197 50 | 13.447 % | 129.46/129.58 c | 661321 | 457 791 3336 | 30579 25916 44 | 13.447 % | 182.04/182.16 c There are 71 assigned variables. 8 in cost function.
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-2702252-1278547268/watcher-2702252-1278547268 -o /tmp/evaluation-result-2702252-1278547268/solver-2702252-1278547268 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702252-1278547268.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 0.95 0.64 3/105 28214 /proc/meminfo: memFree=1722124/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=2704 CPUtime=0 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 336 0 0 0 0 0 0 0 25 0 1 0 22935344 2768896 247 1992294400 134512640 135751879 4293851552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 676 247 146 303 0 371 0 [startup+0.02038 s] /proc/loadavg: 1.00 0.95 0.64 3/105 28214 /proc/meminfo: memFree=1722124/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=2704 CPUtime=0.01 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 344 0 0 0 1 0 0 0 25 0 1 0 22935344 2768896 255 1992294400 134512640 135751879 4293851552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 676 255 147 303 0 371 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2704 [startup+0.100388 s] /proc/loadavg: 1.00 0.95 0.64 3/105 28214 /proc/meminfo: memFree=1722124/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=3092 CPUtime=0.09 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 444 0 0 0 9 0 0 0 25 0 1 0 22935344 3166208 355 1992294400 134512640 135751879 4293851552 18446744073709551615 134606629 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 773 355 147 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.300408 s] /proc/loadavg: 1.00 0.95 0.64 3/105 28214 /proc/meminfo: memFree=1722124/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=4124 CPUtime=0.29 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 679 0 0 0 28 1 0 0 25 0 1 0 22935344 4222976 590 1992294400 134512640 135751879 4293851552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 1031 590 147 303 0 726 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4124 [startup+0.700447 s] /proc/loadavg: 1.00 0.95 0.64 3/105 28214 /proc/meminfo: memFree=1722124/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=5156 CPUtime=0.69 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 953 0 0 0 67 2 0 0 25 0 1 0 22935344 5279744 864 1992294400 134512640 135751879 4293851552 18446744073709551615 134607252 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 1289 864 147 303 0 984 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5156 [startup+1.50053 s] /proc/loadavg: 1.00 0.95 0.64 2/106 28215 /proc/meminfo: memFree=1718520/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=7364 CPUtime=1.49 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 1500 0 0 0 146 3 0 0 25 0 1 0 22935344 7540736 1411 1992294400 134512640 135751879 4293851552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 1841 1411 148 303 0 1536 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7364 [startup+3.10069 s] /proc/loadavg: 1.00 0.95 0.64 2/106 28215 /proc/meminfo: memFree=1715048/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=11876 CPUtime=3.09 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 2638 0 0 0 302 7 0 0 25 0 1 0 22935344 12161024 2549 1992294400 134512640 135751879 4293851552 18446744073709551615 134649553 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 2969 2549 148 303 0 2664 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11876 [startup+6.30101 s] /proc/loadavg: 1.00 0.95 0.64 2/106 28215 /proc/meminfo: memFree=1707236/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=19128 CPUtime=6.29 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 4442 0 0 0 616 13 0 0 25 0 1 0 22935344 19587072 4353 1992294400 134512640 135751879 4293851552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 4782 4353 148 303 0 4477 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 19128 [startup+12.7016 s] /proc/loadavg: 1.00 0.95 0.64 2/106 28215 /proc/meminfo: memFree=1695580/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=29956 CPUtime=12.69 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 7146 0 0 0 1247 22 0 0 25 0 1 0 22935344 30674944 7057 1992294400 134512640 135751879 4293851552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 7489 7057 148 303 0 7184 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29956 [startup+25.5009 s] /proc/loadavg: 1.00 0.95 0.65 2/106 28215 /proc/meminfo: memFree=1667184/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=57772 CPUtime=25.48 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 14083 0 0 0 2501 47 0 0 25 0 1 0 22935344 59158528 13994 1992294400 134512640 135751879 4293851552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 14443 13994 148 303 0 14138 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 57772 [startup+51.1005 s] /proc/loadavg: 1.00 0.96 0.65 2/106 28215 /proc/meminfo: memFree=1626884/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=97880 CPUtime=51.08 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 24107 0 0 0 5023 85 0 0 25 0 1 0 22935344 100229120 24018 1992294400 134512640 135751879 4293851552 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 24470 24018 148 303 0 24165 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 97880 [startup+102.308 s] /proc/loadavg: 1.04 0.97 0.67 2/106 28217 /proc/meminfo: memFree=1573316/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=150996 CPUtime=102.27 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 37328 0 0 0 10086 141 0 0 25 0 1 0 22935344 154619904 37239 1992294400 134512640 135751879 4293851552 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 37749 37239 148 303 0 37444 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 150996 [startup+162.301 s] /proc/loadavg: 1.05 0.99 0.70 2/106 28219 /proc/meminfo: memFree=1519500/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=204760 CPUtime=162.25 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 50762 0 0 0 16028 197 0 0 25 0 1 0 22935344 209674240 50673 1992294400 134512640 135751879 4293851552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 51190 50673 148 303 0 50885 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 204760 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 1.12 1.01 0.70 2/106 28219 /proc/meminfo: memFree=1516028/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=208392 CPUtime=166.25 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 51660 0 0 0 16424 201 0 0 25 0 1 0 22935344 213393408 51571 1992294400 134512640 135751879 4293851552 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 52098 51571 148 303 0 51793 0 Current children cumulated CPU time (s) 166.25 Current children cumulated vsize (KiB) 208392 [startup+172.709 s] /proc/loadavg: 1.11 1.01 0.71 2/106 28219 /proc/meminfo: memFree=1510572/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=213448 CPUtime=172.65 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 52927 0 0 0 17059 206 0 0 25 0 1 0 22935344 218570752 52838 1992294400 134512640 135751879 4293851552 18446744073709551615 134602472 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 53362 52838 148 303 0 53057 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 213448 [startup+179.1 s] /proc/loadavg: 1.09 1.01 0.71 2/106 28219 /proc/meminfo: memFree=1506356/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=218248 CPUtime=179.05 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 54117 0 0 0 17695 210 0 0 25 0 1 0 22935344 223485952 54028 1992294400 134512640 135751879 4293851552 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 54562 54028 148 303 0 54257 0 Current children cumulated CPU time (s) 179.05 Current children cumulated vsize (KiB) 218248 [startup+180.7 s] /proc/loadavg: 1.09 1.01 0.71 2/106 28219 /proc/meminfo: memFree=1505116/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=219036 CPUtime=180.64 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4202496 54325 0 0 0 17854 210 0 0 25 0 1 0 22935344 224292864 54236 1992294400 134512640 135751879 4293851552 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 54759 54236 148 303 0 54454 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 219036 [startup+182.302 s] /proc/loadavg: 1.09 1.01 0.71 2/106 28219 /proc/meminfo: memFree=1504744/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=219680 CPUtime=182.25 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4204032 54482 0 0 0 18000 225 0 0 25 0 1 0 22935344 224952320 54393 1992294400 134512640 135751879 4293851552 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 54920 54393 148 303 0 54615 0 Current children cumulated CPU time (s) 182.25 Current children cumulated vsize (KiB) 219680 [startup+182.701 s] /proc/loadavg: 1.09 1.01 0.71 2/106 28219 /proc/meminfo: memFree=1409884/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=219680 CPUtime=182.65 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4204032 54482 0 0 0 18000 265 0 0 25 0 1 0 22935344 224952320 54393 1992294400 134512640 135751879 4293851552 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 54920 54393 148 303 0 54615 0 Current children cumulated CPU time (s) 182.65 Current children cumulated vsize (KiB) 219680 [startup+182.901 s] /proc/loadavg: 1.09 1.01 0.71 2/106 28219 /proc/meminfo: memFree=1409884/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=219680 CPUtime=182.85 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4204032 54482 0 0 0 18000 285 0 0 25 0 1 0 22935344 224952320 54393 1992294400 134512640 135751879 4293851552 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28214/statm: 54920 54393 148 303 0 54615 0 Current children cumulated CPU time (s) 182.85 Current children cumulated vsize (KiB) 219680 [startup+183.002 s] /proc/loadavg: 1.09 1.01 0.71 2/106 28219 /proc/meminfo: memFree=1409884/2059040 swapFree=4139448/4192956 [pid=28214] ppid=28212 vsize=0 CPUtime=182.93 /proc/28214/stat : 28214 (wbo1.4b) R 28212 28214 27594 0 -1 4204036 54483 0 0 0 18000 293 0 0 25 0 1 0 22935344 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 1 /proc/28214/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 182.93 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 183.019 CPU time (s): 182.952 CPU user time (s): 180.002 CPU system time (s): 2.95055 CPU usage (%): 99.9634 Max. virtual memory (cumulated for all children) (KiB): 219680 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.002 system time used= 2.95055 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 54483 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= 556 runsolver used 0.302953 second user time and 0.878866 second system time The end
Begin job on node084 at 2010-07-08 02:01:08 IDJOB=2702252 IDBENCH=48061 IDSOLVER=1161 FILE ID=node084/2702252-1278547268 PBS_JOBID= 11239479 Free space on /tmp= 62496 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=29-P1=61-P2=43-P3=131-P4=2-P5=59-P6=41-B.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702252-1278547268/watcher-2702252-1278547268 -o /tmp/evaluation-result-2702252-1278547268/solver-2702252-1278547268 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702252-1278547268.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= aeb6a0e03ee8f8f2b4b438b8148c9b4c RANDOM SEED=1654537657 node084.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.215 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.43 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.215 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.48 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1722908 kB Buffers: 57072 kB Cached: 175512 kB SwapCached: 22024 kB Active: 145380 kB Inactive: 116740 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1722908 kB SwapTotal: 4192956 kB SwapFree: 4139448 kB Dirty: 2760 kB Writeback: 0 kB AnonPages: 12072 kB Mapped: 11884 kB Slab: 52056 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182640 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702252-1278547268.opb Free space on /tmp at the end= 62280 MiB End job on node084 at 2010-07-08 02:04:12