Trace number 40762

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 275.493 275.594

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM707da2ebfa2e9fe97fe57c41e089cde1
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
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304897224
Optimality of the best value was proved NO
Number of variables21960
Total number of constraints750
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 constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 869952060630
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 869952060630
Number of bits of the biggest sum of numbers40
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.01	c INFO: OSL Context initialized.
0.02	c BIG Int formula...
0.42	c Initial problem consists of 21960 variables and 1110 constraints.
0.48	c No problem reductions applied in OPT. instance.
0.48	c	preprocess terminated. Elapsed time: 0.474
0.48	c After prepocess the problem consists of 18180 variables and 1110 constraints.
0.48	c Initial Lower Bound: 0
0.99	c Restart #1 #Var: 18180 LB: 0 @ 0.981
2.76	c Restart #2 #Var: 18180 LB: 0 @ 2.756
6.05	c Restart #3 #Var: 18180 LB: 0 @ 6.039
9.72	c Restart #4 #Var: 18180 LB: 0 @ 9.707
14.30	c Restart #5 #Var: 18180 LB: 0 @ 14.283
21.58	c Restart #6 #Var: 18180 LB: 0 @ 21.561
30.00	c Restart #7 #Var: 18180 LB: 0 @ 29.983
31.18	c Restart #8 #Var: 18180 LB: 0 @ 31.164
32.25	c Restart #9 #Var: 18180 LB: 0 @ 32.237
33.32	c Restart #10 #Var: 18180 LB: 0 @ 33.306
34.53	c Restart #11 #Var: 18180 LB: 0 @ 34.514
35.14	c Restart #12 #Var: 18180 LB: 0 @ 35.126
35.28	c Restart #13 #Var: 18180 LB: 0 @ 35.256
35.47	c Restart #14 #Var: 18180 LB: 0 @ 35.451
35.63	c Restart #15 #Var: 18180 LB: 0 @ 35.608
35.86	c Restart #16 #Var: 18180 LB: 0 @ 35.839
36.04	c Restart #17 #Var: 18180 LB: 0 @ 36.017
36.31	c Restart #18 #Var: 18180 LB: 0 @ 36.288
36.56	c Restart #19 #Var: 18180 LB: 0 @ 36.539
36.86	c Restart #20 #Var: 18180 LB: 0 @ 36.842
37.13	c Restart #21 #Var: 18180 LB: 0 @ 37.106
37.47	c Restart #22 #Var: 18180 LB: 0 @ 37.446
37.79	c Restart #23 #Var: 18180 LB: 0 @ 37.774
38.16	c Restart #24 #Var: 18180 LB: 0 @ 38.145
38.55	c Restart #25 #Var: 18180 LB: 0 @ 38.536
39.04	c Restart #26 #Var: 18180 LB: 0 @ 39.018
39.49	c Restart #27 #Var: 18180 LB: 0 @ 39.475
40.12	c Restart #28 #Var: 18180 LB: 0 @ 40.103
40.81	c Restart #29 #Var: 18180 LB: 0 @ 40.791
41.47	c Restart #30 #Var: 18180 LB: 0 @ 41.454
41.92	c Restart #31 #Var: 18180 LB: 0 @ 41.898
42.53	c Restart #32 #Var: 18180 LB: 0 @ 42.509
42.98	c Restart #33 #Var: 18180 LB: 0 @ 42.956
43.62	c Restart #34 #Var: 18180 LB: 0 @ 43.595
44.22	c Restart #35 #Var: 18180 LB: 0 @ 44.198
44.83	c Restart #36 #Var: 18180 LB: 0 @ 44.809
45.55	c Restart #37 #Var: 18180 LB: 0 @ 45.525
46.23	c Restart #38 #Var: 18180 LB: 0 @ 46.211
46.98	c Restart #39 #Var: 18180 LB: 0 @ 46.958
47.72	c Restart #40 #Var: 18180 LB: 0 @ 47.696
48.51	c Restart #41 #Var: 18180 LB: 0 @ 48.488
49.45	c Restart #42 #Var: 18180 LB: 0 @ 49.426
50.28	c Restart #43 #Var: 18180 LB: 0 @ 50.257
51.17	c Restart #44 #Var: 18180 LB: 0 @ 51.142
52.16	c Restart #45 #Var: 18180 LB: 0 @ 52.137
53.17	c Restart #46 #Var: 18180 LB: 0 @ 53.14
54.19	c Restart #47 #Var: 18180 LB: 0 @ 54.166
55.11	c Restart #48 #Var: 18180 LB: 0 @ 55.082
56.14	c Restart #49 #Var: 18180 LB: 0 @ 56.113
57.28	c Restart #50 #Var: 18180 LB: 0 @ 57.246
58.39	c Restart #51 #Var: 18180 LB: 0 @ 58.355
59.52	c Restart #52 #Var: 18180 LB: 0 @ 59.486
60.70	c Restart #53 #Var: 18180 LB: 0 @ 60.664
61.82	c Restart #54 #Var: 18180 LB: 0 @ 61.792
63.07	c Restart #55 #Var: 18180 LB: 0 @ 63.034
64.25	c Restart #56 #Var: 18180 LB: 0 @ 64.216
65.55	c Restart #57 #Var: 18180 LB: 0 @ 65.516
66.74	c Restart #58 #Var: 18180 LB: 0 @ 66.709
68.22	c Restart #59 #Var: 18180 LB: 0 @ 68.19
69.53	c Restart #60 #Var: 18180 LB: 0 @ 69.499
71.11	c Restart #61 #Var: 18180 LB: 0 @ 71.072
72.46	c Restart #62 #Var: 18180 LB: 0 @ 72.427
73.97	c Restart #63 #Var: 18180 LB: 0 @ 73.937
75.67	c Restart #64 #Var: 18180 LB: 0 @ 75.635
77.15	c Restart #65 #Var: 18180 LB: 0 @ 77.118
79.05	c Restart #66 #Var: 18180 LB: 0 @ 79.016
80.67	c Restart #67 #Var: 18180 LB: 0 @ 80.634
82.40	c Restart #68 #Var: 18180 LB: 0 @ 82.365
84.02	c Restart #69 #Var: 18180 LB: 0 @ 83.981
85.91	c Restart #70 #Var: 18180 LB: 0 @ 85.87
87.60	c Restart #71 #Var: 18180 LB: 0 @ 87.557
89.87	c Restart #72 #Var: 18180 LB: 0 @ 89.831
91.44	c Restart #73 #Var: 18180 LB: 0 @ 91.399
94.18	c Restart #74 #Var: 18180 LB: 0 @ 94.133
95.95	c Restart #75 #Var: 18180 LB: 0 @ 95.91
98.16	c Restart #76 #Var: 18180 LB: 0 @ 98.12
100.21	c Restart #77 #Var: 18180 LB: 0 @ 100.16
102.73	c Restart #78 #Var: 18180 LB: 0 @ 102.69
105.08	c Restart #79 #Var: 18180 LB: 0 @ 105.04
107.58	c Restart #80 #Var: 18180 LB: 0 @ 107.53
109.53	c Restart #81 #Var: 18180 LB: 0 @ 109.48
112.31	c Restart #82 #Var: 18180 LB: 0 @ 112.26
114.37	c Restart #83 #Var: 18180 LB: 0 @ 114.32
117.07	c Restart #84 #Var: 18180 LB: 0 @ 117.02
119.19	c Restart #85 #Var: 18180 LB: 0 @ 119.14
121.96	c Restart #86 #Var: 18180 LB: 0 @ 121.91
124.05	c Restart #87 #Var: 18180 LB: 0 @ 124
127.05	c Restart #88 #Var: 18180 LB: 0 @ 127
129.65	c Restart #89 #Var: 18180 LB: 0 @ 129.59
132.40	c Restart #90 #Var: 18180 LB: 0 @ 132.35
135.05	c Restart #91 #Var: 18180 LB: 0 @ 134.99
138.23	c Restart #92 #Var: 18180 LB: 0 @ 138.17
140.94	c Restart #93 #Var: 18180 LB: 0 @ 140.88
144.11	c Restart #94 #Var: 18180 LB: 0 @ 144.05
147.31	c Restart #95 #Var: 18180 LB: 0 @ 147.25
150.82	c Restart #96 #Var: 18180 LB: 0 @ 150.76
153.43	c Restart #97 #Var: 18180 LB: 0 @ 153.37
156.94	c Restart #98 #Var: 18180 LB: 0 @ 156.88
159.91	c Restart #99 #Var: 18180 LB: 0 @ 159.85
163.83	c Restart #100 #Var: 18180 LB: 0 @ 163.77
166.96	c Restart #101 #Var: 18180 LB: 0 @ 166.9
170.19	c Restart #102 #Var: 18180 LB: 0 @ 170.12
173.27	c Restart #103 #Var: 18180 LB: 0 @ 173.21
177.31	c Restart #104 #Var: 18180 LB: 0 @ 177.24
180.17	c Restart #105 #Var: 18180 LB: 0 @ 180.1
183.50	c Restart #106 #Var: 18180 LB: 0 @ 183.44
186.90	c Restart #107 #Var: 18180 LB: 0 @ 186.83
190.27	c Restart #108 #Var: 18180 LB: 0 @ 190.2
193.57	c Restart #109 #Var: 18180 LB: 0 @ 193.5
197.08	c Restart #110 #Var: 18180 LB: 0 @ 197
200.64	c Restart #111 #Var: 18180 LB: 0 @ 200.57
204.14	c Restart #112 #Var: 18180 LB: 0 @ 204.07
207.91	c Restart #113 #Var: 18180 LB: 0 @ 207.83
211.85	c Restart #114 #Var: 18180 LB: 0 @ 211.77
215.81	c Restart #115 #Var: 18180 LB: 0 @ 215.73
220.09	c Restart #116 #Var: 18180 LB: 0 @ 220.01
223.84	c Restart #117 #Var: 18180 LB: 0 @ 223.76
228.42	c Restart #118 #Var: 18180 LB: 0 @ 228.34
232.81	c Restart #119 #Var: 18180 LB: 0 @ 232.73
237.62	c Restart #120 #Var: 18180 LB: 0 @ 237.53
241.35	c Restart #121 #Var: 18180 LB: 0 @ 241.27
246.61	c Restart #122 #Var: 18180 LB: 0 @ 246.53
251.41	c Restart #123 #Var: 18180 LB: 0 @ 251.32
256.81	c Restart #124 #Var: 18180 LB: 0 @ 256.72
261.53	c Restart #125 #Var: 18180 LB: 0 @ 261.44
266.73	c Restart #126 #Var: 18180 LB: 0 @ 266.63
271.22	c Restart #127 #Var: 18180 LB: 0 @ 271.12

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1843688/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=4672 CPUtime=0
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 154 0 0 0 0 0 0 0 19 0 1 0 197286354 4784128 135 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12383459 0 0 4096 0 0 0 0 17 1 0 0
/proc/21981/statm: 1168 136 106 55 0 46 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1818040/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=30796 CPUtime=9.98
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 7907 0 0 0 983 15 0 0 25 0 1 0 197286354 31535104 6702 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548375 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 7699 6702 294 55 0 6590 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 30796

[startup+20.0085 s]
/proc/loadavg: 0.94 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1817784/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=31240 CPUtime=19.99
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 7995 0 0 0 1975 24 0 0 25 0 1 0 197286354 31989760 6790 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548386 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 7810 6790 294 55 0 6701 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 31240

[startup+30.0146 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1817848/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=31064 CPUtime=29.99
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 8063 0 0 0 2970 29 0 0 25 0 1 0 197286354 31809536 6772 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 7766 6772 294 55 0 6657 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 31064

[startup+40.0197 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1737208/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=111980 CPUtime=39.99
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 28251 0 0 0 3940 59 0 0 25 0 1 0 197286354 114667520 26912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 27995 26912 294 55 0 26886 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 111980

[startup+50.0258 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1617016/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=232536 CPUtime=49.99
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 58315 0 0 0 4921 78 0 0 25 0 1 0 197286354 238116864 56927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 58134 56927 294 55 0 57025 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 232536

[startup+60.0319 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1517688/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=332688 CPUtime=59.99
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 83280 0 0 0 5908 91 0 0 25 0 1 0 197286354 340672512 81719 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 83172 81719 294 55 0 82063 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 332688

[startup+70.038 s]
/proc/loadavg: 0.97 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1419256/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=431172 CPUtime=69.99
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 107913 0 0 0 6893 106 0 0 25 0 1 0 197286354 441520128 106234 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 107793 106235 294 55 0 106684 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 431172

[startup+80.0441 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1326712/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=524500 CPUtime=80
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 131259 0 0 0 7880 120 0 0 25 0 1 0 197286354 537088000 129325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 131125 129325 294 55 0 130016 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 524500

[startup+90.0502 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1246264/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=604648 CPUtime=90
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 151457 0 0 0 8868 132 0 0 25 0 1 0 197286354 619159552 149352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 151162 149352 294 55 0 150053 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 604648

[startup+100.055 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1163896/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=688288 CPUtime=100
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 172496 0 0 0 9854 146 0 0 25 0 1 0 197286354 704806912 169957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 172072 169957 294 55 0 170963 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 688288

[startup+110.061 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1093880/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=758552 CPUtime=110.01
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 190214 0 0 0 10844 157 0 0 25 0 1 0 197286354 776757248 187424 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528665 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 189638 187424 294 55 0 188529 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 758552

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=1015992/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=836772 CPUtime=120
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 209909 0 0 0 11831 169 0 0 25 0 1 0 197286354 856854528 206864 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533486 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 209193 206864 294 55 0 208084 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 836772

[startup+130.074 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=942712/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=910976 CPUtime=130.01
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 228673 0 0 0 12821 180 0 0 25 0 1 0 197286354 932839424 225143 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 227744 225143 294 55 0 226635 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 910976

[startup+140.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=867704/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=985600 CPUtime=140.01
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 247569 0 0 0 13810 191 0 0 25 0 1 0 197286354 1009254400 243877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 246400 243877 294 55 0 245291 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 985600

[startup+150.086 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=799416/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1054200 CPUtime=150.01
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 264901 0 0 0 14801 200 0 0 25 0 1 0 197286354 1079500800 260883 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 263550 260883 294 55 0 262441 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 1054200

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=732664/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1120072 CPUtime=160.02
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 281558 0 0 0 15793 209 0 0 25 0 1 0 197286354 1146953728 277540 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 280018 277540 294 55 0 278909 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 1120072

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=665016/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1188300 CPUtime=170.02
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 298768 0 0 0 16781 221 0 0 25 0 1 0 197286354 1216819200 294417 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529373 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 297075 294417 294 55 0 295966 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 1188300

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=596792/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1256276 CPUtime=180.03
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 315801 0 0 0 17771 232 0 0 25 0 1 0 197286354 1286426624 311446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 314069 311446 294 55 0 312960 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 1256276

[startup+190.11 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=525880/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1329200 CPUtime=190.03
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 334162 0 0 0 18761 242 0 0 25 0 1 0 197286354 1361100800 329139 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534947 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 332300 329139 294 55 0 331191 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 1329200

[startup+200.116 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=453624/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1401372 CPUtime=200.03
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 352278 0 0 0 19750 253 0 0 25 0 1 0 197286354 1435004928 347162 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 350343 347162 294 55 0 349234 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 1401372

[startup+210.122 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=389368/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1465712 CPUtime=210.03
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 368405 0 0 0 20740 263 0 0 25 0 1 0 197286354 1500889088 363204 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 366428 363204 294 55 0 365319 0
Current children cumulated CPU time (s) 210.03
Current children cumulated vsize (Kb) 1465712

[startup+220.128 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=328888/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1526028 CPUtime=220.04
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 383640 0 0 0 21733 271 0 0 25 0 1 0 197286354 1562652672 378275 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 381507 378275 294 55 0 380398 0
Current children cumulated CPU time (s) 220.04
Current children cumulated vsize (Kb) 1526028

[startup+230.134 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=270712/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1583856 CPUtime=230.04
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 398176 0 0 0 22724 280 0 0 25 0 1 0 197286354 1621868544 392811 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529334 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 395964 392811 294 55 0 394855 0
Current children cumulated CPU time (s) 230.04
Current children cumulated vsize (Kb) 1583856

[startup+240.141 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=203960/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1651456 CPUtime=240.04
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 415234 0 0 0 23715 289 0 0 25 0 1 0 197286354 1691090944 409463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 412864 409463 294 55 0 411755 0
Current children cumulated CPU time (s) 240.04
Current children cumulated vsize (Kb) 1651456

[startup+250.147 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=144824/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1713108 CPUtime=250.05
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 430961 0 0 0 24707 298 0 0 25 0 1 0 197286354 1754222592 424210 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 428277 424210 294 55 0 427168 0
Current children cumulated CPU time (s) 250.05
Current children cumulated vsize (Kb) 1713108

[startup+260.154 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=91576/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1766044 CPUtime=260.05
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 444273 0 0 0 25698 307 0 0 25 0 1 0 197286354 1808429056 437522 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 441511 437522 294 55 0 440402 0
Current children cumulated CPU time (s) 260.05
Current children cumulated vsize (Kb) 1766044

[startup+270.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 21981
/proc/meminfo: memFree=33272/2055888 swapFree=4085308/4096564
[pid=21981] ppid=21979 vsize=1823864 CPUtime=270.06
/proc/21981/stat : 21981 (bsolo) R 21979 21981 21935 0 -1 0 458819 0 0 0 26689 317 0 0 25 0 1 0 197286354 1867636736 452068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 12855339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/21981/statm: 455966 452068 294 55 0 454857 0
Current children cumulated CPU time (s) 270.06
Current children cumulated vsize (Kb) 1823864

Child ended because it received signal 6 (SIGABRT)
Real time (s): 275.594
CPU time (s): 275.493
CPU user time (s): 272.035
CPU system time (s): 3.45847
CPU usage (%): 99.9636
Max. virtual memory (cumulated for all children) (Kb): 1823864
The end

Launcher Data (download as text)

Begin job on node90 on Sat Jun  3 06:34:34 UTC 2006


FILE ID= 40762-1149316474

PBS_JOBID= 308363

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  707da2ebfa2e9fe97fe57c41e089cde1

RANDOM SEED= 70198537


/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.227
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	: 6006.17
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.227
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	: 5999.41
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1843896 kB
Buffers:         17008 kB
Cached:         130700 kB
SwapCached:       2436 kB
Active:          32776 kB
Inactive:       123580 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1843896 kB
SwapTotal:     4096564 kB
SwapFree:      4085308 kB
Dirty:             176 kB
Writeback:           0 kB
Mapped:          16060 kB
Slab:            42396 kB
Committed_AS:   355140 kB
PageTables:       1268 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node90 on Sat Jun  3 06:39:09 UTC 2006