Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 413.637 | 413.749 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900551347.opb |
MD5SUM | ad2f2eb73d6b7e5f546be528b10bc762 |
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 | 133.997 |
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 | 745 |
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/node23/41026-1149222176/instance-41026-1149222176.opb ...... 413.73 c done parsing opb. 413.73 s UNSATISFIABLE 413.73 c Total Run Time 413.601
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/node23/watcher-41026-1149222176 -o ROOT/results/node23/solver-41026-1149222176 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb 312037583 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 7866 /proc/meminfo: memFree=1392800/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=1400 CPUtime=0 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 187881268 1433600 135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135097538 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 350 135 100 232 0 115 0 [startup+10.002 s] /proc/loadavg: 0.93 0.95 0.90 2/64 7866 /proc/meminfo: memFree=1381864/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=13476 CPUtime=9.99 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 3200 0 0 0 993 6 0 0 25 0 1 0 187881268 13799424 2836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 3369 2836 104 232 0 3134 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13476 [startup+20.0081 s] /proc/loadavg: 0.94 0.96 0.91 2/64 7866 /proc/meminfo: memFree=1376040/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=24648 CPUtime=20 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 5050 0 0 0 1990 10 0 0 25 0 1 0 187881268 25239552 4301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 6162 4301 105 232 0 5927 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 24648 [startup+30.0143 s] /proc/loadavg: 0.95 0.96 0.91 2/64 7866 /proc/meminfo: memFree=1371368/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=26136 CPUtime=30 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 6200 0 0 0 2987 13 0 0 25 0 1 0 187881268 26763264 5451 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 6534 5451 105 232 0 6299 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26136 [startup+40.0204 s] /proc/loadavg: 0.95 0.96 0.91 2/64 7866 /proc/meminfo: memFree=1367400/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=43340 CPUtime=40 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 7183 0 0 0 3985 15 0 0 25 0 1 0 187881268 44380160 6434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550762 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 10835 6434 105 232 0 10600 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43340 [startup+50.0265 s] /proc/loadavg: 0.96 0.96 0.91 2/64 7866 /proc/meminfo: memFree=1363944/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=44504 CPUtime=50.01 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 8061 0 0 0 4983 18 0 0 25 0 1 0 187881268 45572096 7312 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 11126 7312 105 232 0 10891 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 44504 [startup+60.0326 s] /proc/loadavg: 0.97 0.96 0.91 2/64 7866 /proc/meminfo: memFree=1360936/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=48028 CPUtime=60 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 9591 0 0 0 5980 20 0 0 25 0 1 0 187881268 49180672 8073 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550046 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 12007 8073 105 232 0 11772 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48028 [startup+70.0388 s] /proc/loadavg: 1.04 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1358376/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=48748 CPUtime=70.01 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 10223 0 0 0 6979 22 0 0 25 0 1 0 187881268 49917952 8705 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 12187 8705 105 232 0 11952 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 48748 [startup+80.0449 s] /proc/loadavg: 1.03 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1357608/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=49516 CPUtime=80.02 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 10420 0 0 0 7978 24 0 0 25 0 1 0 187881268 50704384 8902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552026 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 12379 8902 105 232 0 12144 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 49516 [startup+90.051 s] /proc/loadavg: 1.03 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1355688/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=50256 CPUtime=90.02 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 10889 0 0 0 8976 26 0 0 25 0 1 0 187881268 51462144 9371 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 12564 9371 105 232 0 12329 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 50256 [startup+100.057 s] /proc/loadavg: 1.02 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1353384/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=50708 CPUtime=100.02 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 11465 0 0 0 9976 26 0 0 25 0 1 0 187881268 51924992 9947 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 12677 9947 105 232 0 12442 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 50708 [startup+110.063 s] /proc/loadavg: 1.02 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1350376/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=51508 CPUtime=110.03 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 12213 0 0 0 10975 28 0 0 25 0 1 0 187881268 52744192 10695 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 12877 10695 105 232 0 12642 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 51508 [startup+120.069 s] /proc/loadavg: 1.02 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1348200/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=52508 CPUtime=120.02 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 12755 0 0 0 11973 29 0 0 25 0 1 0 187881268 53768192 11237 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 13127 11237 105 232 0 12892 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 52508 [startup+130.076 s] /proc/loadavg: 1.01 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1345832/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=52832 CPUtime=130.03 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 13350 0 0 0 12971 32 0 0 25 0 1 0 187881268 54099968 11832 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 13208 11832 105 232 0 12973 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 52832 [startup+140.082 s] /proc/loadavg: 1.01 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1343848/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=53440 CPUtime=140.04 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 13851 0 0 0 13970 34 0 0 25 0 1 0 187881268 54722560 12333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 13360 12333 105 232 0 13125 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 53440 [startup+150.089 s] /proc/loadavg: 1.01 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1341800/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=86340 CPUtime=150.04 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 14349 0 0 0 14969 35 0 0 25 0 1 0 187881268 88412160 12831 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 21585 12831 105 232 0 21350 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 86340 [startup+160.094 s] /proc/loadavg: 1.01 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1339624/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=86992 CPUtime=160.04 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 14936 0 0 0 15968 36 0 0 25 0 1 0 187881268 89079808 13385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 21748 13385 105 232 0 21513 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 86992 [startup+170.1 s] /proc/loadavg: 1.01 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1337640/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=87736 CPUtime=170.05 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 15457 0 0 0 16966 39 0 0 25 0 1 0 187881268 89841664 13873 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 21934 13873 105 232 0 21699 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 87736 [startup+180.106 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1335912/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=87868 CPUtime=180.05 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 15889 0 0 0 17964 41 0 0 25 0 1 0 187881268 89976832 14305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 21967 14305 105 232 0 21732 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 87868 [startup+190.112 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1334312/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=88692 CPUtime=190.05 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16327 0 0 0 18963 42 0 0 25 0 1 0 187881268 90820608 14710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 22173 14710 105 232 0 21938 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 88692 [startup+200.118 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1333544/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=89580 CPUtime=200.05 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16602 0 0 0 19962 43 0 0 25 0 1 0 187881268 91729920 14886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550830 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 22395 14886 105 232 0 22160 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 89580 [startup+210.125 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1332840/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=90296 CPUtime=210.06 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16836 0 0 0 20962 44 0 0 25 0 1 0 187881268 92463104 15087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 22574 15087 105 232 0 22339 0 Current children cumulated CPU time (s) 210.06 Current children cumulated vsize (Kb) 90296 [startup+220.131 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1332328/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=90832 CPUtime=220.06 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 16995 0 0 0 21961 45 0 0 25 0 1 0 187881268 93011968 15213 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 22708 15213 105 232 0 22473 0 Current children cumulated CPU time (s) 220.06 Current children cumulated vsize (Kb) 90832 [startup+230.137 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1331368/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=97752 CPUtime=230.07 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 18795 0 0 0 22959 48 0 0 25 0 1 0 187881268 100098048 15410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550778 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24438 15410 105 232 0 24203 0 Current children cumulated CPU time (s) 230.07 Current children cumulated vsize (Kb) 97752 [startup+240.143 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1331240/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=97880 CPUtime=240.07 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 18898 0 0 0 23959 48 0 0 25 0 1 0 187881268 100229120 15480 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24470 15480 105 232 0 24235 0 Current children cumulated CPU time (s) 240.07 Current children cumulated vsize (Kb) 97880 [startup+250.149 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1330920/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=98192 CPUtime=250.08 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 18979 0 0 0 24958 50 0 0 25 0 1 0 187881268 100548608 15561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24548 15561 105 232 0 24313 0 Current children cumulated CPU time (s) 250.08 Current children cumulated vsize (Kb) 98192 [startup+260.155 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1330664/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=98384 CPUtime=260.08 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19030 0 0 0 25957 51 0 0 25 0 1 0 187881268 100745216 15612 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24596 15612 105 232 0 24361 0 Current children cumulated CPU time (s) 260.08 Current children cumulated vsize (Kb) 98384 [startup+270.161 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1330024/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=98832 CPUtime=270.08 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19226 0 0 0 26956 52 0 0 25 0 1 0 187881268 101203968 15775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24708 15775 105 232 0 24473 0 Current children cumulated CPU time (s) 270.08 Current children cumulated vsize (Kb) 98832 [startup+280.167 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1329768/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=98832 CPUtime=280.09 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19294 0 0 0 27955 54 0 0 25 0 1 0 187881268 101203968 15843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24708 15843 105 232 0 24473 0 Current children cumulated CPU time (s) 280.09 Current children cumulated vsize (Kb) 98832 [startup+290.174 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1329384/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=99092 CPUtime=290.09 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19414 0 0 0 28954 55 0 0 25 0 1 0 187881268 101470208 15930 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24773 15930 105 232 0 24538 0 Current children cumulated CPU time (s) 290.09 Current children cumulated vsize (Kb) 99092 [startup+300.18 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1328560/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=99480 CPUtime=300.09 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19652 0 0 0 29952 57 0 0 25 0 1 0 187881268 101867520 16135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552202 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24870 16135 105 232 0 24635 0 Current children cumulated CPU time (s) 300.09 Current children cumulated vsize (Kb) 99480 [startup+310.186 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1327792/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=99680 CPUtime=310.09 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19847 0 0 0 30950 59 0 0 25 0 1 0 187881268 102072320 16330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 24920 16330 105 232 0 24685 0 Current children cumulated CPU time (s) 310.09 Current children cumulated vsize (Kb) 99680 [startup+320.192 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1327280/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=100120 CPUtime=320.1 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 19974 0 0 0 31949 61 0 0 25 0 1 0 187881268 102522880 16457 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25030 16457 105 232 0 24795 0 Current children cumulated CPU time (s) 320.1 Current children cumulated vsize (Kb) 100120 [startup+330.198 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1326768/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=100552 CPUtime=330.1 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20097 0 0 0 32948 62 0 0 25 0 1 0 187881268 102965248 16580 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25138 16580 105 232 0 24903 0 Current children cumulated CPU time (s) 330.1 Current children cumulated vsize (Kb) 100552 [startup+340.203 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1325936/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=101468 CPUtime=340.11 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20326 0 0 0 33948 63 0 0 25 0 1 0 187881268 103903232 16776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25367 16776 105 232 0 25132 0 Current children cumulated CPU time (s) 340.11 Current children cumulated vsize (Kb) 101468 [startup+350.209 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1325552/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=101756 CPUtime=350.11 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20432 0 0 0 34947 64 0 0 25 0 1 0 187881268 104198144 16882 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25439 16882 105 232 0 25204 0 Current children cumulated CPU time (s) 350.11 Current children cumulated vsize (Kb) 101756 [startup+360.216 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1325424/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=101756 CPUtime=360.12 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20473 0 0 0 35947 65 0 0 25 0 1 0 187881268 104198144 16923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25439 16923 105 232 0 25204 0 Current children cumulated CPU time (s) 360.12 Current children cumulated vsize (Kb) 101756 [startup+370.222 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1324528/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=102388 CPUtime=370.12 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20696 0 0 0 36947 65 0 0 25 0 1 0 187881268 104845312 17146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552182 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25597 17146 105 232 0 25362 0 Current children cumulated CPU time (s) 370.12 Current children cumulated vsize (Kb) 102388 [startup+380.228 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1323952/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=103100 CPUtime=380.11 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20837 0 0 0 37945 66 0 0 25 0 1 0 187881268 105574400 17287 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25775 17287 105 232 0 25540 0 Current children cumulated CPU time (s) 380.11 Current children cumulated vsize (Kb) 103100 [startup+390.235 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1323440/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=103488 CPUtime=390.12 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 20960 0 0 0 38944 68 0 0 25 0 1 0 187881268 105971712 17410 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25872 17410 105 232 0 25637 0 Current children cumulated CPU time (s) 390.12 Current children cumulated vsize (Kb) 103488 [startup+400.241 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1322736/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=103904 CPUtime=400.12 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 21132 0 0 0 39943 69 0 0 25 0 1 0 187881268 106397696 17582 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552023 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 25976 17582 105 232 0 25741 0 Current children cumulated CPU time (s) 400.12 Current children cumulated vsize (Kb) 103904 [startup+410.247 s] /proc/loadavg: 1.00 0.98 0.91 2/64 7866 /proc/meminfo: memFree=1322160/2055920 swapFree=4180892/4192956 [pid=7866] ppid=7864 vsize=104344 CPUtime=410.13 /proc/7866/stat : 7866 (PBS4L) R 7864 7866 7821 0 -1 4194304 21276 0 0 0 40942 71 0 0 25 0 1 0 187881268 106848256 17726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/7866/statm: 26086 17726 105 232 0 25851 0 Current children cumulated CPU time (s) 410.13 Current children cumulated vsize (Kb) 104344 Child status: 0 Real time (s): 413.749 CPU time (s): 413.637 CPU user time (s): 412.907 CPU system time (s): 0.729889 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (Kb): 104344
Begin job on node23 on Fri Jun 2 04:22:56 UTC 2006 FILE ID= 41026-1149222176 PBS_JOBID= 295499 BENCH NAME= ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb 312037583 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-41026-1149222176 -o ROOT/results/node23/solver-41026-1149222176 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41026-1149222176/instance-41026-1149222176.opb 312037583 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= ad2f2eb73d6b7e5f546be528b10bc762 RANDOM SEED= 312037583 /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.213 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 : 5931.00 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.213 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: 1393008 kB Buffers: 39880 kB Cached: 546760 kB SwapCached: 3872 kB Active: 167032 kB Inactive: 428428 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1393008 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14696 kB Slab: 53444 kB Committed_AS: 215728 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jun 2 04:29:50 UTC 2006