Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.45 | 1801.18 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-glass4.opb |
MD5SUM | bde08d14cdb5e6beb81499ee17ba1695 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 1291 |
Best CPU time to get the best result obtained on this benchmark | 1801.03 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1211 |
Optimality of the best value was proved | NO |
Number of variables | 780 |
Total number of constraints | 405 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 36 |
Number of constraints which are nor clauses,nor cardinality constraints | 369 |
Minimum length of a constraint | 6 |
Maximum length of a constraint | 101 |
Number of terms in the objective function | 478 |
Biggest coefficient in the objective function | 262140 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524739 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262140 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524739 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb ...... 0.19 c done parsing opb. 0.19 o 524430 8.08 o 524429 18.45 o 524333 19.96 o 524332 19.97 o 262423 19.98 o 262407 20.00 o 262322 20.01 o 262300 21.03 o 262299 21.04 o 261711 21.05 o 261704 21.10 o 261703 21.11 o 261679 21.20 o 261678 21.41 o 259920 26.95 o 258010 32.08 o 257972 32.22 o 252208 32.23 o 252170 32.24 o 252169 32.25 o 252168 32.29 o 252167 32.30 o 43234 32.31 o 43233 32.32 o 43232 32.33 o 43231 32.35 o 43230 32.36 o 43095 32.37 o 34903 32.38 o 34899 32.39 o 34898 32.41 o 34897 33.53 o 30927 33.54 o 30925 33.58 o 30924 34.13 o 30699 34.35 o 30698 35.12 o 23185 35.13 o 22907 35.15 o 20625 35.16 o 20492 35.17 o 20134 35.20 o 20048 42.08 o 12938 59.02 o 11872 59.03 o 3655 59.04 o 3652 59.05 o 3651 59.06 o 3648 59.06 o 3647 59.07 o 3646 59.08 o 3645 59.09 o 3644 59.10 o 3643 59.11 o 3642 59.12 o 3641 59.12 o 3640 59.13 o 3639 59.14 o 3638 59.15 o 3637 59.16 o 3636 59.17 o 3635 59.17 o 3634 59.18 o 3633 59.19 o 3632 59.20 o 3631 59.21 o 3630 59.22 o 3629 59.23 o 3628 59.24 o 3627 59.25 o 3626 59.28 o 3625 59.30 o 3547 59.35 o 3546 62.17 o 2855 78.95 o 2854 80.49 o 2571 80.51 o 2201 80.52 o 2200 80.54 o 2196 97.26 o 2136 98.19 o 2117 106.99 o 2111 117.81 o 2058 124.58 o 1672 130.56 o 1671 133.16 o 1639 137.89 o 1615 145.76 o 1614 155.49 o 1613 178.93 o 1603 254.53 o 1570 463.81 o 1178
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node67/watcher-41279-1149260600 -o ROOT/results/node67/solver-41279-1149260600 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb 98878060 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.97 0.94 3/64 16548 /proc/meminfo: memFree=1573608/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=1368 CPUtime=0 /proc/16548/stat : 16548 (PBS4L) D 16546 16548 16502 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 191729453 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/16548/statm: 342 95 84 232 0 107 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1569088/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=6732 CPUtime=9.92 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 1309 0 0 0 991 1 0 0 25 0 1 0 191729453 6893568 1280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 1683 1280 108 232 0 1448 0 Current children cumulated CPU time (s) 9.92 Current children cumulated vsize (Kb) 6732 [startup+20.0082 s] /proc/loadavg: 0.94 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1566400/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=11220 CPUtime=19.91 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 1999 0 0 0 1988 3 0 0 25 0 1 0 191729453 11489280 1970 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 2805 1970 108 232 0 2570 0 Current children cumulated CPU time (s) 19.91 Current children cumulated vsize (Kb) 11220 [startup+30.014 s] /proc/loadavg: 0.95 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1564416/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=11792 CPUtime=29.92 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 2544 0 0 0 2987 5 0 0 25 0 1 0 191729453 12075008 2466 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 2948 2466 108 232 0 2713 0 Current children cumulated CPU time (s) 29.92 Current children cumulated vsize (Kb) 11792 [startup+40.0199 s] /proc/loadavg: 0.96 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1562752/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=12192 CPUtime=39.92 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 2955 0 0 0 3985 7 0 0 25 0 1 0 191729453 12484608 2877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551282 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3048 2877 108 232 0 2813 0 Current children cumulated CPU time (s) 39.92 Current children cumulated vsize (Kb) 12192 [startup+50.0258 s] /proc/loadavg: 0.96 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1562496/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=12312 CPUtime=49.92 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3021 0 0 0 4984 8 0 0 25 0 1 0 191729453 12607488 2943 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549193 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3078 2943 108 232 0 2843 0 Current children cumulated CPU time (s) 49.92 Current children cumulated vsize (Kb) 12312 [startup+60.0316 s] /proc/loadavg: 0.97 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1562304/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=12816 CPUtime=59.93 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3144 0 0 0 5983 10 0 0 25 0 1 0 191729453 13123584 2969 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3204 2969 108 232 0 2969 0 Current children cumulated CPU time (s) 59.93 Current children cumulated vsize (Kb) 12816 [startup+70.0375 s] /proc/loadavg: 0.97 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1562112/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=12956 CPUtime=69.93 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3211 0 0 0 6982 11 0 0 25 0 1 0 191729453 13266944 3036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3239 3036 108 232 0 3004 0 Current children cumulated CPU time (s) 69.93 Current children cumulated vsize (Kb) 12956 [startup+80.0434 s] /proc/loadavg: 0.98 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1561920/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=13088 CPUtime=79.93 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3251 0 0 0 7981 12 0 0 25 0 1 0 191729453 13402112 3076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3272 3076 108 232 0 3037 0 Current children cumulated CPU time (s) 79.93 Current children cumulated vsize (Kb) 13088 [startup+90.0492 s] /proc/loadavg: 0.98 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1561408/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=13480 CPUtime=89.93 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3373 0 0 0 8980 13 0 0 25 0 1 0 191729453 13803520 3198 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551363 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3370 3198 108 232 0 3135 0 Current children cumulated CPU time (s) 89.93 Current children cumulated vsize (Kb) 13480 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1561088/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=14376 CPUtime=99.94 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3620 0 0 0 9979 15 0 0 25 0 1 0 191729453 14721024 3252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551326 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3594 3252 108 232 0 3359 0 Current children cumulated CPU time (s) 99.94 Current children cumulated vsize (Kb) 14376 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1560960/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=14508 CPUtime=109.94 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3682 0 0 0 10978 16 0 0 25 0 1 0 191729453 14856192 3314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551260 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3627 3314 108 232 0 3392 0 Current children cumulated CPU time (s) 109.94 Current children cumulated vsize (Kb) 14508 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1560704/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=14660 CPUtime=119.93 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3745 0 0 0 11976 17 0 0 25 0 1 0 191729453 15011840 3377 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551347 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3665 3377 108 232 0 3430 0 Current children cumulated CPU time (s) 119.93 Current children cumulated vsize (Kb) 14660 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1560448/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=14816 CPUtime=129.94 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3805 0 0 0 12976 18 0 0 25 0 1 0 191729453 15171584 3437 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3704 3437 108 232 0 3469 0 Current children cumulated CPU time (s) 129.94 Current children cumulated vsize (Kb) 14816 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1560064/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=15240 CPUtime=139.94 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3903 0 0 0 13974 20 0 0 25 0 1 0 191729453 15605760 3535 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3810 3535 108 232 0 3575 0 Current children cumulated CPU time (s) 139.94 Current children cumulated vsize (Kb) 15240 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1559936/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=15240 CPUtime=149.94 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3932 0 0 0 14973 21 0 0 25 0 1 0 191729453 15605760 3564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3810 3564 108 232 0 3575 0 Current children cumulated CPU time (s) 149.94 Current children cumulated vsize (Kb) 15240 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1559744/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=15240 CPUtime=159.95 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3968 0 0 0 15973 22 0 0 25 0 1 0 191729453 15605760 3600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551282 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3810 3600 108 232 0 3575 0 Current children cumulated CPU time (s) 159.95 Current children cumulated vsize (Kb) 15240 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1559680/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=15428 CPUtime=169.95 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 3987 0 0 0 16973 22 0 0 25 0 1 0 191729453 15798272 3619 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3857 3619 108 232 0 3622 0 Current children cumulated CPU time (s) 169.95 Current children cumulated vsize (Kb) 15428 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1559488/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=15428 CPUtime=179.95 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 4037 0 0 0 17971 24 0 0 25 0 1 0 191729453 15798272 3669 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3857 3669 108 232 0 3622 0 Current children cumulated CPU time (s) 179.95 Current children cumulated vsize (Kb) 15428 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1559424/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=15600 CPUtime=189.95 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 4066 0 0 0 18971 24 0 0 25 0 1 0 191729453 15974400 3698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3900 3698 108 232 0 3665 0 Current children cumulated CPU time (s) 189.95 Current children cumulated vsize (Kb) 15600 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1559296/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=15600 CPUtime=199.96 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 4101 0 0 0 19971 25 0 0 25 0 1 0 191729453 15974400 3733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 3900 3733 108 232 0 3665 0 Current children cumulated CPU time (s) 199.96 Current children cumulated vsize (Kb) 15600 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.94 2/64 16548 /proc/meminfo: memFree=1559040/2055920 swapFree=4181736/4192956 ################ # More data... # ################ /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16788 0 0 0 177941 193 0 0 25 0 1 0 191729453 64012288 13729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13729 108 232 0 15393 0 Current children cumulated CPU time (s) 1781.34 Current children cumulated vsize (Kb) 62512 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518848/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1782.35 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16788 0 0 0 178042 193 0 0 25 0 1 0 191729453 64012288 13729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564186 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13729 108 232 0 15393 0 Current children cumulated CPU time (s) 1782.35 Current children cumulated vsize (Kb) 62512 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1783.35 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16794 0 0 0 178142 193 0 0 25 0 1 0 191729453 64012288 13735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13735 108 232 0 15393 0 Current children cumulated CPU time (s) 1783.35 Current children cumulated vsize (Kb) 62512 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1784.35 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16795 0 0 0 178242 193 0 0 25 0 1 0 191729453 64012288 13736 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13736 108 232 0 15393 0 Current children cumulated CPU time (s) 1784.35 Current children cumulated vsize (Kb) 62512 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1785.36 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16796 0 0 0 178342 194 0 0 25 0 1 0 191729453 64012288 13737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13737 108 232 0 15393 0 Current children cumulated CPU time (s) 1785.36 Current children cumulated vsize (Kb) 62512 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1786.36 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16800 0 0 0 178442 194 0 0 25 0 1 0 191729453 64012288 13741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13741 108 232 0 15393 0 Current children cumulated CPU time (s) 1786.36 Current children cumulated vsize (Kb) 62512 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1787.37 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16801 0 0 0 178543 194 0 0 25 0 1 0 191729453 64012288 13742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13742 108 232 0 15393 0 Current children cumulated CPU time (s) 1787.37 Current children cumulated vsize (Kb) 62512 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518784/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1788.37 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16801 0 0 0 178643 194 0 0 25 0 1 0 191729453 64012288 13742 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551347 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13742 108 232 0 15393 0 Current children cumulated CPU time (s) 1788.37 Current children cumulated vsize (Kb) 62512 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1789.38 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16808 0 0 0 178744 194 0 0 25 0 1 0 191729453 64012288 13749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550057 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13749 108 232 0 15393 0 Current children cumulated CPU time (s) 1789.38 Current children cumulated vsize (Kb) 62512 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1790.38 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16814 0 0 0 178844 194 0 0 25 0 1 0 191729453 64012288 13755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13755 108 232 0 15393 0 Current children cumulated CPU time (s) 1790.38 Current children cumulated vsize (Kb) 62512 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1791.38 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16814 0 0 0 178944 194 0 0 25 0 1 0 191729453 64012288 13755 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13755 108 232 0 15393 0 Current children cumulated CPU time (s) 1791.38 Current children cumulated vsize (Kb) 62512 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1792.39 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16815 0 0 0 179045 194 0 0 25 0 1 0 191729453 64012288 13756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13756 108 232 0 15393 0 Current children cumulated CPU time (s) 1792.39 Current children cumulated vsize (Kb) 62512 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518720/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1793.39 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16815 0 0 0 179145 194 0 0 25 0 1 0 191729453 64012288 13756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13756 108 232 0 15393 0 Current children cumulated CPU time (s) 1793.39 Current children cumulated vsize (Kb) 62512 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1794.39 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16819 0 0 0 179245 194 0 0 25 0 1 0 191729453 64012288 13760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611568 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13760 108 232 0 15393 0 Current children cumulated CPU time (s) 1794.39 Current children cumulated vsize (Kb) 62512 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1795.4 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16822 0 0 0 179346 194 0 0 25 0 1 0 191729453 64012288 13763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13763 108 232 0 15393 0 Current children cumulated CPU time (s) 1795.4 Current children cumulated vsize (Kb) 62512 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1796.4 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16828 0 0 0 179446 194 0 0 25 0 1 0 191729453 64012288 13769 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13769 108 232 0 15393 0 Current children cumulated CPU time (s) 1796.4 Current children cumulated vsize (Kb) 62512 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518656/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=62512 CPUtime=1797.41 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16829 0 0 0 179547 194 0 0 25 0 1 0 191729453 64012288 13770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15628 13770 108 232 0 15393 0 Current children cumulated CPU time (s) 1797.41 Current children cumulated vsize (Kb) 62512 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=63000 CPUtime=1798.42 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16843 0 0 0 179647 195 0 0 25 0 1 0 191729453 64512000 13784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15750 13784 108 232 0 15515 0 Current children cumulated CPU time (s) 1798.42 Current children cumulated vsize (Kb) 63000 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=63000 CPUtime=1799.42 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16844 0 0 0 179747 195 0 0 25 0 1 0 191729453 64512000 13785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15750 13785 108 232 0 15515 0 Current children cumulated CPU time (s) 1799.42 Current children cumulated vsize (Kb) 63000 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=63000 CPUtime=1800.43 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16845 0 0 0 179848 195 0 0 25 0 1 0 191729453 64512000 13786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15750 13786 108 232 0 15515 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 63000 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.95 2/64 16548 /proc/meminfo: memFree=1518592/2055920 swapFree=4181736/4192956 [pid=16548] ppid=16546 vsize=63000 CPUtime=1800.43 /proc/16548/stat : 16548 (PBS4L) R 16546 16548 16502 0 -1 4194304 16845 0 0 0 179848 195 0 0 25 0 1 0 191729453 64512000 13786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/16548/statm: 15750 13786 108 232 0 15515 0 Current children cumulated CPU time (s) 1800.43 Current children cumulated vsize (Kb) 63000 Sending SIGTERM to -16548 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.18 CPU time (s): 1800.45 CPU user time (s): 1798.49 CPU system time (s): 1.9617 CPU usage (%): 99.9592 Max. virtual memory (cumulated for all children) (Kb): 63000 The end
Begin job on node67 on Fri Jun 2 15:03:20 UTC 2006 FILE ID= 41279-1149260600 PBS_JOBID= 298644 BENCH NAME= ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb 98878060 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node67/watcher-41279-1149260600 -o ROOT/results/node67/solver-41279-1149260600 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node67/41279-1149260600/instance-41279-1149260600.opb 98878060 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= bde08d14cdb5e6beb81499ee17ba1695 RANDOM SEED= 98878060 /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.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5931.00 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.264 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1574008 kB Buffers: 28784 kB Cached: 380728 kB SwapCached: 2840 kB Active: 49460 kB Inactive: 368648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1574008 kB SwapTotal: 4192956 kB SwapFree: 4181736 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14700 kB Slab: 49832 kB Committed_AS: 268248 kB PageTables: 1468 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node67 on Fri Jun 2 15:33:22 UTC 2006