Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Signal | 183.63 | 183.713 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/ factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-B.opb |
MD5SUM | 12f1f3305860fafcd361cd1c61e0d104 |
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 | 20.7478 |
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 | 168 |
Total number of constraints | 15 |
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 | 15 |
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) | 448 |
Sum of products size (including duplicates) | 896 |
Number of different products | 448 |
Sum of products size | 896 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702164-1278546698.opb. 0.00/0.00 c Instance file HOME/instance-2702164-1278546698.opb 0.00/0.00 c File size is 33487 bytes. 0.00/0.01 c Highest Coefficient sum: 130560 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: 616 | 0.00/0.01 c | Number Clauses: 448 | 0.00/0.01 c | Number Cardinality: 0 | 0.00/0.01 c | Number PB Constraints: 470 | 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 | 616 918 3856 | 5000 0 nan | 0.000 % | 0.00/0.01 c | 102 | 616 918 3856 | 5500 102 62 | 0.002 % | 0.00/0.02 c | 252 | 616 918 3856 | 6050 252 64 | 0.000 % | 0.00/0.03 c | 477 | 616 918 3856 | 6655 477 59 | 0.000 % | 0.00/0.06 c | 814 | 616 918 3856 | 7320 814 57 | 0.002 % | 0.00/0.09 c | 1320 | 616 918 3856 | 8052 1320 56 | 0.000 % | 0.09/0.15 c | 2079 | 616 918 3856 | 8857 2079 53 | 0.000 % | 0.19/0.26 c | 3218 | 616 918 3856 | 9743 3218 51 | 0.000 % | 0.49/0.52 c | 4928 | 616 918 3856 | 10717 4928 52 | 0.000 % | 0.69/0.77 c | 7490 | 616 918 3856 | 11789 7490 51 | 0.000 % | 1.38/1.41 c | 11334 | 616 918 3856 | 12968 11334 49 | 0.002 % | 1.99/2.00 c | 17100 | 616 918 3856 | 14265 10542 43 | 0.000 % | 3.09/3.11 c | 25750 | 616 918 3856 | 15692 11999 31 | 0.000 % | 5.19/5.22 c | 38724 | 616 918 3856 | 17261 8848 48 | 0.000 % | 9.09/9.20 c | 58185 | 616 918 3856 | 18987 10831 45 | 0.000 % | 9.59/9.68 c =============================================================================== 9.59/9.68 c New solution: 77 9.59/9.68 o 77 9.59/9.68 c Elapsed CPU time: 9.50855 s Remaining CPU time: 170.491 s 9.59/9.68 c =============================================================================== 9.59/9.68 c | 63724 | 616 919 3864 | 5000 16370 49 | 0.000 % | 9.69/9.75 c | 63824 | 606 919 3864 | 5500 4021 58 | 1.626 % | 9.69/9.76 c | 63975 | 606 919 3864 | 6050 4172 58 | 1.624 % | 9.69/9.77 c | 64200 | 606 919 3864 | 6655 4397 59 | 1.624 % | 9.79/9.80 c | 64538 | 606 919 3864 | 7320 4735 59 | 1.626 % | 9.79/9.84 c | 65045 | 606 919 3864 | 8052 5242 59 | 1.626 % | 9.89/9.90 c | 65805 | 606 919 3864 | 8857 6002 58 | 1.624 % | 9.89/10.00 c | 66944 | 606 919 3864 | 9743 7141 57 | 1.624 % | 10.09/10.14 c | 68652 | 606 919 3864 | 10717 8849 55 | 1.624 % | 10.29/10.39 c | 71214 | 606 919 3864 | 11789 5930 49 | 1.624 % | 10.78/10.88 c | 75061 | 606 919 3864 | 12968 9777 45 | 1.624 % | 11.49/11.53 c | 80827 | 606 919 3864 | 14265 8949 45 | 1.624 % | 12.48/12.53 c | 89477 | 606 919 3864 | 15692 10188 61 | 1.624 % | 13.78/13.85 c | 102452 | 606 919 3864 | 17261 15119 48 | 1.626 % | 17.28/17.37 c | 121913 | 606 919 3864 | 18987 17119 39 | 1.626 % | 21.78/21.81 c | 151108 | 606 919 3864 | 20886 17327 43 | 1.624 % | 30.19/30.27 c | 194897 | 606 919 3864 | 22974 18843 42 | 1.624 % | 42.07/42.15 c | 260581 | 606 919 3864 | 25272 12047 51 | 1.624 % | 64.07/64.16 c | 359108 | 605 919 3864 | 27799 23048 40 | 1.788 % | 86.77/86.85 c =============================================================================== 86.77/86.85 c New solution: 33 86.77/86.85 o 33 86.77/86.85 c Elapsed CPU time: 85.546 s Remaining CPU time: 94.454 s 86.77/86.85 c =============================================================================== 86.77/86.85 c | 450365 | 605 920 3872 | 5000 14377 49 | 1.788 % | 86.87/86.92 c | 450465 | 595 920 3872 | 5500 3661 60 | 3.409 % | 86.87/86.94 c | 450616 | 595 920 3872 | 6050 3812 60 | 3.409 % | 86.87/86.95 c | 450841 | 595 920 3872 | 6655 4037 60 | 3.409 % | 86.87/86.98 c | 451178 | 595 920 3872 | 7320 4374 59 | 3.409 % | 86.98/87.04 c | 451686 | 595 920 3872 | 8052 4882 57 | 3.409 % | 87.07/87.13 c | 452446 | 595 920 3872 | 8857 5642 55 | 3.409 % | 87.16/87.24 c | 453586 | 595 920 3872 | 9743 6782 58 | 3.409 % | 87.37/87.47 c | 455295 | 595 920 3872 | 10717 8491 58 | 3.409 % | 87.77/87.86 c | 457857 | 595 920 3872 | 11789 11053 57 | 3.409 % | 88.16/88.28 c | 461702 | 595 920 3872 | 12968 8894 55 | 3.409 % | 88.97/89.00 c | 467468 | 595 920 3872 | 14265 7894 52 | 3.409 % | 90.46/90.56 c | 476118 | 595 920 3872 | 15692 9278 47 | 3.409 % | 93.07/93.16 c | 489092 | 595 920 3872 | 17261 14362 34 | 3.409 % | 96.17/96.20 c | 508553 | 595 920 3872 | 18987 16284 47 | 3.409 % | 99.16/99.26 c =============================================================================== 99.16/99.26 c New solution: 7 99.16/99.26 o 7 99.16/99.26 c Elapsed CPU time: 97.7511 s Remaining CPU time: 82.2489 s 99.16/99.26 c =============================================================================== 99.16/99.26 c | 531997 | 595 921 3880 | 5000 10665 41 | 3.409 % | 99.26/99.31 c | 532100 | 565 921 3880 | 5500 2762 44 | 8.282 % | 99.26/99.32 c | 532251 | 565 921 3880 | 6050 2913 44 | 8.279 % | 99.26/99.34 c | 532476 | 565 921 3880 | 6655 3138 46 | 8.282 % | 99.26/99.37 c | 532813 | 565 921 3880 | 7320 3475 47 | 8.279 % | 99.36/99.40 c | 533320 | 565 921 3880 | 8052 3982 49 | 8.279 % | 99.36/99.48 c | 534079 | 565 921 3880 | 8857 4741 48 | 8.279 % | 99.46/99.59 c | 535218 | 565 921 3880 | 9743 5880 47 | 8.279 % | 99.76/99.80 c | 536927 | 565 921 3880 | 10717 7589 47 | 8.279 % | 99.96/100.08 c | 539490 | 565 921 3880 | 11789 10152 45 | 8.279 % | 100.56/100.65 c | 543336 | 565 921 3880 | 12968 7965 45 | 8.279 % | 101.36/101.45 c | 549105 | 565 921 3880 | 14265 7131 40 | 8.279 % | 102.56/102.69 c | 557755 | 565 921 3880 | 15692 8561 42 | 8.279 % | 104.26/104.34 c | 570729 | 565 921 3880 | 17261 13550 31 | 8.279 % | 107.76/107.88 c | 590191 | 565 921 3880 | 18987 15606 28 | 8.279 % | 113.26/113.33 c | 619384 | 565 921 3880 | 20886 15694 33 | 8.279 % | 121.07/121.19 c | 663173 | 564 921 3880 | 22974 15558 48 | 8.444 % | 138.66/138.71 c | 728857 | 564 921 3880 | 25272 19036 71 | 8.442 % | 155.45/155.57 c =============================================================================== 155.45/155.57 c New solution: 3 155.45/155.57 o 3 155.45/155.57 c Elapsed CPU time: 153.277 s Remaining CPU time: 26.7233 s 155.45/155.57 c =============================================================================== 155.45/155.57 c | 799464 | 563 922 3888 | 5000 19034 33 | 8.442 % | 155.55/155.66 c | 799565 | 542 922 3888 | 5500 4860 40 | 12.016 % | 155.55/155.67 c | 799716 | 542 922 3888 | 6050 5011 41 | 12.013 % | 155.65/155.70 c | 799941 | 542 922 3888 | 6655 5236 42 | 12.013 % | 155.65/155.75 c | 800279 | 542 922 3888 | 7320 5574 43 | 12.015 % | 155.74/155.82 c | 800786 | 542 922 3888 | 8052 6081 44 | 12.013 % | 155.84/155.90 c | 801545 | 542 922 3888 | 8857 6840 45 | 12.013 % | 155.95/156.06 c | 802684 | 542 922 3888 | 9743 7979 45 | 12.013 % | 156.15/156.28 c | 804393 | 542 922 3888 | 10717 9688 47 | 12.013 % | 156.45/156.55 c | 806956 | 542 922 3888 | 11789 6710 54 | 12.013 % | 157.05/157.14 c | 810801 | 542 922 3888 | 12968 10555 51 | 12.013 % | 158.25/158.35 c | 816567 | 542 922 3888 | 14265 9760 39 | 12.013 % | 160.05/160.17 c | 825217 | 542 922 3888 | 15692 11206 34 | 12.013 % | 163.05/163.19 c | 838191 | 542 922 3888 | 17261 8275 28 | 12.013 % | 166.15/166.21 c | 857654 | 542 922 3888 | 18987 9910 47 | 12.013 % | 171.44/171.55 c | 886846 | 541 922 3888 | 20886 9959 36 | 12.176 % | 180.04/180.16 c | 930637 | 541 922 3888 | 22974 11260 38 | 12.176 % | 182.54/182.69 c There are 75 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-2702164-1278546698/watcher-2702164-1278546698 -o /tmp/evaluation-result-2702164-1278546698/solver-2702164-1278546698 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702164-1278546698.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.99 0.78 0.38 3/106 27735 /proc/meminfo: memFree=1700992/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=2608 CPUtime=0 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 300 0 0 0 0 0 0 0 19 0 1 0 22877649 2670592 219 1992294400 134512640 135751879 4292470960 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 652 219 141 303 0 338 0 [startup+0.100375 s] /proc/loadavg: 0.99 0.78 0.38 3/106 27735 /proc/meminfo: memFree=1700992/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=3092 CPUtime=0.09 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 445 0 0 0 9 0 0 0 20 0 1 0 22877649 3166208 355 1992294400 134512640 135751879 4292470960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 773 355 147 303 0 468 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3092 [startup+0.201384 s] /proc/loadavg: 0.99 0.78 0.38 3/106 27735 /proc/meminfo: memFree=1700992/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=3484 CPUtime=0.19 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 532 0 0 0 19 0 0 0 20 0 1 0 22877649 3567616 442 1992294400 134512640 135751879 4292470960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 871 442 147 303 0 566 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 3484 [startup+0.301394 s] /proc/loadavg: 0.99 0.78 0.38 3/106 27735 /proc/meminfo: memFree=1700992/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=3872 CPUtime=0.28 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 626 0 0 0 28 0 0 0 20 0 1 0 22877649 3964928 536 1992294400 134512640 135751879 4292470960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 968 536 147 303 0 663 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 3872 [startup+0.701433 s] /proc/loadavg: 0.99 0.78 0.38 3/106 27735 /proc/meminfo: memFree=1700992/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=4908 CPUtime=0.69 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 882 0 0 0 68 1 0 0 20 0 1 0 22877649 5025792 792 1992294400 134512640 135751879 4292470960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 1227 792 147 303 0 922 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4908 [startup+1.50151 s] /proc/loadavg: 0.99 0.78 0.38 2/107 27736 /proc/meminfo: memFree=1697884/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=6492 CPUtime=1.48 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 1273 0 0 0 146 2 0 0 22 0 1 0 22877649 6647808 1183 1992294400 134512640 135751879 4292470960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 1623 1183 147 303 0 1318 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 6492 [startup+3.10067 s] /proc/loadavg: 0.99 0.78 0.38 2/107 27736 /proc/meminfo: memFree=1695156/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=9544 CPUtime=3.09 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 2041 0 0 0 303 6 0 0 25 0 1 0 22877649 9773056 1951 1992294400 134512640 135751879 4292470960 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 2386 1951 148 303 0 2081 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9544 [startup+6.30098 s] /proc/loadavg: 0.99 0.79 0.38 2/107 27736 /proc/meminfo: memFree=1688832/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=15888 CPUtime=6.28 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 3624 0 0 0 616 12 0 0 25 0 1 0 22877649 16269312 3534 1992294400 134512640 135751879 4292470960 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 3972 3534 148 303 0 3667 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 15888 [startup+12.7006 s] /proc/loadavg: 0.99 0.79 0.39 2/107 27736 /proc/meminfo: memFree=1676308/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=28656 CPUtime=12.68 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 6813 0 0 0 1245 23 0 0 25 0 1 0 22877649 29343744 6723 1992294400 134512640 135751879 4292470960 18446744073709551615 134616769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 7164 6723 148 303 0 6859 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 28656 [startup+25.5019 s] /proc/loadavg: 0.99 0.80 0.40 2/107 27736 /proc/meminfo: memFree=1655104/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=48424 CPUtime=25.48 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 11734 0 0 0 2503 45 0 0 25 0 1 0 22877649 49586176 11644 1992294400 134512640 135751879 4292470960 18446744073709551615 134616398 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 12106 11644 148 303 0 11801 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 48424 [startup+51.1014 s] /proc/loadavg: 0.99 0.81 0.41 2/107 27738 /proc/meminfo: memFree=1616912/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=86764 CPUtime=51.07 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 21332 0 0 0 5024 83 0 0 25 0 1 0 22877649 88846336 21242 1992294400 134512640 135751879 4292470960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 21691 21242 148 303 0 21386 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86764 [startup+102.301 s] /proc/loadavg: 0.99 0.84 0.44 2/107 27738 /proc/meminfo: memFree=1551564/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=151540 CPUtime=102.27 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 37473 0 0 0 10072 155 0 0 25 0 1 0 22877649 155176960 37383 1992294400 134512640 135751879 4292470960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 37885 37383 148 303 0 37580 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 151540 [startup+162.301 s] /proc/loadavg: 0.99 0.87 0.47 2/107 27740 /proc/meminfo: memFree=1482620/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=221000 CPUtime=162.24 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 54830 0 0 0 15991 233 0 0 25 0 1 0 22877649 226304000 54740 1992294400 134512640 135751879 4292470960 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 55250 54740 148 303 0 54945 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 221000 Solver just ended. Dumping a history of the last processes samples [startup+166.401 s] /proc/loadavg: 0.99 0.87 0.47 2/107 27740 /proc/meminfo: memFree=1476048/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=227560 CPUtime=166.34 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 56459 0 0 0 16394 240 0 0 25 0 1 0 22877649 233021440 56369 1992294400 134512640 135751879 4292470960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 56890 56369 148 303 0 56585 0 Current children cumulated CPU time (s) 166.34 Current children cumulated vsize (KiB) 227560 [startup+172.809 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27740 /proc/meminfo: memFree=1467244/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=235796 CPUtime=172.75 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 58515 0 0 0 17026 249 0 0 25 0 1 0 22877649 241455104 58425 1992294400 134512640 135751879 4292470960 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 58949 58425 148 303 0 58644 0 Current children cumulated CPU time (s) 172.75 Current children cumulated vsize (KiB) 235796 [startup+179.201 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27740 /proc/meminfo: memFree=1462036/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=242308 CPUtime=179.14 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 60140 0 0 0 17656 258 0 0 25 0 1 0 22877649 248123392 60050 1992294400 134512640 135751879 4292470960 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 60577 60050 148 303 0 60272 0 Current children cumulated CPU time (s) 179.14 Current children cumulated vsize (KiB) 242308 [startup+180.801 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27740 /proc/meminfo: memFree=1458812/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=244888 CPUtime=180.74 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 60768 0 0 0 17814 260 0 0 25 0 1 0 22877649 250765312 60678 1992294400 134512640 135751879 4292470960 18446744073709551615 135221493 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 61222 60678 148 303 0 60917 0 Current children cumulated CPU time (s) 180.74 Current children cumulated vsize (KiB) 244888 [startup+182.4 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27740 /proc/meminfo: memFree=1456952/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=246968 CPUtime=182.34 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4202496 61295 0 0 0 17971 263 0 0 25 0 1 0 22877649 252895232 61205 1992294400 134512640 135751879 4292470960 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27735/statm: 61742 61205 148 303 0 61437 0 Current children cumulated CPU time (s) 182.34 Current children cumulated vsize (KiB) 246968 [startup+183.201 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27740 /proc/meminfo: memFree=1455836/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=247356 CPUtime=183.13 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4204032 61387 0 0 0 18000 313 0 0 18 0 1 0 22877649 253292544 61297 1992294400 134512640 135751879 4292470960 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 2 /proc/27735/statm: 61839 61297 148 303 0 61534 0 Current children cumulated CPU time (s) 183.13 Current children cumulated vsize (KiB) 247356 [startup+183.601 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27740 /proc/meminfo: memFree=1455836/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=247356 CPUtime=183.52 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4204032 61387 0 0 0 18000 352 0 0 18 0 1 0 22877649 253292544 61297 1992294400 134512640 135751879 4292470960 18446744073709551615 134639954 0 0 4096 3 0 0 0 17 0 0 0 2 /proc/27735/statm: 61839 61297 148 303 0 61534 0 Current children cumulated CPU time (s) 183.52 Current children cumulated vsize (KiB) 247356 [startup+183.702 s] /proc/loadavg: 0.99 0.87 0.48 2/107 27741 /proc/meminfo: memFree=1363272/2059040 swapFree=4144756/4192956 [pid=27735] ppid=27733 vsize=0 CPUtime=183.62 /proc/27735/stat : 27735 (wbo1.4b) R 27733 27735 27087 0 -1 4204036 61388 0 0 0 18000 362 0 0 18 0 1 0 22877649 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 2 /proc/27735/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 183.62 Current children cumulated vsize (KiB) 0 Child ended because it received signal 11 (SIGSEGV) Child dumped core Real time (s): 183.713 CPU time (s): 183.63 CPU user time (s): 180.001 CPU system time (s): 3.62945 CPU usage (%): 99.9548 Max. virtual memory (cumulated for all children) (KiB): 247356 getrusage(RUSAGE_CHILDREN,...) data: user time used= 180.001 system time used= 3.62945 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 61388 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= 5 involuntary context switches= 342 runsolver used 0.321951 second user time and 0.861868 second system time The end
Begin job on node036 at 2010-07-08 01:51:38 IDJOB=2702164 IDBENCH=48017 IDSOLVER=1161 FILE ID=node036/2702164-1278546698 PBS_JOBID= 11239503 Free space on /tmp= 62504 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/roussel/factor-mod-B/factor-mod-size=8-P0=229-P1=67-P2=149-P3=97-P4=149-P5=211-P6=89-P7=59-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-2702164-1278546698/watcher-2702164-1278546698 -o /tmp/evaluation-result-2702164-1278546698/solver-2702164-1278546698 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702164-1278546698.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 12f1f3305860fafcd361cd1c61e0d104 RANDOM SEED=1347307883 node036.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.244 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.48 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.244 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.53 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1702016 kB Buffers: 59752 kB Cached: 199536 kB SwapCached: 11704 kB Active: 138616 kB Inactive: 144200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1702016 kB SwapTotal: 4192956 kB SwapFree: 4144756 kB Dirty: 2664 kB Writeback: 0 kB AnonPages: 15248 kB Mapped: 11968 kB Slab: 52332 kB PageTables: 4200 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180292 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-2702164-1278546698.opb Free space on /tmp at the end= 62260 MiB End job on node036 at 2010-07-08 01:54:42