Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 1789.53 | 1790.1 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900573137.opb |
MD5SUM | 4b18508c034d5953901bfe08c3658c68 |
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 | 203.591 |
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 | 693 |
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/41036-1149223695/instance-41036-1149223695.opb ...... 1790.07 c done parsing opb. 1790.07 s UNSATISFIABLE 1790.07 c Total Run Time 1789.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-41036-1149223695 -o ROOT/results/node21/solver-41036-1149223695 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41036-1149223695/instance-41036-1149223695.opb 403105264 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1264936/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=1400 CPUtime=0 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 147 0 0 0 0 0 0 0 18 0 1 0 188032602 1433600 130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134565904 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 350 130 100 232 0 115 0 [startup+10.0024 s] /proc/loadavg: 0.87 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1253040/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=13784 CPUtime=9.99 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 3451 0 0 0 993 6 0 0 25 0 1 0 188032602 14114816 3087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 3446 3087 104 232 0 3211 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13784 [startup+20.0084 s] /proc/loadavg: 0.89 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1246768/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=25244 CPUtime=19.99 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 5404 0 0 0 1989 10 0 0 25 0 1 0 188032602 25849856 4655 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 6311 4655 105 232 0 6076 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25244 [startup+30.0145 s] /proc/loadavg: 0.91 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1242544/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=26460 CPUtime=30 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 6466 0 0 0 2987 13 0 0 25 0 1 0 188032602 27095040 5717 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 6615 5717 105 232 0 6380 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26460 [startup+40.0196 s] /proc/loadavg: 0.92 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1238384/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=43740 CPUtime=39.99 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 7505 0 0 0 3982 17 0 0 25 0 1 0 188032602 44789760 6756 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 10935 6756 105 232 0 10700 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 43740 [startup+50.0257 s] /proc/loadavg: 0.93 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1234736/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=47992 CPUtime=50 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 9199 0 0 0 4980 20 0 0 25 0 1 0 188032602 49143808 7681 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 11998 7681 105 232 0 11763 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 47992 [startup+60.0318 s] /proc/loadavg: 0.94 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1231024/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=49052 CPUtime=60.01 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 10133 0 0 0 5979 22 0 0 25 0 1 0 188032602 50229248 8615 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 12263 8615 105 232 0 12028 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 49052 [startup+70.0379 s] /proc/loadavg: 0.95 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1227312/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=50216 CPUtime=70.01 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 11045 0 0 0 6977 24 0 0 25 0 1 0 188032602 51421184 9527 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552011 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 12554 9527 105 232 0 12319 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 50216 [startup+80.044 s] /proc/loadavg: 0.96 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1223984/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=50876 CPUtime=80.01 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 11876 0 0 0 7974 27 0 0 25 0 1 0 188032602 52097024 10358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 12719 10358 105 232 0 12484 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 50876 [startup+90.0501 s] /proc/loadavg: 0.96 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1221296/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=51684 CPUtime=90.02 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 12552 0 0 0 8972 30 0 0 25 0 1 0 188032602 52924416 11034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 12921 11034 105 232 0 12686 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 51684 [startup+100.055 s] /proc/loadavg: 0.97 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1218992/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=52272 CPUtime=100.02 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 13131 0 0 0 9970 32 0 0 25 0 1 0 188032602 53526528 11613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 13068 11613 105 232 0 12833 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 52272 [startup+110.061 s] /proc/loadavg: 0.97 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1216496/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=52804 CPUtime=110.02 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 13752 0 0 0 10968 34 0 0 25 0 1 0 188032602 54071296 12234 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 13201 12234 105 232 0 12966 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 52804 [startup+120.067 s] /proc/loadavg: 0.98 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1213936/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=86352 CPUtime=120.02 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 14391 0 0 0 11966 36 0 0 25 0 1 0 188032602 88424448 12873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 21588 12873 105 232 0 21353 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 86352 [startup+130.074 s] /proc/loadavg: 0.98 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1211568/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=87072 CPUtime=130.02 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 14989 0 0 0 12964 38 0 0 25 0 1 0 188032602 89161728 13471 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550761 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 21768 13471 105 232 0 21533 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 87072 [startup+140.08 s] /proc/loadavg: 0.98 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1209200/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=87492 CPUtime=140.03 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 15571 0 0 0 13963 40 0 0 25 0 1 0 188032602 89591808 14053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 21873 14053 105 232 0 21638 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 87492 [startup+150.087 s] /proc/loadavg: 0.98 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1206960/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=88072 CPUtime=150.04 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 16167 0 0 0 14962 42 0 0 25 0 1 0 188032602 90185728 14616 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 22018 14616 105 232 0 21783 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 88072 [startup+160.092 s] /proc/loadavg: 0.99 0.97 0.91 3/64 19299 /proc/meminfo: memFree=1204784/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=88648 CPUtime=160.03 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 16718 0 0 0 15960 43 0 0 25 0 1 0 188032602 90775552 15167 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550768 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 22162 15167 105 232 0 21927 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 88648 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1202544/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=95572 CPUtime=170.04 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 18868 0 0 0 16958 46 0 0 25 0 1 0 188032602 97865728 15714 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 23893 15714 105 232 0 23658 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 95572 [startup+180.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1200496/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=96416 CPUtime=180.04 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 19409 0 0 0 17957 47 0 0 25 0 1 0 188032602 98729984 16222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558875 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 24104 16222 105 232 0 23869 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 96416 [startup+190.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1198448/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=96804 CPUtime=190.04 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 19921 0 0 0 18955 49 0 0 25 0 1 0 188032602 99127296 16701 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 24201 16701 105 232 0 23966 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 96804 [startup+200.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1196400/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=97356 CPUtime=200.05 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 20460 0 0 0 19954 51 0 0 25 0 1 0 188032602 99692544 17240 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 24339 17240 105 232 0 24104 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 97356 [startup+210.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19299 /proc/meminfo: memFree=1194352/2055920 swapFree=4181452/4192956 ################ # More data... # ################ /proc/19299/statm: 53449 39710 105 232 0 53214 0 Current children cumulated CPU time (s) 1650.45 Current children cumulated vsize (Kb) 213796 [startup+1661 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1106096/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=213796 CPUtime=1660.46 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49325 0 0 0 165852 194 0 0 25 0 1 0 188032602 218927104 39729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550830 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53449 39729 105 232 0 53214 0 Current children cumulated CPU time (s) 1660.46 Current children cumulated vsize (Kb) 213796 [startup+1671 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1106032/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=213796 CPUtime=1670.46 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49343 0 0 0 166852 194 0 0 25 0 1 0 188032602 218927104 39747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53449 39747 105 232 0 53214 0 Current children cumulated CPU time (s) 1670.46 Current children cumulated vsize (Kb) 213796 [startup+1681.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1105648/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=213796 CPUtime=1680.46 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49432 0 0 0 167851 195 0 0 25 0 1 0 188032602 218927104 39836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53449 39836 105 232 0 53214 0 Current children cumulated CPU time (s) 1680.46 Current children cumulated vsize (Kb) 213796 [startup+1691.01 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1105392/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=213796 CPUtime=1690.47 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49510 0 0 0 168851 196 0 0 25 0 1 0 188032602 218927104 39914 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53449 39914 105 232 0 53214 0 Current children cumulated CPU time (s) 1690.47 Current children cumulated vsize (Kb) 213796 [startup+1701.02 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1105072/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=213796 CPUtime=1700.47 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49585 0 0 0 169850 197 0 0 25 0 1 0 188032602 218927104 39989 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53449 39989 105 232 0 53214 0 Current children cumulated CPU time (s) 1700.47 Current children cumulated vsize (Kb) 213796 [startup+1711.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1105008/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=213796 CPUtime=1710.48 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49608 0 0 0 170849 199 0 0 25 0 1 0 188032602 218927104 40012 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53449 40012 105 232 0 53214 0 Current children cumulated CPU time (s) 1710.48 Current children cumulated vsize (Kb) 213796 [startup+1721.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1104624/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=214704 CPUtime=1720.48 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49695 0 0 0 171849 199 0 0 25 0 1 0 188032602 219856896 40099 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53676 40099 105 232 0 53441 0 Current children cumulated CPU time (s) 1720.48 Current children cumulated vsize (Kb) 214704 [startup+1731.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1104304/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=214704 CPUtime=1730.48 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49781 0 0 0 172848 200 0 0 25 0 1 0 188032602 219856896 40185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53676 40185 105 232 0 53441 0 Current children cumulated CPU time (s) 1730.48 Current children cumulated vsize (Kb) 214704 [startup+1741.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1104176/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=214704 CPUtime=1740.48 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 49801 0 0 0 173847 201 0 0 25 0 1 0 188032602 219856896 40205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53676 40205 105 232 0 53441 0 Current children cumulated CPU time (s) 1740.48 Current children cumulated vsize (Kb) 214704 [startup+1751.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1103152/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=215668 CPUtime=1750.48 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50071 0 0 0 174847 201 0 0 25 0 1 0 188032602 220844032 40475 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53917 40475 105 232 0 53682 0 Current children cumulated CPU time (s) 1750.48 Current children cumulated vsize (Kb) 215668 [startup+1761.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1102768/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=215668 CPUtime=1760.48 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50174 0 0 0 175847 201 0 0 25 0 1 0 188032602 220844032 40578 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 53917 40578 105 232 0 53682 0 Current children cumulated CPU time (s) 1760.48 Current children cumulated vsize (Kb) 215668 [startup+1771.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1102640/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1770.49 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50204 0 0 0 176847 202 0 0 25 0 1 0 188032602 221892608 40608 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40608 105 232 0 53938 0 Current children cumulated CPU time (s) 1770.49 Current children cumulated vsize (Kb) 216692 [startup+1781.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1780.49 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50402 0 0 0 177846 203 0 0 25 0 1 0 188032602 221892608 40806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40806 105 232 0 53938 0 Current children cumulated CPU time (s) 1780.49 Current children cumulated vsize (Kb) 216692 [startup+1782.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1781.5 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50403 0 0 0 177947 203 0 0 25 0 1 0 188032602 221892608 40807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40807 105 232 0 53938 0 Current children cumulated CPU time (s) 1781.5 Current children cumulated vsize (Kb) 216692 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1782.5 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50405 0 0 0 178047 203 0 0 25 0 1 0 188032602 221892608 40809 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40809 105 232 0 53938 0 Current children cumulated CPU time (s) 1782.5 Current children cumulated vsize (Kb) 216692 [startup+1784.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1783.5 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50407 0 0 0 178147 203 0 0 25 0 1 0 188032602 221892608 40811 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40811 105 232 0 53938 0 Current children cumulated CPU time (s) 1783.5 Current children cumulated vsize (Kb) 216692 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1784.51 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50408 0 0 0 178248 203 0 0 25 0 1 0 188032602 221892608 40812 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40812 105 232 0 53938 0 Current children cumulated CPU time (s) 1784.51 Current children cumulated vsize (Kb) 216692 [startup+1786.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1785.51 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50410 0 0 0 178348 203 0 0 25 0 1 0 188032602 221892608 40814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40814 105 232 0 53938 0 Current children cumulated CPU time (s) 1785.51 Current children cumulated vsize (Kb) 216692 [startup+1787.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101808/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=216692 CPUtime=1786.52 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50412 0 0 0 178448 204 0 0 25 0 1 0 188032602 221892608 40816 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54173 40816 105 232 0 53938 0 Current children cumulated CPU time (s) 1786.52 Current children cumulated vsize (Kb) 216692 [startup+1788.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101488/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=217780 CPUtime=1787.53 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50483 0 0 0 178549 204 0 0 25 0 1 0 188032602 223006720 40887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54445 40887 105 232 0 54210 0 Current children cumulated CPU time (s) 1787.53 Current children cumulated vsize (Kb) 217780 [startup+1789.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 19494 /proc/meminfo: memFree=1101488/2055920 swapFree=4181452/4192956 [pid=19299] ppid=19297 vsize=217780 CPUtime=1788.53 /proc/19299/stat : 19299 (PBS4L) R 19297 19299 19254 0 -1 4194304 50484 0 0 0 178649 204 0 0 25 0 1 0 188032602 223006720 40888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/19299/statm: 54445 40888 105 232 0 54210 0 Current children cumulated CPU time (s) 1788.53 Current children cumulated vsize (Kb) 217780 Child status: 0 Real time (s): 1790.1 CPU time (s): 1789.53 CPU user time (s): 1787.46 CPU system time (s): 2.06969 CPU usage (%): 99.9682 Max. virtual memory (cumulated for all children) (Kb): 217780
Begin job on node21 on Fri Jun 2 04:48:15 UTC 2006 FILE ID= 41036-1149223695 PBS_JOBID= 295628 BENCH NAME= ROOT/tmp/node21/41036-1149223695/instance-41036-1149223695.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41036-1149223695/instance-41036-1149223695.opb 403105264 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-41036-1149223695 -o ROOT/results/node21/solver-41036-1149223695 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node21/41036-1149223695/instance-41036-1149223695.opb 403105264 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 4b18508c034d5953901bfe08c3658c68 RANDOM SEED= 403105264 /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: 1265144 kB Buffers: 45880 kB Cached: 667724 kB SwapCached: 3388 kB Active: 212568 kB Inactive: 509956 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1265144 kB SwapTotal: 4192956 kB SwapFree: 4181452 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14728 kB Slab: 54260 kB Committed_AS: 224380 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 05:18:05 UTC 2006