Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | ? | 1800.12 | 1800.64 |
Name | normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/ normalized-ooo.ex.mem.LdValue.ucl.opb |
MD5SUM | 70ea01a607f0d01f6199fb93098b84d8 |
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 | 1360.12 |
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 | 77106 |
Total number of constraints | 218779 |
Number of constraints which are clauses | 205559 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 13220 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 15 |
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 | 129 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 510 |
Number of bits of the biggest sum of numbers | 9 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.03 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 17.14 c Initial problem consists of 77106 variables and 218779 constraints. 24.57 c Using non-optimization problem switches. 24.57 c No problem reductions applied in OPT. instance. 24.57 c preprocess terminated. Elapsed time: 24.53 24.57 c After prepocess the problem consists of 73310 variables and 208951 constraints. 32.32 c Restart #1 #Var: 73309 LB: 0 @ 32.269 52.57 c Restart #2 #Var: 73308 LB: 0 @ 52.518 74.78 c Restart #3 #Var: 73308 LB: 0 @ 74.725 101.80 c Restart #4 #Var: 73301 LB: 0 @ 101.74 136.65 c Restart #5 #Var: 73301 LB: 0 @ 136.58 164.47 c Restart #6 #Var: 73301 LB: 0 @ 164.4 178.53 c Restart #7 #Var: 73301 LB: 0 @ 178.44 188.57 c Restart #8 #Var: 73301 LB: 0 @ 188.48 190.78 c Restart #9 #Var: 73301 LB: 0 @ 190.7 203.51 c Restart #10 #Var: 73280 LB: 0 @ 203.43 210.68 c Restart #11 #Var: 73280 LB: 0 @ 210.59 218.00 c Restart #12 #Var: 73280 LB: 0 @ 217.91 222.63 c Restart #13 #Var: 73274 LB: 0 @ 222.54 224.35 c Restart #14 #Var: 73274 LB: 0 @ 224.26 225.80 c Restart #15 #Var: 73274 LB: 0 @ 225.71 226.46 c Restart #16 #Var: 73274 LB: 0 @ 226.36 230.50 c Restart #17 #Var: 73274 LB: 0 @ 230.4 235.26 c Restart #18 #Var: 73274 LB: 0 @ 235.16 237.18 c Restart #19 #Var: 73274 LB: 0 @ 237.09 243.52 c Restart #20 #Var: 73274 LB: 0 @ 243.43 258.34 c Restart #21 #Var: 73274 LB: 0 @ 258.24 288.12 c Restart #22 #Var: 73274 LB: 0 @ 287.96 319.53 c Restart #23 #Var: 73274 LB: 0 @ 319.36 347.74 c Restart #24 #Var: 73274 LB: 0 @ 347.57 413.28 c Restart #25 #Var: 73274 LB: 0 @ 413.09 458.38 c Restart #26 #Var: 73274 LB: 0 @ 458.18 549.66 c Restart #27 #Var: 73254 LB: 0 @ 549.44 581.90 c Restart #28 #Var: 73254 LB: 0 @ 581.67 630.68 c Restart #29 #Var: 73252 LB: 0 @ 630.44 675.63 c Restart #30 #Var: 73252 LB: 0 @ 675.38 715.37 c Restart #31 #Var: 73251 LB: 0 @ 715.11 776.30 c Restart #32 #Var: 73251 LB: 0 @ 776.02 845.31 c Restart #33 #Var: 73251 LB: 0 @ 845.02 886.12 c Restart #34 #Var: 73251 LB: 0 @ 885.82 1038.82 c CHANGE Heuristic... 1038.82 c Restart #0 #Var: 71911 LB: 0 @ 1038.5 1041.74 c Restart #1 #Var: 71911 LB: 0 @ 1041.4 1047.25 c Restart #2 #Var: 71911 LB: 0 @ 1046.9 1055.60 c Restart #3 #Var: 71909 LB: 0 @ 1055.3 1064.35 c Restart #4 #Var: 71909 LB: 0 @ 1064 1080.56 c Restart #5 #Var: 71909 LB: 0 @ 1080.2 1093.51 c Restart #6 #Var: 71909 LB: 0 @ 1093.2 1116.36 c Restart #7 #Var: 71909 LB: 0 @ 1116 1131.38 c Restart #8 #Var: 71909 LB: 0 @ 1131 1150.91 c Restart #9 #Var: 71909 LB: 0 @ 1150.5 1166.29 c Restart #10 #Var: 71909 LB: 0 @ 1165.9 1209.28 c Restart #11 #Var: 71909 LB: 0 @ 1208.9 1238.99 c Restart #12 #Var: 71909 LB: 0 @ 1238.6 1250.82 c Restart #13 #Var: 71909 LB: 0 @ 1250.4 1275.63 c Restart #14 #Var: 71909 LB: 0 @ 1275.2 1302.13 c Restart #15 #Var: 71907 LB: 0 @ 1301.7 1348.80 c Restart #16 #Var: 71665 LB: 0 @ 1348.4 1378.99 c Restart #17 #Var: 71424 LB: 0 @ 1378.6 1435.91 c Restart #18 #Var: 71424 LB: 0 @ 1435.5 1509.42 c Restart #19 #Var: 71424 LB: 0 @ 1509 1542.61 c Restart #20 #Var: 71424 LB: 0 @ 1542.2 1584.19 c Restart #21 #Var: 71418 LB: 0 @ 1583.7 1639.70 c Restart #22 #Var: 71418 LB: 0 @ 1639.2 1675.19 c Restart #23 #Var: 71418 LB: 0 @ 1674.7 1721.03 c Restart #24 #Var: 71418 LB: 0 @ 1720.5 1800.59 s UNKNOWN 1800.59 c Exit Code: 0 1800.59 c Total time: 1800.1 s
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/node43/watcher-39729-1149238603 -o ROOT/results/node43/solver-39729-1149238603 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39729-1149238603/instance-39729-1149238603.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.96 0.91 2/64 30369 /proc/meminfo: memFree=1578232/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=18540 CPUtime=0 /proc/30369/stat : 30369 (runsolver) D 30367 30369 30324 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 189527055 18984960 279 18446744073709551615 4194304 4262084 548682069056 18446744073709551615 216849247527 0 0 4096 24578 18446744071563608240 0 0 17 1 0 0 /proc/30369/statm: 4635 279 243 16 0 2626 0 [startup+10.0018 s] /proc/loadavg: 0.99 0.96 0.91 2/64 30369 /proc/meminfo: memFree=1488328/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=94624 CPUtime=9.95 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 1428441 0 0 0 613 382 0 0 25 0 1 0 189527055 96894976 22752 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134572197 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 23656 22759 281 55 0 22548 0 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 94624 [startup+20.0076 s] /proc/loadavg: 0.99 0.96 0.91 2/64 30369 /proc/meminfo: memFree=1407944/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=176924 CPUtime=19.95 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 2527711 0 0 0 1294 701 0 0 25 0 1 0 189527055 181170176 42597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 44533 42606 291 55 0 43425 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 176924 [startup+30.0135 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1391368/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=194536 CPUtime=29.96 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063686 0 0 0 2102 894 0 0 25 0 1 0 189527055 199204864 47014 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718920 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 48634 47014 300 55 0 47526 0 Current children cumulated CPU time (s) 29.96 Current children cumulated vsize (Kb) 194536 [startup+40.0193 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1391304/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=194668 CPUtime=39.96 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063712 0 0 0 3101 895 0 0 25 0 1 0 189527055 199340032 47040 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534055 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 48667 47040 300 55 0 47559 0 Current children cumulated CPU time (s) 39.96 Current children cumulated vsize (Kb) 194668 [startup+50.0262 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1391176/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=194800 CPUtime=49.96 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063759 0 0 0 4101 895 0 0 25 0 1 0 189527055 199475200 47087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719535 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 48700 47087 300 55 0 47592 0 Current children cumulated CPU time (s) 49.96 Current children cumulated vsize (Kb) 194800 [startup+60.0311 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1391048/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=195064 CPUtime=59.97 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063802 0 0 0 5101 896 0 0 25 0 1 0 189527055 199745536 47130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540685 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 48766 47130 300 55 0 47658 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 195064 [startup+70.0369 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1390792/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=195196 CPUtime=69.98 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063864 0 0 0 6101 897 0 0 25 0 1 0 189527055 199880704 47192 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 48799 47192 300 55 0 47691 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 195196 [startup+80.0428 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1390472/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=195592 CPUtime=79.97 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3063936 0 0 0 7100 897 0 0 25 0 1 0 189527055 200286208 47264 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 48898 47264 300 55 0 47790 0 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 195592 [startup+90.0487 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1390152/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=195856 CPUtime=89.97 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064030 0 0 0 8099 898 0 0 25 0 1 0 189527055 200556544 47358 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 48964 47358 300 55 0 47856 0 Current children cumulated CPU time (s) 89.97 Current children cumulated vsize (Kb) 195856 [startup+100.055 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1389896/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=196120 CPUtime=99.98 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064081 0 0 0 9099 899 0 0 25 0 1 0 189527055 200826880 47409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537568 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49030 47409 300 55 0 47922 0 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 196120 [startup+110.061 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1389768/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=196252 CPUtime=109.99 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064113 0 0 0 10099 900 0 0 25 0 1 0 189527055 200962048 47441 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49063 47441 300 55 0 47955 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 196252 [startup+120.067 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1389640/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=196384 CPUtime=119.99 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064147 0 0 0 11098 901 0 0 25 0 1 0 189527055 201097216 47475 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541241 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49096 47475 300 55 0 47988 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 196384 [startup+130.073 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1389512/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=196516 CPUtime=130 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064188 0 0 0 12098 902 0 0 25 0 1 0 189527055 201232384 47516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542172 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49129 47516 300 55 0 48021 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 196516 [startup+140.079 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1389320/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=196648 CPUtime=140 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064226 0 0 0 13097 903 0 0 25 0 1 0 189527055 201367552 47554 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49162 47554 300 55 0 48054 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 196648 [startup+150.085 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1389128/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=196912 CPUtime=150 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064269 0 0 0 14097 903 0 0 25 0 1 0 189527055 201637888 47597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49228 47597 300 55 0 48120 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 196912 [startup+160.091 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1388936/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=197044 CPUtime=160 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064316 0 0 0 15096 904 0 0 25 0 1 0 189527055 201773056 47644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49261 47644 300 55 0 48153 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 197044 [startup+170.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1388744/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=197304 CPUtime=170.01 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064367 0 0 0 16095 906 0 0 25 0 1 0 189527055 202039296 47695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49326 47695 300 55 0 48218 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 197304 [startup+180.103 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1388424/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=197700 CPUtime=180.01 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064459 0 0 0 17094 907 0 0 25 0 1 0 189527055 202444800 47787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49425 47787 300 55 0 48317 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 197700 [startup+190.109 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1387336/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=198624 CPUtime=190.02 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064719 0 0 0 18094 908 0 0 25 0 1 0 189527055 203390976 48047 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529180 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49656 48047 300 55 0 48548 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 198624 [startup+200.115 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1386568/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=199416 CPUtime=200.02 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3064911 0 0 0 19094 908 0 0 25 0 1 0 189527055 204201984 48239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537786 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 49854 48239 300 55 0 48746 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 199416 [startup+210.121 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30369 /proc/meminfo: memFree=1385736/2055920 swapFree=4180880/4192956 ################ # More data... # ################ /proc/30369/statm: 72336 70651 300 55 0 71228 0 Current children cumulated CPU time (s) 1760.5 Current children cumulated vsize (Kb) 289344 [startup+1771.03 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295888/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=289476 CPUtime=1770.51 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087680 0 0 0 176064 987 0 0 25 0 1 0 189527055 296423424 70713 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541485 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72369 70713 300 55 0 71261 0 Current children cumulated CPU time (s) 1770.51 Current children cumulated vsize (Kb) 289476 [startup+1781.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295632/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=289740 CPUtime=1780.51 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087743 0 0 0 177064 987 0 0 25 0 1 0 189527055 296693760 70776 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534926 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72435 70776 300 55 0 71327 0 Current children cumulated CPU time (s) 1780.51 Current children cumulated vsize (Kb) 289740 [startup+1782.04 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295632/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=289740 CPUtime=1781.51 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087745 0 0 0 177164 987 0 0 25 0 1 0 189527055 296693760 70778 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540647 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72435 70778 300 55 0 71327 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 289740 [startup+1783.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295568/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=289872 CPUtime=1782.52 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087757 0 0 0 177265 987 0 0 25 0 1 0 189527055 296828928 70790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72468 70790 300 55 0 71360 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 289872 [startup+1784.05 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295504/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=289872 CPUtime=1783.53 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087777 0 0 0 177365 988 0 0 25 0 1 0 189527055 296828928 70810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72468 70810 300 55 0 71360 0 Current children cumulated CPU time (s) 1783.53 Current children cumulated vsize (Kb) 289872 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295440/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290004 CPUtime=1784.54 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087788 0 0 0 177466 988 0 0 25 0 1 0 189527055 296964096 70821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72501 70821 300 55 0 71393 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 290004 [startup+1786.06 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295440/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290004 CPUtime=1785.54 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087797 0 0 0 177566 988 0 0 25 0 1 0 189527055 296964096 70830 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529270 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72501 70830 300 55 0 71393 0 Current children cumulated CPU time (s) 1785.54 Current children cumulated vsize (Kb) 290004 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295376/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290004 CPUtime=1786.54 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087806 0 0 0 177666 988 0 0 25 0 1 0 189527055 296964096 70839 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72501 70839 300 55 0 71393 0 Current children cumulated CPU time (s) 1786.54 Current children cumulated vsize (Kb) 290004 [startup+1788.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1787.55 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087820 0 0 0 177767 988 0 0 25 0 1 0 189527055 297099264 70853 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540747 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70853 300 55 0 71426 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 290136 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1788.55 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 177867 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70857 300 55 0 71426 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 290136 [startup+1790.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1789.56 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 177968 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534030 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70857 300 55 0 71426 0 Current children cumulated CPU time (s) 1789.56 Current children cumulated vsize (Kb) 290136 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1790.56 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178068 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70857 300 55 0 71426 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 290136 [startup+1792.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1791.57 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178169 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718653 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70857 300 55 0 71426 0 Current children cumulated CPU time (s) 1791.57 Current children cumulated vsize (Kb) 290136 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1792.57 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178269 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70857 300 55 0 71426 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 290136 [startup+1794.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1793.57 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178369 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70857 300 55 0 71426 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 290136 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1794.58 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087824 0 0 0 178470 988 0 0 25 0 1 0 189527055 297099264 70857 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70857 300 55 0 71426 0 Current children cumulated CPU time (s) 1794.58 Current children cumulated vsize (Kb) 290136 [startup+1796.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1795.58 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087828 0 0 0 178570 988 0 0 25 0 1 0 189527055 297099264 70861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70861 300 55 0 71426 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 290136 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1796.59 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087828 0 0 0 178671 988 0 0 25 0 1 0 189527055 297099264 70861 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70861 300 55 0 71426 0 Current children cumulated CPU time (s) 1796.59 Current children cumulated vsize (Kb) 290136 [startup+1798.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1797.59 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087829 0 0 0 178771 988 0 0 25 0 1 0 189527055 297099264 70862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540644 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70862 300 55 0 71426 0 Current children cumulated CPU time (s) 1797.59 Current children cumulated vsize (Kb) 290136 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295312/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1798.6 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087829 0 0 0 178872 988 0 0 25 0 1 0 189527055 297099264 70862 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70862 300 55 0 71426 0 Current children cumulated CPU time (s) 1798.6 Current children cumulated vsize (Kb) 290136 [startup+1800.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 30564 /proc/meminfo: memFree=1295248/2055920 swapFree=4180880/4192956 [pid=30369] ppid=30367 vsize=290136 CPUtime=1799.6 /proc/30369/stat : 30369 (bsolo) R 30367 30369 30324 0 -1 0 3087835 0 0 0 178972 988 0 0 25 0 1 0 189527055 297099264 70868 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/30369/statm: 72534 70868 300 55 0 71426 0 Current children cumulated CPU time (s) 1799.6 Current children cumulated vsize (Kb) 290136 Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.12 CPU user time (s): 1790.19 CPU system time (s): 9.93349 CPU usage (%): 99.971 Max. virtual memory (cumulated for all children) (Kb): 290136
Begin job on node43 on Fri Jun 2 08:56:43 UTC 2006 FILE ID= 39729-1149238603 PBS_JOBID= 297230 BENCH NAME= ROOT/tmp/node43/39729-1149238603/instance-39729-1149238603.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39729-1149238603/instance-39729-1149238603.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-39729-1149238603 -o ROOT/results/node43/solver-39729-1149238603 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node43/39729-1149238603/instance-39729-1149238603.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 70ea01a607f0d01f6199fb93098b84d8 RANDOM SEED= 551338723 /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.216 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.216 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: 1578888 kB Buffers: 8404 kB Cached: 398124 kB SwapCached: 3716 kB Active: 46884 kB Inactive: 368332 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1578888 kB SwapTotal: 4192956 kB SwapFree: 4180880 kB Dirty: 288 kB Writeback: 0 kB Mapped: 14816 kB Slab: 47908 kB Committed_AS: 241180 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node43 on Fri Jun 2 09:26:44 UTC 2006