Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.58 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-A2C1S1.opb |
MD5SUM | f1062f0a31768badc14bf5e03feddb4c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 103872 |
Total number of constraints | 3312 |
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 | 3312 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 725 |
Number of terms in the objective function | 37632 |
Biggest coefficient in the objective function | 1116 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 555552 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 555552 |
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/node36/41292-1149264093/instance-41292-1149264093.opb ......
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/node36/watcher-41292-1149264093 -o ROOT/results/node36/solver-41292-1149264093 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb 164738171 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.95 0.90 2/64 24924 /proc/meminfo: memFree=1508272/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=11140 CPUtime=0 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 142 0 0 0 0 0 0 0 18 0 1 0 192075416 11407360 126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 2785 128 90 232 0 2550 0 [startup+10.0029 s] /proc/loadavg: 0.93 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1473968/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=45372 CPUtime=9.99 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 13538 0 0 0 992 7 0 0 25 0 1 0 192075416 46460928 8635 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134543475 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 11343 8635 105 232 0 11108 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 45372 [startup+20.0097 s] /proc/loadavg: 0.94 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1473464/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=46140 CPUtime=19.99 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 13727 0 0 0 1989 10 0 0 25 0 1 0 192075416 47247360 8824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551553 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 11535 8824 105 232 0 11300 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 46140 [startup+30.0155 s] /proc/loadavg: 0.95 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1472952/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=47164 CPUtime=29.99 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 13900 0 0 0 2987 12 0 0 25 0 1 0 192075416 48295936 8997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 11791 8997 105 232 0 11556 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 47164 [startup+40.0213 s] /proc/loadavg: 0.96 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1471736/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=49212 CPUtime=40 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 14756 0 0 0 3986 14 0 0 25 0 1 0 192075416 50393088 9244 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 12303 9244 105 232 0 12068 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 49212 [startup+50.0282 s] /proc/loadavg: 0.96 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1471544/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=49212 CPUtime=50 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 15218 0 0 0 4983 17 0 0 25 0 1 0 192075416 50393088 9300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 12303 9300 105 232 0 12068 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 49212 [startup+60.034 s] /proc/loadavg: 0.97 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1471160/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=49212 CPUtime=60 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 15533 0 0 0 5979 21 0 0 25 0 1 0 192075416 50393088 9412 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551297 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 12303 9412 105 232 0 12068 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 49212 [startup+70.0408 s] /proc/loadavg: 0.97 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1470648/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=49816 CPUtime=70.01 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 16245 0 0 0 6978 23 0 0 25 0 1 0 192075416 51011584 9515 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 12454 9515 105 232 0 12219 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49816 [startup+80.0476 s] /proc/loadavg: 0.98 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1469944/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=50588 CPUtime=80.01 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 16876 0 0 0 7974 27 0 0 25 0 1 0 192075416 51802112 9740 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 12647 9740 105 232 0 12412 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 50588 [startup+90.0534 s] /proc/loadavg: 0.98 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1469304/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=54684 CPUtime=90.01 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 17228 0 0 0 8971 30 0 0 25 0 1 0 192075416 55996416 9889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13671 9889 105 232 0 13436 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 54684 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.91 2/64 24924 /proc/meminfo: memFree=1468856/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=54964 CPUtime=100.02 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 17550 0 0 0 9969 33 0 0 25 0 1 0 192075416 56283136 10008 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13741 10008 105 232 0 13506 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 54964 [startup+110.065 s] /proc/loadavg: 0.98 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1468216/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=54964 CPUtime=110.01 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 18289 0 0 0 10966 35 0 0 25 0 1 0 192075416 56283136 10138 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549251 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13741 10138 105 232 0 13506 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 54964 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1467768/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=55084 CPUtime=120.01 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 18794 0 0 0 11964 37 0 0 25 0 1 0 192075416 56406016 10237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13771 10237 105 232 0 13536 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 55084 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1467704/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=55084 CPUtime=130.02 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 19022 0 0 0 12962 40 0 0 25 0 1 0 192075416 56406016 10262 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13771 10262 105 232 0 13536 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 55084 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1467064/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=55204 CPUtime=140.02 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 19616 0 0 0 13960 42 0 0 25 0 1 0 192075416 56528896 10450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13801 10450 105 232 0 13566 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 55204 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1466360/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=55204 CPUtime=150.02 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 20154 0 0 0 14957 45 0 0 25 0 1 0 192075416 56528896 10582 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13801 10582 105 232 0 13566 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 55204 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1466296/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=55204 CPUtime=160.03 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 20592 0 0 0 15956 47 0 0 25 0 1 0 192075416 56528896 10614 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13801 10614 105 232 0 13566 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 55204 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1465592/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=55324 CPUtime=170.03 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 21203 0 0 0 16953 50 0 0 25 0 1 0 192075416 56651776 10819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 13831 10819 105 232 0 13596 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 55324 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1465144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=56220 CPUtime=180.03 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 22081 0 0 0 17950 53 0 0 25 0 1 0 192075416 57569280 10895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 14055 10895 105 232 0 13820 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 56220 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1464376/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=56360 CPUtime=190.03 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 22688 0 0 0 18947 56 0 0 25 0 1 0 192075416 57712640 11096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 14090 11096 105 232 0 13855 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 56360 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1464056/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=64552 CPUtime=200.04 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 23158 0 0 0 19945 59 0 0 25 0 1 0 192075416 66101248 11160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 16138 11160 105 232 0 15903 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 64552 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1463928/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95241 0 0 0 177649 498 0 0 25 0 1 0 192075416 130764800 22813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22813 105 232 0 31690 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 127700 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417272/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1782.47 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95241 0 0 0 177749 498 0 0 25 0 1 0 192075416 130764800 22813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22813 105 232 0 31690 0 Current children cumulated CPU time (s) 1782.47 Current children cumulated vsize (Kb) 127700 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417272/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1783.47 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95242 0 0 0 177849 498 0 0 25 0 1 0 192075416 130764800 22814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22814 105 232 0 31690 0 Current children cumulated CPU time (s) 1783.47 Current children cumulated vsize (Kb) 127700 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417272/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1784.48 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95243 0 0 0 177949 499 0 0 25 0 1 0 192075416 130764800 22815 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22815 105 232 0 31690 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 127700 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1785.48 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95450 0 0 0 178049 499 0 0 25 0 1 0 192075416 130764800 22819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22819 105 232 0 31690 0 Current children cumulated CPU time (s) 1785.48 Current children cumulated vsize (Kb) 127700 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1786.49 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95451 0 0 0 178150 499 0 0 25 0 1 0 192075416 130764800 22820 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22820 105 232 0 31690 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 127700 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1787.49 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95453 0 0 0 178250 499 0 0 25 0 1 0 192075416 130764800 22822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22822 105 232 0 31690 0 Current children cumulated CPU time (s) 1787.49 Current children cumulated vsize (Kb) 127700 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1788.49 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95463 0 0 0 178350 499 0 0 25 0 1 0 192075416 130764800 22832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22832 105 232 0 31690 0 Current children cumulated CPU time (s) 1788.49 Current children cumulated vsize (Kb) 127700 [startup+1790.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417208/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1789.5 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95464 0 0 0 178450 500 0 0 25 0 1 0 192075416 130764800 22833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22833 105 232 0 31690 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 127700 [startup+1791.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1790.5 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95670 0 0 0 178550 500 0 0 25 0 1 0 192075416 130764800 22836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22836 105 232 0 31690 0 Current children cumulated CPU time (s) 1790.5 Current children cumulated vsize (Kb) 127700 [startup+1792.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1791.51 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95670 0 0 0 178650 501 0 0 25 0 1 0 192075416 130764800 22836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22836 105 232 0 31690 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 127700 [startup+1793.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1792.51 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95670 0 0 0 178750 501 0 0 25 0 1 0 192075416 130764800 22836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22836 105 232 0 31690 0 Current children cumulated CPU time (s) 1792.51 Current children cumulated vsize (Kb) 127700 [startup+1794.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1793.51 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95671 0 0 0 178850 501 0 0 25 0 1 0 192075416 130764800 22837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22837 105 232 0 31690 0 Current children cumulated CPU time (s) 1793.51 Current children cumulated vsize (Kb) 127700 [startup+1795.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1794.52 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95671 0 0 0 178951 501 0 0 25 0 1 0 192075416 130764800 22837 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22837 105 232 0 31690 0 Current children cumulated CPU time (s) 1794.52 Current children cumulated vsize (Kb) 127700 [startup+1796.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1795.53 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95672 0 0 0 179051 502 0 0 25 0 1 0 192075416 130764800 22838 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22838 105 232 0 31690 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 127700 [startup+1797.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1796.53 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95673 0 0 0 179151 502 0 0 25 0 1 0 192075416 130764800 22839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22839 105 232 0 31690 0 Current children cumulated CPU time (s) 1796.53 Current children cumulated vsize (Kb) 127700 [startup+1798.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1797.53 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95876 0 0 0 179251 502 0 0 25 0 1 0 192075416 130764800 22839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22839 105 232 0 31690 0 Current children cumulated CPU time (s) 1797.53 Current children cumulated vsize (Kb) 127700 [startup+1799.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127700 CPUtime=1798.55 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95877 0 0 0 179352 503 0 0 25 0 1 0 192075416 130764800 22840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31925 22840 105 232 0 31690 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 127700 [startup+1800.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127844 CPUtime=1799.55 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95882 0 0 0 179452 503 0 0 25 0 1 0 192075416 130912256 22845 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31961 22845 105 232 0 31726 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 127844 [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127844 CPUtime=1800.55 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95883 0 0 0 179552 503 0 0 25 0 1 0 192075416 130912256 22846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31961 22846 105 232 0 31726 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 127844 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 24924 /proc/meminfo: memFree=1417144/2055920 swapFree=4181452/4192956 [pid=24924] ppid=24922 vsize=127844 CPUtime=1800.56 /proc/24924/stat : 24924 (PBS4L) R 24922 24924 24878 0 -1 4194304 95883 0 0 0 179553 503 0 0 25 0 1 0 192075416 130912256 22846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24924/statm: 31961 22846 105 232 0 31726 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 127844 Sending SIGTERM to -24924 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.58 CPU user time (s): 1795.53 CPU system time (s): 5.05023 CPU usage (%): 99.9662 Max. virtual memory (cumulated for all children) (Kb): 127844 The end
Begin job on node36 on Fri Jun 2 16:01:33 UTC 2006 FILE ID= 41292-1149264093 PBS_JOBID= 298815 BENCH NAME= ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb 164738171 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-41292-1149264093 -o ROOT/results/node36/solver-41292-1149264093 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41292-1149264093/instance-41292-1149264093.opb 164738171 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= f1062f0a31768badc14bf5e03feddb4c RANDOM SEED= 164738171 /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.284 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 : 5914.62 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.284 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: 1508480 kB Buffers: 24796 kB Cached: 449732 kB SwapCached: 3444 kB Active: 56612 kB Inactive: 426788 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1508480 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 236 kB Writeback: 0 kB Mapped: 14928 kB Slab: 50124 kB Committed_AS: 218712 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Fri Jun 2 16:31:35 UTC 2006