Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 498.288 | 498.418 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900564281.opb |
MD5SUM | 0626939ca6144a564c8e59fb048e3266 |
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 | 93.7857 |
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 | 705 |
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/node61/41046-1149224933/instance-41046-1149224933.opb ...... 498.40 c done parsing opb. 498.40 s UNSATISFIABLE 498.40 c Total Run Time 498.252
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/node61/watcher-41046-1149224933 -o ROOT/results/node61/solver-41046-1149224933 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb 623836678 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1338904/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=1368 CPUtime=0 /proc/21491/stat : 21491 (PBS4L) D 21489 21491 21446 0 -1 4194304 111 0 0 0 0 0 0 0 19 0 1 0 188161199 1400832 95 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135132864 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0 /proc/21491/statm: 342 95 84 232 0 107 0 [startup+10.0028 s] /proc/loadavg: 0.93 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1327912/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=13612 CPUtime=9.99 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 3215 0 0 0 993 6 0 0 25 0 1 0 188161199 13938688 2851 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 3403 2851 104 232 0 3168 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13612 [startup+20.0098 s] /proc/loadavg: 0.94 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1321704/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=24888 CPUtime=19.99 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 5149 0 0 0 1988 11 0 0 25 0 1 0 188161199 25485312 4400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 6222 4400 104 232 0 5987 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24888 [startup+30.0158 s] /proc/loadavg: 0.95 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1317288/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=26204 CPUtime=29.99 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 6269 0 0 0 2985 14 0 0 25 0 1 0 188161199 26832896 5520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 6551 5520 104 232 0 6316 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26204 [startup+40.0217 s] /proc/loadavg: 0.95 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1313512/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=43616 CPUtime=40 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 7203 0 0 0 3983 17 0 0 25 0 1 0 188161199 44662784 6454 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 10904 6454 104 232 0 10669 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43616 [startup+50.0277 s] /proc/loadavg: 0.96 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1309608/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=44484 CPUtime=50 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 8174 0 0 0 4980 20 0 0 25 0 1 0 188161199 45551616 7425 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 11121 7425 105 232 0 10886 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 44484 [startup+60.0337 s] /proc/loadavg: 0.97 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1306088/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=48704 CPUtime=60.01 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 9829 0 0 0 5978 23 0 0 25 0 1 0 188161199 49872896 8311 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 12176 8311 105 232 0 11941 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 48704 [startup+70.0396 s] /proc/loadavg: 0.97 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1304296/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=49424 CPUtime=70.01 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 10265 0 0 0 6977 24 0 0 25 0 1 0 188161199 50610176 8747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 12356 8747 105 232 0 12121 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49424 [startup+80.0466 s] /proc/loadavg: 0.98 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1301928/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=50192 CPUtime=80.01 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 10851 0 0 0 7974 27 0 0 25 0 1 0 188161199 51396608 9333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 12548 9333 105 232 0 12313 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 50192 [startup+90.0516 s] /proc/loadavg: 0.98 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1299048/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=50780 CPUtime=90.02 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 11576 0 0 0 8972 30 0 0 25 0 1 0 188161199 51998720 10058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 12695 10058 105 232 0 12460 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 50780 [startup+100.058 s] /proc/loadavg: 0.98 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1296360/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=51176 CPUtime=100.02 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 12246 0 0 0 9970 32 0 0 25 0 1 0 188161199 52404224 10728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 12794 10728 105 232 0 12559 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 51176 [startup+110.064 s] /proc/loadavg: 0.98 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1294120/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=52012 CPUtime=110.03 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 12798 0 0 0 10969 34 0 0 25 0 1 0 188161199 53260288 11280 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 13003 11280 105 232 0 12768 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 52012 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1292712/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=52616 CPUtime=120.03 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 13161 0 0 0 11968 35 0 0 25 0 1 0 188161199 53878784 11643 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 13154 11643 105 232 0 12919 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 52616 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1292200/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=53012 CPUtime=130.03 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 13285 0 0 0 12966 37 0 0 25 0 1 0 188161199 54284288 11767 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 13253 11767 105 232 0 13018 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 53012 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1289960/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=53628 CPUtime=140.03 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 13855 0 0 0 13964 39 0 0 25 0 1 0 188161199 54915072 12337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 13407 12337 105 232 0 13172 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 53628 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1287784/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=86528 CPUtime=150.04 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 14404 0 0 0 14963 41 0 0 25 0 1 0 188161199 88604672 12886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552199 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 21632 12886 105 232 0 21397 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 86528 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1285864/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=86660 CPUtime=160.04 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 14880 0 0 0 15961 43 0 0 25 0 1 0 188161199 88739840 13362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 21665 13362 105 232 0 21430 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 86660 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1283688/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=87672 CPUtime=170.05 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 15422 0 0 0 16960 45 0 0 25 0 1 0 188161199 89776128 13904 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 21918 13904 105 232 0 21683 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 87672 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1281960/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=88196 CPUtime=180.05 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 15878 0 0 0 17958 47 0 0 25 0 1 0 188161199 90312704 14327 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 22049 14327 105 232 0 21814 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 88196 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1281128/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=88688 CPUtime=190.05 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 16148 0 0 0 18957 48 0 0 25 0 1 0 188161199 90816512 14531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552196 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 22172 14531 105 232 0 21937 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 88688 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1279016/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=89260 CPUtime=200.06 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 16717 0 0 0 19956 50 0 0 25 0 1 0 188161199 91402240 15067 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 22315 15067 105 232 0 22080 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 89260 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1278248/2055920 swapFree=4179832/4192956 ################ # More data... # ################ /proc/21491/statm: 24810 16478 105 232 0 24575 0 Current children cumulated CPU time (s) 280.09 Current children cumulated vsize (Kb) 99240 [startup+290.171 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1272552/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=99712 CPUtime=290.08 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20079 0 0 0 28947 61 0 0 25 0 1 0 188161199 102105088 16661 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 24928 16661 105 232 0 24693 0 Current children cumulated CPU time (s) 290.08 Current children cumulated vsize (Kb) 99712 [startup+300.177 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1272360/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=99904 CPUtime=300.09 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20136 0 0 0 29946 63 0 0 25 0 1 0 188161199 102301696 16718 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 24976 16718 105 232 0 24741 0 Current children cumulated CPU time (s) 300.09 Current children cumulated vsize (Kb) 99904 [startup+310.183 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1272040/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=100260 CPUtime=310.1 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20245 0 0 0 30946 64 0 0 25 0 1 0 188161199 102666240 16794 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25065 16794 105 232 0 24830 0 Current children cumulated CPU time (s) 310.1 Current children cumulated vsize (Kb) 100260 [startup+320.189 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1271592/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=100784 CPUtime=320.1 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20387 0 0 0 31945 65 0 0 25 0 1 0 188161199 103202816 16903 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25196 16903 105 232 0 24961 0 Current children cumulated CPU time (s) 320.1 Current children cumulated vsize (Kb) 100784 [startup+330.195 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1271272/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=100916 CPUtime=330.1 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20458 0 0 0 32944 66 0 0 25 0 1 0 188161199 103337984 16974 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25229 16974 105 232 0 24994 0 Current children cumulated CPU time (s) 330.1 Current children cumulated vsize (Kb) 100916 [startup+340.201 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1270888/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=101436 CPUtime=340.11 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20625 0 0 0 33944 67 0 0 25 0 1 0 188161199 103870464 17075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552277 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25359 17075 105 232 0 25124 0 Current children cumulated CPU time (s) 340.11 Current children cumulated vsize (Kb) 101436 [startup+350.207 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1270120/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=101436 CPUtime=350.11 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 20819 0 0 0 34944 67 0 0 25 0 1 0 188161199 103870464 17269 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25359 17269 105 232 0 25124 0 Current children cumulated CPU time (s) 350.11 Current children cumulated vsize (Kb) 101436 [startup+360.213 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1268840/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=101436 CPUtime=360.12 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21140 0 0 0 35943 69 0 0 25 0 1 0 188161199 103870464 17590 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25359 17590 105 232 0 25124 0 Current children cumulated CPU time (s) 360.12 Current children cumulated vsize (Kb) 101436 [startup+370.219 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1266856/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=102492 CPUtime=370.12 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21624 0 0 0 36942 70 0 0 25 0 1 0 188161199 104951808 18074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25623 18074 105 232 0 25388 0 Current children cumulated CPU time (s) 370.12 Current children cumulated vsize (Kb) 102492 [startup+380.225 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1266600/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=102624 CPUtime=380.12 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21692 0 0 0 37941 71 0 0 25 0 1 0 188161199 105086976 18142 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25656 18142 105 232 0 25421 0 Current children cumulated CPU time (s) 380.12 Current children cumulated vsize (Kb) 102624 [startup+390.23 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1265768/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=103388 CPUtime=390.12 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21906 0 0 0 38939 73 0 0 25 0 1 0 188161199 105869312 18356 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25847 18356 105 232 0 25612 0 Current children cumulated CPU time (s) 390.12 Current children cumulated vsize (Kb) 103388 [startup+400.236 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1265512/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=103388 CPUtime=400.13 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 21965 0 0 0 39938 75 0 0 25 0 1 0 188161199 105869312 18415 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25847 18415 105 232 0 25612 0 Current children cumulated CPU time (s) 400.13 Current children cumulated vsize (Kb) 103388 [startup+410.242 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1265320/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=103388 CPUtime=410.13 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22015 0 0 0 40937 76 0 0 25 0 1 0 188161199 105869312 18465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 25847 18465 105 232 0 25612 0 Current children cumulated CPU time (s) 410.13 Current children cumulated vsize (Kb) 103388 [startup+420.248 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1264616/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=104232 CPUtime=420.13 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22190 0 0 0 41937 76 0 0 25 0 1 0 188161199 106733568 18640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26058 18640 105 232 0 25823 0 Current children cumulated CPU time (s) 420.13 Current children cumulated vsize (Kb) 104232 [startup+430.253 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1264424/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=104232 CPUtime=430.13 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22229 0 0 0 42936 77 0 0 25 0 1 0 188161199 106733568 18679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552008 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26058 18679 105 232 0 25823 0 Current children cumulated CPU time (s) 430.13 Current children cumulated vsize (Kb) 104232 [startup+440.26 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1264104/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=104232 CPUtime=440.14 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22311 0 0 0 43936 78 0 0 25 0 1 0 188161199 106733568 18761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26058 18761 105 232 0 25823 0 Current children cumulated CPU time (s) 440.14 Current children cumulated vsize (Kb) 104232 [startup+450.265 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1263656/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=104752 CPUtime=450.14 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22430 0 0 0 44935 79 0 0 25 0 1 0 188161199 107266048 18880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26188 18880 105 232 0 25953 0 Current children cumulated CPU time (s) 450.14 Current children cumulated vsize (Kb) 104752 [startup+460.271 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1262824/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=105300 CPUtime=460.15 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22631 0 0 0 45935 80 0 0 25 0 1 0 188161199 107827200 19081 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26325 19081 105 232 0 26090 0 Current children cumulated CPU time (s) 460.15 Current children cumulated vsize (Kb) 105300 [startup+470.277 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1262376/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=105740 CPUtime=470.15 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22745 0 0 0 46934 81 0 0 25 0 1 0 188161199 108277760 19195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26435 19195 105 232 0 26200 0 Current children cumulated CPU time (s) 470.15 Current children cumulated vsize (Kb) 105740 [startup+480.283 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1261992/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=106340 CPUtime=480.15 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 22858 0 0 0 47933 82 0 0 25 0 1 0 188161199 108892160 19308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26585 19308 105 232 0 26350 0 Current children cumulated CPU time (s) 480.15 Current children cumulated vsize (Kb) 106340 [startup+490.289 s] /proc/loadavg: 0.99 0.97 0.95 2/64 21491 /proc/meminfo: memFree=1261352/2055920 swapFree=4179832/4192956 [pid=21491] ppid=21489 vsize=106836 CPUtime=490.16 /proc/21491/stat : 21491 (PBS4L) R 21489 21491 21446 0 -1 4194304 23007 0 0 0 48933 83 0 0 25 0 1 0 188161199 109400064 19457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/21491/statm: 26709 19457 105 232 0 26474 0 Current children cumulated CPU time (s) 490.16 Current children cumulated vsize (Kb) 106836 Child status: 0 Real time (s): 498.418 CPU time (s): 498.288 CPU user time (s): 497.426 CPU system time (s): 0.861868 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (Kb): 106836
Begin job on node61 on Fri Jun 2 05:08:53 UTC 2006 FILE ID= 41046-1149224933 PBS_JOBID= 295761 BENCH NAME= ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb 623836678 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node61/watcher-41046-1149224933 -o ROOT/results/node61/solver-41046-1149224933 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node61/41046-1149224933/instance-41046-1149224933.opb 623836678 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 0626939ca6144a564c8e59fb048e3266 RANDOM SEED= 623836678 /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.232 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.232 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: 1339112 kB Buffers: 43752 kB Cached: 596136 kB SwapCached: 4956 kB Active: 194244 kB Inactive: 455580 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1339112 kB SwapTotal: 4192956 kB SwapFree: 4179832 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14700 kB Slab: 53128 kB Committed_AS: 231328 kB PageTables: 1404 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node61 on Fri Jun 2 05:17:11 UTC 2006