Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | Signal | 841.425 | 841.774 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ market-split/normalized-market-split_7_60_1.opb |
MD5SUM | 487945ea0e229650aa78cf341d4ff673 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 61 |
Total number of constraints | 15 |
Number of constraints which are clauses | 1 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 14 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 59 |
Number of terms in the objective function | 1 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 1 |
Number of bits of the sum of numbers in the objective function | 1 |
Biggest number in a constraint | 1488 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4465 |
Number of bits of the biggest sum of numbers | 13 |
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.02 c INFO: OSL Context initialized. 0.02 c Initial problem consists of 61 variables and 15 constraints. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.012 0.02 c After prepocess the problem consists of 60 variables and 14 constraints. 0.02 c Initial Lower Bound: 0 0.03 c Restart #1 #Var: 60 LB: 0 @ 0.024 0.06 c Restart #2 #Var: 60 LB: 0 @ 0.05 0.10 c Restart #3 #Var: 60 LB: 0 @ 0.092 0.16 c Restart #4 #Var: 60 LB: 0 @ 0.153 0.24 c Restart #5 #Var: 60 LB: 0 @ 0.229 0.32 c Restart #6 #Var: 60 LB: 0 @ 0.315 0.44 c Restart #7 #Var: 60 LB: 0 @ 0.431 0.57 c Restart #8 #Var: 60 LB: 0 @ 0.565 0.73 c Restart #9 #Var: 60 LB: 0 @ 0.727 0.96 c Restart #10 #Var: 60 LB: 0 @ 0.948 1.19 c Restart #11 #Var: 60 LB: 0 @ 1.185 1.39 c Restart #12 #Var: 60 LB: 0 @ 1.378 1.65 c Restart #13 #Var: 60 LB: 0 @ 1.643 2.00 c Restart #14 #Var: 60 LB: 0 @ 1.995 2.36 c Restart #15 #Var: 60 LB: 0 @ 2.356 2.72 c Restart #16 #Var: 60 LB: 0 @ 2.708 3.25 c Restart #17 #Var: 60 LB: 0 @ 3.244 4.07 c Restart #18 #Var: 60 LB: 0 @ 4.063 5.02 c Restart #19 #Var: 60 LB: 0 @ 5.005 6.49 c Restart #20 #Var: 60 LB: 0 @ 6.483 9.82 c Restart #21 #Var: 60 LB: 0 @ 9.807 11.45 c Restart #22 #Var: 60 LB: 0 @ 11.433 13.02 c Restart #23 #Var: 60 LB: 0 @ 13.007 15.82 c Restart #24 #Var: 60 LB: 0 @ 15.805 18.70 c Restart #25 #Var: 60 LB: 0 @ 18.676 21.32 c Restart #26 #Var: 60 LB: 0 @ 21.302 23.30 c Restart #27 #Var: 60 LB: 0 @ 23.274 26.09 c Restart #28 #Var: 60 LB: 0 @ 26.072 30.38 c Restart #29 #Var: 60 LB: 0 @ 30.356 31.48 c Restart #30 #Var: 60 LB: 0 @ 31.451 32.89 c Restart #31 #Var: 60 LB: 0 @ 32.864 34.99 c Restart #32 #Var: 60 LB: 0 @ 34.965 37.07 c Restart #33 #Var: 60 LB: 0 @ 37.043 38.76 c Restart #34 #Var: 60 LB: 0 @ 38.737 40.14 c Restart #35 #Var: 60 LB: 0 @ 40.111 42.58 c Restart #36 #Var: 60 LB: 0 @ 42.556 43.89 c Restart #37 #Var: 60 LB: 0 @ 43.863 45.29 c Restart #38 #Var: 60 LB: 0 @ 45.263 46.89 c Restart #39 #Var: 60 LB: 0 @ 46.862 48.96 c Restart #40 #Var: 60 LB: 0 @ 48.928 50.67 c Restart #41 #Var: 60 LB: 0 @ 50.639 52.11 c Restart #42 #Var: 60 LB: 0 @ 52.082 54.14 c Restart #43 #Var: 60 LB: 0 @ 54.107 56.76 c Restart #44 #Var: 60 LB: 0 @ 56.715 58.39 c Restart #45 #Var: 60 LB: 0 @ 58.347 60.53 c Restart #46 #Var: 60 LB: 0 @ 60.481 63.14 c Restart #47 #Var: 60 LB: 0 @ 63.081 65.43 c Restart #48 #Var: 60 LB: 0 @ 65.368 67.62 c Restart #49 #Var: 60 LB: 0 @ 67.554 70.65 c Restart #50 #Var: 60 LB: 0 @ 70.574 73.95 c Restart #51 #Var: 60 LB: 0 @ 73.867 77.33 c Restart #52 #Var: 60 LB: 0 @ 77.237 81.66 c Restart #53 #Var: 60 LB: 0 @ 81.562 86.05 c Restart #54 #Var: 60 LB: 0 @ 85.946 89.58 c Restart #55 #Var: 60 LB: 0 @ 89.472 93.46 c Restart #56 #Var: 60 LB: 0 @ 93.359 96.69 c Restart #57 #Var: 60 LB: 0 @ 96.583 100.98 c Restart #58 #Var: 60 LB: 0 @ 100.87 105.58 c Restart #59 #Var: 60 LB: 0 @ 105.47 109.78 c Restart #60 #Var: 60 LB: 0 @ 109.67 114.87 c Restart #61 #Var: 60 LB: 0 @ 114.76 121.01 c Restart #62 #Var: 60 LB: 0 @ 120.9 126.93 c Restart #63 #Var: 60 LB: 0 @ 126.81 131.88 c Restart #64 #Var: 60 LB: 0 @ 131.76 138.75 c Restart #65 #Var: 60 LB: 0 @ 138.63 146.01 c Restart #66 #Var: 60 LB: 0 @ 145.89 151.48 c Restart #67 #Var: 60 LB: 0 @ 151.36 158.19 c Restart #68 #Var: 60 LB: 0 @ 158.07 162.78 c Restart #69 #Var: 60 LB: 0 @ 162.66 168.61 c Restart #70 #Var: 60 LB: 0 @ 168.48 173.69 c Restart #71 #Var: 60 LB: 0 @ 173.56 179.02 c Restart #72 #Var: 60 LB: 0 @ 178.89 185.70 c Restart #73 #Var: 60 LB: 0 @ 185.56 194.26 c Restart #74 #Var: 60 LB: 0 @ 194.12 204.17 c Restart #75 #Var: 60 LB: 0 @ 204.03 209.55 c Restart #76 #Var: 60 LB: 0 @ 209.41 214.98 c Restart #77 #Var: 60 LB: 0 @ 214.84 220.92 c Restart #78 #Var: 60 LB: 0 @ 220.78 225.06 c Restart #79 #Var: 60 LB: 0 @ 224.91 230.25 c Restart #80 #Var: 60 LB: 0 @ 230.1 235.86 c Restart #81 #Var: 60 LB: 0 @ 235.71 241.01 c Restart #82 #Var: 60 LB: 0 @ 240.85 246.33 c Restart #83 #Var: 60 LB: 0 @ 246.18 251.41 c Restart #84 #Var: 60 LB: 0 @ 251.25 256.34 c Restart #85 #Var: 60 LB: 0 @ 256.18 261.63 c Restart #86 #Var: 60 LB: 0 @ 261.47 266.39 c Restart #87 #Var: 60 LB: 0 @ 266.23 271.96 c Restart #88 #Var: 60 LB: 0 @ 271.8 277.98 c Restart #89 #Var: 60 LB: 0 @ 277.81 283.35 c Restart #90 #Var: 60 LB: 0 @ 283.19 289.19 c Restart #91 #Var: 60 LB: 0 @ 289.03 294.70 c Restart #92 #Var: 60 LB: 0 @ 294.53 300.32 c Restart #93 #Var: 60 LB: 0 @ 300.15 306.94 c Restart #94 #Var: 60 LB: 0 @ 306.77 312.48 c Restart #95 #Var: 60 LB: 0 @ 312.3 318.11 c Restart #96 #Var: 60 LB: 0 @ 317.93 323.95 c Restart #97 #Var: 60 LB: 0 @ 323.77 329.60 c Restart #98 #Var: 60 LB: 0 @ 329.43 335.63 c Restart #99 #Var: 60 LB: 0 @ 335.44 341.11 c Restart #100 #Var: 60 LB: 0 @ 340.92 346.58 c Restart #101 #Var: 60 LB: 0 @ 346.39 351.48 c Restart #102 #Var: 60 LB: 0 @ 351.3 356.99 c Restart #103 #Var: 60 LB: 0 @ 356.8 363.05 c Restart #104 #Var: 60 LB: 0 @ 362.86 369.99 c Restart #105 #Var: 60 LB: 0 @ 369.8 376.13 c Restart #106 #Var: 60 LB: 0 @ 375.93 381.83 c Restart #107 #Var: 60 LB: 0 @ 381.64 387.68 c Restart #108 #Var: 60 LB: 0 @ 387.48 395.16 c Restart #109 #Var: 60 LB: 0 @ 394.95 403.48 c Restart #110 #Var: 60 LB: 0 @ 403.28 411.73 c Restart #111 #Var: 60 LB: 0 @ 411.53 419.15 c Restart #112 #Var: 60 LB: 0 @ 418.94 431.98 c Restart #113 #Var: 60 LB: 0 @ 431.76 442.90 c Restart #114 #Var: 60 LB: 0 @ 442.69 454.26 c Restart #115 #Var: 60 LB: 0 @ 454.04 462.45 c Restart #116 #Var: 60 LB: 0 @ 462.22 471.94 c Restart #117 #Var: 60 LB: 0 @ 471.72 481.62 c Restart #118 #Var: 60 LB: 0 @ 481.39 495.41 c Restart #119 #Var: 60 LB: 0 @ 495.17 517.35 c Restart #120 #Var: 60 LB: 0 @ 517.11 535.87 c Restart #121 #Var: 60 LB: 0 @ 535.62 552.37 c Restart #122 #Var: 60 LB: 0 @ 552.12 567.53 c Restart #123 #Var: 60 LB: 0 @ 567.27 583.80 c Restart #124 #Var: 60 LB: 0 @ 583.54 602.33 c Restart #125 #Var: 60 LB: 0 @ 602.06 633.51 c Restart #126 #Var: 60 LB: 0 @ 633.24 670.21 c Restart #127 #Var: 60 LB: 0 @ 669.92 720.09 c Restart #128 #Var: 60 LB: 0 @ 719.78 744.27 c Restart #129 #Var: 60 LB: 0 @ 743.96 772.07 c Restart #130 #Var: 60 LB: 0 @ 771.75 802.66 c Restart #131 #Var: 60 LB: 0 @ 802.33 831.72 c Restart #132 #Var: 60 LB: 0 @ 831.38
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 runsolver version 3.0.1 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node64/watcher-50305-1149901205 -o ROOT/results/node64/solver-50305-1149901205 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/50305-1149901205/instance-50305-1149901205.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 5868 /proc/meminfo: memFree=1905888/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=436 CPUtime=0 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 38 0 0 0 0 0 0 0 19 0 1 0 2809214 446464 23 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 6959908 0 2147483391 4096 0 0 0 0 17 1 0 0 /proc/5868/statm: 109 23 18 55 0 18 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.99 2/64 5868 /proc/meminfo: memFree=1856696/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=53952 CPUtime=9.98 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 12679 0 0 0 989 9 0 0 25 0 1 0 2809214 55246848 12590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 13488 12590 297 55 0 12380 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 53952 [startup+20.0093 s] /proc/loadavg: 0.94 0.98 0.99 2/64 5868 /proc/meminfo: memFree=1835832/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=74956 CPUtime=19.98 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 17908 0 0 0 1984 14 0 0 25 0 1 0 2809214 76754944 17816 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7393865 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 18739 17816 297 55 0 17631 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 74956 [startup+30.0159 s] /proc/loadavg: 0.95 0.98 0.99 2/64 5868 /proc/meminfo: memFree=1815480/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=95352 CPUtime=29.99 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 22999 0 0 0 2981 18 0 0 25 0 1 0 2809214 97640448 22906 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 23838 22906 297 55 0 22730 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 95352 [startup+40.0216 s] /proc/loadavg: 0.96 0.98 0.99 2/64 5868 /proc/meminfo: memFree=1774648/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=136472 CPUtime=39.98 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 33199 0 0 0 3974 24 0 0 25 0 1 0 2809214 139747328 33097 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 34118 33097 297 55 0 33010 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 136472 [startup+50.0283 s] /proc/loadavg: 0.96 0.98 0.99 2/64 5868 /proc/meminfo: memFree=1730040/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=181176 CPUtime=49.99 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 44352 0 0 0 4967 32 0 0 25 0 1 0 2809214 185524224 44242 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 45294 44242 297 55 0 44186 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 181176 [startup+60.034 s] /proc/loadavg: 0.97 0.98 0.99 2/70 5923 /proc/meminfo: memFree=1681536/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=228568 CPUtime=59.97 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 56179 0 0 0 5952 45 0 0 25 0 1 0 2809214 234053632 56053 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 57142 56053 297 55 0 56034 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 228568 [startup+70.0406 s] /proc/loadavg: 0.97 0.98 0.99 2/70 5981 /proc/meminfo: memFree=1640512/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=269532 CPUtime=69.95 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 66385 0 0 0 6942 53 0 0 25 0 1 0 2809214 276000768 66248 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 67383 66248 297 55 0 66275 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 269532 [startup+80.0473 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1611576/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=299464 CPUtime=79.94 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 73854 0 0 0 7934 60 0 0 25 0 1 0 2809214 306651136 73700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 74866 73700 297 55 0 73758 0 Current children cumulated CPU time (s) 79.94 Current children cumulated vsize (Kb) 299464 [startup+90.054 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1583544/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=327876 CPUtime=89.94 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 80916 0 0 0 8928 66 0 0 25 0 1 0 2809214 335745024 80751 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 81969 80751 297 55 0 80861 0 Current children cumulated CPU time (s) 89.94 Current children cumulated vsize (Kb) 327876 [startup+100.06 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1551672/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=360120 CPUtime=99.95 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 88887 0 0 0 9922 73 0 0 25 0 1 0 2809214 368762880 88690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 90030 88690 297 55 0 88922 0 Current children cumulated CPU time (s) 99.95 Current children cumulated vsize (Kb) 360120 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1524536/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=387628 CPUtime=109.95 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 95684 0 0 0 10916 79 0 0 25 0 1 0 2809214 396931072 95464 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 96907 95464 297 55 0 95799 0 Current children cumulated CPU time (s) 109.95 Current children cumulated vsize (Kb) 387628 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1501368/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=410628 CPUtime=119.95 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 101466 0 0 0 11912 83 0 0 25 0 1 0 2809214 420483072 101244 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 102657 101244 297 55 0 101549 0 Current children cumulated CPU time (s) 119.95 Current children cumulated vsize (Kb) 410628 [startup+130.077 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1477432/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=434488 CPUtime=129.95 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 107433 0 0 0 12909 86 0 0 25 0 1 0 2809214 444915712 107208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 108622 107208 297 55 0 107514 0 Current children cumulated CPU time (s) 129.95 Current children cumulated vsize (Kb) 434488 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1458680/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=453156 CPUtime=139.95 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 112122 0 0 0 13905 90 0 0 25 0 1 0 2809214 464031744 111894 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 113289 111894 297 55 0 112181 0 Current children cumulated CPU time (s) 139.95 Current children cumulated vsize (Kb) 453156 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1436216/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=475944 CPUtime=149.95 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 117742 0 0 0 14900 95 0 0 25 0 1 0 2809214 487366656 117497 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 118986 117497 297 55 0 117878 0 Current children cumulated CPU time (s) 149.95 Current children cumulated vsize (Kb) 475944 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1412024/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=500312 CPUtime=159.96 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 123781 0 0 0 15895 101 0 0 25 0 1 0 2809214 512319488 123524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 125078 123524 297 55 0 123970 0 Current children cumulated CPU time (s) 159.96 Current children cumulated vsize (Kb) 500312 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1387256/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=525492 CPUtime=169.96 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 130048 0 0 0 16890 106 0 0 25 0 1 0 2809214 538103808 129695 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 131373 129695 297 55 0 130265 0 Current children cumulated CPU time (s) 169.96 Current children cumulated vsize (Kb) 525492 [startup+180.105 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1357944/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=554948 CPUtime=179.96 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 137460 0 0 0 17885 111 0 0 25 0 1 0 2809214 568266752 137015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 138737 137015 297 55 0 137629 0 Current children cumulated CPU time (s) 179.96 Current children cumulated vsize (Kb) 554948 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1335160/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=577720 CPUtime=189.96 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 143142 0 0 0 18881 115 0 0 25 0 1 0 2809214 591585280 142688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 144430 142688 297 55 0 143322 0 Current children cumulated CPU time (s) 189.96 Current children cumulated vsize (Kb) 577720 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=1326264/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=587048 CPUtime=199.97 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 145398 0 0 0 19880 117 0 0 25 0 1 0 2809214 601137152 144944 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533445 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 146762 144950 297 55 0 145654 0 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 587048 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 ################ # More data... # ################ Current children cumulated CPU time (s) 630.08 Current children cumulated vsize (Kb) 1674944 [startup+640.374 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=238272/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1679884 CPUtime=640.08 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 420294 0 0 0 63685 323 0 0 25 0 1 0 2809214 1720201216 416382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529509 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 419971 416382 297 55 0 418863 0 Current children cumulated CPU time (s) 640.08 Current children cumulated vsize (Kb) 1679884 [startup+650.381 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=229632/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1688464 CPUtime=650.09 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 422450 0 0 0 64684 325 0 0 25 0 1 0 2809214 1728987136 418538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 422116 418538 297 55 0 421008 0 Current children cumulated CPU time (s) 650.09 Current children cumulated vsize (Kb) 1688464 [startup+660.387 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=218944/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1699344 CPUtime=660.09 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 425204 0 0 0 65681 328 0 0 25 0 1 0 2809214 1740128256 421210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 424836 421210 297 55 0 423728 0 Current children cumulated CPU time (s) 660.09 Current children cumulated vsize (Kb) 1699344 [startup+670.394 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=215168/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1702908 CPUtime=670.1 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 426137 0 0 0 66681 329 0 0 25 0 1 0 2809214 1743777792 422143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 425727 422143 297 55 0 424619 0 Current children cumulated CPU time (s) 670.1 Current children cumulated vsize (Kb) 1702908 [startup+680.4 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=211840/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1706076 CPUtime=680.1 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 426969 0 0 0 67680 330 0 0 25 0 1 0 2809214 1747021824 422975 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 426519 422975 297 55 0 425411 0 Current children cumulated CPU time (s) 680.1 Current children cumulated vsize (Kb) 1706076 [startup+690.405 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=206656/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1711224 CPUtime=690.1 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 428264 0 0 0 68678 332 0 0 25 0 1 0 2809214 1752293376 424270 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 427806 424270 297 55 0 426698 0 Current children cumulated CPU time (s) 690.1 Current children cumulated vsize (Kb) 1711224 [startup+700.412 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=203648/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1714128 CPUtime=700.1 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 429009 0 0 0 69677 333 0 0 25 0 1 0 2809214 1755267072 425015 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 428532 425015 297 55 0 427424 0 Current children cumulated CPU time (s) 700.1 Current children cumulated vsize (Kb) 1714128 [startup+710.418 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=198336/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1719408 CPUtime=710.1 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 430336 0 0 0 70675 335 0 0 25 0 1 0 2809214 1760673792 426342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7394939 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 429852 426342 297 55 0 428744 0 Current children cumulated CPU time (s) 710.1 Current children cumulated vsize (Kb) 1719408 [startup+720.423 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=188352/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1729552 CPUtime=720.1 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 432945 0 0 0 71673 337 0 0 25 0 1 0 2809214 1771061248 428789 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 432388 428789 297 55 0 431280 0 Current children cumulated CPU time (s) 720.1 Current children cumulated vsize (Kb) 1729552 [startup+730.429 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=182272/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1735492 CPUtime=730.11 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 434493 0 0 0 72672 339 0 0 25 0 1 0 2809214 1777143808 430337 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 433873 430337 297 55 0 432765 0 Current children cumulated CPU time (s) 730.11 Current children cumulated vsize (Kb) 1735492 [startup+740.435 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=166848/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1750936 CPUtime=740.12 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 438361 0 0 0 73669 343 0 0 25 0 1 0 2809214 1792958464 434205 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 437734 434205 297 55 0 436626 0 Current children cumulated CPU time (s) 740.12 Current children cumulated vsize (Kb) 1750936 [startup+750.44 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=155776/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1762588 CPUtime=750.11 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 441365 0 0 0 74666 345 0 0 25 0 1 0 2809214 1804890112 436965 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533949 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 440647 436965 297 55 0 439539 0 Current children cumulated CPU time (s) 750.11 Current children cumulated vsize (Kb) 1762588 [startup+760.447 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=147264/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1771168 CPUtime=760.12 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 443495 0 0 0 75664 348 0 0 25 0 1 0 2809214 1813676032 439095 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 442792 439095 297 55 0 441684 0 Current children cumulated CPU time (s) 760.12 Current children cumulated vsize (Kb) 1771168 [startup+770.453 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6063 /proc/meminfo: memFree=135872/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1782520 CPUtime=770.12 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 446330 0 0 0 76661 351 0 0 25 0 1 0 2809214 1825300480 441930 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 445630 441930 297 55 0 444522 0 Current children cumulated CPU time (s) 770.12 Current children cumulated vsize (Kb) 1782520 [startup+780.458 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6065 /proc/meminfo: memFree=129344/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1790060 CPUtime=780.12 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 448344 0 0 0 77660 352 0 0 25 0 1 0 2809214 1833021440 443538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 447515 443538 297 55 0 446407 0 Current children cumulated CPU time (s) 780.12 Current children cumulated vsize (Kb) 1790060 [startup+790.465 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6065 /proc/meminfo: memFree=119424/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1800092 CPUtime=790.12 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 450831 0 0 0 78657 355 0 0 25 0 1 0 2809214 1843294208 446025 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 450023 446025 297 55 0 448915 0 Current children cumulated CPU time (s) 790.12 Current children cumulated vsize (Kb) 1800092 [startup+800.471 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6065 /proc/meminfo: memFree=109696/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1809732 CPUtime=800.13 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 453266 0 0 0 79654 359 0 0 25 0 1 0 2809214 1853165568 448460 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 452433 448460 297 55 0 451325 0 Current children cumulated CPU time (s) 800.13 Current children cumulated vsize (Kb) 1809732 [startup+810.476 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6065 /proc/meminfo: memFree=100800/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1818708 CPUtime=810.14 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 455493 0 0 0 80652 362 0 0 25 0 1 0 2809214 1862356992 450678 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 454677 450678 297 55 0 453569 0 Current children cumulated CPU time (s) 810.14 Current children cumulated vsize (Kb) 1818708 [startup+820.482 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6065 /proc/meminfo: memFree=87616/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1831972 CPUtime=820.13 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 458790 0 0 0 81648 365 0 0 25 0 1 0 2809214 1875939328 453966 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 457993 453966 297 55 0 456885 0 Current children cumulated CPU time (s) 820.13 Current children cumulated vsize (Kb) 1831972 [startup+830.488 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6065 /proc/meminfo: memFree=80768/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1838704 CPUtime=830.13 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 460486 0 0 0 82647 366 0 0 25 0 1 0 2809214 1882832896 455662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 459676 455662 297 55 0 458568 0 Current children cumulated CPU time (s) 830.13 Current children cumulated vsize (Kb) 1838704 [startup+840.493 s] /proc/loadavg: 0.99 0.98 0.99 2/64 6065 /proc/meminfo: memFree=76736/2055920 swapFree=4192956/4192956 [pid=5868] ppid=5866 vsize=1842728 CPUtime=840.14 /proc/5868/stat : 5868 (bsolo) R 5866 5868 5822 0 -1 0 461497 0 0 0 83646 368 0 0 25 0 1 0 2809214 1886953472 456672 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/5868/statm: 460682 456672 297 55 0 459574 0 Current children cumulated CPU time (s) 840.14 Current children cumulated vsize (Kb) 1842728 Child ended because it received signal 11 (SIGSEGV) Real time (s): 841.774 CPU time (s): 841.425 CPU user time (s): 837.466 CPU system time (s): 3.9594 CPU usage (%): 99.9586 Max. virtual memory (cumulated for all children) (Kb): 1842728 The end
Begin job on node64 on Sat Jun 10 01:00:05 UTC 2006 FILE ID= 50305-1149901205 PBS_JOBID= 385214 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-market-split_7_60_1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/50305-1149901205/instance-50305-1149901205.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node64/watcher-50305-1149901205 -o ROOT/results/node64/solver-50305-1149901205 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node64/50305-1149901205/instance-50305-1149901205.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 487945ea0e229650aa78cf341d4ff673 RANDOM SEED= 494695192 /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.263 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.263 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: 1906160 kB Buffers: 21400 kB Cached: 84680 kB SwapCached: 0 kB Active: 66592 kB Inactive: 53928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1906160 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 188 kB Writeback: 0 kB Mapped: 24788 kB Slab: 15292 kB Committed_AS: 80140 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node64 on Sat Jun 10 01:14:06 UTC 2006