Trace number 40752

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
bsolo 2006/05Signal 362.675 362.84

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
MD5SUMdaeaeaee67028e931b0f5195f178e9b3
Bench CategoryOPT-BIGINT (optimisation, big 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 FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables107520
Total number of constraints3312
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3312
Minimum length of a constraint50
Maximum length of a constraint820
Number of terms in the objective function 41280
Biggest coefficient in the objective function 1342177280000000
Number of bits for the biggest coefficient in the objective function 51
Sum of the numbers in the objective function 260295726093315792
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 1342177280000000
Number of bits of the biggest number in a constraint 51
Biggest sum of numbers in a constraint 260295726093315792
Number of bits of the biggest sum of numbers58
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00	c Time Limit set via PBTIMEOUT to 1800
0.05	c INFO: OSL Context initialized.
0.06	c BIG Int formula...
2.46	c Initial problem consists of 107520 variables and 4560 constraints.
2.84	c No problem reductions applied in OPT. instance.
2.84	c	preprocess terminated. Elapsed time: 2.793
2.84	c After prepocess the problem consists of 77806 variables and 4560 constraints.
2.84	c Initial Lower Bound: 0
4.20	c Restart #1 #Var: 77806 LB: 0 @ 4.156
6.08	c Restart #2 #Var: 77806 LB: 0 @ 6.027
8.58	c Restart #3 #Var: 77806 LB: 0 @ 8.53
11.75	c Restart #4 #Var: 77806 LB: 0 @ 11.692
15.46	c Restart #5 #Var: 77806 LB: 0 @ 15.408
20.03	c Restart #6 #Var: 77806 LB: 0 @ 19.973
25.37	c Restart #7 #Var: 77806 LB: 0 @ 25.316
31.82	c Restart #8 #Var: 77806 LB: 0 @ 31.764
41.91	c Restart #9 #Var: 77806 LB: 0 @ 41.845
52.41	c Restart #10 #Var: 77806 LB: 0 @ 52.35
57.73	c Restart #11 #Var: 77806 LB: 0 @ 57.659
63.06	c Restart #12 #Var: 77806 LB: 0 @ 62.996
63.81	c Restart #13 #Var: 77806 LB: 0 @ 63.742
63.98	c Restart #14 #Var: 77806 LB: 0 @ 63.914
64.18	c Restart #15 #Var: 77806 LB: 0 @ 64.112
64.40	c Restart #16 #Var: 77806 LB: 0 @ 64.332
64.65	c Restart #17 #Var: 77806 LB: 0 @ 64.58
64.90	c Restart #18 #Var: 77806 LB: 0 @ 64.831
65.18	c Restart #19 #Var: 77806 LB: 0 @ 65.113
65.50	c Restart #20 #Var: 77806 LB: 0 @ 65.429
65.80	c Restart #21 #Var: 77806 LB: 0 @ 65.731
66.15	c Restart #22 #Var: 77806 LB: 0 @ 66.085
66.56	c Restart #23 #Var: 77806 LB: 0 @ 66.491
67.00	c Restart #24 #Var: 77806 LB: 0 @ 66.928
67.49	c Restart #25 #Var: 77806 LB: 0 @ 67.419
68.02	c Restart #26 #Var: 77806 LB: 0 @ 67.949
68.96	c Restart #27 #Var: 77806 LB: 0 @ 68.892
69.86	c Restart #28 #Var: 77806 LB: 0 @ 69.796
70.71	c Restart #29 #Var: 77806 LB: 0 @ 70.638
71.40	c Restart #30 #Var: 77806 LB: 0 @ 71.329
71.99	c Restart #31 #Var: 77806 LB: 0 @ 71.92
72.60	c Restart #32 #Var: 77806 LB: 0 @ 72.531
73.20	c Restart #33 #Var: 77806 LB: 0 @ 73.127
73.90	c Restart #34 #Var: 77806 LB: 0 @ 73.835
74.52	c Restart #35 #Var: 77806 LB: 0 @ 74.451
75.21	c Restart #36 #Var: 77806 LB: 0 @ 75.135
76.06	c Restart #37 #Var: 77806 LB: 0 @ 75.993
76.89	c Restart #38 #Var: 77806 LB: 0 @ 76.817
78.05	c Restart #39 #Var: 77798 LB: 0 @ 77.975
79.14	c Restart #40 #Var: 77785 LB: 0 @ 79.066
80.03	c Restart #41 #Var: 77785 LB: 0 @ 79.959
80.91	c Restart #42 #Var: 77785 LB: 0 @ 80.839
81.95	c Restart #43 #Var: 77785 LB: 0 @ 81.878
82.88	c Restart #44 #Var: 77785 LB: 0 @ 82.804
84.53	c Restart #45 #Var: 77765 LB: 0 @ 84.458
103.44	c Restart #46 #Var: 77458 LB: 0 @ 103.37
104.40	c Restart #47 #Var: 77458 LB: 0 @ 104.32
106.88	c Restart #48 #Var: 77440 LB: 0 @ 106.81
109.20	c Restart #49 #Var: 77434 LB: 0 @ 109.12
112.99	c Restart #50 #Var: 77416 LB: 0 @ 112.91
114.03	c Restart #51 #Var: 77416 LB: 0 @ 113.95
115.16	c Restart #52 #Var: 77416 LB: 0 @ 115.08
116.34	c Restart #53 #Var: 77416 LB: 0 @ 116.26
117.53	c Restart #54 #Var: 77416 LB: 0 @ 117.45
119.02	c Restart #55 #Var: 77416 LB: 0 @ 118.94
120.59	c Restart #56 #Var: 77416 LB: 0 @ 120.51
122.40	c Restart #57 #Var: 77416 LB: 0 @ 122.32
123.99	c Restart #58 #Var: 77416 LB: 0 @ 123.91
125.48	c Restart #59 #Var: 77416 LB: 0 @ 125.39
127.01	c Restart #60 #Var: 77416 LB: 0 @ 126.93
128.61	c Restart #61 #Var: 77416 LB: 0 @ 128.53
130.51	c Restart #62 #Var: 77416 LB: 0 @ 130.43
132.17	c Restart #63 #Var: 77416 LB: 0 @ 132.08
134.13	c Restart #64 #Var: 77416 LB: 0 @ 134.05
136.14	c Restart #65 #Var: 77416 LB: 0 @ 136.06
138.28	c Restart #66 #Var: 77416 LB: 0 @ 138.19
140.41	c Restart #67 #Var: 77416 LB: 0 @ 140.32
142.45	c Restart #68 #Var: 77416 LB: 0 @ 142.36
144.52	c Restart #69 #Var: 77416 LB: 0 @ 144.43
148.08	c Restart #70 #Var: 77406 LB: 0 @ 147.99
152.59	c Restart #71 #Var: 77390 LB: 0 @ 152.5
155.19	c Restart #72 #Var: 77390 LB: 0 @ 155.1
157.50	c Restart #73 #Var: 77390 LB: 0 @ 157.41
159.63	c Restart #74 #Var: 77390 LB: 0 @ 159.54
161.91	c Restart #75 #Var: 77390 LB: 0 @ 161.81
164.90	c Restart #76 #Var: 77390 LB: 0 @ 164.81
167.24	c Restart #77 #Var: 77390 LB: 0 @ 167.15
170.10	c Restart #78 #Var: 77390 LB: 0 @ 170
172.76	c Restart #79 #Var: 77390 LB: 0 @ 172.66
176.18	c Restart #80 #Var: 77390 LB: 0 @ 176.08
179.47	c Restart #81 #Var: 77390 LB: 0 @ 179.37
182.36	c Restart #82 #Var: 77390 LB: 0 @ 182.26
185.64	c Restart #83 #Var: 77390 LB: 0 @ 185.53
188.63	c Restart #84 #Var: 77390 LB: 0 @ 188.53
191.47	c Restart #85 #Var: 77390 LB: 0 @ 191.37
194.32	c Restart #86 #Var: 77390 LB: 0 @ 194.22
197.31	c Restart #87 #Var: 77390 LB: 0 @ 197.21
200.46	c Restart #88 #Var: 77390 LB: 0 @ 200.36
203.22	c Restart #89 #Var: 77390 LB: 0 @ 203.12
206.52	c Restart #90 #Var: 77390 LB: 0 @ 206.41
213.09	c Restart #91 #Var: 77386 LB: 0 @ 212.99
216.24	c Restart #92 #Var: 77386 LB: 0 @ 216.14
226.87	c Restart #93 #Var: 77359 LB: 0 @ 226.76
234.04	c Restart #94 #Var: 77346 LB: 0 @ 233.93
237.45	c Restart #95 #Var: 77346 LB: 0 @ 237.33
240.92	c Restart #96 #Var: 77346 LB: 0 @ 240.81
245.56	c Restart #97 #Var: 77337 LB: 0 @ 245.44
249.25	c Restart #98 #Var: 77337 LB: 0 @ 249.13
253.44	c Restart #99 #Var: 77337 LB: 0 @ 253.32
256.89	c Restart #100 #Var: 77337 LB: 0 @ 256.77
260.57	c Restart #101 #Var: 77337 LB: 0 @ 260.45
264.33	c Restart #102 #Var: 77337 LB: 0 @ 264.21
268.14	c Restart #103 #Var: 77337 LB: 0 @ 268.01
272.28	c Restart #104 #Var: 77337 LB: 0 @ 272.16
276.16	c Restart #105 #Var: 77337 LB: 0 @ 276.04
279.92	c Restart #106 #Var: 77337 LB: 0 @ 279.8
284.80	c Restart #107 #Var: 77337 LB: 0 @ 284.68
289.12	c Restart #108 #Var: 77337 LB: 0 @ 288.99
293.10	c Restart #109 #Var: 77337 LB: 0 @ 292.97
297.25	c Restart #110 #Var: 77337 LB: 0 @ 297.12
302.23	c Restart #111 #Var: 77337 LB: 0 @ 302.09
306.32	c Restart #112 #Var: 77337 LB: 0 @ 306.18
310.99	c Restart #113 #Var: 77337 LB: 0 @ 310.85
315.93	c Restart #114 #Var: 77337 LB: 0 @ 315.79
320.29	c Restart #115 #Var: 77337 LB: 0 @ 320.16
325.56	c Restart #116 #Var: 77337 LB: 0 @ 325.42
329.82	c Restart #117 #Var: 77337 LB: 0 @ 329.68
334.58	c Restart #118 #Var: 77337 LB: 0 @ 334.44
338.97	c Restart #119 #Var: 77337 LB: 0 @ 338.83
344.28	c Restart #120 #Var: 77337 LB: 0 @ 344.13
349.79	c Restart #121 #Var: 77337 LB: 0 @ 349.64
355.06	c Restart #122 #Var: 77337 LB: 0 @ 354.91
360.01	c Restart #123 #Var: 77337 LB: 0 @ 359.86

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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/node11/watcher-40752-1149315856 -o ROOT/results/node11/solver-40752-1149315856 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40752-1149315856/instance-40752-1149315856.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.97 0.96 3/64 3634
/proc/meminfo: memFree=1837840/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=4932 CPUtime=0
/proc/3634/stat : 3634 (bsolo) D 3632 3634 3588 0 -1 0 370 0 0 0 0 0 0 0 18 0 1 0 197248125 5050368 331 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 2147483391 4096 16384 18446744072099781622 0 0 17 0 0 0
/proc/3634/statm: 1233 331 227 55 0 125 0

[startup+10.0024 s]
/proc/loadavg: 0.93 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1711904/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=133796 CPUtime=9.94
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115643 0 0 0 942 52 0 0 25 0 1 0 197248125 137007104 31744 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 33449 31744 297 55 0 32341 0
Current children cumulated CPU time (s) 9.94
Current children cumulated vsize (Kb) 133796

[startup+20.0084 s]
/proc/loadavg: 0.94 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1712104/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=133812 CPUtime=19.95
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115648 0 0 0 1928 67 0 0 25 0 1 0 197248125 137023488 31748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542256 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 33453 31748 297 55 0 32345 0
Current children cumulated CPU time (s) 19.95
Current children cumulated vsize (Kb) 133812

[startup+30.0146 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1712232/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=133928 CPUtime=29.95
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115652 0 0 0 2908 87 0 0 25 0 1 0 197248125 137142272 31748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 33482 31748 297 55 0 32374 0
Current children cumulated CPU time (s) 29.95
Current children cumulated vsize (Kb) 133928

[startup+40.0208 s]
/proc/loadavg: 0.95 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1711976/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=134176 CPUtime=39.95
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115732 0 0 0 3880 115 0 0 25 0 1 0 197248125 137396224 31828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 33544 31828 297 55 0 32436 0
Current children cumulated CPU time (s) 39.95
Current children cumulated vsize (Kb) 134176

[startup+50.028 s]
/proc/loadavg: 0.96 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1711528/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=134648 CPUtime=49.96
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 115855 0 0 0 4853 143 0 0 25 0 1 0 197248125 137879552 31951 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540762 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 33662 31951 297 55 0 32554 0
Current children cumulated CPU time (s) 49.96
Current children cumulated vsize (Kb) 134648

[startup+60.0332 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1709416/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=136760 CPUtime=59.96
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 116380 0 0 0 5828 168 0 0 25 0 1 0 197248125 140042240 32476 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 34190 32476 297 55 0 33082 0
Current children cumulated CPU time (s) 59.96
Current children cumulated vsize (Kb) 136760

[startup+70.0394 s]
/proc/loadavg: 0.97 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1632744/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=213596 CPUtime=69.96
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 135518 0 0 0 6804 192 0 0 25 0 1 0 197248125 218722304 51600 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632790 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 53399 51600 297 55 0 52291 0
Current children cumulated CPU time (s) 69.96
Current children cumulated vsize (Kb) 213596

[startup+80.0456 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1532136/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=314816 CPUtime=79.96
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 160671 0 0 0 7789 207 0 0 25 0 1 0 197248125 322371584 76709 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 78704 76709 297 55 0 77596 0
Current children cumulated CPU time (s) 79.96
Current children cumulated vsize (Kb) 314816

[startup+90.0518 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1488616/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=358616 CPUtime=89.97
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 171618 0 0 0 8783 214 0 0 25 0 1 0 197248125 367222784 87570 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 89654 87570 297 55 0 88546 0
Current children cumulated CPU time (s) 89.97
Current children cumulated vsize (Kb) 358616

[startup+100.058 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1488296/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=358880 CPUtime=99.97
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 171697 0 0 0 9782 215 0 0 25 0 1 0 197248125 367493120 87649 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528802 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 89720 87649 297 55 0 88612 0
Current children cumulated CPU time (s) 99.97
Current children cumulated vsize (Kb) 358880

[startup+110.065 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1449192/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=398032 CPUtime=109.98
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 181459 0 0 0 10776 222 0 0 25 0 1 0 197248125 407584768 97400 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 99508 97400 297 55 0 98400 0
Current children cumulated CPU time (s) 109.98
Current children cumulated vsize (Kb) 398032

[startup+120.071 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1371624/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=475756 CPUtime=119.98
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 200842 0 0 0 11764 234 0 0 25 0 1 0 197248125 487174144 116765 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 118939 116765 297 55 0 117831 0
Current children cumulated CPU time (s) 119.98
Current children cumulated vsize (Kb) 475756

[startup+130.077 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1290856/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=557804 CPUtime=129.99
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 221289 0 0 0 12750 249 0 0 25 0 1 0 197248125 571191296 136931 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 139451 136931 297 55 0 138343 0
Current children cumulated CPU time (s) 129.99
Current children cumulated vsize (Kb) 557804

[startup+140.083 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1216936/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=631928 CPUtime=139.98
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 239872 0 0 0 13738 260 0 0 25 0 1 0 197248125 647094272 155340 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 157982 155340 297 55 0 156874 0
Current children cumulated CPU time (s) 139.98
Current children cumulated vsize (Kb) 631928

[startup+150.089 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1164712/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=683796 CPUtime=149.99
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 252997 0 0 0 14730 269 0 0 25 0 1 0 197248125 700207104 168382 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 170949 168382 297 55 0 169841 0
Current children cumulated CPU time (s) 149.99
Current children cumulated vsize (Kb) 683796

[startup+160.095 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1105640/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=743356 CPUtime=159.99
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 268071 0 0 0 15722 277 0 0 25 0 1 0 197248125 761196544 183125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 185839 183125 297 55 0 184731 0
Current children cumulated CPU time (s) 159.99
Current children cumulated vsize (Kb) 743356

[startup+170.101 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=1037928/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=811472 CPUtime=169.99
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 285202 0 0 0 16712 287 0 0 25 0 1 0 197248125 830947328 200006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 202868 200006 297 55 0 201760 0
Current children cumulated CPU time (s) 169.99
Current children cumulated vsize (Kb) 811472

[startup+180.107 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=983784/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=865948 CPUtime=180
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 299046 0 0 0 17703 297 0 0 25 0 1 0 197248125 886730752 213524 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 216487 213524 297 55 0 215379 0
Current children cumulated CPU time (s) 180
Current children cumulated vsize (Kb) 865948

[startup+190.113 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=921448/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=927944 CPUtime=190
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 314652 0 0 0 18693 307 0 0 25 0 1 0 197248125 950214656 229089 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 231986 229090 297 55 0 230878 0
Current children cumulated CPU time (s) 190
Current children cumulated vsize (Kb) 927944

[startup+200.119 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=851624/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=999028 CPUtime=200.01
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 332626 0 0 0 19683 318 0 0 25 0 1 0 197248125 1023004672 246492 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 249757 246492 297 55 0 248649 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 999028

[startup+210.125 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=794088/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1056304 CPUtime=210.01
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 347073 0 0 0 20676 325 0 0 25 0 1 0 197248125 1081655296 260852 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8414843 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 264076 260852 297 55 0 262968 0
Current children cumulated CPU time (s) 210.01
Current children cumulated vsize (Kb) 1056304

[startup+220.131 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=757736/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1093176 CPUtime=220.02
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 356478 0 0 0 21670 332 0 0 25 0 1 0 197248125 1119412224 269890 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534813 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 273294 269890 297 55 0 272186 0
Current children cumulated CPU time (s) 220.02
Current children cumulated vsize (Kb) 1093176

[startup+230.137 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=739688/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1111664 CPUtime=230.02
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 361177 0 0 0 22667 335 0 0 25 0 1 0 197248125 1138343936 274427 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 277916 274427 297 55 0 276808 0
Current children cumulated CPU time (s) 230.02
Current children cumulated vsize (Kb) 1111664

[startup+240.143 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=687848/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1164148 CPUtime=240.02
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 374513 0 0 0 23661 341 0 0 25 0 1 0 197248125 1192087552 287357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603490 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 291037 287357 297 55 0 289929 0
Current children cumulated CPU time (s) 240.02
Current children cumulated vsize (Kb) 1164148

[startup+250.149 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=641896/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1210256 CPUtime=250.02
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 386218 0 0 0 24654 348 0 0 25 0 1 0 197248125 1239302144 298818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 302564 298818 297 55 0 301456 0
Current children cumulated CPU time (s) 250.02
Current children cumulated vsize (Kb) 1210256

[startup+260.155 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=575144/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1276772 CPUtime=260.03
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 403042 0 0 0 25645 358 0 0 25 0 1 0 197248125 1307414528 315478 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 319193 315478 297 55 0 318085 0
Current children cumulated CPU time (s) 260.03
Current children cumulated vsize (Kb) 1276772

[startup+270.161 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=518376/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1333008 CPUtime=270.02
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 417207 0 0 0 26636 366 0 0 25 0 1 0 197248125 1365000192 329643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 333252 329643 297 55 0 332144 0
Current children cumulated CPU time (s) 270.02
Current children cumulated vsize (Kb) 1333008

[startup+280.167 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=459944/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1391096 CPUtime=280.03
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 431788 0 0 0 27628 375 0 0 25 0 1 0 197248125 1424482304 344224 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 347774 344224 297 55 0 346666 0
Current children cumulated CPU time (s) 280.03
Current children cumulated vsize (Kb) 1391096

[startup+290.174 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=411496/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1438884 CPUtime=290.03
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 443881 0 0 0 28622 381 0 0 25 0 1 0 197248125 1473417216 356317 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 359721 356317 297 55 0 358613 0
Current children cumulated CPU time (s) 290.03
Current children cumulated vsize (Kb) 1438884

[startup+300.18 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=347944/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1502488 CPUtime=300.04
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 459915 0 0 0 29614 390 0 0 25 0 1 0 197248125 1538547712 372189 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 375622 372189 297 55 0 374514 0
Current children cumulated CPU time (s) 300.04
Current children cumulated vsize (Kb) 1502488

[startup+310.186 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=288168/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1564808 CPUtime=310.04
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 475770 0 0 0 30604 400 0 0 25 0 1 0 197248125 1602363392 387076 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 391202 387076 297 55 0 390094 0
Current children cumulated CPU time (s) 310.04
Current children cumulated vsize (Kb) 1564808

[startup+320.192 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=237224/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1615752 CPUtime=320.05
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 488574 0 0 0 31596 409 0 0 25 0 1 0 197248125 1654530048 399796 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 403938 399796 297 55 0 402830 0
Current children cumulated CPU time (s) 320.05
Current children cumulated vsize (Kb) 1615752

[startup+330.198 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=185128/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1669848 CPUtime=330.05
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 502246 0 0 0 32588 417 0 0 25 0 1 0 197248125 1709924352 412742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 417462 412742 297 55 0 416354 0
Current children cumulated CPU time (s) 330.05
Current children cumulated vsize (Kb) 1669848

[startup+340.205 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=132136/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1722896 CPUtime=340.05
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 515672 0 0 0 33581 424 0 0 25 0 1 0 197248125 1764245504 426006 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 430724 426006 297 55 0 429616 0
Current children cumulated CPU time (s) 340.05
Current children cumulated vsize (Kb) 1722896

[startup+350.212 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=78248/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1778448 CPUtime=350.05
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 529838 0 0 0 34573 432 0 0 25 0 1 0 197248125 1821130752 439448 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 444612 439448 297 55 0 443504 0
Current children cumulated CPU time (s) 350.05
Current children cumulated vsize (Kb) 1778448

[startup+360.217 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 3634
/proc/meminfo: memFree=23400/2055920 swapFree=4181380/4192956
[pid=3634] ppid=3632 vsize=1833588 CPUtime=360.06
/proc/3634/stat : 3634 (bsolo) R 3632 3634 3588 0 -1 0 543858 0 0 0 35565 441 0 0 25 0 1 0 197248125 1877594112 453144 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3634/statm: 458397 453144 297 55 0 457289 0
Current children cumulated CPU time (s) 360.06
Current children cumulated vsize (Kb) 1833588

Child ended because it received signal 6 (SIGABRT)
Real time (s): 362.84
CPU time (s): 362.675
CPU user time (s): 357.984
CPU system time (s): 4.69129
CPU usage (%): 99.9546
Max. virtual memory (cumulated for all children) (Kb): 1833588
The end

Launcher Data (download as text)

Begin job on node11 on Sat Jun  3 06:24:16 UTC 2006


FILE ID= 40752-1149315856

PBS_JOBID= 308323

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-a1c1s1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40752-1149315856/instance-40752-1149315856.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node11/watcher-40752-1149315856 -o ROOT/results/node11/solver-40752-1149315856 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node11/40752-1149315856/instance-40752-1149315856.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  daeaeaee67028e931b0f5195f178e9b3

RANDOM SEED= 627026937


/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.222
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5931.00
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.222
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:       1838048 kB
Buffers:         13056 kB
Cached:         136548 kB
SwapCached:       3260 kB
Active:          20440 kB
Inactive:       137872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1838048 kB
SwapTotal:     4192956 kB
SwapFree:      4181380 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          14740 kB
Slab:            45536 kB
Committed_AS:   357532 kB
PageTables:       1484 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node11 on Sat Jun  3 06:30:19 UTC 2006