Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 1517.07 | 1517.65 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900547389.opb |
MD5SUM | 6bb807214e0d1b3ab69b4b6ee86db452 |
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 | 168.826 |
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 | 721 |
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/node36/41033-1149223058/instance-41033-1149223058.opb ...... 1517.62 c done parsing opb. 1517.62 s UNSATISFIABLE 1517.62 c Total Run Time 1517.02
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-41033-1149223058 -o ROOT/results/node36/solver-41033-1149223058 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb 868795133 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 20144 /proc/meminfo: memFree=1445136/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=1400 CPUtime=0 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 187971881 1433600 115 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598729 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 350 116 90 232 0 115 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/64 20144 /proc/meminfo: memFree=1433432/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=13872 CPUtime=9.99 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 3383 0 0 0 993 6 0 0 25 0 1 0 187971881 14204928 3019 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 3468 3019 104 232 0 3233 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13872 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1427168/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=25128 CPUtime=19.99 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 5342 0 0 0 1990 9 0 0 25 0 1 0 187971881 25731072 4593 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 6282 4593 105 232 0 6047 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25128 [startup+30.0139 s] /proc/loadavg: 0.95 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1422112/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=26636 CPUtime=30 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 6589 0 0 0 2987 13 0 0 25 0 1 0 187971881 27275264 5840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 6659 5840 105 232 0 6424 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26636 [startup+40.0197 s] /proc/loadavg: 0.95 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1418464/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=43928 CPUtime=40 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 7498 0 0 0 3985 15 0 0 25 0 1 0 187971881 44982272 6749 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 10982 6749 105 232 0 10747 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43928 [startup+50.0256 s] /proc/loadavg: 0.96 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1414624/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=48300 CPUtime=50 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 9226 0 0 0 4983 17 0 0 25 0 1 0 187971881 49459200 7708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 12075 7708 105 232 0 11840 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 48300 [startup+60.0314 s] /proc/loadavg: 0.97 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1410784/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=49500 CPUtime=59.99 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 10194 0 0 0 5980 19 0 0 25 0 1 0 187971881 50688000 8676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 12375 8676 105 232 0 12140 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 49500 [startup+70.0372 s] /proc/loadavg: 0.97 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1407072/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=50500 CPUtime=70 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 11106 0 0 0 6978 22 0 0 25 0 1 0 187971881 51712000 9588 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 12625 9588 105 232 0 12390 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 50500 [startup+80.043 s] /proc/loadavg: 0.97 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1404320/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=51028 CPUtime=80 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 11788 0 0 0 7976 24 0 0 25 0 1 0 187971881 52252672 10270 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 12757 10270 105 232 0 12522 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 51028 [startup+90.0488 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1401440/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=52084 CPUtime=90.01 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 12514 0 0 0 8975 26 0 0 25 0 1 0 187971881 53334016 10996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 13021 10997 105 232 0 12786 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 52084 [startup+100.055 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1398688/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=52880 CPUtime=100.01 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 13203 0 0 0 9973 28 0 0 25 0 1 0 187971881 54149120 11685 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 13220 11685 105 232 0 12985 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 52880 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.91 2/64 20144 /proc/meminfo: memFree=1396320/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=53732 CPUtime=110.01 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 13789 0 0 0 10971 30 0 0 25 0 1 0 187971881 55021568 12271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 13433 12271 105 232 0 13198 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 53732 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1394208/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=87100 CPUtime=120.01 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14317 0 0 0 11970 31 0 0 25 0 1 0 187971881 89190400 12799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 21775 12799 105 232 0 21540 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 87100 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1393632/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=87364 CPUtime=130.02 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14463 0 0 0 12968 34 0 0 25 0 1 0 187971881 89460736 12945 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 21841 12945 105 232 0 21606 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 87364 [startup+140.078 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1393184/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=87532 CPUtime=140.02 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14586 0 0 0 13966 36 0 0 25 0 1 0 187971881 89632768 13068 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 21883 13068 105 232 0 21648 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 87532 [startup+150.084 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1391840/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=87984 CPUtime=150.02 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 14918 0 0 0 14964 38 0 0 25 0 1 0 187971881 90095616 13367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 21996 13367 105 232 0 21761 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 87984 [startup+160.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1389920/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=88688 CPUtime=160.02 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 15496 0 0 0 15962 40 0 0 25 0 1 0 187971881 90816512 13879 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 22172 13879 105 232 0 21937 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 88688 [startup+170.096 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1387872/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=89208 CPUtime=170.02 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 16068 0 0 0 16961 41 0 0 25 0 1 0 187971881 91348992 14385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 22302 14385 105 232 0 22067 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 89208 [startup+180.102 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1386784/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=95840 CPUtime=180.03 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 17875 0 0 0 17959 44 0 0 25 0 1 0 187971881 98140160 14655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 23960 14655 105 232 0 23725 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 95840 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1385504/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=96140 CPUtime=190.03 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 18216 0 0 0 18958 45 0 0 25 0 1 0 187971881 98447360 14963 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 24035 14963 105 232 0 23800 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 96140 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1383328/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=97048 CPUtime=200.03 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 18853 0 0 0 19956 47 0 0 25 0 1 0 187971881 99377152 15501 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 24262 15501 105 232 0 24027 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 97048 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1381088/2055920 swapFree=4181460/4192956 ################ # More data... # ################ /proc/20144/statm: 51427 34354 105 232 0 51192 0 Current children cumulated CPU time (s) 1300.28 Current children cumulated vsize (Kb) 205708 [startup+1310.78 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1307488/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=205708 CPUtime=1310.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43823 0 0 0 130866 163 0 0 25 0 1 0 187971881 210644992 34392 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51427 34392 105 232 0 51192 0 Current children cumulated CPU time (s) 1310.29 Current children cumulated vsize (Kb) 205708 [startup+1320.78 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1307168/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=205968 CPUtime=1320.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43936 0 0 0 131865 164 0 0 25 0 1 0 187971881 210911232 34472 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550821 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51492 34472 105 232 0 51257 0 Current children cumulated CPU time (s) 1320.29 Current children cumulated vsize (Kb) 205968 [startup+1330.79 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1307040/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=205968 CPUtime=1330.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43962 0 0 0 132864 165 0 0 25 0 1 0 187971881 210911232 34498 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51492 34498 105 232 0 51257 0 Current children cumulated CPU time (s) 1330.29 Current children cumulated vsize (Kb) 205968 [startup+1340.79 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1306912/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=205968 CPUtime=1340.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 43987 0 0 0 133863 166 0 0 25 0 1 0 187971881 210911232 34523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51492 34523 105 232 0 51257 0 Current children cumulated CPU time (s) 1340.29 Current children cumulated vsize (Kb) 205968 [startup+1350.8 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1306464/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=206640 CPUtime=1350.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44105 0 0 0 134863 167 0 0 25 0 1 0 187971881 211599360 34641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51660 34641 105 232 0 51425 0 Current children cumulated CPU time (s) 1350.3 Current children cumulated vsize (Kb) 206640 [startup+1360.8 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1305952/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=206640 CPUtime=1360.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44223 0 0 0 135862 168 0 0 25 0 1 0 187971881 211599360 34759 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51660 34759 105 232 0 51425 0 Current children cumulated CPU time (s) 1360.3 Current children cumulated vsize (Kb) 206640 [startup+1370.81 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1305824/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=206640 CPUtime=1370.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44250 0 0 0 136861 169 0 0 25 0 1 0 187971881 211599360 34786 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51660 34786 105 232 0 51425 0 Current children cumulated CPU time (s) 1370.3 Current children cumulated vsize (Kb) 206640 [startup+1380.82 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1305376/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=207352 CPUtime=1380.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44373 0 0 0 137860 170 0 0 25 0 1 0 187971881 212328448 34909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51838 34909 105 232 0 51603 0 Current children cumulated CPU time (s) 1380.3 Current children cumulated vsize (Kb) 207352 [startup+1390.82 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1305248/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=207352 CPUtime=1390.31 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44401 0 0 0 138860 171 0 0 25 0 1 0 187971881 212328448 34937 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51838 34937 105 232 0 51603 0 Current children cumulated CPU time (s) 1390.31 Current children cumulated vsize (Kb) 207352 [startup+1400.83 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20144 /proc/meminfo: memFree=1305120/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=207352 CPUtime=1400.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44428 0 0 0 139859 171 0 0 25 0 1 0 187971881 212328448 34964 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 51838 34964 105 232 0 51603 0 Current children cumulated CPU time (s) 1400.3 Current children cumulated vsize (Kb) 207352 [startup+1410.83 s] /proc/loadavg: 0.99 0.97 0.91 2/70 20215 /proc/meminfo: memFree=1303024/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=208108 CPUtime=1410.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44667 0 0 0 140856 173 0 0 25 0 1 0 187971881 213102592 35203 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52027 35203 105 232 0 51792 0 Current children cumulated CPU time (s) 1410.29 Current children cumulated vsize (Kb) 208108 [startup+1420.84 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1303712/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=208108 CPUtime=1420.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44697 0 0 0 141848 181 0 0 25 0 1 0 187971881 213102592 35233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52027 35233 105 232 0 51792 0 Current children cumulated CPU time (s) 1420.29 Current children cumulated vsize (Kb) 208108 [startup+1430.84 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1303712/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=208108 CPUtime=1430.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44715 0 0 0 142847 182 0 0 25 0 1 0 187971881 213102592 35251 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52027 35251 105 232 0 51792 0 Current children cumulated CPU time (s) 1430.29 Current children cumulated vsize (Kb) 208108 [startup+1440.85 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1303072/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=208912 CPUtime=1440.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44892 0 0 0 143846 183 0 0 25 0 1 0 187971881 213925888 35428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52228 35428 105 232 0 51993 0 Current children cumulated CPU time (s) 1440.29 Current children cumulated vsize (Kb) 208912 [startup+1450.86 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1302688/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=208912 CPUtime=1450.29 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 44993 0 0 0 144845 184 0 0 25 0 1 0 187971881 213925888 35529 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52228 35529 105 232 0 51993 0 Current children cumulated CPU time (s) 1450.29 Current children cumulated vsize (Kb) 208912 [startup+1460.86 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1302624/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=208912 CPUtime=1460.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45019 0 0 0 145845 185 0 0 25 0 1 0 187971881 213925888 35555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52228 35555 105 232 0 51993 0 Current children cumulated CPU time (s) 1460.3 Current children cumulated vsize (Kb) 208912 [startup+1470.87 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1302496/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=208912 CPUtime=1470.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45045 0 0 0 146845 185 0 0 25 0 1 0 187971881 213925888 35581 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52228 35581 105 232 0 51993 0 Current children cumulated CPU time (s) 1470.3 Current children cumulated vsize (Kb) 208912 [startup+1480.87 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1302048/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=209768 CPUtime=1480.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45163 0 0 0 147844 186 0 0 25 0 1 0 187971881 214802432 35699 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52442 35699 105 232 0 52207 0 Current children cumulated CPU time (s) 1480.3 Current children cumulated vsize (Kb) 209768 [startup+1490.88 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1301920/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=209768 CPUtime=1490.3 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45198 0 0 0 148844 186 0 0 25 0 1 0 187971881 214802432 35734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52442 35734 105 232 0 52207 0 Current children cumulated CPU time (s) 1490.3 Current children cumulated vsize (Kb) 209768 [startup+1500.89 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1301280/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=210676 CPUtime=1500.31 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45349 0 0 0 149844 187 0 0 25 0 1 0 187971881 215732224 35885 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52669 35885 105 232 0 52434 0 Current children cumulated CPU time (s) 1500.31 Current children cumulated vsize (Kb) 210676 [startup+1510.89 s] /proc/loadavg: 0.99 0.97 0.91 2/64 20339 /proc/meminfo: memFree=1300704/2055920 swapFree=4181460/4192956 [pid=20144] ppid=20142 vsize=210676 CPUtime=1510.31 /proc/20144/stat : 20144 (PBS4L) R 20142 20144 20099 0 -1 4194304 45486 0 0 0 150843 188 0 0 25 0 1 0 187971881 215732224 36022 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/20144/statm: 52669 36022 105 232 0 52434 0 Current children cumulated CPU time (s) 1510.31 Current children cumulated vsize (Kb) 210676 Child status: 0 Real time (s): 1517.65 CPU time (s): 1517.07 CPU user time (s): 1515.16 CPU system time (s): 1.90771 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (Kb): 210676
Begin job on node36 on Fri Jun 2 04:37:38 UTC 2006 FILE ID= 41033-1149223058 PBS_JOBID= 295585 BENCH NAME= ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb 868795133 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-41033-1149223058 -o ROOT/results/node36/solver-41033-1149223058 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node36/41033-1149223058/instance-41033-1149223058.opb 868795133 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 6bb807214e0d1b3ab69b4b6ee86db452 RANDOM SEED= 868795133 /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: 1445344 kB Buffers: 39656 kB Cached: 494992 kB SwapCached: 3504 kB Active: 190844 kB Inactive: 352828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1445344 kB SwapTotal: 4192956 kB SwapFree: 4181460 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14924 kB Slab: 52924 kB Committed_AS: 182380 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 05:02:55 UTC 2006