Trace number 40748

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 559.376 559.629

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib2003/normalized-mps-v2-20-10-gesa2.opb
MD5SUMd54c9cafd39211d62b9a499b6053d79b
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 6757511815433
Optimality of the best value was proved NO
Number of variables19344
Total number of constraints1824
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1776
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 13488
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 180205740755072640
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 418848431931392
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 180205740755072640
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.01	c INFO: OSL Context initialized.
0.02	c BIG Int formula...
0.39	c Initial problem consists of 19344 variables and 1872 constraints.
0.43	c No problem reductions applied in OPT. instance.
0.43	c	preprocess terminated. Elapsed time: 0.424
0.43	c After prepocess the problem consists of 12264 variables and 1872 constraints.
0.43	c Initial Lower Bound: 0
0.72	c Restart #1 #Var: 12264 LB: 0 @ 0.706
1.36	c Restart #2 #Var: 12264 LB: 0 @ 1.35
2.31	c Restart #3 #Var: 12264 LB: 0 @ 2.295
3.53	c Restart #4 #Var: 12264 LB: 0 @ 3.525
5.10	c Restart #5 #Var: 12264 LB: 0 @ 5.091
7.00	c Restart #6 #Var: 12264 LB: 0 @ 6.988
9.16	c Restart #7 #Var: 12264 LB: 0 @ 9.143
10.89	c Restart #8 #Var: 12264 LB: 0 @ 10.87
12.05	c Restart #9 #Var: 12264 LB: 0 @ 12.036
12.61	c Restart #10 #Var: 12264 LB: 0 @ 12.596
12.87	c Restart #11 #Var: 12264 LB: 0 @ 12.853
13.10	c Restart #12 #Var: 12264 LB: 0 @ 13.084
13.35	c Restart #13 #Var: 12264 LB: 0 @ 13.336
13.62	c Restart #14 #Var: 12264 LB: 0 @ 13.601
13.82	c Restart #15 #Var: 12264 LB: 0 @ 13.808
14.04	c Restart #16 #Var: 12264 LB: 0 @ 14.022
14.35	c Restart #17 #Var: 12264 LB: 0 @ 14.333
14.76	c Restart #18 #Var: 12264 LB: 0 @ 14.745
15.12	c Restart #19 #Var: 12264 LB: 0 @ 15.105
15.54	c Restart #20 #Var: 12264 LB: 0 @ 15.52
16.16	c Restart #21 #Var: 12264 LB: 0 @ 16.144
16.48	c Restart #22 #Var: 12264 LB: 0 @ 16.46
16.76	c Restart #23 #Var: 12264 LB: 0 @ 16.74
17.20	c Restart #24 #Var: 12262 LB: 0 @ 17.186
17.51	c Restart #25 #Var: 12262 LB: 0 @ 17.491
17.92	c Restart #26 #Var: 12262 LB: 0 @ 17.906
18.39	c Restart #27 #Var: 12262 LB: 0 @ 18.375
19.06	c Restart #28 #Var: 12262 LB: 0 @ 19.041
19.97	c Restart #29 #Var: 12262 LB: 0 @ 19.951
20.85	c Restart #30 #Var: 12262 LB: 0 @ 20.827
21.66	c Restart #31 #Var: 12262 LB: 0 @ 21.644
22.42	c Restart #32 #Var: 12262 LB: 0 @ 22.401
23.40	c Restart #33 #Var: 12262 LB: 0 @ 23.375
24.61	c Restart #34 #Var: 12262 LB: 0 @ 24.589
25.78	c Restart #35 #Var: 12260 LB: 0 @ 25.759
26.46	c Restart #36 #Var: 12260 LB: 0 @ 26.434
27.28	c Restart #37 #Var: 12259 LB: 0 @ 27.257
27.92	c Restart #38 #Var: 12258 LB: 0 @ 27.897
29.41	c Restart #39 #Var: 12255 LB: 0 @ 29.383
30.05	c Restart #40 #Var: 12254 LB: 0 @ 30.024
31.63	c Restart #41 #Var: 12251 LB: 0 @ 31.605
36.52	c Restart #42 #Var: 12238 LB: 0 @ 36.496
43.22	c Restart #43 #Var: 12232 LB: 0 @ 43.189
43.84	c Restart #44 #Var: 12231 LB: 0 @ 43.814
44.81	c Restart #45 #Var: 12229 LB: 0 @ 44.781
45.72	c Restart #46 #Var: 12227 LB: 0 @ 45.689
46.70	c Restart #47 #Var: 12226 LB: 0 @ 46.669
47.81	c Restart #48 #Var: 12226 LB: 0 @ 47.781
49.29	c Restart #49 #Var: 12226 LB: 0 @ 49.254
60.45	c Restart #50 #Var: 12218 LB: 0 @ 60.417
61.39	c Restart #51 #Var: 12218 LB: 0 @ 61.35
62.06	c Restart #52 #Var: 12218 LB: 0 @ 62.022
63.40	c Restart #53 #Var: 12217 LB: 0 @ 63.361
65.26	c Restart #54 #Var: 12216 LB: 0 @ 65.225
74.66	c Restart #55 #Var: 12201 LB: 0 @ 74.619
83.04	c Restart #56 #Var: 12188 LB: 0 @ 82.996
86.23	c Restart #57 #Var: 12185 LB: 0 @ 86.181
89.03	c Restart #58 #Var: 12183 LB: 0 @ 88.98
92.26	c Restart #59 #Var: 12181 LB: 0 @ 92.211
94.10	c Restart #60 #Var: 12181 LB: 0 @ 94.051
95.25	c Restart #61 #Var: 12181 LB: 0 @ 95.199
108.01	c Restart #62 #Var: 12178 LB: 0 @ 107.96
118.60	c Restart #63 #Var: 12178 LB: 0 @ 118.54
123.49	c Restart #64 #Var: 12178 LB: 0 @ 123.43
131.16	c Restart #65 #Var: 12177 LB: 0 @ 131.1
132.45	c Restart #66 #Var: 12177 LB: 0 @ 132.39
137.12	c Restart #67 #Var: 12176 LB: 0 @ 137.06
144.80	c Restart #68 #Var: 12175 LB: 0 @ 144.74
146.83	c Restart #69 #Var: 12175 LB: 0 @ 146.76
151.79	c Restart #70 #Var: 12175 LB: 0 @ 151.72
154.17	c Restart #71 #Var: 12175 LB: 0 @ 154.1
159.31	c Restart #72 #Var: 12175 LB: 0 @ 159.23
162.25	c Restart #73 #Var: 12175 LB: 0 @ 162.18
165.94	c Restart #74 #Var: 12175 LB: 0 @ 165.86
168.43	c Restart #75 #Var: 12175 LB: 0 @ 168.35
171.81	c Restart #76 #Var: 12175 LB: 0 @ 171.73
174.22	c Restart #77 #Var: 12175 LB: 0 @ 174.13
177.58	c Restart #78 #Var: 12175 LB: 0 @ 177.5
180.26	c Restart #79 #Var: 12175 LB: 0 @ 180.17
183.83	c Restart #80 #Var: 12175 LB: 0 @ 183.75
187.17	c Restart #81 #Var: 12175 LB: 0 @ 187.08
191.17	c Restart #82 #Var: 12175 LB: 0 @ 191.09
195.02	c Restart #83 #Var: 12175 LB: 0 @ 194.93
199.32	c Restart #84 #Var: 12175 LB: 0 @ 199.23
202.54	c Restart #85 #Var: 12175 LB: 0 @ 202.45
207.27	c Restart #86 #Var: 12175 LB: 0 @ 207.17
210.74	c Restart #87 #Var: 12175 LB: 0 @ 210.65
214.99	c Restart #88 #Var: 12175 LB: 0 @ 214.89
219.02	c Restart #89 #Var: 12175 LB: 0 @ 218.92
224.58	c Restart #90 #Var: 12175 LB: 0 @ 224.48
228.79	c Restart #91 #Var: 12175 LB: 0 @ 228.69
233.86	c Restart #92 #Var: 12175 LB: 0 @ 233.76
238.78	c Restart #93 #Var: 12175 LB: 0 @ 238.68
244.35	c Restart #94 #Var: 12175 LB: 0 @ 244.25
248.82	c Restart #95 #Var: 12175 LB: 0 @ 248.71
254.56	c Restart #96 #Var: 12175 LB: 0 @ 254.45
260.66	c Restart #97 #Var: 12175 LB: 0 @ 260.55
266.85	c Restart #98 #Var: 12175 LB: 0 @ 266.73
273.41	c Restart #99 #Var: 12175 LB: 0 @ 273.29
287.80	c Restart #100 #Var: 12175 LB: 0 @ 287.68
295.43	c Restart #101 #Var: 12175 LB: 0 @ 295.31
301.40	c Restart #102 #Var: 12175 LB: 0 @ 301.27
317.92	c Restart #103 #Var: 12172 LB: 0 @ 317.79
330.24	c Restart #104 #Var: 12171 LB: 0 @ 330.1
340.26	c Restart #105 #Var: 12171 LB: 0 @ 340.12
434.50	c Restart #106 #Var: 12170 LB: 0 @ 434.32
443.72	c Restart #107 #Var: 12170 LB: 0 @ 443.54
445.64	c Restart #108 #Var: 12170 LB: 0 @ 445.46

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1825136/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=4932 CPUtime=0
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 312 0 0 0 0 0 0 0 19 0 1 0 188715754 5050368 282 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160464980 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 1233 291 194 55 0 124 0

[startup+10.0025 s]
/proc/loadavg: 0.93 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1792632/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=37660 CPUtime=9.98
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 9037 0 0 0 944 54 0 0 25 0 1 0 188715754 38563840 8409 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718534 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 9415 8409 294 55 0 8306 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 37660

[startup+20.0084 s]
/proc/loadavg: 0.94 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1658296/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=171952 CPUtime=19.98
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 42569 0 0 0 1912 86 0 0 25 0 1 0 188715754 176078848 41940 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 42988 41940 294 55 0 41879 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 171952

[startup+30.0143 s]
/proc/loadavg: 0.95 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1566648/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=263604 CPUtime=29.98
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 65452 0 0 0 2899 99 0 0 25 0 1 0 188715754 269930496 64818 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 65901 64818 294 55 0 64792 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 263604

[startup+40.0202 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1534776/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=295480 CPUtime=39.98
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 73401 0 0 0 3890 108 0 0 25 0 1 0 188715754 302571520 72767 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 73870 72767 294 55 0 72761 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 295480

[startup+50.0261 s]
/proc/loadavg: 0.96 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1431864/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=398524 CPUtime=49.98
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 99085 0 0 0 4873 125 0 0 25 0 1 0 188715754 408088576 98429 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 99631 98429 294 55 0 98522 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 398524

[startup+60.032 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1426936/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=403400 CPUtime=59.98
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 100308 0 0 0 5871 127 0 0 25 0 1 0 188715754 413081600 99650 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 100850 99650 294 55 0 99741 0
Current children cumulated CPU time (s) 59.98
Current children cumulated vsize (Kb) 403400

[startup+70.0379 s]
/proc/loadavg: 0.97 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1347640/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=482936 CPUtime=69.99
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 120130 0 0 0 6859 140 0 0 25 0 1 0 188715754 494526464 119457 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 120734 119458 294 55 0 119625 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 482936

[startup+80.0438 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1334392/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=496092 CPUtime=79.99
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 123421 0 0 0 7853 146 0 0 25 0 1 0 188715754 507998208 122748 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 124023 122748 294 55 0 122914 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 496092

[startup+90.0497 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1294520/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=535840 CPUtime=89.99
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 133363 0 0 0 8840 159 0 0 25 0 1 0 188715754 548700160 132690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534933 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 133960 132690 294 55 0 132851 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 535840

[startup+100.056 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1243384/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=587024 CPUtime=100
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 146126 0 0 0 9831 169 0 0 25 0 1 0 188715754 601112576 145445 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 146756 145445 294 55 0 145647 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 587024

[startup+110.062 s]
/proc/loadavg: 0.98 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1242616/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=587816 CPUtime=110
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 146325 0 0 0 10828 172 0 0 25 0 1 0 188715754 601923584 145644 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541479 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 146954 145644 294 55 0 145845 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 587816

[startup+120.067 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1240952/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=589556 CPUtime=120
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 146748 0 0 0 11825 175 0 0 25 0 1 0 188715754 603705344 146062 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 147389 146062 294 55 0 146280 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 589556

[startup+130.073 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1238520/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=592020 CPUtime=130
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 147354 0 0 0 12821 179 0 0 25 0 1 0 188715754 606228480 146668 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 148005 146668 294 55 0 146896 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 592020

[startup+140.079 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1191160/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=639264 CPUtime=140.01
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 159173 0 0 0 13810 191 0 0 25 0 1 0 188715754 654606336 158483 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 159816 158483 294 55 0 158707 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 639264

[startup+150.085 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1129400/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=701196 CPUtime=150.01
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 174601 0 0 0 14799 202 0 0 25 0 1 0 188715754 718024704 173901 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 175299 173901 294 55 0 174190 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 701196

[startup+160.091 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=1066488/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=764204 CPUtime=160
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 190323 0 0 0 15788 212 0 0 25 0 1 0 188715754 782544896 189599 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 191051 189599 294 55 0 189942 0
Current children cumulated CPU time (s) 160
Current children cumulated vsize (Kb) 764204

[startup+170.097 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=982712/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=848288 CPUtime=170
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 211267 0 0 0 16777 223 0 0 25 0 1 0 188715754 868646912 210490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 212072 210490 294 55 0 210963 0
Current children cumulated CPU time (s) 170
Current children cumulated vsize (Kb) 848288

[startup+180.103 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=889592/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=941816 CPUtime=180.01
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 234609 0 0 0 17765 236 0 0 25 0 1 0 188715754 964419584 233727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8149035 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 235454 233727 294 55 0 234345 0
Current children cumulated CPU time (s) 180.01
Current children cumulated vsize (Kb) 941816

[startup+190.109 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=812024/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1019200 CPUtime=190.01
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 254031 0 0 0 18752 249 0 0 25 0 1 0 188715754 1043660800 253065 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533995 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 254800 253065 294 55 0 253691 0
Current children cumulated CPU time (s) 190.01
Current children cumulated vsize (Kb) 1019200

[startup+200.115 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=742264/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1088996 CPUtime=200.01
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 271454 0 0 0 19741 260 0 0 25 0 1 0 188715754 1115131904 270470 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 272249 270470 294 55 0 271140 0
Current children cumulated CPU time (s) 200.01
Current children cumulated vsize (Kb) 1088996

[startup+210.121 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=662776/2055892 swapFree=4087504/4096564

################
# More data... #
################

Current children cumulated CPU time (s) 340.04
Current children cumulated vsize (Kb) 1742228

[startup+350.204 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=90488/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1743024 CPUtime=350.04
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435780 0 0 0 34652 352 0 0 25 0 1 0 188715754 1784856576 433080 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548456 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 435756 433080 294 55 0 434647 0
Current children cumulated CPU time (s) 350.04
Current children cumulated vsize (Kb) 1743024

[startup+360.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=90168/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1743420 CPUtime=360.05
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435868 0 0 0 35652 353 0 0 25 0 1 0 188715754 1785262080 433168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 435855 433168 294 55 0 434746 0
Current children cumulated CPU time (s) 360.05
Current children cumulated vsize (Kb) 1743420

[startup+370.216 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=90168/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1743420 CPUtime=370.05
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435868 0 0 0 36652 353 0 0 25 0 1 0 188715754 1785262080 433168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 435855 433168 294 55 0 434746 0
Current children cumulated CPU time (s) 370.05
Current children cumulated vsize (Kb) 1743420

[startup+380.222 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=90168/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1743420 CPUtime=380.06
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435868 0 0 0 37652 354 0 0 25 0 1 0 188715754 1785262080 433168 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 435855 433168 294 55 0 434746 0
Current children cumulated CPU time (s) 380.06
Current children cumulated vsize (Kb) 1743420

[startup+390.228 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=90104/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1743420 CPUtime=390.06
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435875 0 0 0 38652 354 0 0 25 0 1 0 188715754 1785262080 433175 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 435855 433175 294 55 0 434746 0
Current children cumulated CPU time (s) 390.06
Current children cumulated vsize (Kb) 1743420

[startup+400.234 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=89912/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1743616 CPUtime=400.06
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 435930 0 0 0 39651 355 0 0 25 0 1 0 188715754 1785462784 433230 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 435904 433230 294 55 0 434795 0
Current children cumulated CPU time (s) 400.06
Current children cumulated vsize (Kb) 1743616

[startup+410.24 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=89400/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1744132 CPUtime=410.06
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 436049 0 0 0 40650 356 0 0 25 0 1 0 188715754 1785991168 433349 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 436033 433349 294 55 0 434924 0
Current children cumulated CPU time (s) 410.06
Current children cumulated vsize (Kb) 1744132

[startup+420.245 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=89208/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1744452 CPUtime=420.06
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 436149 0 0 0 41650 356 0 0 25 0 1 0 188715754 1786318848 433367 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 436113 433367 294 55 0 435004 0
Current children cumulated CPU time (s) 420.06
Current children cumulated vsize (Kb) 1744452

[startup+430.251 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=87416/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1746284 CPUtime=430.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 436625 0 0 0 42648 359 0 0 25 0 1 0 188715754 1788194816 433843 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 436571 433843 294 55 0 435462 0
Current children cumulated CPU time (s) 430.07
Current children cumulated vsize (Kb) 1746284

[startup+440.257 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=72120/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1761588 CPUtime=440.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 440444 0 0 0 43645 362 0 0 25 0 1 0 188715754 1803866112 437662 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 440397 437662 294 55 0 439288 0
Current children cumulated CPU time (s) 440.07
Current children cumulated vsize (Kb) 1761588

[startup+450.263 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15224/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1835964 CPUtime=450.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459016 0 0 0 44635 372 0 0 25 0 1 0 188715754 1880027136 456225 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 458991 456225 294 55 0 457882 0
Current children cumulated CPU time (s) 450.07
Current children cumulated vsize (Kb) 1835964

[startup+460.27 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15224/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836076 CPUtime=460.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459037 0 0 0 45634 373 0 0 25 0 1 0 188715754 1880141824 456246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459019 456246 294 55 0 457910 0
Current children cumulated CPU time (s) 460.07
Current children cumulated vsize (Kb) 1836076

[startup+470.276 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15224/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836076 CPUtime=470.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459075 0 0 0 46634 373 0 0 25 0 1 0 188715754 1880141824 456284 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459019 456284 294 55 0 457910 0
Current children cumulated CPU time (s) 470.07
Current children cumulated vsize (Kb) 1836076

[startup+480.282 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836208 CPUtime=480.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459092 0 0 0 47634 373 0 0 25 0 1 0 188715754 1880276992 456301 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134535129 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459052 456301 294 55 0 457943 0
Current children cumulated CPU time (s) 480.07
Current children cumulated vsize (Kb) 1836208

[startup+490.288 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836208 CPUtime=490.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459105 0 0 0 48634 373 0 0 25 0 1 0 188715754 1880276992 456314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459052 456314 294 55 0 457943 0
Current children cumulated CPU time (s) 490.07
Current children cumulated vsize (Kb) 1836208

[startup+500.294 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836208 CPUtime=500.07
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459105 0 0 0 49634 373 0 0 25 0 1 0 188715754 1880276992 456314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459052 456314 294 55 0 457943 0
Current children cumulated CPU time (s) 500.07
Current children cumulated vsize (Kb) 1836208

[startup+510.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836208 CPUtime=510.08
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459105 0 0 0 50635 373 0 0 25 0 1 0 188715754 1880276992 456314 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459052 456314 294 55 0 457943 0
Current children cumulated CPU time (s) 510.08
Current children cumulated vsize (Kb) 1836208

[startup+520.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15096/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836208 CPUtime=520.08
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459107 0 0 0 51635 373 0 0 25 0 1 0 188715754 1880276992 456316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528659 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459052 456316 294 55 0 457943 0
Current children cumulated CPU time (s) 520.08
Current children cumulated vsize (Kb) 1836208

[startup+530.311 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15096/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836208 CPUtime=530.08
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459107 0 0 0 52635 373 0 0 25 0 1 0 188715754 1880276992 456316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551604 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459052 456316 294 55 0 457943 0
Current children cumulated CPU time (s) 530.08
Current children cumulated vsize (Kb) 1836208

[startup+540.317 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15096/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1836208 CPUtime=540.08
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459107 0 0 0 53635 373 0 0 25 0 1 0 188715754 1880276992 456316 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459052 456316 294 55 0 457943 0
Current children cumulated CPU time (s) 540.08
Current children cumulated vsize (Kb) 1836208

[startup+550.323 s]
/proc/loadavg: 0.99 0.98 0.99 2/68 29553
/proc/meminfo: memFree=15160/2055892 swapFree=4087504/4096564
[pid=29553] ppid=29551 vsize=1839636 CPUtime=550.08
/proc/29553/stat : 29553 (bsolo) R 29551 29553 29507 0 -1 0 459956 0 0 0 54633 375 0 0 25 0 1 0 188715754 1883787264 457165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/29553/statm: 459909 457165 294 55 0 458800 0
Current children cumulated CPU time (s) 550.08
Current children cumulated vsize (Kb) 1839636

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 559.629
CPU time (s): 559.376
CPU user time (s): 555.354
CPU system time (s): 4.02239
CPU usage (%): 99.9548
Max. virtual memory (cumulated for all children) (Kb): 1839636
The end

Launcher Data (download as text)

Begin job on node82 on Sat Jun  3 06:14:25 UTC 2006


FILE ID= 40748-1149315265

PBS_JOBID= 308307

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  d54c9cafd39211d62b9a499b6053d79b

RANDOM SEED= 785322787


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


/proc/meminfo:
MemTotal:      2055892 kB
MemFree:       1825280 kB
Buffers:          7944 kB
Cached:         157140 kB
SwapCached:       2672 kB
Active:          22132 kB
Inactive:       151620 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055892 kB
LowFree:       1825280 kB
SwapTotal:     4096564 kB
SwapFree:      4087504 kB
Dirty:             148 kB
Writeback:           0 kB
Mapped:          14572 kB
Slab:            43084 kB
Committed_AS:   357764 kB
PageTables:       1472 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node82 on Sat Jun  3 06:23:45 UTC 2006