Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 353.362 | 353.489 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900553812.opb |
MD5SUM | 703150fc56665afb9da0b20e49208c25 |
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 | 41.5417 |
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 | 723 |
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/node34/41020-1149221698/instance-41020-1149221698.opb ...... 353.47 c done parsing opb. 353.47 s UNSATISFIABLE 353.47 c Total Run Time 353.327
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/node34/watcher-41020-1149221698 -o ROOT/results/node34/solver-41020-1149221698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb 3816095 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.92 0.93 3/64 11780 /proc/meminfo: memFree=1381544/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=1400 CPUtime=0 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 148 0 0 0 0 0 0 0 18 0 1 0 187833613 1433600 131 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 350 131 100 232 0 115 0 [startup+10.0019 s] /proc/loadavg: 0.81 0.92 0.93 2/64 11780 /proc/meminfo: memFree=1370152/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=13588 CPUtime=9.99 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 3308 0 0 0 994 5 0 0 25 0 1 0 187833613 13914112 2944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 3397 2944 104 232 0 3162 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13588 [startup+20.0076 s] /proc/loadavg: 0.84 0.93 0.93 2/64 11780 /proc/meminfo: memFree=1364072/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=24828 CPUtime=19.99 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 5209 0 0 0 1989 10 0 0 25 0 1 0 187833613 25423872 4460 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611781 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 6207 4460 104 232 0 5972 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 24828 [startup+30.0133 s] /proc/loadavg: 0.86 0.93 0.93 2/64 11780 /proc/meminfo: memFree=1359336/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=26004 CPUtime=30 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 6407 0 0 0 2986 14 0 0 25 0 1 0 187833613 26628096 5658 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550061 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 6501 5658 105 232 0 6266 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26004 [startup+40.0189 s] /proc/loadavg: 0.88 0.93 0.93 2/64 11780 /proc/meminfo: memFree=1355112/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=43600 CPUtime=40 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 7462 0 0 0 3983 17 0 0 25 0 1 0 187833613 44646400 6713 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 10900 6713 105 232 0 10665 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 43600 [startup+50.0246 s] /proc/loadavg: 0.90 0.93 0.93 2/64 11780 /proc/meminfo: memFree=1351464/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=47684 CPUtime=50 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 9136 0 0 0 4980 20 0 0 25 0 1 0 187833613 48828416 7618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 11921 7618 105 232 0 11686 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 47684 [startup+60.0303 s] /proc/loadavg: 0.91 0.93 0.93 2/64 11780 /proc/meminfo: memFree=1348072/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=48504 CPUtime=60 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 9983 0 0 0 5978 22 0 0 25 0 1 0 187833613 49668096 8465 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 12126 8465 105 232 0 11891 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48504 [startup+70.036 s] /proc/loadavg: 0.93 0.94 0.93 2/64 11780 /proc/meminfo: memFree=1344680/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=49872 CPUtime=70.01 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 10849 0 0 0 6976 25 0 0 25 0 1 0 187833613 51068928 9331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 12468 9331 105 232 0 12233 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49872 [startup+80.0417 s] /proc/loadavg: 0.94 0.94 0.93 2/64 11780 /proc/meminfo: memFree=1342120/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=50296 CPUtime=80 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 11485 0 0 0 7973 27 0 0 25 0 1 0 187833613 51503104 9967 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 12574 9967 105 232 0 12339 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 50296 [startup+90.0474 s] /proc/loadavg: 0.95 0.94 0.93 2/64 11780 /proc/meminfo: memFree=1339368/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=50732 CPUtime=90.01 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 12167 0 0 0 8972 29 0 0 25 0 1 0 187833613 51949568 10649 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 12683 10649 105 232 0 12448 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 50732 [startup+100.053 s] /proc/loadavg: 0.95 0.94 0.93 2/64 11780 /proc/meminfo: memFree=1336488/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=51612 CPUtime=100.01 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 12890 0 0 0 9971 30 0 0 25 0 1 0 187833613 52850688 11372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 12903 11372 105 232 0 12668 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 51612 [startup+110.059 s] /proc/loadavg: 0.96 0.94 0.93 2/64 11780 /proc/meminfo: memFree=1334056/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=52140 CPUtime=110.01 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 13490 0 0 0 10969 32 0 0 25 0 1 0 187833613 53391360 11972 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552218 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 13035 11972 105 232 0 12800 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 52140 [startup+120.064 s] /proc/loadavg: 0.97 0.94 0.93 2/64 11780 /proc/meminfo: memFree=1332648/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=85396 CPUtime=120.02 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 13836 0 0 0 11968 34 0 0 25 0 1 0 187833613 87445504 12318 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549939 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 21349 12318 105 232 0 21114 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 85396 [startup+130.07 s] /proc/loadavg: 0.97 0.94 0.93 2/64 11780 /proc/meminfo: memFree=1332008/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=85820 CPUtime=130.01 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 14010 0 0 0 12966 35 0 0 25 0 1 0 187833613 87879680 12492 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552224 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 21455 12492 105 232 0 21220 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 85820 [startup+140.076 s] /proc/loadavg: 0.98 0.95 0.93 2/64 11780 /proc/meminfo: memFree=1331304/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=86316 CPUtime=140.02 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 14171 0 0 0 13965 37 0 0 25 0 1 0 187833613 88387584 12653 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 21579 12653 105 232 0 21344 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 86316 [startup+150.083 s] /proc/loadavg: 0.98 0.95 0.93 2/64 11780 /proc/meminfo: memFree=1329128/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=86448 CPUtime=150.02 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 14711 0 0 0 14964 38 0 0 25 0 1 0 187833613 88522752 13193 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 21612 13193 105 232 0 21377 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 86448 [startup+160.089 s] /proc/loadavg: 0.98 0.95 0.93 2/64 11780 /proc/meminfo: memFree=1326888/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=86888 CPUtime=160.03 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 15280 0 0 0 15962 41 0 0 25 0 1 0 187833613 88973312 13762 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 21722 13762 105 232 0 21487 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 86888 [startup+170.096 s] /proc/loadavg: 0.98 0.95 0.93 2/64 11780 /proc/meminfo: memFree=1325800/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=87580 CPUtime=170.03 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 15587 0 0 0 16960 43 0 0 25 0 1 0 187833613 89681920 14036 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552266 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 21895 14036 105 232 0 21660 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 87580 [startup+180.102 s] /proc/loadavg: 0.99 0.95 0.93 2/64 11780 /proc/meminfo: memFree=1323880/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=88288 CPUtime=180.03 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 16049 0 0 0 17958 45 0 0 25 0 1 0 187833613 90406912 14498 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 22072 14498 105 232 0 21837 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 88288 [startup+190.107 s] /proc/loadavg: 1.07 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1323176/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=88872 CPUtime=190.03 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 16255 0 0 0 18957 46 0 0 25 0 1 0 187833613 91004928 14671 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 22218 14671 105 232 0 21983 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 88872 [startup+200.114 s] /proc/loadavg: 1.06 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1322408/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=95800 CPUtime=200.03 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18013 0 0 0 19955 48 0 0 25 0 1 0 187833613 98099200 14859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 23950 14859 105 232 0 23715 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 95800 [startup+210.12 s] /proc/loadavg: 1.05 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1321960/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=96080 CPUtime=210.04 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18127 0 0 0 20954 50 0 0 25 0 1 0 187833613 98385920 14973 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24020 14973 105 232 0 23785 0 Current children cumulated CPU time (s) 210.04 Current children cumulated vsize (Kb) 96080 [startup+220.125 s] /proc/loadavg: 1.04 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1321384/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=96408 CPUtime=220.04 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18280 0 0 0 21953 51 0 0 25 0 1 0 187833613 98721792 15126 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24102 15126 105 232 0 23867 0 Current children cumulated CPU time (s) 220.04 Current children cumulated vsize (Kb) 96408 [startup+230.132 s] /proc/loadavg: 1.03 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1320936/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=96668 CPUtime=230.04 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18377 0 0 0 22952 52 0 0 25 0 1 0 187833613 98988032 15223 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24167 15223 105 232 0 23932 0 Current children cumulated CPU time (s) 230.04 Current children cumulated vsize (Kb) 96668 [startup+240.138 s] /proc/loadavg: 1.03 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1319912/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=97708 CPUtime=240.04 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18636 0 0 0 23950 54 0 0 25 0 1 0 187833613 100052992 15482 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24427 15482 105 232 0 24192 0 Current children cumulated CPU time (s) 240.04 Current children cumulated vsize (Kb) 97708 [startup+250.144 s] /proc/loadavg: 1.02 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1319720/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=97708 CPUtime=250.05 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18688 0 0 0 24949 56 0 0 25 0 1 0 187833613 100052992 15534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24427 15534 105 232 0 24192 0 Current children cumulated CPU time (s) 250.05 Current children cumulated vsize (Kb) 97708 [startup+260.149 s] /proc/loadavg: 1.02 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1319208/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=98064 CPUtime=260.05 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18839 0 0 0 25948 57 0 0 25 0 1 0 187833613 100417536 15652 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24516 15652 105 232 0 24281 0 Current children cumulated CPU time (s) 260.05 Current children cumulated vsize (Kb) 98064 [startup+270.155 s] /proc/loadavg: 1.02 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1319016/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=98192 CPUtime=270.06 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 18926 0 0 0 26947 59 0 0 25 0 1 0 187833613 100548608 15706 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24548 15706 105 232 0 24313 0 Current children cumulated CPU time (s) 270.06 Current children cumulated vsize (Kb) 98192 [startup+280.161 s] /proc/loadavg: 1.01 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1318504/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=98688 CPUtime=280.06 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19068 0 0 0 27946 60 0 0 25 0 1 0 187833613 101056512 15848 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24672 15848 105 232 0 24437 0 Current children cumulated CPU time (s) 280.06 Current children cumulated vsize (Kb) 98688 [startup+290.166 s] /proc/loadavg: 1.01 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1318184/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=98880 CPUtime=290.06 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19138 0 0 0 28945 61 0 0 25 0 1 0 187833613 101253120 15918 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24720 15918 105 232 0 24485 0 Current children cumulated CPU time (s) 290.06 Current children cumulated vsize (Kb) 98880 [startup+300.172 s] /proc/loadavg: 1.01 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1317992/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=98880 CPUtime=300.06 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19188 0 0 0 29944 62 0 0 25 0 1 0 187833613 101253120 15968 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552305 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24720 15968 105 232 0 24485 0 Current children cumulated CPU time (s) 300.06 Current children cumulated vsize (Kb) 98880 [startup+310.178 s] /proc/loadavg: 1.01 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1317352/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=99152 CPUtime=310.06 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19340 0 0 0 30943 63 0 0 25 0 1 0 187833613 101531648 16120 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24788 16120 105 232 0 24553 0 Current children cumulated CPU time (s) 310.06 Current children cumulated vsize (Kb) 99152 [startup+320.183 s] /proc/loadavg: 1.00 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1316584/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=99940 CPUtime=320.06 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19540 0 0 0 31942 64 0 0 25 0 1 0 187833613 102338560 16320 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551999 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 24985 16320 105 232 0 24750 0 Current children cumulated CPU time (s) 320.06 Current children cumulated vsize (Kb) 99940 [startup+330.189 s] /proc/loadavg: 1.00 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1316136/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=100264 CPUtime=330.07 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19656 0 0 0 32941 66 0 0 25 0 1 0 187833613 102670336 16436 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 25066 16436 105 232 0 24831 0 Current children cumulated CPU time (s) 330.07 Current children cumulated vsize (Kb) 100264 [startup+340.195 s] /proc/loadavg: 1.00 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1315176/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=100976 CPUtime=340.06 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 19896 0 0 0 33940 66 0 0 25 0 1 0 187833613 103399424 16676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 25244 16676 105 232 0 25009 0 Current children cumulated CPU time (s) 340.06 Current children cumulated vsize (Kb) 100976 [startup+350.2 s] /proc/loadavg: 1.00 0.97 0.94 2/64 11780 /proc/meminfo: memFree=1314152/2055920 swapFree=4181356/4192956 [pid=11780] ppid=11778 vsize=101780 CPUtime=350.07 /proc/11780/stat : 11780 (PBS4L) R 11778 11780 11735 0 -1 4194304 20148 0 0 0 34939 68 0 0 25 0 1 0 187833613 104222720 16928 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/11780/statm: 25445 16928 105 232 0 25210 0 Current children cumulated CPU time (s) 350.07 Current children cumulated vsize (Kb) 101780 Child status: 0 Real time (s): 353.489 CPU time (s): 353.362 CPU user time (s): 352.662 CPU system time (s): 0.699893 CPU usage (%): 99.9641 Max. virtual memory (cumulated for all children) (Kb): 101780
Begin job on node34 on Fri Jun 2 04:14:58 UTC 2006 FILE ID= 41020-1149221698 PBS_JOBID= 295415 BENCH NAME= ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb 3816095 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node34/watcher-41020-1149221698 -o ROOT/results/node34/solver-41020-1149221698 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node34/41020-1149221698/instance-41020-1149221698.opb 3816095 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 703150fc56665afb9da0b20e49208c25 RANDOM SEED= 3816095 /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.277 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.277 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: 1381752 kB Buffers: 37536 kB Cached: 563312 kB SwapCached: 3536 kB Active: 92616 kB Inactive: 517200 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1381752 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 296 kB Writeback: 0 kB Mapped: 14828 kB Slab: 50348 kB Committed_AS: 236364 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 node34 on Fri Jun 2 04:20:52 UTC 2006