Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 1455.05 | 1455.56 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900584219.opb |
MD5SUM | 526ab28e5245080e542291515286f3e0 |
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 | 192.491 |
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 | 689 |
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/node58/41027-1149222318/instance-41027-1149222318.opb ...... 1455.53 c done parsing opb. 1455.53 s UNSATISFIABLE 1455.53 c Total Run Time 1455.01
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/node58/watcher-41027-1149222318 -o ROOT/results/node58/solver-41027-1149222318 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb 974744593 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1532080/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=1400 CPUtime=0 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 24278696 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 350 131 100 232 0 115 0 [startup+10.0029 s] /proc/loadavg: 0.92 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1520504/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=13876 CPUtime=9.99 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 3349 0 0 0 994 5 0 0 25 0 1 0 24278696 14209024 2985 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550073 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 3469 2985 104 232 0 3234 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13876 [startup+20.0088 s] /proc/loadavg: 0.94 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1513976/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=25272 CPUtime=19.99 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 5384 0 0 0 1990 9 0 0 25 0 1 0 24278696 25878528 4635 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 6318 4635 104 232 0 6083 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25272 [startup+30.0147 s] /proc/loadavg: 0.95 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1509624/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=26404 CPUtime=30 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 6476 0 0 0 2986 14 0 0 25 0 1 0 24278696 27037696 5727 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 6601 5727 104 232 0 6366 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26404 [startup+40.0206 s] /proc/loadavg: 0.95 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1505400/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=44052 CPUtime=40 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 7544 0 0 0 3983 17 0 0 25 0 1 0 24278696 45109248 6795 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 11013 6795 104 232 0 10778 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 44052 [startup+50.0265 s] /proc/loadavg: 0.96 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1501496/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=48156 CPUtime=50 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 9289 0 0 0 4979 21 0 0 25 0 1 0 24278696 49311744 7771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 12039 7771 104 232 0 11804 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 48156 [startup+60.0325 s] /proc/loadavg: 0.97 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1498488/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=49260 CPUtime=60 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 10042 0 0 0 5977 23 0 0 25 0 1 0 24278696 50442240 8524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 12315 8524 104 232 0 12080 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 49260 [startup+70.0384 s] /proc/loadavg: 0.97 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1496120/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=49732 CPUtime=70 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 10628 0 0 0 6974 26 0 0 25 0 1 0 24278696 50925568 9110 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550014 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 12433 9110 104 232 0 12198 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 49732 [startup+80.0443 s] /proc/loadavg: 0.97 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1493240/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=50656 CPUtime=80 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 11365 0 0 0 7972 28 0 0 25 0 1 0 24278696 51871744 9847 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 12664 9847 104 232 0 12429 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 50656 [startup+90.0502 s] /proc/loadavg: 0.98 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1490232/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=51420 CPUtime=90.01 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 12112 0 0 0 8971 30 0 0 25 0 1 0 24278696 52654080 10594 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 12855 10594 104 232 0 12620 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 51420 [startup+100.056 s] /proc/loadavg: 0.98 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1487608/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=52200 CPUtime=100.01 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 12750 0 0 0 9969 32 0 0 25 0 1 0 24278696 53452800 11232 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550064 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 13050 11232 104 232 0 12815 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 52200 [startup+110.062 s] /proc/loadavg: 0.98 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1485496/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=52728 CPUtime=110.01 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 13281 0 0 0 10967 34 0 0 25 0 1 0 24278696 53993472 11763 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 13182 11763 104 232 0 12947 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 52728 [startup+120.068 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1483256/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=53304 CPUtime=120.02 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 13840 0 0 0 11965 37 0 0 25 0 1 0 24278696 54583296 12322 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 13326 12322 104 232 0 13091 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 53304 [startup+130.074 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1480824/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=86496 CPUtime=130.02 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 14442 0 0 0 12963 39 0 0 25 0 1 0 24278696 88571904 12924 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 21624 12924 104 232 0 21389 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 86496 [startup+140.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1478520/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=86888 CPUtime=140.02 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 15025 0 0 0 13961 41 0 0 25 0 1 0 24278696 88973312 13507 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 21722 13507 104 232 0 21487 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 86888 [startup+150.086 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1476408/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=87836 CPUtime=150.02 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 15574 0 0 0 14959 43 0 0 25 0 1 0 24278696 89944064 14023 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 21959 14023 104 232 0 21724 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 87836 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1474232/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=88924 CPUtime=160.03 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 16193 0 0 0 15958 45 0 0 25 0 1 0 24278696 91058176 14576 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550790 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 22231 14576 104 232 0 21996 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 88924 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1473592/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=89316 CPUtime=170.03 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 16350 0 0 0 16956 47 0 0 25 0 1 0 24278696 91459584 14733 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 22329 14733 104 232 0 22094 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 89316 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1471864/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=89788 CPUtime=180.03 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 16778 0 0 0 17955 48 0 0 25 0 1 0 24278696 91942912 15161 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 22447 15161 104 232 0 22212 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 89788 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1469816/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=90568 CPUtime=190.03 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 17400 0 0 0 18953 50 0 0 25 0 1 0 24278696 92741632 15684 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 22642 15684 104 232 0 22407 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 90568 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1467960/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=96972 CPUtime=200.04 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 19429 0 0 0 19951 53 0 0 25 0 1 0 24278696 99299328 16143 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551957 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 24243 16143 104 232 0 24008 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 96972 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1466488/2055920 swapFree=4192956/4192956 ################ # More data... # ################ /proc/23583/statm: 50407 31565 105 232 0 50172 0 Current children cumulated CPU time (s) 1240.32 Current children cumulated vsize (Kb) 201628 [startup+1250.76 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1405824/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=201628 CPUtime=1250.32 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40168 0 0 0 124875 157 0 0 25 0 1 0 24278696 206467072 31583 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50407 31583 105 232 0 50172 0 Current children cumulated CPU time (s) 1250.32 Current children cumulated vsize (Kb) 201628 [startup+1260.76 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1405760/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=201628 CPUtime=1260.32 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40187 0 0 0 125874 158 0 0 25 0 1 0 24278696 206467072 31602 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50407 31602 105 232 0 50172 0 Current children cumulated CPU time (s) 1260.32 Current children cumulated vsize (Kb) 201628 [startup+1270.77 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1405696/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=201628 CPUtime=1270.32 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40209 0 0 0 126874 158 0 0 25 0 1 0 24278696 206467072 31624 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50407 31624 105 232 0 50172 0 Current children cumulated CPU time (s) 1270.32 Current children cumulated vsize (Kb) 201628 [startup+1280.77 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1405568/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=201628 CPUtime=1280.32 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40240 0 0 0 127873 159 0 0 25 0 1 0 24278696 206467072 31655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50407 31655 105 232 0 50172 0 Current children cumulated CPU time (s) 1280.32 Current children cumulated vsize (Kb) 201628 [startup+1290.78 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1405440/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=201628 CPUtime=1290.33 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40263 0 0 0 128873 160 0 0 25 0 1 0 24278696 206467072 31678 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134535589 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50407 31678 105 232 0 50172 0 Current children cumulated CPU time (s) 1290.33 Current children cumulated vsize (Kb) 201628 [startup+1300.79 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1405312/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=201628 CPUtime=1300.33 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40293 0 0 0 129873 160 0 0 25 0 1 0 24278696 206467072 31708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552176 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50407 31708 105 232 0 50172 0 Current children cumulated CPU time (s) 1300.33 Current children cumulated vsize (Kb) 201628 [startup+1310.79 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1405184/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=201628 CPUtime=1310.33 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40323 0 0 0 130872 161 0 0 25 0 1 0 24278696 206467072 31738 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552331 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50407 31738 105 232 0 50172 0 Current children cumulated CPU time (s) 1310.33 Current children cumulated vsize (Kb) 201628 [startup+1320.8 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1404544/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=202300 CPUtime=1320.34 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40487 0 0 0 131872 162 0 0 25 0 1 0 24278696 207155200 31902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550025 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50575 31902 105 232 0 50340 0 Current children cumulated CPU time (s) 1320.34 Current children cumulated vsize (Kb) 202300 [startup+1330.8 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1404480/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=202300 CPUtime=1330.33 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40505 0 0 0 132871 162 0 0 25 0 1 0 24278696 207155200 31920 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50575 31920 105 232 0 50340 0 Current children cumulated CPU time (s) 1330.33 Current children cumulated vsize (Kb) 202300 [startup+1340.81 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1404352/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=202300 CPUtime=1340.34 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40526 0 0 0 133871 163 0 0 25 0 1 0 24278696 207155200 31941 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50575 31941 105 232 0 50340 0 Current children cumulated CPU time (s) 1340.34 Current children cumulated vsize (Kb) 202300 [startup+1350.82 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1404288/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=202300 CPUtime=1350.34 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40541 0 0 0 134871 163 0 0 25 0 1 0 24278696 207155200 31956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551999 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50575 31956 105 232 0 50340 0 Current children cumulated CPU time (s) 1350.34 Current children cumulated vsize (Kb) 202300 [startup+1360.82 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1403136/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=203768 CPUtime=1360.34 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40838 0 0 0 135870 164 0 0 25 0 1 0 24278696 208658432 32253 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50942 32253 105 232 0 50707 0 Current children cumulated CPU time (s) 1360.34 Current children cumulated vsize (Kb) 203768 [startup+1370.83 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1402816/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=203768 CPUtime=1370.35 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40913 0 0 0 136870 165 0 0 25 0 1 0 24278696 208658432 32328 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50942 32328 105 232 0 50707 0 Current children cumulated CPU time (s) 1370.35 Current children cumulated vsize (Kb) 203768 [startup+1380.83 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1402816/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=203768 CPUtime=1380.35 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 40933 0 0 0 137870 165 0 0 25 0 1 0 24278696 208658432 32348 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50942 32348 105 232 0 50707 0 Current children cumulated CPU time (s) 1380.35 Current children cumulated vsize (Kb) 203768 [startup+1390.84 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1402432/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=203768 CPUtime=1390.35 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41016 0 0 0 138868 167 0 0 25 0 1 0 24278696 208658432 32431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50942 32431 105 232 0 50707 0 Current children cumulated CPU time (s) 1390.35 Current children cumulated vsize (Kb) 203768 [startup+1400.85 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1402368/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=203768 CPUtime=1400.35 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41033 0 0 0 139868 167 0 0 25 0 1 0 24278696 208658432 32448 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 50942 32448 105 232 0 50707 0 Current children cumulated CPU time (s) 1400.35 Current children cumulated vsize (Kb) 203768 [startup+1410.85 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1402176/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=204572 CPUtime=1410.36 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41091 0 0 0 140868 168 0 0 25 0 1 0 24278696 209481728 32506 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 51143 32506 105 232 0 50908 0 Current children cumulated CPU time (s) 1410.36 Current children cumulated vsize (Kb) 204572 [startup+1420.86 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1401600/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=204572 CPUtime=1420.36 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41220 0 0 0 141867 169 0 0 25 0 1 0 24278696 209481728 32635 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 51143 32635 105 232 0 50908 0 Current children cumulated CPU time (s) 1420.36 Current children cumulated vsize (Kb) 204572 [startup+1430.86 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1401536/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=204572 CPUtime=1430.37 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41239 0 0 0 142867 170 0 0 25 0 1 0 24278696 209481728 32654 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 51143 32654 105 232 0 50908 0 Current children cumulated CPU time (s) 1430.37 Current children cumulated vsize (Kb) 204572 [startup+1440.87 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1401088/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=205428 CPUtime=1440.37 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41349 0 0 0 143866 171 0 0 25 0 1 0 24278696 210358272 32764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 51357 32764 105 232 0 51122 0 Current children cumulated CPU time (s) 1440.37 Current children cumulated vsize (Kb) 205428 [startup+1450.88 s] /proc/loadavg: 0.99 0.97 0.94 2/64 23583 /proc/meminfo: memFree=1400960/2055920 swapFree=4192956/4192956 [pid=23583] ppid=23581 vsize=205428 CPUtime=1450.36 /proc/23583/stat : 23583 (PBS4L) R 23581 23583 23538 0 -1 4194304 41389 0 0 0 144865 171 0 0 25 0 1 0 24278696 210358272 32804 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/23583/statm: 51357 32804 105 232 0 51122 0 Current children cumulated CPU time (s) 1450.36 Current children cumulated vsize (Kb) 205428 Child status: 0 Real time (s): 1455.56 CPU time (s): 1455.05 CPU user time (s): 1453.31 CPU system time (s): 1.74273 CPU usage (%): 99.9653 Max. virtual memory (cumulated for all children) (Kb): 205428
Begin job on node58 on Fri Jun 2 04:25:18 UTC 2006 FILE ID= 41027-1149222318 PBS_JOBID= 295510 BENCH NAME= ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb 974744593 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-41027-1149222318 -o ROOT/results/node58/solver-41027-1149222318 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node58/41027-1149222318/instance-41027-1149222318.opb 974744593 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 526ab28e5245080e542291515286f3e0 RANDOM SEED= 974744593 /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.276 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.276 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: 1532288 kB Buffers: 27160 kB Cached: 419532 kB SwapCached: 0 kB Active: 91440 kB Inactive: 369752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1532288 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 156 kB Writeback: 0 kB Mapped: 24916 kB Slab: 48536 kB Committed_AS: 124756 kB PageTables: 1392 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node58 on Fri Jun 2 04:49:34 UTC 2006