Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 744.904 | 745.116 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900557957.opb |
MD5SUM | aacf18cf0b8ed9727f2f81c2bd5074e6 |
Bench Category | SATUNSAT-SMALLINT (no optimisation, small integers) |
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 | 81.7766 |
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 | 717 |
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/node56/40959-1149214832/instance-40959-1149214832.opb ...... 745.09 c done parsing opb. 745.09 s UNSATISFIABLE 745.09 c Total Run Time 744.864
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/node56/watcher-40959-1149214832 -o ROOT/results/node56/solver-40959-1149214832 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb 794299626 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.97 0.91 3/64 6948 /proc/meminfo: memFree=1221464/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=1400 CPUtime=0 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 149 0 0 0 0 0 0 0 19 0 1 0 187150801 1433600 132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135097534 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 350 132 100 232 0 115 0 [startup+10.0015 s] /proc/loadavg: 0.87 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1209952/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=13652 CPUtime=9.98 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 3337 0 0 0 993 5 0 0 25 0 1 0 187150801 13979648 2973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 3413 2973 105 232 0 3178 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 13652 [startup+20.0075 s] /proc/loadavg: 0.89 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1203168/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=25160 CPUtime=19.99 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 5416 0 0 0 1987 12 0 0 25 0 1 0 187150801 25763840 4667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 6290 4667 105 232 0 6055 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 25160 [startup+30.0135 s] /proc/loadavg: 0.91 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1197792/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=26400 CPUtime=29.99 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 6760 0 0 0 2983 16 0 0 25 0 1 0 187150801 27033600 6011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 6600 6011 105 232 0 6365 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 26400 [startup+40.0195 s] /proc/loadavg: 0.92 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1193952/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=43780 CPUtime=40 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 7708 0 0 0 3981 19 0 0 25 0 1 0 187150801 44830720 6959 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 10945 6959 105 232 0 10710 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43780 [startup+50.0255 s] /proc/loadavg: 0.93 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1190240/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=47796 CPUtime=50 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 9400 0 0 0 4977 23 0 0 25 0 1 0 187150801 48943104 7882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550774 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 11949 7882 105 232 0 11714 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 47796 [startup+60.0305 s] /proc/loadavg: 0.94 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1186528/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=48684 CPUtime=60 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 10334 0 0 0 5975 25 0 0 25 0 1 0 187150801 49852416 8816 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552822 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 12171 8816 105 232 0 11936 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48684 [startup+70.0365 s] /proc/loadavg: 0.95 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1182816/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=50168 CPUtime=70 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 11264 0 0 0 6972 28 0 0 25 0 1 0 187150801 51372032 9746 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 12542 9746 105 232 0 12307 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 50168 [startup+80.0425 s] /proc/loadavg: 0.96 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1179936/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=50564 CPUtime=80.01 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 11975 0 0 0 7971 30 0 0 25 0 1 0 187150801 51777536 10457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 12641 10457 105 232 0 12406 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 50564 [startup+90.0484 s] /proc/loadavg: 0.96 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1177696/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=51372 CPUtime=90.01 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 12555 0 0 0 8968 33 0 0 25 0 1 0 187150801 52604928 11037 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552315 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 12843 11037 105 232 0 12608 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 51372 [startup+100.054 s] /proc/loadavg: 0.97 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1175200/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=52212 CPUtime=100.01 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 13162 0 0 0 9966 35 0 0 25 0 1 0 187150801 53465088 11644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 13053 11644 105 232 0 12818 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 52212 [startup+110.061 s] /proc/loadavg: 0.97 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1173408/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=52536 CPUtime=110.08 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 13614 0 0 0 10972 36 0 0 25 0 1 0 187150801 53796864 12096 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 13134 12096 105 232 0 12899 0 Current children cumulated CPU time (s) 110.08 Current children cumulated vsize (Kb) 52536 [startup+120.131 s] /proc/loadavg: 0.98 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1170912/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=85628 CPUtime=120.08 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 14240 0 0 0 11970 38 0 0 25 0 1 0 187150801 87683072 12722 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 21407 12722 105 232 0 21172 0 Current children cumulated CPU time (s) 120.08 Current children cumulated vsize (Kb) 85628 [startup+130.137 s] /proc/loadavg: 0.98 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1168288/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=86348 CPUtime=130.09 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 14901 0 0 0 12969 40 0 0 25 0 1 0 187150801 88420352 13383 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 21587 13383 105 232 0 21352 0 Current children cumulated CPU time (s) 130.09 Current children cumulated vsize (Kb) 86348 [startup+140.143 s] /proc/loadavg: 0.98 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1167136/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=86852 CPUtime=140.09 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15184 0 0 0 13968 41 0 0 25 0 1 0 187150801 88936448 13666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 21713 13666 105 232 0 21478 0 Current children cumulated CPU time (s) 140.09 Current children cumulated vsize (Kb) 86852 [startup+150.149 s] /proc/loadavg: 0.98 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1166432/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=87520 CPUtime=150.1 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15350 0 0 0 14968 42 0 0 25 0 1 0 187150801 89620480 13832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 21880 13832 105 232 0 21645 0 Current children cumulated CPU time (s) 150.1 Current children cumulated vsize (Kb) 87520 [startup+160.155 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1165984/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=88008 CPUtime=160.1 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15470 0 0 0 15967 43 0 0 25 0 1 0 187150801 90120192 13952 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 22002 13952 105 232 0 21767 0 Current children cumulated CPU time (s) 160.1 Current children cumulated vsize (Kb) 88008 [startup+170.161 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1164576/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=88528 CPUtime=170.1 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 15846 0 0 0 16965 45 0 0 25 0 1 0 187150801 90652672 14295 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 22132 14295 105 232 0 21897 0 Current children cumulated CPU time (s) 170.1 Current children cumulated vsize (Kb) 88528 [startup+180.167 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1162976/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=95524 CPUtime=180.1 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 17732 0 0 0 17963 47 0 0 25 0 1 0 187150801 97816576 14644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 23881 14644 105 232 0 23646 0 Current children cumulated CPU time (s) 180.1 Current children cumulated vsize (Kb) 95524 [startup+190.173 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1162656/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=95916 CPUtime=190.11 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 17904 0 0 0 18962 49 0 0 25 0 1 0 187150801 98217984 14783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 23979 14783 105 232 0 23744 0 Current children cumulated CPU time (s) 190.11 Current children cumulated vsize (Kb) 95916 [startup+200.179 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1162272/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=96176 CPUtime=200.11 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 18035 0 0 0 19961 50 0 0 25 0 1 0 187150801 98484224 14881 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 24044 14881 105 232 0 23809 0 Current children cumulated CPU time (s) 200.11 Current children cumulated vsize (Kb) 96176 [startup+210.185 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1160672/2055920 swapFree=4181332/4192956 ################ # More data... # ################ /proc/6948/statm: 27290 25174 105 232 0 27055 0 Current children cumulated CPU time (s) 530.22 Current children cumulated vsize (Kb) 109160 [startup+540.38 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1120352/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=109528 CPUtime=540.21 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29272 0 0 0 53927 94 0 0 25 0 1 0 187150801 112156672 25326 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27382 25326 105 232 0 27147 0 Current children cumulated CPU time (s) 540.21 Current children cumulated vsize (Kb) 109528 [startup+550.386 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1119840/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=109916 CPUtime=550.22 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29395 0 0 0 54927 95 0 0 25 0 1 0 187150801 112553984 25449 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551353 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27479 25449 105 232 0 27244 0 Current children cumulated CPU time (s) 550.22 Current children cumulated vsize (Kb) 109916 [startup+560.392 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1119648/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=109916 CPUtime=560.23 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29433 0 0 0 55926 97 0 0 25 0 1 0 187150801 112553984 25487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27479 25487 105 232 0 27244 0 Current children cumulated CPU time (s) 560.23 Current children cumulated vsize (Kb) 109916 [startup+570.398 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1119520/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=109916 CPUtime=570.23 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29467 0 0 0 56925 98 0 0 25 0 1 0 187150801 112553984 25521 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27479 25521 105 232 0 27244 0 Current children cumulated CPU time (s) 570.23 Current children cumulated vsize (Kb) 109916 [startup+580.404 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1119328/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=110332 CPUtime=580.23 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29510 0 0 0 57924 99 0 0 25 0 1 0 187150801 112979968 25564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27583 25564 105 232 0 27348 0 Current children cumulated CPU time (s) 580.23 Current children cumulated vsize (Kb) 110332 [startup+590.409 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1119264/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=110332 CPUtime=590.23 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29551 0 0 0 58924 99 0 0 25 0 1 0 187150801 112979968 25605 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550853 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27583 25605 105 232 0 27348 0 Current children cumulated CPU time (s) 590.23 Current children cumulated vsize (Kb) 110332 [startup+600.415 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1119072/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=110332 CPUtime=600.24 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29590 0 0 0 59923 101 0 0 25 0 1 0 187150801 112979968 25644 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552235 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27583 25644 105 232 0 27348 0 Current children cumulated CPU time (s) 600.24 Current children cumulated vsize (Kb) 110332 [startup+610.421 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1118240/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=111240 CPUtime=610.24 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29805 0 0 0 60923 101 0 0 25 0 1 0 187150801 113909760 25859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27810 25859 105 232 0 27575 0 Current children cumulated CPU time (s) 610.24 Current children cumulated vsize (Kb) 111240 [startup+620.427 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1117664/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=111240 CPUtime=620.25 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29944 0 0 0 61923 102 0 0 25 0 1 0 187150801 113909760 25998 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27810 25998 105 232 0 27575 0 Current children cumulated CPU time (s) 620.25 Current children cumulated vsize (Kb) 111240 [startup+630.433 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1117472/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=111240 CPUtime=630.24 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 29985 0 0 0 62922 102 0 0 25 0 1 0 187150801 113909760 26039 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 27810 26039 105 232 0 27575 0 Current children cumulated CPU time (s) 630.24 Current children cumulated vsize (Kb) 111240 [startup+640.439 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1117152/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=124024 CPUtime=640.25 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33095 0 0 0 63920 105 0 0 25 0 1 0 187150801 127000576 26076 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552226 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31006 26076 105 232 0 30771 0 Current children cumulated CPU time (s) 640.25 Current children cumulated vsize (Kb) 124024 [startup+650.444 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1116768/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=124024 CPUtime=650.25 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33234 0 0 0 64919 106 0 0 25 0 1 0 187150801 127000576 26215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31006 26215 105 232 0 30771 0 Current children cumulated CPU time (s) 650.25 Current children cumulated vsize (Kb) 124024 [startup+660.45 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1116384/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=124552 CPUtime=660.26 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33326 0 0 0 65919 107 0 0 25 0 1 0 187150801 127541248 26307 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31138 26307 105 232 0 30903 0 Current children cumulated CPU time (s) 660.26 Current children cumulated vsize (Kb) 124552 [startup+670.456 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1116192/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=124552 CPUtime=670.26 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33362 0 0 0 66918 108 0 0 25 0 1 0 187150801 127541248 26343 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31138 26343 105 232 0 30903 0 Current children cumulated CPU time (s) 670.26 Current children cumulated vsize (Kb) 124552 [startup+680.462 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1115104/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=125708 CPUtime=680.27 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33637 0 0 0 67918 109 0 0 25 0 1 0 187150801 128724992 26618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31427 26618 105 232 0 31192 0 Current children cumulated CPU time (s) 680.27 Current children cumulated vsize (Kb) 125708 [startup+690.468 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1114720/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=125708 CPUtime=690.26 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33725 0 0 0 68917 109 0 0 25 0 1 0 187150801 128724992 26706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31427 26706 105 232 0 31192 0 Current children cumulated CPU time (s) 690.26 Current children cumulated vsize (Kb) 125708 [startup+700.474 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1114592/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=125708 CPUtime=700.27 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33764 0 0 0 69916 111 0 0 25 0 1 0 187150801 128724992 26745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31427 26745 105 232 0 31192 0 Current children cumulated CPU time (s) 700.27 Current children cumulated vsize (Kb) 125708 [startup+710.479 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1114080/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=126340 CPUtime=710.27 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33887 0 0 0 70915 112 0 0 25 0 1 0 187150801 129372160 26868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31585 26868 105 232 0 31350 0 Current children cumulated CPU time (s) 710.27 Current children cumulated vsize (Kb) 126340 [startup+720.485 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1113952/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=126340 CPUtime=720.28 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 33919 0 0 0 71915 113 0 0 25 0 1 0 187150801 129372160 26900 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552324 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31585 26900 105 232 0 31350 0 Current children cumulated CPU time (s) 720.28 Current children cumulated vsize (Kb) 126340 [startup+730.491 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1113440/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=126340 CPUtime=730.28 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 34054 0 0 0 72915 113 0 0 25 0 1 0 187150801 129372160 27035 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31585 27035 105 232 0 31350 0 Current children cumulated CPU time (s) 730.28 Current children cumulated vsize (Kb) 126340 [startup+740.497 s] /proc/loadavg: 0.99 0.97 0.91 2/64 6948 /proc/meminfo: memFree=1112416/2055920 swapFree=4181332/4192956 [pid=6948] ppid=6946 vsize=127724 CPUtime=740.28 /proc/6948/stat : 6948 (PBS4L) R 6946 6948 6903 0 -1 4194304 34293 0 0 0 73914 114 0 0 25 0 1 0 187150801 130789376 27274 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/6948/statm: 31931 27274 105 232 0 31696 0 Current children cumulated CPU time (s) 740.28 Current children cumulated vsize (Kb) 127724 Child status: 0 Real time (s): 745.116 CPU time (s): 744.904 CPU user time (s): 743.733 CPU system time (s): 1.17082 CPU usage (%): 99.9716 Max. virtual memory (cumulated for all children) (Kb): 127724
Begin job on node56 on Fri Jun 2 02:20:32 UTC 2006 FILE ID= 40959-1149214832 PBS_JOBID= 294627 BENCH NAME= ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb 794299626 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node56/watcher-40959-1149214832 -o ROOT/results/node56/solver-40959-1149214832 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node56/40959-1149214832/instance-40959-1149214832.opb 794299626 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= aacf18cf0b8ed9727f2f81c2bd5074e6 RANDOM SEED= 794299626 /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: 1221672 kB Buffers: 40608 kB Cached: 715236 kB SwapCached: 3648 kB Active: 300488 kB Inactive: 464428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1221672 kB SwapTotal: 4192956 kB SwapFree: 4181332 kB Dirty: 204 kB Writeback: 0 kB Mapped: 14900 kB Slab: 55308 kB Committed_AS: 174884 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node56 on Fri Jun 2 02:32:57 UTC 2006