Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 1391.53 | 1391.9 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573901.opb |
MD5SUM | 40d0bcc4171e4a5907ae30e54ba56b80 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 242.265 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 701 |
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/node21/40992-1149218630/instance-40992-1149218630.opb ...... 1391.87 c done parsing opb. 1391.87 s UNSATISFIABLE 1391.87 c Total Run Time 1391.48
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/node21/watcher-40992-1149218630 -o ROOT/results/node21/solver-40992-1149218630 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb 408498022 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 18411 /proc/meminfo: memFree=1265968/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=1400 CPUtime=0 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 156 0 0 0 0 0 0 0 18 0 1 0 187526116 1433600 139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 350 139 100 232 0 115 0 [startup+10.0022 s] /proc/loadavg: 0.92 0.95 0.90 2/64 18411 /proc/meminfo: memFree=1254072/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=13600 CPUtime=10 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 3437 0 0 0 994 6 0 0 25 0 1 0 187526116 13926400 3073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 3400 3073 104 232 0 3165 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 13600 [startup+20.0083 s] /proc/loadavg: 0.93 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1248192/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=25148 CPUtime=19.99 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 5293 0 0 0 1990 9 0 0 25 0 1 0 187526116 25751552 4544 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 6287 4544 105 232 0 6052 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25148 [startup+30.0154 s] /proc/loadavg: 0.94 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1243200/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=26632 CPUtime=30 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 6534 0 0 0 2987 13 0 0 25 0 1 0 187526116 27271168 5785 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 6658 5785 105 232 0 6423 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26632 [startup+40.0205 s] /proc/loadavg: 0.95 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1238976/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=44028 CPUtime=40 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 7588 0 0 0 3984 16 0 0 25 0 1 0 187526116 45084672 6839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558853 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 11007 6839 105 232 0 10772 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 44028 [startup+50.0266 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1235328/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=44904 CPUtime=50 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 8509 0 0 0 4982 18 0 0 25 0 1 0 187526116 45981696 7760 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 11226 7760 105 232 0 10991 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 44904 [startup+60.0327 s] /proc/loadavg: 0.96 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1232256/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=48964 CPUtime=60.01 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 10038 0 0 0 5981 20 0 0 25 0 1 0 187526116 50139136 8520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 12241 8520 105 232 0 12006 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 48964 [startup+70.0388 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1228928/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=49948 CPUtime=70.01 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 10886 0 0 0 6978 23 0 0 25 0 1 0 187526116 51146752 9368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 12487 9368 105 232 0 12252 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49948 [startup+80.0449 s] /proc/loadavg: 0.97 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1226112/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=50572 CPUtime=80.02 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 11582 0 0 0 7976 26 0 0 25 0 1 0 187526116 51785728 10064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 12643 10064 105 232 0 12408 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 50572 [startup+90.051 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1223104/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=51616 CPUtime=90.02 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 12331 0 0 0 8974 28 0 0 25 0 1 0 187526116 52854784 10813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134559025 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 12904 10813 105 232 0 12669 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 51616 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1222080/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=52468 CPUtime=100.03 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 12591 0 0 0 9974 29 0 0 25 0 1 0 187526116 53727232 11073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 13117 11073 105 232 0 12882 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 52468 [startup+110.062 s] /proc/loadavg: 0.98 0.96 0.91 2/64 18411 /proc/meminfo: memFree=1219840/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=52600 CPUtime=110.02 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 13146 0 0 0 10971 31 0 0 25 0 1 0 187526116 53862400 11628 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 13150 11628 105 232 0 12915 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 52600 [startup+120.068 s] /proc/loadavg: 0.98 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1217472/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=53216 CPUtime=120.03 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 13736 0 0 0 11969 34 0 0 25 0 1 0 187526116 54493184 12218 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550379 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 13304 12218 105 232 0 13069 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 53216 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1215168/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=86704 CPUtime=130.03 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 14310 0 0 0 12968 35 0 0 25 0 1 0 187526116 88784896 12792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 21676 12792 105 232 0 21441 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 86704 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1212992/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=87228 CPUtime=140.04 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 14883 0 0 0 13966 38 0 0 25 0 1 0 187526116 89321472 13332 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 21807 13332 105 232 0 21572 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 87228 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1210816/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=88024 CPUtime=150.04 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 15461 0 0 0 14964 40 0 0 25 0 1 0 187526116 90136576 13877 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 22006 13877 105 232 0 21771 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 88024 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1209216/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=88636 CPUtime=160.04 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 15891 0 0 0 15962 42 0 0 25 0 1 0 187526116 90763264 14241 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 22159 14241 105 232 0 21924 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 88636 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1208000/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=89188 CPUtime=170.05 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 16262 0 0 0 16961 44 0 0 25 0 1 0 187526116 91328512 14579 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 22297 14579 105 232 0 22062 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 89188 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1206336/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=89932 CPUtime=180.05 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 16701 0 0 0 17959 46 0 0 25 0 1 0 187526116 92090368 14985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552019 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 22483 14985 105 232 0 22248 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 89932 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1204928/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=90156 CPUtime=190.06 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 17059 0 0 0 18958 48 0 0 25 0 1 0 187526116 92319744 15343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 22539 15343 105 232 0 22304 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 90156 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1203456/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=96624 CPUtime=200.05 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 18959 0 0 0 19956 49 0 0 25 0 1 0 187526116 98942976 15706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 24156 15706 105 232 0 23921 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 96624 [startup+210.124 s] /proc/loadavg: 0.99 0.97 0.91 2/64 18411 /proc/meminfo: memFree=1201600/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/18411/statm: 50591 31900 105 232 0 50356 0 Current children cumulated CPU time (s) 1180.4 Current children cumulated vsize (Kb) 202364 [startup+1190.72 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1138368/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=202364 CPUtime=1190.4 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 40973 0 0 0 118887 153 0 0 25 0 1 0 187526116 207220736 31929 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50591 31929 105 232 0 50356 0 Current children cumulated CPU time (s) 1190.4 Current children cumulated vsize (Kb) 202364 [startup+1200.72 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1137856/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=203216 CPUtime=1200.4 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41134 0 0 0 119887 153 0 0 25 0 1 0 187526116 208093184 32025 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50804 32025 105 232 0 50569 0 Current children cumulated CPU time (s) 1200.4 Current children cumulated vsize (Kb) 203216 [startup+1210.73 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1137856/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=203216 CPUtime=1210.41 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41164 0 0 0 120887 154 0 0 25 0 1 0 187526116 208093184 32055 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50804 32055 105 232 0 50569 0 Current children cumulated CPU time (s) 1210.41 Current children cumulated vsize (Kb) 203216 [startup+1220.73 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1137792/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=203216 CPUtime=1220.4 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41188 0 0 0 121886 154 0 0 25 0 1 0 187526116 208093184 32079 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50804 32079 105 232 0 50569 0 Current children cumulated CPU time (s) 1220.4 Current children cumulated vsize (Kb) 203216 [startup+1230.74 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1137664/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=203216 CPUtime=1230.41 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41213 0 0 0 122886 155 0 0 25 0 1 0 187526116 208093184 32104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50804 32104 105 232 0 50569 0 Current children cumulated CPU time (s) 1230.41 Current children cumulated vsize (Kb) 203216 [startup+1240.75 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1136768/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=203848 CPUtime=1240.42 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41430 0 0 0 123886 156 0 0 25 0 1 0 187526116 208740352 32321 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50962 32321 105 232 0 50727 0 Current children cumulated CPU time (s) 1240.42 Current children cumulated vsize (Kb) 203848 [startup+1250.75 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1136704/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=203848 CPUtime=1250.42 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41454 0 0 0 124885 157 0 0 25 0 1 0 187526116 208740352 32345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50962 32345 105 232 0 50727 0 Current children cumulated CPU time (s) 1250.42 Current children cumulated vsize (Kb) 203848 [startup+1260.76 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1136640/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=203848 CPUtime=1260.42 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41483 0 0 0 125884 158 0 0 25 0 1 0 187526116 208740352 32374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 50962 32374 105 232 0 50727 0 Current children cumulated CPU time (s) 1260.42 Current children cumulated vsize (Kb) 203848 [startup+1270.77 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1135872/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=204520 CPUtime=1270.43 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41671 0 0 0 126884 159 0 0 25 0 1 0 187526116 209428480 32562 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51130 32562 105 232 0 50895 0 Current children cumulated CPU time (s) 1270.43 Current children cumulated vsize (Kb) 204520 [startup+1280.77 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1135744/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=204520 CPUtime=1280.42 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41699 0 0 0 127883 159 0 0 25 0 1 0 187526116 209428480 32590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51130 32590 105 232 0 50895 0 Current children cumulated CPU time (s) 1280.42 Current children cumulated vsize (Kb) 204520 [startup+1290.78 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1135424/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205232 CPUtime=1290.44 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41785 0 0 0 128883 161 0 0 25 0 1 0 187526116 210157568 32676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551974 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51308 32676 105 232 0 51073 0 Current children cumulated CPU time (s) 1290.44 Current children cumulated vsize (Kb) 205232 [startup+1300.78 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1135296/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205232 CPUtime=1300.43 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41810 0 0 0 129882 161 0 0 25 0 1 0 187526116 210157568 32701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51308 32701 105 232 0 51073 0 Current children cumulated CPU time (s) 1300.43 Current children cumulated vsize (Kb) 205232 [startup+1310.79 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1134848/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205232 CPUtime=1310.43 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 41911 0 0 0 130881 162 0 0 25 0 1 0 187526116 210157568 32802 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51308 32802 105 232 0 51073 0 Current children cumulated CPU time (s) 1310.43 Current children cumulated vsize (Kb) 205232 [startup+1320.8 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1134464/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205232 CPUtime=1320.44 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42007 0 0 0 131881 163 0 0 25 0 1 0 187526116 210157568 32898 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552199 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51308 32898 105 232 0 51073 0 Current children cumulated CPU time (s) 1320.44 Current children cumulated vsize (Kb) 205232 [startup+1330.8 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1134400/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205988 CPUtime=1330.45 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42033 0 0 0 132881 164 0 0 25 0 1 0 187526116 210931712 32924 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552771 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51497 32924 105 232 0 51262 0 Current children cumulated CPU time (s) 1330.45 Current children cumulated vsize (Kb) 205988 [startup+1340.81 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1134272/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205988 CPUtime=1340.45 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42060 0 0 0 133880 165 0 0 25 0 1 0 187526116 210931712 32951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51497 32951 105 232 0 51262 0 Current children cumulated CPU time (s) 1340.45 Current children cumulated vsize (Kb) 205988 [startup+1350.81 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1133504/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205988 CPUtime=1350.46 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42253 0 0 0 134880 166 0 0 25 0 1 0 187526116 210931712 33144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51497 33144 105 232 0 51262 0 Current children cumulated CPU time (s) 1350.46 Current children cumulated vsize (Kb) 205988 [startup+1360.82 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1133376/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=205988 CPUtime=1360.46 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42279 0 0 0 135879 167 0 0 25 0 1 0 187526116 210931712 33170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51497 33170 105 232 0 51262 0 Current children cumulated CPU time (s) 1360.46 Current children cumulated vsize (Kb) 205988 [startup+1370.83 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1132736/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=206792 CPUtime=1370.46 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42435 0 0 0 136878 168 0 0 25 0 1 0 187526116 211755008 33326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51698 33326 105 232 0 51463 0 Current children cumulated CPU time (s) 1370.46 Current children cumulated vsize (Kb) 206792 [startup+1380.83 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1132416/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=206792 CPUtime=1380.46 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42525 0 0 0 137878 168 0 0 25 0 1 0 187526116 211755008 33416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51698 33416 105 232 0 51463 0 Current children cumulated CPU time (s) 1380.46 Current children cumulated vsize (Kb) 206792 [startup+1390.84 s] /proc/loadavg: 1.00 0.99 0.91 2/64 18413 /proc/meminfo: memFree=1131840/2055920 swapFree=4181452/4192956 [pid=18411] ppid=18409 vsize=207648 CPUtime=1390.47 /proc/18411/stat : 18411 (PBS4L) R 18409 18411 18366 0 -1 4194304 42669 0 0 0 138878 169 0 0 25 0 1 0 187526116 212631552 33560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/18411/statm: 51912 33560 105 232 0 51677 0 Current children cumulated CPU time (s) 1390.47 Current children cumulated vsize (Kb) 207648 Child status: 0 Real time (s): 1391.9 CPU time (s): 1391.53 CPU user time (s): 1389.81 CPU system time (s): 1.71474 CPU usage (%): 99.9737 Max. virtual memory (cumulated for all children) (Kb): 207648
Begin job on node21 on Fri Jun 2 03:23:50 UTC 2006 FILE ID= 40992-1149218630 PBS_JOBID= 295051 BENCH NAME= ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb 408498022 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-40992-1149218630 -o ROOT/results/node21/solver-40992-1149218630 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/40992-1149218630/instance-40992-1149218630.opb 408498022 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 40d0bcc4171e4a5907ae30e54ba56b80 RANDOM SEED= 408498022 /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.240 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.240 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: 1266176 kB Buffers: 45784 kB Cached: 667140 kB SwapCached: 3388 kB Active: 211960 kB Inactive: 509808 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1266176 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 160 kB Writeback: 0 kB Mapped: 14728 kB Slab: 53992 kB Committed_AS: 210088 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 node21 on Fri Jun 2 03:47:02 UTC 2006