Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | Signal | 1050.08 | 1050.44 |
Name | normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/ manquiho/Aardal_1/normalized-cuww5.opb |
MD5SUM | 2d610c35d7c8dd61a03deef28cf982c0 |
Bench Category | SATUNSAT-MEDINT (no optimisation, medium integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 36.2755 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
Number of variables | 86 |
Total number of constraints | 2 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 2 |
Minimum length of a constraint | 86 |
Maximum length of a constraint | 86 |
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 | 45094584 |
Number of bits of the biggest number in a constraint | 26 |
Biggest sum of numbers in a constraint | 553509859 |
Number of bits of the biggest sum of numbers | 30 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.02 c BIG Int formula... 0.02 c Initial problem consists of 86 variables and 2 constraints. 0.02 c Using non-optimization problem switches. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.006 0.02 c After prepocess the problem consists of 86 variables and 2 constraints. 0.03 c Restart #1 #Var: 86 LB: 0 @ 0.015 0.05 c Restart #2 #Var: 86 LB: 0 @ 0.036 0.08 c Restart #3 #Var: 86 LB: 0 @ 0.073 0.13 c Restart #4 #Var: 86 LB: 0 @ 0.117 0.17 c Restart #5 #Var: 86 LB: 0 @ 0.164 0.24 c Restart #6 #Var: 86 LB: 0 @ 0.233 0.32 c Restart #7 #Var: 86 LB: 0 @ 0.309 0.41 c Restart #8 #Var: 86 LB: 0 @ 0.401 0.54 c Restart #9 #Var: 86 LB: 0 @ 0.526 0.72 c Restart #10 #Var: 86 LB: 0 @ 0.708 0.88 c Restart #11 #Var: 86 LB: 0 @ 0.872 1.20 c Restart #12 #Var: 86 LB: 0 @ 1.188 1.49 c Restart #13 #Var: 86 LB: 0 @ 1.481 1.86 c Restart #14 #Var: 86 LB: 0 @ 1.854 2.24 c Restart #15 #Var: 86 LB: 0 @ 2.232 2.81 c Restart #16 #Var: 86 LB: 0 @ 2.791 3.43 c Restart #17 #Var: 86 LB: 0 @ 3.417 4.10 c Restart #18 #Var: 86 LB: 0 @ 4.086 4.84 c Restart #19 #Var: 86 LB: 0 @ 4.821 5.82 c Restart #20 #Var: 86 LB: 0 @ 5.806 6.77 c Restart #21 #Var: 86 LB: 0 @ 6.752 7.91 c Restart #22 #Var: 86 LB: 0 @ 7.895 8.87 c Restart #23 #Var: 86 LB: 0 @ 8.853 10.36 c Restart #24 #Var: 86 LB: 0 @ 10.345 11.68 c Restart #25 #Var: 86 LB: 0 @ 11.659 13.08 c Restart #26 #Var: 86 LB: 0 @ 13.063 14.86 c Restart #27 #Var: 86 LB: 0 @ 14.845 16.45 c Restart #28 #Var: 86 LB: 0 @ 16.434 17.59 c Restart #29 #Var: 86 LB: 0 @ 17.574 19.77 c Restart #30 #Var: 86 LB: 0 @ 19.749 21.73 c Restart #31 #Var: 86 LB: 0 @ 21.712 24.73 c Restart #32 #Var: 86 LB: 0 @ 24.709 27.25 c Restart #33 #Var: 86 LB: 0 @ 27.226 30.29 c Restart #34 #Var: 86 LB: 0 @ 30.263 34.33 c Restart #35 #Var: 86 LB: 0 @ 34.309 36.83 c Restart #36 #Var: 86 LB: 0 @ 36.806 39.84 c Restart #37 #Var: 86 LB: 0 @ 39.818 42.91 c Restart #38 #Var: 86 LB: 0 @ 42.883 46.47 c Restart #39 #Var: 86 LB: 0 @ 46.443 50.62 c Restart #40 #Var: 86 LB: 0 @ 50.592 54.34 c Restart #41 #Var: 86 LB: 0 @ 54.311 58.03 c Restart #42 #Var: 86 LB: 0 @ 57.999 62.48 c Restart #43 #Var: 86 LB: 0 @ 62.446 69.65 c Restart #44 #Var: 86 LB: 0 @ 69.609 74.92 c Restart #45 #Var: 86 LB: 0 @ 74.885 79.84 c Restart #46 #Var: 86 LB: 0 @ 79.799 86.24 c Restart #47 #Var: 86 LB: 0 @ 86.195 93.99 c Restart #48 #Var: 86 LB: 0 @ 93.944 100.09 c Restart #49 #Var: 86 LB: 0 @ 100.04 109.94 c Restart #50 #Var: 86 LB: 0 @ 109.89 117.15 c Restart #51 #Var: 86 LB: 0 @ 117.09 124.57 c Restart #52 #Var: 86 LB: 0 @ 124.52 132.84 c Restart #53 #Var: 86 LB: 0 @ 132.78 139.41 c Restart #54 #Var: 86 LB: 0 @ 139.35 148.40 c Restart #55 #Var: 86 LB: 0 @ 148.34 156.51 c Restart #56 #Var: 86 LB: 0 @ 156.44 162.39 c Restart #57 #Var: 86 LB: 0 @ 162.32 174.19 c Restart #58 #Var: 86 LB: 0 @ 174.12 181.27 c Restart #59 #Var: 86 LB: 0 @ 181.2 191.24 c Restart #60 #Var: 86 LB: 0 @ 191.16 201.72 c Restart #61 #Var: 86 LB: 0 @ 201.64 210.48 c Restart #62 #Var: 86 LB: 0 @ 210.4 220.18 c Restart #63 #Var: 86 LB: 0 @ 220.09 232.84 c Restart #64 #Var: 86 LB: 0 @ 232.75 243.66 c Restart #65 #Var: 86 LB: 0 @ 243.57 255.85 c Restart #66 #Var: 86 LB: 0 @ 255.75 264.08 c Restart #67 #Var: 86 LB: 0 @ 263.98 276.73 c Restart #68 #Var: 86 LB: 0 @ 276.63 288.13 c Restart #69 #Var: 86 LB: 0 @ 288.02 296.15 c Restart #70 #Var: 86 LB: 0 @ 296.05 306.61 c Restart #71 #Var: 86 LB: 0 @ 306.5 315.19 c Restart #72 #Var: 86 LB: 0 @ 315.07 323.81 c Restart #73 #Var: 86 LB: 0 @ 323.7 335.17 c Restart #74 #Var: 86 LB: 0 @ 335.05 353.78 c Restart #75 #Var: 86 LB: 0 @ 353.65 360.67 c Restart #76 #Var: 86 LB: 0 @ 360.54 375.48 c Restart #77 #Var: 86 LB: 0 @ 375.34 397.93 c Restart #78 #Var: 86 LB: 0 @ 397.79 411.85 c Restart #79 #Var: 86 LB: 0 @ 411.71 425.84 c Restart #80 #Var: 86 LB: 0 @ 425.69 443.19 c Restart #81 #Var: 86 LB: 0 @ 443.04 455.66 c Restart #82 #Var: 86 LB: 0 @ 455.5 470.79 c Restart #83 #Var: 86 LB: 0 @ 470.62 484.92 c Restart #84 #Var: 86 LB: 0 @ 484.75 495.39 c Restart #85 #Var: 86 LB: 0 @ 495.22 510.32 c Restart #86 #Var: 86 LB: 0 @ 510.14 526.24 c Restart #87 #Var: 86 LB: 0 @ 526.06 539.14 c Restart #88 #Var: 86 LB: 0 @ 538.95 559.91 c Restart #89 #Var: 86 LB: 0 @ 559.71 573.00 c Restart #90 #Var: 86 LB: 0 @ 572.8 589.87 c Restart #91 #Var: 86 LB: 0 @ 589.66 599.90 c Restart #92 #Var: 86 LB: 0 @ 599.69 621.64 c Restart #93 #Var: 86 LB: 0 @ 621.42 640.98 c Restart #94 #Var: 86 LB: 0 @ 640.76 666.39 c Restart #95 #Var: 86 LB: 0 @ 666.17 691.49 c Restart #96 #Var: 86 LB: 0 @ 691.25 727.84 c Restart #97 #Var: 86 LB: 0 @ 727.59 751.12 c Restart #98 #Var: 86 LB: 0 @ 750.87 768.12 c Restart #99 #Var: 86 LB: 0 @ 767.87 779.41 c Restart #100 #Var: 86 LB: 0 @ 779.15 827.28 c Restart #101 #Var: 86 LB: 0 @ 827 842.40 c Restart #102 #Var: 86 LB: 0 @ 842.12 875.16 c Restart #103 #Var: 86 LB: 0 @ 874.87 903.34 c CHANGE Heuristic... 903.35 c Restart #0 #Var: 86 LB: 0 @ 903.04 907.10 c Restart #1 #Var: 86 LB: 0 @ 906.8 912.74 c Restart #2 #Var: 86 LB: 0 @ 912.44 920.74 c Restart #3 #Var: 86 LB: 0 @ 920.44 925.97 c Restart #4 #Var: 86 LB: 0 @ 925.66 933.04 c Restart #5 #Var: 86 LB: 0 @ 932.73 942.00 c Restart #6 #Var: 86 LB: 0 @ 941.69 953.54 c Restart #7 #Var: 86 LB: 0 @ 953.22 963.46 c Restart #8 #Var: 86 LB: 0 @ 963.13 974.78 c Restart #9 #Var: 86 LB: 0 @ 974.46 985.43 c Restart #10 #Var: 86 LB: 0 @ 985.1 995.10 c Restart #11 #Var: 86 LB: 0 @ 994.77 1005.50 c Restart #12 #Var: 86 LB: 0 @ 1005.2 1019.99 c Restart #13 #Var: 86 LB: 0 @ 1019.6 1032.98 c Restart #14 #Var: 86 LB: 0 @ 1032.6 1048.31 c Restart #15 #Var: 86 LB: 0 @ 1048
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/node29/watcher-40804-1149319505 -o ROOT/results/node29/solver-40804-1149319505 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/40804-1149319505/instance-40804-1149319505.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1843680/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=3364 CPUtime=0 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 60 0 0 0 0 0 0 0 18 0 1 0 197614068 3444736 43 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4129700 0 0 4096 0 0 0 0 17 1 0 0 /proc/19282/statm: 859 47 34 55 0 42 0 [startup+10.0014 s] /proc/loadavg: 0.93 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1747384/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=100696 CPUtime=9.97 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 24408 0 0 0 983 14 0 0 25 0 1 0 197614068 103112704 24320 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 25174 24320 296 55 0 24066 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 100696 [startup+20.0068 s] /proc/loadavg: 0.94 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1690552/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=157832 CPUtime=19.98 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 38601 0 0 0 1975 23 0 0 25 0 1 0 197614068 161619968 38493 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 39458 38493 296 55 0 38350 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 157832 [startup+30.0132 s] /proc/loadavg: 0.95 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1649912/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=198436 CPUtime=29.98 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 48740 0 0 0 2969 29 0 0 25 0 1 0 197614068 203198464 48630 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 49609 48630 296 55 0 48501 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 198436 [startup+40.0197 s] /proc/loadavg: 0.95 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1612920/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=235252 CPUtime=39.99 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 57984 0 0 0 3964 35 0 0 25 0 1 0 197614068 240898048 57874 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 58813 57874 296 55 0 57705 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 235252 [startup+50.0261 s] /proc/loadavg: 0.96 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1576504/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=271928 CPUtime=49.99 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 67105 0 0 0 4958 41 0 0 25 0 1 0 197614068 278454272 66978 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 67982 66978 296 55 0 66874 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 271928 [startup+60.0315 s] /proc/loadavg: 0.97 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1543416/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=305444 CPUtime=59.99 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 75379 0 0 0 5952 47 0 0 25 0 1 0 197614068 312774656 75237 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 76361 75237 296 55 0 75253 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 305444 [startup+70.0379 s] /proc/loadavg: 0.97 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1518520/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=330408 CPUtime=70 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 81592 0 0 0 6949 51 0 0 25 0 1 0 197614068 338337792 81438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 82602 81438 296 55 0 81494 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 330408 [startup+80.0443 s] /proc/loadavg: 0.98 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1488952/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=359944 CPUtime=80 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 88975 0 0 0 7944 56 0 0 25 0 1 0 197614068 368582656 88821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 89986 88821 296 55 0 88878 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 359944 [startup+90.0498 s] /proc/loadavg: 0.98 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1463672/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=385044 CPUtime=89.99 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 95286 0 0 0 8940 59 0 0 25 0 1 0 197614068 394285056 95129 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 96261 95129 296 55 0 95153 0 Current children cumulated CPU time (s) 89.99 Current children cumulated vsize (Kb) 385044 [startup+100.055 s] /proc/loadavg: 0.98 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1441912/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=406820 CPUtime=100 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 100714 0 0 0 9937 63 0 0 25 0 1 0 197614068 416583680 100557 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 101705 100557 296 55 0 100597 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 406820 [startup+110.061 s] /proc/loadavg: 0.98 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1425400/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=423260 CPUtime=110 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 104818 0 0 0 10935 65 0 0 25 0 1 0 197614068 433418240 104661 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 105815 104661 296 55 0 104707 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 423260 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1405880/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=442808 CPUtime=120 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 109701 0 0 0 11931 69 0 0 25 0 1 0 197614068 453435392 109544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 110702 109544 296 55 0 109594 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 442808 [startup+130.071 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1382648/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=466084 CPUtime=130.01 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 115498 0 0 0 12928 73 0 0 25 0 1 0 197614068 477270016 115340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 116521 115340 296 55 0 115413 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 466084 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1356664/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=491996 CPUtime=140.01 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 121976 0 0 0 13925 76 0 0 25 0 1 0 197614068 503803904 121814 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 122999 121814 296 55 0 121891 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 491996 [startup+150.082 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1337848/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=511164 CPUtime=150.01 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 126756 0 0 0 14922 79 0 0 25 0 1 0 197614068 523431936 126512 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 127791 126512 296 55 0 126683 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 511164 [startup+160.088 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1310392/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=538692 CPUtime=160.01 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 133620 0 0 0 15917 84 0 0 25 0 1 0 197614068 551620608 133375 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 134673 133375 296 55 0 133565 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 538692 [startup+170.093 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1289784/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=559300 CPUtime=170.01 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 138765 0 0 0 16912 89 0 0 25 0 1 0 197614068 572723200 138510 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 139825 138510 296 55 0 138717 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 559300 [startup+180.099 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1269240/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=579756 CPUtime=180.02 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 143882 0 0 0 17910 92 0 0 25 0 1 0 197614068 593670144 143627 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 144939 143627 296 55 0 143831 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 579756 [startup+190.104 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1247672/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=601592 CPUtime=190.02 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 149363 0 0 0 18906 96 0 0 25 0 1 0 197614068 616030208 149017 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528766 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 150398 149017 296 55 0 149290 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 601592 [startup+200.109 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1229304/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=619996 CPUtime=200.02 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 153940 0 0 0 19903 99 0 0 25 0 1 0 197614068 634875904 153589 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 154999 153589 296 55 0 153891 0 Current children cumulated CPU time (s) 200.02 Current children cumulated vsize (Kb) 619996 [startup+210.115 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19282 /proc/meminfo: memFree=1205624/2055920 swapFree=4181376/4192956 ################ # More data... # ################ Current children cumulated CPU time (s) 830.17 Current children cumulated vsize (Kb) 1704432 [startup+840.467 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=124608/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1728836 CPUtime=840.18 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 432441 0 0 0 83730 288 0 0 25 0 1 0 197614068 1770328064 429230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4564603 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 432209 429230 296 55 0 431101 0 Current children cumulated CPU time (s) 840.18 Current children cumulated vsize (Kb) 1728836 [startup+850.472 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=111360/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1742076 CPUtime=850.18 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 435712 0 0 0 84728 290 0 0 25 0 1 0 197614068 1783885824 432501 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 435519 432501 296 55 0 434411 0 Current children cumulated CPU time (s) 850.18 Current children cumulated vsize (Kb) 1742076 [startup+860.478 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=99904/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1753416 CPUtime=860.18 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 438577 0 0 0 85726 292 0 0 25 0 1 0 197614068 1795497984 435366 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 438354 435366 296 55 0 437246 0 Current children cumulated CPU time (s) 860.18 Current children cumulated vsize (Kb) 1753416 [startup+870.483 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=90944/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1762248 CPUtime=870.18 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 440803 0 0 0 86726 292 0 0 25 0 1 0 197614068 1804541952 437592 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 440562 437592 296 55 0 439454 0 Current children cumulated CPU time (s) 870.18 Current children cumulated vsize (Kb) 1762248 [startup+880.489 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=75072/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1777952 CPUtime=880.18 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 444762 0 0 0 87723 295 0 0 25 0 1 0 197614068 1820622848 441551 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 444488 441551 296 55 0 443380 0 Current children cumulated CPU time (s) 880.18 Current children cumulated vsize (Kb) 1777952 [startup+890.494 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=69696/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1783224 CPUtime=890.18 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 446095 0 0 0 88722 296 0 0 25 0 1 0 197614068 1826021376 442884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 445806 442884 296 55 0 444698 0 Current children cumulated CPU time (s) 890.18 Current children cumulated vsize (Kb) 1783224 [startup+900.5 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=54912/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1798116 CPUtime=900.19 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 449792 0 0 0 89721 298 0 0 25 0 1 0 197614068 1841270784 446581 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 449529 446581 296 55 0 448421 0 Current children cumulated CPU time (s) 900.19 Current children cumulated vsize (Kb) 1798116 [startup+910.505 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=48896/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1803784 CPUtime=910.19 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 451292 0 0 0 90720 299 0 0 25 0 1 0 197614068 1847074816 448081 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 450946 448081 296 55 0 449838 0 Current children cumulated CPU time (s) 910.19 Current children cumulated vsize (Kb) 1803784 [startup+920.51 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=47104/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1806004 CPUtime=920.2 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 451914 0 0 0 91720 300 0 0 25 0 1 0 197614068 1849348096 448539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 451501 448539 296 55 0 450393 0 Current children cumulated CPU time (s) 920.2 Current children cumulated vsize (Kb) 1806004 [startup+930.516 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=45056/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1807976 CPUtime=930.2 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 452424 0 0 0 92719 301 0 0 25 0 1 0 197614068 1851367424 449049 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 451994 449049 296 55 0 450886 0 Current children cumulated CPU time (s) 930.2 Current children cumulated vsize (Kb) 1807976 [startup+940.521 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=43072/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1809956 CPUtime=940.19 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 452914 0 0 0 93718 301 0 0 25 0 1 0 197614068 1853394944 449539 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 452489 449539 296 55 0 451381 0 Current children cumulated CPU time (s) 940.19 Current children cumulated vsize (Kb) 1809956 [startup+950.527 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=40192/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1812720 CPUtime=950.2 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 453627 0 0 0 94718 302 0 0 25 0 1 0 197614068 1856225280 450252 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 453180 450252 296 55 0 452072 0 Current children cumulated CPU time (s) 950.2 Current children cumulated vsize (Kb) 1812720 [startup+960.532 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=38272/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1814704 CPUtime=960.2 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 454101 0 0 0 95718 302 0 0 25 0 1 0 197614068 1858256896 450726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534929 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 453676 450726 296 55 0 452568 0 Current children cumulated CPU time (s) 960.2 Current children cumulated vsize (Kb) 1814704 [startup+970.538 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=36224/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1816828 CPUtime=970.21 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 454622 0 0 0 96718 303 0 0 25 0 1 0 197614068 1860431872 451247 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 454207 451247 296 55 0 453099 0 Current children cumulated CPU time (s) 970.21 Current children cumulated vsize (Kb) 1816828 [startup+980.543 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=33536/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1819472 CPUtime=980.21 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 455279 0 0 0 97717 304 0 0 25 0 1 0 197614068 1863139328 451904 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 454868 451904 296 55 0 453760 0 Current children cumulated CPU time (s) 980.21 Current children cumulated vsize (Kb) 1819472 [startup+990.548 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=29504/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1823428 CPUtime=990.21 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 456287 0 0 0 98716 305 0 0 25 0 1 0 197614068 1867190272 452912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 455857 452912 296 55 0 454749 0 Current children cumulated CPU time (s) 990.21 Current children cumulated vsize (Kb) 1823428 [startup+1000.55 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=25920/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1826988 CPUtime=1000.21 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 457180 0 0 0 99716 305 0 0 25 0 1 0 197614068 1870835712 453805 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 456747 453805 296 55 0 455639 0 Current children cumulated CPU time (s) 1000.21 Current children cumulated vsize (Kb) 1826988 [startup+1010.56 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=23040/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1829884 CPUtime=1010.22 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 457905 0 0 0 100716 306 0 0 25 0 1 0 197614068 1873801216 454530 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 457471 454530 296 55 0 456363 0 Current children cumulated CPU time (s) 1010.22 Current children cumulated vsize (Kb) 1829884 [startup+1020.57 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=19328/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1833604 CPUtime=1020.22 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 458819 0 0 0 101715 307 0 0 25 0 1 0 197614068 1877610496 455444 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 458401 455444 296 55 0 457293 0 Current children cumulated CPU time (s) 1020.22 Current children cumulated vsize (Kb) 1833604 [startup+1030.57 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=16192/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1836768 CPUtime=1030.22 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 459609 0 0 0 102714 308 0 0 25 0 1 0 197614068 1880850432 456234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 459192 456234 296 55 0 458084 0 Current children cumulated CPU time (s) 1030.22 Current children cumulated vsize (Kb) 1836768 [startup+1040.58 s] /proc/loadavg: 0.99 0.97 0.99 2/64 19284 /proc/meminfo: memFree=15488/2055920 swapFree=4181376/4192956 [pid=19282] ppid=19280 vsize=1839008 CPUtime=1040.21 /proc/19282/stat : 19282 (bsolo) R 19280 19282 19236 0 -1 0 460194 0 0 0 103713 308 0 0 25 0 1 0 197614068 1883144192 456819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/19282/statm: 459752 456819 296 55 0 458644 0 Current children cumulated CPU time (s) 1040.21 Current children cumulated vsize (Kb) 1839008 Child ended because it received signal 6 (SIGABRT) Real time (s): 1050.44 CPU time (s): 1050.08 CPU user time (s): 1046.72 CPU system time (s): 3.35949 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (Kb): 1839008 The end
Begin job on node29 on Sat Jun 3 07:25:05 UTC 2006 FILE ID= 40804-1149319505 PBS_JOBID= 308540 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/SATUNSAT-MEDINT/submitted-PB06/manquiho/Aardal_1/normalized-cuww5.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/40804-1149319505/instance-40804-1149319505.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node29/watcher-40804-1149319505 -o ROOT/results/node29/solver-40804-1149319505 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node29/40804-1149319505/instance-40804-1149319505.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 2d610c35d7c8dd61a03deef28cf982c0 RANDOM SEED= 749529212 /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.259 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.259 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: 1843888 kB Buffers: 19504 kB Cached: 129784 kB SwapCached: 3236 kB Active: 34732 kB Inactive: 123180 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1843888 kB SwapTotal: 4192956 kB SwapFree: 4181376 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14716 kB Slab: 40168 kB Committed_AS: 337616 kB PageTables: 1504 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node29 on Sat Jun 3 07:42:35 UTC 2006