Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.73 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-mps-v2-20-10-neos16.opb |
MD5SUM | 49459e9c72edb2754f1d384319cf8731 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 114 |
Best CPU time to get the best result obtained on this benchmark | 1782.73 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 114 |
Optimality of the best value was proved | NO |
Number of variables | 464 |
Total number of constraints | 1059 |
Number of constraints which are clauses | 336 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 723 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 128 |
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 | 138 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 535 |
Number of bits of the biggest sum of numbers | 10 |
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/node18/41522-1149365684/instance-41522-1149365684.opb ...... 0.12 c done parsing opb. 0.12 o 129 0.78 o 120 1.58 o 118 2.89 o 115 20.02 o 114
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/node18/watcher-41522-1149365684 -o ROOT/results/node18/solver-41522-1149365684 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node18/41522-1149365684/instance-41522-1149365684.opb 64693135 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1706128/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=1400 CPUtime=0 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 161 0 0 0 0 0 0 0 18 0 1 0 202231337 1433600 142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 350 143 99 232 0 115 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1696728/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=13500 CPUtime=9.99 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 2818 0 0 0 993 6 0 0 25 0 1 0 202231337 13824000 2452 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 3375 2452 108 232 0 3140 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13500 [startup+20.008 s] /proc/loadavg: 0.94 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1692056/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=24688 CPUtime=19.99 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 4383 0 0 0 1988 11 0 0 25 0 1 0 202231337 25280512 3632 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 6172 3632 108 232 0 5937 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24688 [startup+30.014 s] /proc/loadavg: 0.95 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1687768/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=25776 CPUtime=30 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 5454 0 0 0 2985 15 0 0 25 0 1 0 202231337 26394624 4703 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 6444 4703 108 232 0 6209 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 25776 [startup+40.02 s] /proc/loadavg: 0.96 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1684312/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=26832 CPUtime=40 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 6322 0 0 0 3982 18 0 0 25 0 1 0 202231337 27475968 5571 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 6708 5571 108 232 0 6473 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 26832 [startup+50.0269 s] /proc/loadavg: 0.96 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1680984/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=27784 CPUtime=50.01 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 7166 0 0 0 4980 21 0 0 25 0 1 0 202231337 28450816 6415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 6946 6415 108 232 0 6711 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 27784 [startup+60.0329 s] /proc/loadavg: 0.97 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1678040/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=45152 CPUtime=60.01 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 7907 0 0 0 5978 23 0 0 25 0 1 0 202231337 46235648 7156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 11288 7156 108 232 0 11053 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 45152 [startup+70.0389 s] /proc/loadavg: 0.97 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1675416/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=49196 CPUtime=70.01 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 9316 0 0 0 6976 25 0 0 25 0 1 0 202231337 50376704 7796 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 12299 7796 108 232 0 12064 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49196 [startup+80.0449 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1672984/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=49836 CPUtime=80.01 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 9926 0 0 0 7974 27 0 0 25 0 1 0 202231337 51032064 8406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 12459 8406 108 232 0 12224 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 49836 [startup+90.0509 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1671704/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=50320 CPUtime=90.02 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 10238 0 0 0 8973 29 0 0 25 0 1 0 202231337 51527680 8718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 12580 8718 108 232 0 12345 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 50320 [startup+100.057 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1671064/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=50948 CPUtime=100.02 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 10423 0 0 0 9971 31 0 0 25 0 1 0 202231337 52170752 8903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 12737 8903 108 232 0 12502 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 50948 [startup+110.064 s] /proc/loadavg: 0.98 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1668952/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=51404 CPUtime=110.03 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 10951 0 0 0 10969 34 0 0 25 0 1 0 202231337 52637696 9431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 12851 9431 108 232 0 12616 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 51404 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1667352/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=51992 CPUtime=120.03 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 11349 0 0 0 11968 35 0 0 25 0 1 0 202231337 53239808 9829 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 12998 9829 108 232 0 12763 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 51992 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1665368/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=52384 CPUtime=130.03 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 11857 0 0 0 12966 37 0 0 25 0 1 0 202231337 53641216 10304 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13096 10304 108 232 0 12861 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 52384 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1663320/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=53148 CPUtime=140.04 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 12443 0 0 0 13965 39 0 0 25 0 1 0 202231337 54423552 10824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13287 10824 108 232 0 13052 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 53148 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1662168/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=53788 CPUtime=150.04 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 12908 0 0 0 14963 41 0 0 25 0 1 0 202231337 55078912 11124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13447 11124 108 232 0 13212 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 53788 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1661592/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=53920 CPUtime=160.05 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 13038 0 0 0 15962 43 0 0 25 0 1 0 202231337 55214080 11254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13480 11254 108 232 0 13245 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 53920 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1659928/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=54428 CPUtime=170.05 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 13496 0 0 0 16960 45 0 0 25 0 1 0 202231337 55734272 11679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13607 11679 108 232 0 13372 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 54428 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1659032/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=54844 CPUtime=180.05 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 13716 0 0 0 17959 46 0 0 25 0 1 0 202231337 56160256 11899 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13711 11899 108 232 0 13476 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 54844 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1658008/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=54972 CPUtime=190.05 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 14015 0 0 0 18957 48 0 0 25 0 1 0 202231337 56291328 12165 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13743 12165 108 232 0 13508 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 54972 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1656344/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=55752 CPUtime=200.06 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 14527 0 0 0 19956 50 0 0 25 0 1 0 202231337 57090048 12578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 13938 12578 108 232 0 13703 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 55752 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11549 /proc/meminfo: memFree=1654616/2055920 swapFree=4180888/4192956 ################ # More data... # ################ /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43571 0 0 0 177948 213 0 0 25 0 1 0 202231337 210104320 34006 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34006 108 232 0 51060 0 Current children cumulated CPU time (s) 1781.61 Current children cumulated vsize (Kb) 205180 [startup+1783.06 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1570072/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1782.61 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43593 0 0 0 178048 213 0 0 25 0 1 0 202231337 210104320 34028 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34028 108 232 0 51060 0 Current children cumulated CPU time (s) 1782.61 Current children cumulated vsize (Kb) 205180 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1570072/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1783.62 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43601 0 0 0 178149 213 0 0 25 0 1 0 202231337 210104320 34036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34036 108 232 0 51060 0 Current children cumulated CPU time (s) 1783.62 Current children cumulated vsize (Kb) 205180 [startup+1785.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569944/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1784.62 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43621 0 0 0 178249 213 0 0 25 0 1 0 202231337 210104320 34056 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550001 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34056 108 232 0 51060 0 Current children cumulated CPU time (s) 1784.62 Current children cumulated vsize (Kb) 205180 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569944/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1785.62 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43628 0 0 0 178349 213 0 0 25 0 1 0 202231337 210104320 34063 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34063 108 232 0 51060 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 205180 [startup+1787.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569944/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1786.63 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43633 0 0 0 178450 213 0 0 25 0 1 0 202231337 210104320 34068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34068 108 232 0 51060 0 Current children cumulated CPU time (s) 1786.63 Current children cumulated vsize (Kb) 205180 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569880/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1787.63 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43636 0 0 0 178550 213 0 0 25 0 1 0 202231337 210104320 34071 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34071 108 232 0 51060 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 205180 [startup+1789.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569816/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1788.63 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43654 0 0 0 178650 213 0 0 25 0 1 0 202231337 210104320 34089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34089 108 232 0 51060 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 205180 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569752/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1789.64 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43676 0 0 0 178751 213 0 0 25 0 1 0 202231337 210104320 34111 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34111 108 232 0 51060 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 205180 [startup+1791.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569624/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1790.65 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43698 0 0 0 178851 214 0 0 25 0 1 0 202231337 210104320 34133 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34133 108 232 0 51060 0 Current children cumulated CPU time (s) 1790.65 Current children cumulated vsize (Kb) 205180 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569560/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1791.65 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43727 0 0 0 178951 214 0 0 25 0 1 0 202231337 210104320 34162 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34162 108 232 0 51060 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 205180 [startup+1793.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569496/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1792.66 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43741 0 0 0 179052 214 0 0 25 0 1 0 202231337 210104320 34176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34176 108 232 0 51060 0 Current children cumulated CPU time (s) 1792.66 Current children cumulated vsize (Kb) 205180 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569432/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1793.66 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43745 0 0 0 179152 214 0 0 25 0 1 0 202231337 210104320 34180 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34180 108 232 0 51060 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 205180 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569432/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1794.67 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43753 0 0 0 179253 214 0 0 25 0 1 0 202231337 210104320 34188 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34188 108 232 0 51060 0 Current children cumulated CPU time (s) 1794.67 Current children cumulated vsize (Kb) 205180 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569368/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1795.67 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43765 0 0 0 179353 214 0 0 25 0 1 0 202231337 210104320 34200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34200 108 232 0 51060 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 205180 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569304/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1796.67 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43781 0 0 0 179453 214 0 0 25 0 1 0 202231337 210104320 34216 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34216 108 232 0 51060 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 205180 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569304/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1797.68 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43791 0 0 0 179554 214 0 0 25 0 1 0 202231337 210104320 34226 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34226 108 232 0 51060 0 Current children cumulated CPU time (s) 1797.68 Current children cumulated vsize (Kb) 205180 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1798.69 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43795 0 0 0 179654 215 0 0 25 0 1 0 202231337 210104320 34230 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34230 108 232 0 51060 0 Current children cumulated CPU time (s) 1798.69 Current children cumulated vsize (Kb) 205180 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1799.69 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43799 0 0 0 179754 215 0 0 25 0 1 0 202231337 210104320 34234 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34234 108 232 0 51060 0 Current children cumulated CPU time (s) 1799.69 Current children cumulated vsize (Kb) 205180 [startup+1801.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1800.7 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43805 0 0 0 179855 215 0 0 25 0 1 0 202231337 210104320 34240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611778 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34240 108 232 0 51060 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 205180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 11551 /proc/meminfo: memFree=1569240/2055920 swapFree=4180888/4192956 [pid=11549] ppid=11547 vsize=205180 CPUtime=1800.7 /proc/11549/stat : 11549 (PBS4L) R 11547 11549 11503 0 -1 4194304 43805 0 0 0 179855 215 0 0 25 0 1 0 202231337 210104320 34240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611785 0 0 4096 0 0 0 0 17 1 0 0 /proc/11549/statm: 51295 34240 108 232 0 51060 0 Current children cumulated CPU time (s) 1800.7 Current children cumulated vsize (Kb) 205180 Sending SIGTERM to -11549 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.73 CPU user time (s): 1798.56 CPU system time (s): 2.17567 CPU usage (%): 99.9748 Max. virtual memory (cumulated for all children) (Kb): 205180 The end
Begin job on node18 on Sat Jun 3 20:14:44 UTC 2006 FILE ID= 41522-1149365684 PBS_JOBID= 311807 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos16.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node18/41522-1149365684/instance-41522-1149365684.opb 64693135 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node18/watcher-41522-1149365684 -o ROOT/results/node18/solver-41522-1149365684 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node18/41522-1149365684/instance-41522-1149365684.opb 64693135 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 49459e9c72edb2754f1d384319cf8731 RANDOM SEED= 64693135 /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.216 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.216 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: 1706336 kB Buffers: 29576 kB Cached: 251524 kB SwapCached: 3684 kB Active: 70836 kB Inactive: 218876 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1706336 kB SwapTotal: 4192956 kB SwapFree: 4180888 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14680 kB Slab: 45952 kB Committed_AS: 366988 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node18 on Sat Jun 3 20:44:45 UTC 2006