Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.21 | 1800.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-B.opb |
MD5SUM | d6ad4e57f9bd4d3660efa4691d3e45da |
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 | 3 |
Best CPU time to get the best result obtained on this benchmark | 0.658899 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3 |
Optimality of the best value was proved | YES |
Number of variables | 162 |
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 | 9 |
Maximum length of a constraint | 99 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 523264 |
Number of bits of the biggest sum of numbers | 19 |
Number of products (including duplicates) | 486 |
Sum of products size (including duplicates) | 972 |
Number of different products | 486 |
Sum of products size | 972 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702226-1278547022.opb. 0.00/0.00 c Instance file HOME/instance-2702226-1278547022.opb 0.00/0.00 c File size is 36227 bytes. 0.00/0.01 c Highest Coefficient sum: 523264 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.01 s | 0.00/0.01 c | Number Variables: 648 | 0.00/0.01 c | Number Clauses: 486 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 505 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 648 991 4149 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 648 991 4149 | 5500 102 89 | 0.002 % | 0.00/0.03 c | 253 | 648 991 4149 | 6050 253 83 | 0.002 % | 0.00/0.04 c | 480 | 648 991 4149 | 6655 480 75 | 0.000 % | 0.07/0.08 c | 818 | 648 991 4149 | 7320 818 75 | 0.000 % | 0.09/0.12 c | 1325 | 648 991 4149 | 8052 1325 81 | 0.002 % | 0.09/0.18 c | 2084 | 648 991 4149 | 8857 2084 76 | 0.000 % | 0.28/0.35 c | 3223 | 648 991 4149 | 9743 3223 68 | 0.000 % | 0.49/0.50 c | 4931 | 648 991 4149 | 10717 4931 68 | 0.000 % | 0.99/1.04 c | 7493 | 648 991 4149 | 11789 7493 70 | 0.000 % | 1.38/1.45 c | 11339 | 648 991 4149 | 12968 11339 69 | 0.000 % | 2.20/2.22 c | 17105 | 648 991 4149 | 14265 10550 62 | 0.000 % | 3.99/4.04 c | 25754 | 648 991 4149 | 15692 12029 41 | 0.000 % | 7.39/7.42 c | 38728 | 648 991 4149 | 17261 9231 29 | 0.000 % | 10.89/10.99 c | 58189 | 648 991 4149 | 18987 10856 63 | 0.000 % | 16.58/16.69 c | 87382 | 648 991 4149 | 20886 11387 35 | 0.000 % | 26.78/26.86 c | 131171 | 648 991 4149 | 22974 12726 54 | 0.000 % | 43.77/43.83 c | 196855 | 648 991 4149 | 25272 18002 54 | 0.000 % | 68.66/68.77 c =============================================================================== 68.66/68.77 c New solution: 491 68.66/68.77 o 491 68.66/68.77 c Elapsed CPU time: 67.9407 s Remaining CPU time: 112.059 s 68.66/68.77 c =============================================================================== 68.66/68.77 c | 293490 | 648 992 4158 | 5000 10948 51 | 0.000 % | 68.76/68.81 c | 293591 | 648 992 4158 | 5500 2838 59 | 0.000 % | 68.76/68.82 c | 293742 | 648 992 4158 | 6050 2989 59 | 0.000 % | 68.76/68.84 c | 293968 | 648 992 4158 | 6655 3215 59 | 0.000 % | 68.76/68.88 c | 294306 | 648 992 4158 | 7320 3553 62 | 0.000 % | 68.86/68.93 c | 294813 | 648 992 4158 | 8052 4060 64 | 0.000 % | 68.97/69.01 c | 295572 | 648 992 4158 | 8857 4819 62 | 0.000 % | 69.06/69.12 c | 296711 | 648 992 4158 | 9743 5958 62 | 0.000 % | 69.27/69.32 c | 298419 | 648 992 4158 | 10717 7666 62 | 0.000 % | 69.56/69.63 c | 300981 | 648 992 4158 | 11789 10228 61 | 0.000 % | 70.16/70.24 c | 304826 | 648 992 4158 | 12968 8041 60 | 0.002 % | 71.26/71.32 c | 310593 | 648 992 4158 | 14265 7276 41 | 0.000 % | 72.97/73.06 c | 319244 | 648 992 4158 | 15692 8772 32 | 0.000 % | 75.56/75.63 c | 332219 | 648 992 4158 | 17261 13859 43 | 0.000 % | 78.36/78.49 c | 351681 | 648 992 4158 | 18987 15821 37 | 0.000 % | 84.36/84.43 c | 380873 | 648 992 4158 | 20886 16087 49 | 0.000 % | 91.85/91.94 c | 424667 | 648 992 4158 | 22974 17440 60 | 0.000 % | 93.26/93.34 c =============================================================================== 93.26/93.34 c New solution: 89 93.26/93.34 o 89 93.26/93.34 c Elapsed CPU time: 92.101 s Remaining CPU time: 87.899 s 93.26/93.34 c =============================================================================== 93.26/93.34 c | 436582 | 648 993 4167 | 5000 17369 62 | 0.000 % | 93.36/93.43 c | 436683 | 626 993 4167 | 5500 4438 63 | 3.395 % | 93.36/93.44 c | 436833 | 626 993 4167 | 6050 4588 64 | 3.395 % | 93.36/93.46 c | 437059 | 626 993 4167 | 6655 4814 64 | 3.395 % | 93.36/93.48 c | 437396 | 626 993 4167 | 7320 5151 63 | 3.395 % | 93.46/93.55 c | 437903 | 626 993 4167 | 8052 5658 63 | 3.395 % | 93.56/93.63 c | 438663 | 626 993 4167 | 8857 6418 64 | 3.397 % | 93.66/93.76 c | 439802 | 626 993 4167 | 9743 7557 64 | 3.395 % | 93.85/93.99 c | 441511 | 626 993 4167 | 10717 9266 64 | 3.395 % | 94.26/94.32 c | 444075 | 626 993 4167 | 11789 6313 64 | 3.395 % | 94.96/95.01 c | 447920 | 626 993 4167 | 12968 10158 60 | 3.395 % | 95.95/96.09 c | 453686 | 626 993 4167 | 14265 9306 57 | 3.395 % | 97.65/97.70 c | 462335 | 626 993 4167 | 15692 10733 58 | 3.395 % | 99.35/99.48 c | 475309 | 626 993 4167 | 17261 15589 66 | 3.395 % | 103.06/103.18 c | 494770 | 626 993 4167 | 18987 17482 57 | 3.395 % | 108.35/108.41 c | 523964 | 626 993 4167 | 20886 17675 50 | 3.395 % | 117.56/117.65 c | 567753 | 626 993 4167 | 22974 18900 47 | 3.395 % | 131.34/131.44 c | 633438 | 626 993 4167 | 25272 21912 55 | 3.395 % | 157.24/157.33 c | 731964 | 626 993 4167 | 27799 18157 41 | 3.395 % | 182.23/182.36 c There are 22 assigned variables. 2 in cost function. 183.03/183.10 c core #1 183.03/183.10 c core #2 183.03/183.10 c ============================[ Search Statistics ]============================== 183.03/183.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.10 c =============================================================================== 183.03/183.10 c | 0 | 559 1000 3883 | 5000 0 nan | 0.000 % | 183.03/183.12 c | 100 | 559 1000 3883 | 5500 100 72 | 15.432 % | 183.03/183.14 c | 250 | 559 1000 3883 | 6050 250 79 | 15.433 % | 183.03/183.17 c | 477 | 559 1000 3883 | 6655 477 86 | 15.431 % | 183.03/183.19 c | 814 | 559 1000 3883 | 7320 814 85 | 15.431 % | 183.13/183.24 c | 1320 | 559 1000 3883 | 8052 1320 84 | 15.431 % | 183.22/183.32 c | 2079 | 559 1000 3883 | 8857 2079 80 | 15.433 % | 183.33/183.44 c | 3219 | 559 1000 3883 | 9743 3219 73 | 15.431 % | 183.53/183.67 c | 4928 | 559 1000 3883 | 10717 4928 72 | 15.431 % | 184.03/184.10 c | 7491 | 559 1000 3883 | 11789 7491 66 | 15.431 % | 184.63/184.74 c | 11336 | 559 1000 3883 | 12968 11336 63 | 15.431 % | 185.62/185.74 c | 17102 | 559 1000 3883 | 14265 10497 53 | 15.433 % | 187.12/187.27 c | 25755 | 559 1000 3883 | 15692 11726 61 | 15.431 % | 189.52/189.69 c | 38729 | 559 1000 3883 | 17261 8457 44 | 15.431 % | 193.02/193.11 c | 58190 | 559 1000 3883 | 18987 10376 45 | 15.431 % | 199.52/199.68 c | 87382 | 559 1000 3883 | 20886 10527 37 | 15.431 % | 212.52/212.68 c | 131172 | 559 1000 3883 | 22974 11310 47 | 15.433 % | 233.81/233.91 c | 196857 | 559 1000 3883 | 25272 15923 52 | 15.431 % | 263.40/263.51 c | 295383 | 558 1000 3883 | 27799 12736 39 | 15.585 % | 314.77/314.94 c | 443172 | 558 1000 3883 | 30579 24594 62 | 15.583 % | 418.14/418.40 c | 664856 | 558 1000 3883 | 33637 27738 52 | 15.583 % | 565.29/565.51 c | 997382 | 558 1000 3883 | 37001 21109 60 | 15.583 % | 785.52/785.81 c | 1496170 | 557 1000 3883 | 40701 28579 45 | 15.736 % | 1173.79/1174.22 c | 2244352 | 556 1000 3883 | 44771 36435 53 | 15.885 % | 1787.89/1788.54 c | 3366627 | 556 1000 3883 | 49248 21254 43 | 15.885 % |
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-2702226-1278547022/watcher-2702226-1278547022 -o /tmp/evaluation-result-2702226-1278547022/solver-2702226-1278547022 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702226-1278547022.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.93 0.99 0.70 3/106 28110 /proc/meminfo: memFree=1900056/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=2612 CPUtime=0 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 302 0 0 0 0 0 0 0 19 0 1 0 22909491 2674688 220 1992294400 134512640 135751879 4288001984 18446744073709551615 134574084 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 653 220 141 303 0 339 0 [startup+0.078358 s] /proc/loadavg: 0.93 0.99 0.70 3/106 28110 /proc/meminfo: memFree=1900056/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=2972 CPUtime=0.07 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 415 0 0 0 7 0 0 0 19 0 1 0 22909491 3043328 324 1992294400 134512640 135751879 4288001984 18446744073709551615 134611206 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 743 324 147 303 0 438 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2972 [startup+0.100362 s] /proc/loadavg: 0.93 0.99 0.70 3/106 28110 /proc/meminfo: memFree=1900056/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=3100 CPUtime=0.09 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 446 0 0 0 9 0 0 0 19 0 1 0 22909491 3174400 355 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 775 355 147 303 0 470 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3100 [startup+0.300399 s] /proc/loadavg: 0.93 0.99 0.70 3/106 28110 /proc/meminfo: memFree=1900056/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=3872 CPUtime=0.28 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 634 0 0 0 28 0 0 0 20 0 1 0 22909491 3964928 543 1992294400 134512640 135751879 4288001984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 968 543 147 303 0 663 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3872 [startup+0.700471 s] /proc/loadavg: 0.93 0.99 0.70 3/106 28110 /proc/meminfo: memFree=1900056/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=5180 CPUtime=0.69 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 936 0 0 0 68 1 0 0 20 0 1 0 22909491 5304320 845 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 1295 845 147 303 0 990 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5180 [startup+1.50062 s] /proc/loadavg: 0.93 0.99 0.70 2/107 28111 /proc/meminfo: memFree=1896956/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=7376 CPUtime=1.49 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 1493 0 0 0 146 3 0 0 22 0 1 0 22909491 7553024 1402 1992294400 134512640 135751879 4288001984 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 1844 1402 147 303 0 1539 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7376 [startup+3.10091 s] /proc/loadavg: 0.93 0.99 0.70 2/107 28111 /proc/meminfo: memFree=1893608/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=10212 CPUtime=3.09 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 2206 0 0 0 304 5 0 0 25 0 1 0 22909491 10457088 2115 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 2553 2115 148 303 0 2248 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10212 [startup+6.30049 s] /proc/loadavg: 0.93 0.99 0.70 2/107 28111 /proc/meminfo: memFree=1890260/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=13224 CPUtime=6.28 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 2943 0 0 0 621 7 0 0 25 0 1 0 22909491 13541376 2852 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 3306 2852 148 303 0 3001 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 13224 [startup+12.7016 s] /proc/loadavg: 0.94 0.99 0.70 2/107 28111 /proc/meminfo: memFree=1879472/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=24092 CPUtime=12.69 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 5660 0 0 0 1251 18 0 0 25 0 1 0 22909491 24670208 5569 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 6023 5569 148 303 0 5718 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 24092 [startup+25.501 s] /proc/loadavg: 0.95 0.99 0.70 2/107 28111 /proc/meminfo: memFree=1862856/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=39864 CPUtime=25.48 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 9611 0 0 0 2516 32 0 0 25 0 1 0 22909491 40820736 9520 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 9966 9520 148 303 0 9661 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 39864 [startup+51.1006 s] /proc/loadavg: 0.97 0.99 0.71 2/107 28111 /proc/meminfo: memFree=1833220/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=69752 CPUtime=51.07 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 17074 0 0 0 5045 62 0 0 25 0 1 0 22909491 71426048 16983 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 17438 16983 148 303 0 17133 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 69752 [startup+102.308 s] /proc/loadavg: 0.98 0.99 0.73 2/107 28113 /proc/meminfo: memFree=1755596/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=146952 CPUtime=102.26 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 36320 0 0 0 10091 135 0 0 25 0 1 0 22909491 150478848 36229 1992294400 134512640 135751879 4288001984 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 36738 36229 148 303 0 36433 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 146952 [startup+162.301 s] /proc/loadavg: 0.99 0.99 0.74 2/107 28115 /proc/meminfo: memFree=1677972/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=225260 CPUtime=162.23 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 55838 0 0 0 16011 212 0 0 25 0 1 0 22909491 230666240 55747 1992294400 134512640 135751879 4288001984 18446744073709551615 134608391 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 56315 55747 148 303 0 56010 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 225260 [startup+222.302 s] /proc/loadavg: 0.99 0.99 0.75 2/107 28117 /proc/meminfo: memFree=1636804/2059040 swapFree=4078936/4192956 [pid=28110] ppid=28108 vsize=265196 CPUtime=222.22 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 65941 0 0 0 21948 274 0 0 25 0 1 0 22909491 271560704 65822 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 66299 65822 151 303 0 65994 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 265196 [startup+282.302 s] /proc/loadavg: 0.99 0.99 0.76 2/107 28126 /proc/meminfo: memFree=1595236/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=304812 CPUtime=282.19 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 75801 0 0 0 27890 329 0 0 25 0 1 0 22909491 312127488 75682 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 76203 75682 151 303 0 75898 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 304812 [startup+342.301 s] /proc/loadavg: 0.99 0.99 0.77 2/107 28128 /proc/meminfo: memFree=1554572/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=344948 CPUtime=342.17 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 85833 0 0 0 33834 383 0 0 25 0 1 0 22909491 353226752 85714 1992294400 134512640 135751879 4288001984 18446744073709551615 134649755 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 86237 85714 151 303 0 85932 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 344948 [startup+402.301 s] /proc/loadavg: 0.99 0.99 0.79 2/107 28130 /proc/meminfo: memFree=1529648/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=370368 CPUtime=402.15 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 92155 0 0 0 39793 422 0 0 25 0 1 0 22909491 379256832 92036 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 92592 92036 151 303 0 92287 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 370368 [startup+462.301 s] /proc/loadavg: 0.99 0.99 0.80 2/107 28132 /proc/meminfo: memFree=1493812/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=405904 CPUtime=462.13 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 101016 0 0 0 45750 463 0 0 25 0 1 0 22909491 415645696 100897 1992294400 134512640 135751879 4288001984 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 101476 100897 151 303 0 101171 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 405904 [startup+522.301 s] /proc/loadavg: 0.99 0.99 0.81 2/107 28134 /proc/meminfo: memFree=1453264/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=446852 CPUtime=522.11 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 111221 0 0 0 51704 507 0 0 25 0 1 0 22909491 457576448 111102 1992294400 134512640 135751879 4288001984 18446744073709551615 134518512 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 111713 111102 151 303 0 111408 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 446852 [startup+582.301 s] /proc/loadavg: 0.99 0.99 0.82 2/107 28134 /proc/meminfo: memFree=1398952/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=501040 CPUtime=582.09 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 124733 0 0 0 57654 555 0 0 25 0 1 0 22909491 513064960 124614 1992294400 134512640 135751879 4288001984 18446744073709551615 134616377 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 125260 124614 151 303 0 124955 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 501040 [startup+642.301 s] /proc/loadavg: 0.99 0.99 0.83 2/107 28136 /proc/meminfo: memFree=1367580/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=531964 CPUtime=642.08 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 132448 0 0 0 63615 593 0 0 25 0 1 0 22909491 544731136 132329 1992294400 134512640 135751879 4288001984 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 132991 132329 151 303 0 132686 0 Current children cumulated CPU time (s) 642.08 Current children cumulated vsize (KiB) 531964 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.99 0.85 2/107 28142 /proc/meminfo: memFree=1237628/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=662180 CPUtime=881.99 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 164897 0 0 0 87444 755 0 0 25 0 1 0 22909491 678072320 164778 1992294400 134512640 135751879 4288001984 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 165545 164778 151 303 0 165240 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 662180 [startup+942.301 s] /proc/loadavg: 0.99 0.99 0.85 2/107 28144 /proc/meminfo: memFree=1207620/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=692344 CPUtime=941.97 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 172418 0 0 0 93407 790 0 0 25 0 1 0 22909491 708960256 172299 1992294400 134512640 135751879 4288001984 18446744073709551615 134610344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 173086 172299 151 303 0 172781 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 692344 [startup+1002.3 s] /proc/loadavg: 0.99 0.99 0.86 2/107 28146 /proc/meminfo: memFree=1177364/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=722628 CPUtime=1001.95 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 179952 0 0 0 99363 832 0 0 25 0 1 0 22909491 739971072 179833 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 180657 179833 151 303 0 180352 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 722628 [startup+1062.3 s] /proc/loadavg: 0.99 0.99 0.87 2/107 28148 /proc/meminfo: memFree=1150952/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=750232 CPUtime=1061.93 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 186844 0 0 0 105322 871 0 0 25 0 1 0 22909491 768237568 186725 1992294400 134512640 135751879 4288001984 18446744073709551615 134616326 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 187558 186725 151 303 0 187253 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 750232 [startup+1122.3 s] /proc/loadavg: 0.99 0.99 0.87 2/107 28150 /proc/meminfo: memFree=1118216/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=781776 CPUtime=1121.91 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 194717 0 0 0 111275 916 0 0 25 0 1 0 22909491 800538624 194598 1992294400 134512640 135751879 4288001984 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 195444 194598 151 303 0 195139 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 781776 [startup+1182.3 s] /proc/loadavg: 0.99 0.99 0.88 2/107 28150 /proc/meminfo: memFree=1083868/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=816224 CPUtime=1181.89 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 203336 0 0 0 117229 960 0 0 25 0 1 0 22909491 835813376 203217 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 204056 203217 151 303 0 203751 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 816224 [startup+1242.3 s] /proc/loadavg: 0.99 0.99 0.88 2/107 28152 /proc/meminfo: memFree=1051132/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=848536 CPUtime=1241.87 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 211416 0 0 0 123191 996 0 0 25 0 1 0 22909491 868900864 211297 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 212134 211297 151 303 0 211829 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 848536 [startup+1302.3 s] /proc/loadavg: 0.99 0.99 0.89 2/107 28154 /proc/meminfo: memFree=1022488/2059040 swapFree=4078968/4192956 [pid=28110] ppid=28108 vsize=877068 CPUtime=1301.85 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 218537 0 0 0 129153 1032 0 0 25 0 1 0 22909491 898117632 218418 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 219267 218418 151 303 0 218962 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 877068 [startup+1362.3 s] /proc/loadavg: 1.07 1.01 0.90 2/108 28159 /proc/meminfo: memFree=960592/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=901196 CPUtime=1361.83 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 224549 0 0 0 135120 1063 0 0 25 0 1 0 22909491 922824704 224430 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 225299 224430 151 303 0 224994 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 901196 [startup+1422.31 s] /proc/loadavg: 1.03 1.00 0.91 2/107 28161 /proc/meminfo: memFree=903064/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=940940 CPUtime=1421.82 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 234491 0 0 0 141076 1106 0 0 25 0 1 0 22909491 963522560 234372 1992294400 134512640 135751879 4288001984 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 235235 234372 151 303 0 234930 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 940940 [startup+1482.3 s] /proc/loadavg: 1.01 1.00 0.91 2/107 28161 /proc/meminfo: memFree=874544/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=969636 CPUtime=1481.78 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 241623 0 0 0 147035 1143 0 0 25 0 1 0 22909491 992907264 241504 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 242409 241504 151 303 0 242104 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 969636 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28163 /proc/meminfo: memFree=852596/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=991480 CPUtime=1541.76 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 247078 0 0 0 152999 1177 0 0 25 0 1 0 22909491 1015275520 246959 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 247870 246959 151 303 0 247565 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 991480 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28165 /proc/meminfo: memFree=829656/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=1014680 CPUtime=1601.74 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 252848 0 0 0 158956 1218 0 0 25 0 1 0 22909491 1039032320 252729 1992294400 134512640 135751879 4288001984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 253670 252729 151 303 0 253365 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 1014680 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28167 /proc/meminfo: memFree=809940/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=1034084 CPUtime=1661.72 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 257714 0 0 0 164923 1249 0 0 25 0 1 0 22909491 1058902016 257595 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 258521 257595 151 303 0 258216 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 1034084 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28169 /proc/meminfo: memFree=786752/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=1057860 CPUtime=1721.7 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 263618 0 0 0 170884 1286 0 0 25 0 1 0 22909491 1083248640 263499 1992294400 134512640 135751879 4288001984 18446744073709551615 135209796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 264465 263500 151 303 0 264160 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 1057860 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28169 /proc/meminfo: memFree=767532/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=1076480 CPUtime=1781.69 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 268271 0 0 0 176854 1315 0 0 25 0 1 0 22909491 1102315520 268152 1992294400 134512640 135751879 4288001984 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 269120 268152 151 303 0 268815 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 1076480 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28171 /proc/meminfo: memFree=760960/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=1082960 CPUtime=1800.1 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4202496 269880 0 0 0 178684 1326 0 0 25 0 1 0 22909491 1108951040 269761 1992294400 134512640 135751879 4288001984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/28110/statm: 270740 269761 151 303 0 270435 0 Current children cumulated CPU time (s) 1800.1 Current children cumulated vsize (KiB) 1082960 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 0.91 2/107 28171 /proc/meminfo: memFree=760960/2059040 swapFree=4079144/4192956 [pid=28110] ppid=28108 vsize=0 CPUtime=1800.19 /proc/28110/stat : 28110 (wbo1.4b) R 28108 28110 27279 0 -1 4203524 269880 0 0 0 178684 1335 0 0 25 0 1 0 22909491 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/28110/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.82 CPU time (s): 1800.21 CPU user time (s): 1786.84 CPU system time (s): 13.363 CPU usage (%): 99.966 Max. virtual memory (cumulated for all children) (KiB): 1082960 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.84 system time used= 13.363 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269880 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= 1 involuntary context switches= 5354 runsolver used 2.92656 second user time and 8.5657 second system time The end
Begin job on node044 at 2010-07-08 01:57:02 IDJOB=2702226 IDBENCH=48048 IDSOLVER=1161 FILE ID=node044/2702226-1278547022 PBS_JOBID= 11239496 Free space on /tmp= 62500 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=9-P0=109-P1=191-P2=263-P3=37-P4=317-P5=89-P6=131-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-2702226-1278547022/watcher-2702226-1278547022 -o /tmp/evaluation-result-2702226-1278547022/solver-2702226-1278547022 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702226-1278547022.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d6ad4e57f9bd4d3660efa4691d3e45da RANDOM SEED=952449653 node044.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.267 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.53 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.267 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 : 5599.47 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1900964 kB Buffers: 4208 kB Cached: 35180 kB SwapCached: 62664 kB Active: 33268 kB Inactive: 70164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1900964 kB SwapTotal: 4192956 kB SwapFree: 4078936 kB Dirty: 3096 kB Writeback: 0 kB AnonPages: 8668 kB Mapped: 6272 kB Slab: 32624 kB PageTables: 4096 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183220 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-2702226-1278547022.opb Free space on /tmp at the end= 62496 MiB End job on node044 at 2010-07-08 02:27:05