Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 183.507 | 183.588 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-B.opb |
MD5SUM | 6355c589dda3f12b095277ae4637ab26 |
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.51692 |
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 | 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-2701910-1278546255.opb. 0.00/0.00 c Instance file HOME/instance-2701910-1278546255.opb 0.00/0.00 c File size is 28516 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 62 | 0.003 % | 0.00/0.02 c | 250 | 528 787 3304 | 6050 250 59 | 0.003 % | 0.02/0.04 c | 475 | 528 787 3304 | 6655 475 61 | 0.000 % | 0.02/0.07 c | 813 | 528 787 3304 | 7320 813 58 | 0.000 % | 0.09/0.11 c | 1319 | 528 787 3304 | 8052 1319 62 | 0.000 % | 0.09/0.18 c | 2079 | 528 787 3304 | 8857 2079 57 | 0.000 % | 0.19/0.28 c | 3218 | 528 787 3304 | 9743 3218 57 | 0.003 % | 0.39/0.41 c | 4927 | 528 787 3304 | 10717 4927 55 | 0.000 % | 0.69/0.77 c | 7490 | 528 787 3304 | 11789 7490 53 | 0.000 % | 1.09/1.13 c | 11334 | 528 787 3304 | 12968 11334 51 | 0.000 % | 1.69/1.77 c | 17100 | 528 787 3304 | 14265 10432 53 | 0.000 % | 2.49/2.59 c | 25750 | 528 787 3304 | 15692 11820 45 | 0.000 % | 4.69/4.80 c | 38724 | 528 787 3304 | 17261 8802 35 | 0.000 % | 7.59/7.69 c | 58185 | 528 787 3304 | 18987 10723 47 | 0.000 % | 13.68/13.70 c | 87377 | 528 787 3304 | 20886 10962 54 | 0.000 % | 22.68/22.77 c | 131166 | 528 787 3304 | 22974 12060 55 | 0.000 % | 35.68/35.78 c | 196850 | 528 787 3304 | 25272 16894 60 | 0.000 % | 44.98/45.03 c =============================================================================== 44.98/45.03 c New solution: 47 44.98/45.03 o 47 44.98/45.03 c Elapsed CPU time: 44.2703 s Remaining CPU time: 135.73 s 44.98/45.03 c =============================================================================== 44.98/45.03 c | 247535 | 527 788 3312 | 5000 23576 54 | 0.000 % | 45.08/45.13 c | 247635 | 507 788 3312 | 5500 3771 44 | 3.978 % | 45.08/45.14 c | 247785 | 507 788 3312 | 6050 3921 45 | 3.978 % | 45.08/45.15 c | 248011 | 507 788 3312 | 6655 4147 46 | 3.978 % | 45.08/45.19 c | 248349 | 507 788 3312 | 7320 4485 46 | 3.978 % | 45.18/45.23 c | 248856 | 507 788 3312 | 8052 4992 48 | 3.978 % | 45.28/45.33 c | 249615 | 507 788 3312 | 8857 5751 49 | 3.981 % | 45.37/45.44 c | 250754 | 507 788 3312 | 9743 6890 51 | 3.978 % | 45.58/45.64 c | 252463 | 507 788 3312 | 10717 8599 53 | 3.981 % | 45.97/46.06 c | 255026 | 507 788 3312 | 11789 5754 55 | 3.981 % | 46.67/46.75 c | 258871 | 507 788 3312 | 12968 9599 46 | 3.978 % | 47.37/47.41 c | 264637 | 507 788 3312 | 14265 8714 45 | 3.978 % | 48.97/49.02 c | 273286 | 507 788 3312 | 15692 10073 55 | 3.981 % | 50.77/50.84 c | 286260 | 507 788 3312 | 17261 14978 51 | 3.981 % | 53.47/53.53 c | 305721 | 507 788 3312 | 18987 16917 45 | 3.978 % | 58.57/58.63 c | 334913 | 507 788 3312 | 20886 17093 38 | 3.978 % | 71.97/72.03 c | 378702 | 507 788 3312 | 22974 18631 46 | 3.978 % | 87.66/87.73 c | 444387 | 507 788 3312 | 25272 12753 51 | 3.978 % | 107.86/107.97 c =============================================================================== 107.86/107.97 c New solution: 33 107.86/107.97 o 33 107.86/107.97 c Elapsed CPU time: 106.329 s Remaining CPU time: 73.6712 s 107.86/107.97 c =============================================================================== 107.86/107.97 c | 534548 | 506 789 3320 | 5000 15962 45 | 3.978 % | 107.96/108.02 c | 534649 | 506 789 3320 | 5500 4092 66 | 4.170 % | 107.96/108.04 c | 534800 | 506 789 3320 | 6050 4243 66 | 4.167 % | 107.96/108.06 c | 535025 | 506 789 3320 | 6655 4468 66 | 4.167 % | 107.96/108.09 c | 535362 | 506 789 3320 | 7320 4805 66 | 4.170 % | 108.06/108.14 c | 535868 | 506 789 3320 | 8052 5311 64 | 4.167 % | 108.16/108.21 c | 536628 | 506 789 3320 | 8857 6071 62 | 4.170 % | 108.26/108.33 c | 537768 | 506 789 3320 | 9743 7211 61 | 4.167 % | 108.55/108.60 c | 539476 | 506 789 3320 | 10717 8919 57 | 4.167 % | 108.96/109.03 c | 542040 | 506 789 3320 | 11789 6086 41 | 4.167 % | 109.36/109.45 c | 545885 | 506 789 3320 | 12968 9931 41 | 4.167 % | 110.56/110.62 c | 551653 | 506 789 3320 | 14265 9136 44 | 4.167 % | 111.26/111.37 c =============================================================================== 111.26/111.37 c New solution: 9 111.26/111.37 o 9 111.26/111.37 c Elapsed CPU time: 109.667 s Remaining CPU time: 70.3327 s 111.26/111.37 c =============================================================================== 111.26/111.37 c | 558400 | 506 790 3328 | 5000 8533 46 | 4.167 % | 111.35/111.40 c | 558500 | 486 790 3328 | 5500 4367 48 | 7.955 % | 111.35/111.41 c | 558650 | 486 790 3328 | 6050 4517 48 | 7.958 % | 111.35/111.42 c | 558876 | 486 790 3328 | 6655 4743 48 | 7.955 % | 111.35/111.46 c | 559214 | 486 790 3328 | 7320 5081 49 | 7.955 % | 111.46/111.50 c | 559720 | 486 790 3328 | 8052 5463 49 | 7.958 % | 111.46/111.59 c | 560480 | 486 790 3328 | 8857 6223 51 | 7.955 % | 111.66/111.72 c | 561619 | 486 790 3328 | 9743 7362 51 | 7.955 % | 111.66/111.77 c =============================================================================== 111.66/111.77 c New solution: 3 111.66/111.77 o 3 111.66/111.77 c Elapsed CPU time: 110.048 s Remaining CPU time: 69.9517 s 111.66/111.77 c =============================================================================== 111.66/111.77 c | 562068 | 486 791 3336 | 5000 7811 52 | 7.955 % | 111.76/111.80 c | 562168 | 455 791 3336 | 5500 4006 56 | 13.829 % | 111.76/111.83 c | 562319 | 455 791 3336 | 6050 4157 56 | 13.829 % | 111.76/111.86 c | 562544 | 455 791 3336 | 6655 4382 56 | 13.826 % | 111.85/111.90 c | 562881 | 455 791 3336 | 7320 4719 56 | 13.826 % | 111.85/111.96 c | 563388 | 455 791 3336 | 8052 5226 57 | 13.829 % | 111.96/112.07 c | 564148 | 455 791 3336 | 8857 5986 56 | 13.826 % | 112.16/112.28 c | 565289 | 455 791 3336 | 9743 7127 54 | 13.826 % | 112.46/112.50 c | 566998 | 455 791 3336 | 10717 8836 51 | 13.826 % | 113.06/113.16 c | 569561 | 455 791 3336 | 11789 5928 38 | 13.826 % | 113.55/113.67 c | 573406 | 455 791 3336 | 12968 9773 39 | 13.826 % | 114.75/114.88 c | 579173 | 455 791 3336 | 14265 8954 42 | 13.826 % | 115.86/116.00 c | 587823 | 455 791 3336 | 15692 10231 44 | 13.826 % | 117.85/117.93 c | 600797 | 455 791 3336 | 17261 15207 45 | 13.826 % | 120.96/121.04 c | 620258 | 455 791 3336 | 18987 17104 46 | 13.826 % | 126.95/127.00 c | 649452 | 455 791 3336 | 20886 17215 43 | 13.826 % | 138.26/138.32 c | 693241 | 452 791 3336 | 22974 5735 57 | 14.394 % | 157.44/157.58 c | 758927 | 452 791 3336 | 25272 22416 33 | 14.394 % | 182.55/182.64 c There are 76 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-2701910-1278546255/watcher-2701910-1278546255 -o /tmp/evaluation-result-2701910-1278546255/solver-2701910-1278546255 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701910-1278546255.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.27 0.07 0.02 2/106 26540 /proc/meminfo: memFree=1732704/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=2704 CPUtime=0 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 22837020 2768896 245 1992294400 134512640 135751879 4291714112 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 676 245 144 303 0 371 0 [startup+0.033208 s] /proc/loadavg: 0.27 0.07 0.02 2/106 26540 /proc/meminfo: memFree=1732704/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=2704 CPUtime=0.02 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 351 0 0 0 2 0 0 0 25 0 1 0 22837020 2768896 262 1992294400 134512640 135751879 4291714112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 676 262 147 303 0 371 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2704 [startup+0.101215 s] /proc/loadavg: 0.27 0.07 0.02 2/106 26540 /proc/meminfo: memFree=1732704/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=3088 CPUtime=0.09 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 428 0 0 0 9 0 0 0 25 0 1 0 22837020 3162112 339 1992294400 134512640 135751879 4291714112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 772 339 147 303 0 467 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3088 [startup+0.301234 s] /proc/loadavg: 0.27 0.07 0.02 2/106 26540 /proc/meminfo: memFree=1732704/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=3864 CPUtime=0.29 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 619 0 0 0 28 1 0 0 25 0 1 0 22837020 3956736 530 1992294400 134512640 135751879 4291714112 18446744073709551615 134518929 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 966 530 147 303 0 661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3864 [startup+0.701277 s] /proc/loadavg: 0.27 0.07 0.02 2/106 26540 /proc/meminfo: memFree=1732704/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=4912 CPUtime=0.69 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 896 0 0 0 67 2 0 0 25 0 1 0 22837020 5029888 807 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 1228 807 147 303 0 923 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4912 [startup+1.50136 s] /proc/loadavg: 0.27 0.07 0.02 2/107 26541 /proc/meminfo: memFree=1729472/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=7508 CPUtime=1.49 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 1540 0 0 0 144 5 0 0 25 0 1 0 22837020 7688192 1451 1992294400 134512640 135751879 4291714112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 1877 1451 148 303 0 1572 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7508 [startup+3.10152 s] /proc/loadavg: 0.33 0.09 0.03 2/107 26541 /proc/meminfo: memFree=1725752/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=11620 CPUtime=3.09 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 2568 0 0 0 301 8 0 0 25 0 1 0 22837020 11898880 2479 1992294400 134512640 135751879 4291714112 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 2905 2479 148 303 0 2600 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11620 [startup+6.30185 s] /proc/loadavg: 0.33 0.09 0.03 2/107 26541 /proc/meminfo: memFree=1719304/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=17288 CPUtime=6.29 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 3991 0 0 0 614 15 0 0 25 0 1 0 22837020 17702912 3902 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 4322 3902 148 303 0 4017 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17288 [startup+12.7015 s] /proc/loadavg: 0.43 0.12 0.04 2/107 26542 /proc/meminfo: memFree=1709260/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=26864 CPUtime=12.68 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 6350 0 0 0 1245 23 0 0 25 0 1 0 22837020 27508736 6261 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 6716 6261 148 303 0 6411 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26864 [startup+25.5008 s] /proc/loadavg: 0.52 0.15 0.05 2/107 26542 /proc/meminfo: memFree=1689048/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=46400 CPUtime=25.48 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 11261 0 0 0 2506 42 0 0 25 0 1 0 22837020 47513600 11172 1992294400 134512640 135751879 4291714112 18446744073709551615 134616495 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 11600 11172 148 303 0 11295 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 46400 [startup+51.1004 s] /proc/loadavg: 0.68 0.21 0.07 2/107 26543 /proc/meminfo: memFree=1648748/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=87752 CPUtime=51.08 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 21582 0 0 0 5021 87 0 0 25 0 1 0 22837020 89858048 21493 1992294400 134512640 135751879 4291714112 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 21938 21493 148 303 0 21633 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 87752 [startup+102.309 s] /proc/loadavg: 0.87 0.34 0.12 2/107 26544 /proc/meminfo: memFree=1590468/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=144776 CPUtime=102.27 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 35818 0 0 0 10073 154 0 0 25 0 1 0 22837020 148250624 35729 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 36194 35729 148 303 0 35889 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 144776 [startup+162.301 s] /proc/loadavg: 0.95 0.46 0.17 2/107 26546 /proc/meminfo: memFree=1524872/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=211068 CPUtime=162.24 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 52367 0 0 0 15985 239 0 0 25 0 1 0 22837020 216133632 52278 1992294400 134512640 135751879 4291714112 18446744073709551615 134607179 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 52767 52278 148 303 0 52462 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 211068 Solver just ended. Dumping a history of the last processes samples [startup+166.301 s] /proc/loadavg: 0.95 0.46 0.17 2/107 26546 /proc/meminfo: memFree=1521400/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=213892 CPUtime=166.24 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 53055 0 0 0 16381 243 0 0 25 0 1 0 22837020 219025408 52966 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 53473 52966 148 303 0 53168 0 Current children cumulated CPU time (s) 166.24 Current children cumulated vsize (KiB) 213892 [startup+172.709 s] /proc/loadavg: 0.96 0.48 0.18 2/107 26546 /proc/meminfo: memFree=1517060/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=218200 CPUtime=172.65 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 54114 0 0 0 17016 249 0 0 25 0 1 0 22837020 223436800 54025 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 54550 54025 148 303 0 54245 0 Current children cumulated CPU time (s) 172.65 Current children cumulated vsize (KiB) 218200 [startup+179.1 s] /proc/loadavg: 0.96 0.49 0.19 2/107 26546 /proc/meminfo: memFree=1513588/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=222236 CPUtime=179.04 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 55120 0 0 0 17649 255 0 0 25 0 1 0 22837020 227569664 55031 1992294400 134512640 135751879 4291714112 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 55559 55031 148 303 0 55254 0 Current children cumulated CPU time (s) 179.04 Current children cumulated vsize (KiB) 222236 [startup+180.701 s] /proc/loadavg: 0.96 0.49 0.19 2/107 26546 /proc/meminfo: memFree=1512224/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=223292 CPUtime=180.64 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 55381 0 0 0 17808 256 0 0 25 0 1 0 22837020 228651008 55292 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 55823 55292 148 303 0 55518 0 Current children cumulated CPU time (s) 180.64 Current children cumulated vsize (KiB) 223292 [startup+182.301 s] /proc/loadavg: 0.96 0.50 0.19 2/107 26546 /proc/meminfo: memFree=1511356/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=224584 CPUtime=182.24 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4202496 55712 0 0 0 17965 259 0 0 25 0 1 0 22837020 229974016 55623 1992294400 134512640 135751879 4291714112 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/26540/statm: 56146 55623 148 303 0 55841 0 Current children cumulated CPU time (s) 182.24 Current children cumulated vsize (KiB) 224584 [startup+183.101 s] /proc/loadavg: 0.96 0.50 0.19 2/107 26546 /proc/meminfo: memFree=1510488/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=224844 CPUtime=183.03 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4204032 55785 0 0 0 18000 303 0 0 25 0 1 0 22837020 230240256 55696 1992294400 134512640 135751879 4291714112 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 1 /proc/26540/statm: 56211 55696 148 303 0 55906 0 Current children cumulated CPU time (s) 183.03 Current children cumulated vsize (KiB) 224844 [startup+183.501 s] /proc/loadavg: 0.96 0.50 0.19 2/107 26546 /proc/meminfo: memFree=1510488/2059040 swapFree=4139544/4192956 [pid=26540] ppid=26538 vsize=224844 CPUtime=183.42 /proc/26540/stat : 26540 (wbo1.4b) R 26538 26540 26260 0 -1 4204032 55785 0 0 0 18000 342 0 0 25 0 1 0 22837020 230240256 55696 1992294400 134512640 135751879 4291714112 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 1 0 0 2 /proc/26540/statm: 56211 55696 148 303 0 55906 0 Current children cumulated CPU time (s) 183.42 Current children cumulated vsize (KiB) 224844 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 183.588 CPU time (s): 183.507 CPU user time (s): 180.001 CPU system time (s): 3.50647 CPU usage (%): 99.9561 Max. virtual memory (cumulated for all children) (KiB): 224844 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 3.50647 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 55786 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= 3 involuntary context switches= 2671 runsolver used 0.331949 second user time and 0.931858 second system time The end
Begin job on node027 at 2010-07-08 01:44:15 IDJOB=2701910 IDBENCH=47890 IDSOLVER=1161 FILE ID=node027/2701910-1278546255 PBS_JOBID= 11239510 Free space on /tmp= 62344 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=223-P1=29-P2=7-P3=83-P4=113-P5=223-P6=229-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-2701910-1278546255/watcher-2701910-1278546255 -o /tmp/evaluation-result-2701910-1278546255/solver-2701910-1278546255 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2701910-1278546255.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 6355c589dda3f12b095277ae4637ab26 RANDOM SEED=1334285302 node027.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 : 2800.222 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 : 5600.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 2800.222 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1733604 kB Buffers: 49960 kB Cached: 187196 kB SwapCached: 7268 kB Active: 123796 kB Inactive: 127588 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1733604 kB SwapTotal: 4192956 kB SwapFree: 4139544 kB Dirty: 2688 kB Writeback: 0 kB AnonPages: 11564 kB Mapped: 11868 kB Slab: 52104 kB PageTables: 4160 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181560 kB VmallocTotal: 34359738367 kB VmallocUsed: 264952 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2701910-1278546255.opb Free space on /tmp at the end= 62124 MiB End job on node027 at 2010-07-08 01:47:19