Trace number 40003

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 884.279 884.717

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb
MD5SUM7d8a1496a778abf94cc39a37abc46ff3
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 51
Optimality of the best value was proved NO
Number of variables2754
Total number of constraints444
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 constraints444
Minimum length of a constraint11
Maximum length of a constraint82
Number of terms in the objective function 168
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 168
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 204800
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524341
Number of bits of the biggest sum of numbers20
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.07	c Initial problem consists of 2754 variables and 486 constraints.
0.08	c No problem reductions applied in OPT. instance.
0.08	c	preprocess terminated. Elapsed time: 0.067
0.08	c After prepocess the problem consists of 2294 variables and 376 constraints.
0.08	c Initial Lower Bound: 0
0.12	c Restart #1 #Var: 2294 LB: 0 @ 0.112
0.19	c Restart #2 #Var: 2294 LB: 0 @ 0.176
0.28	c Restart #3 #Var: 2294 LB: 0 @ 0.265
0.41	c Restart #4 #Var: 2294 LB: 0 @ 0.397
0.60	c Restart #5 #Var: 2294 LB: 0 @ 0.588
0.76	c Restart #6 #Var: 2294 LB: 0 @ 0.742
0.92	c Restart #7 #Var: 2294 LB: 0 @ 0.908
1.06	c Restart #8 #Var: 2294 LB: 0 @ 1.049
1.23	c Restart #9 #Var: 2294 LB: 0 @ 1.215
1.43	c Restart #10 #Var: 2294 LB: 0 @ 1.42
1.61	c Restart #11 #Var: 2293 LB: 0 @ 1.601
1.82	c Restart #12 #Var: 2293 LB: 0 @ 1.808
2.79	c Restart #13 #Var: 2293 LB: 0 @ 2.78
3.12	c Restart #14 #Var: 2293 LB: 0 @ 3.108
3.38	c Restart #15 #Var: 2293 LB: 0 @ 3.363
3.58	c Restart #16 #Var: 2293 LB: 0 @ 3.565
3.81	c Restart #17 #Var: 2293 LB: 0 @ 3.801
4.06	c Restart #18 #Var: 2293 LB: 0 @ 4.044
4.36	c Restart #19 #Var: 2291 LB: 0 @ 4.343
4.70	c Restart #20 #Var: 2291 LB: 0 @ 4.68
6.42	c Restart #21 #Var: 2291 LB: 0 @ 6.408
6.73	c Restart #22 #Var: 2291 LB: 0 @ 6.715
7.22	c Restart #23 #Var: 2291 LB: 0 @ 7.202
7.63	c Restart #24 #Var: 2291 LB: 0 @ 7.611
7.97	c Restart #25 #Var: 2291 LB: 0 @ 7.951
8.41	c Restart #26 #Var: 2284 LB: 0 @ 8.389
8.99	c Restart #27 #Var: 2243 LB: 0 @ 8.978
10.07	c Restart #28 #Var: 2243 LB: 0 @ 10.047
10.57	c Restart #29 #Var: 2239 LB: 0 @ 10.554
11.53	c Restart #30 #Var: 2217 LB: 0 @ 11.512
18.94	c Restart #31 #Var: 2217 LB: 0 @ 18.916
21.31	c Restart #32 #Var: 2216 LB: 0 @ 21.288
22.23	c Restart #33 #Var: 2216 LB: 0 @ 22.208
26.32	c Restart #34 #Var: 2209 LB: 0 @ 26.291
28.69	c Restart #35 #Var: 2209 LB: 0 @ 28.665
33.90	c Restart #36 #Var: 2209 LB: 0 @ 33.871
35.43	c Restart #37 #Var: 2208 LB: 0 @ 35.401
35.99	c Restart #38 #Var: 2208 LB: 0 @ 35.962
36.45	c Restart #39 #Var: 2208 LB: 0 @ 36.422
37.02	c Restart #40 #Var: 2208 LB: 0 @ 36.989
37.73	c Restart #41 #Var: 2208 LB: 0 @ 37.701
38.57	c Restart #42 #Var: 2208 LB: 0 @ 38.539
39.20	c Restart #43 #Var: 2208 LB: 0 @ 39.166
39.94	c Restart #44 #Var: 2208 LB: 0 @ 39.911
40.53	c Restart #45 #Var: 2208 LB: 0 @ 40.494
41.68	c Restart #46 #Var: 2208 LB: 0 @ 41.651
42.34	c Restart #47 #Var: 2208 LB: 0 @ 42.306
43.96	c Restart #48 #Var: 2208 LB: 0 @ 43.933
45.01	c Restart #49 #Var: 2208 LB: 0 @ 44.975
46.27	c Restart #50 #Var: 2208 LB: 0 @ 46.236
47.91	c Restart #51 #Var: 2208 LB: 0 @ 47.878
48.86	c Restart #52 #Var: 2208 LB: 0 @ 48.824
50.07	c Restart #53 #Var: 2208 LB: 0 @ 50.034
51.14	c Restart #54 #Var: 2208 LB: 0 @ 51.106
52.47	c Restart #55 #Var: 2208 LB: 0 @ 52.435
53.44	c Restart #56 #Var: 2208 LB: 0 @ 53.403
54.64	c Restart #57 #Var: 2208 LB: 0 @ 54.6
56.37	c Restart #58 #Var: 2208 LB: 0 @ 56.335
57.97	c Restart #59 #Var: 2207 LB: 0 @ 57.931
60.62	c Restart #60 #Var: 2207 LB: 0 @ 60.586
65.74	c Restart #61 #Var: 2206 LB: 0 @ 65.704
67.35	c Restart #62 #Var: 2206 LB: 0 @ 67.306
69.54	c Restart #63 #Var: 2206 LB: 0 @ 69.496
71.46	c Restart #64 #Var: 2206 LB: 0 @ 71.415
73.11	c Restart #65 #Var: 2206 LB: 0 @ 73.066
76.32	c Restart #66 #Var: 2205 LB: 0 @ 76.272
82.85	c Restart #67 #Var: 2204 LB: 0 @ 82.801
86.18	c Restart #68 #Var: 2204 LB: 0 @ 86.136
88.69	c Restart #69 #Var: 2204 LB: 0 @ 88.647
91.91	c Restart #70 #Var: 2203 LB: 0 @ 91.862
94.95	c Restart #71 #Var: 2203 LB: 0 @ 94.904
98.78	c Restart #72 #Var: 2203 LB: 0 @ 98.728
118.79	c Restart #73 #Var: 2169 LB: 0 @ 118.73
134.04	c Restart #74 #Var: 2168 LB: 0 @ 133.98
171.33	c Restart #75 #Var: 2136 LB: 0 @ 171.25
175.71	c Restart #76 #Var: 2136 LB: 0 @ 175.63
180.31	c Restart #77 #Var: 2135 LB: 0 @ 180.23
184.65	c Restart #78 #Var: 2135 LB: 0 @ 184.57
188.58	c Restart #79 #Var: 2135 LB: 0 @ 188.5
196.46	c Restart #80 #Var: 2135 LB: 0 @ 196.38
205.32	c Restart #81 #Var: 2135 LB: 0 @ 205.23
209.84	c Restart #82 #Var: 2135 LB: 0 @ 209.75
213.95	c Restart #83 #Var: 2135 LB: 0 @ 213.85
226.40	c Restart #84 #Var: 2135 LB: 0 @ 226.3
229.17	c Restart #85 #Var: 2135 LB: 0 @ 229.07
251.70	c Restart #86 #Var: 2133 LB: 0 @ 251.59
258.46	c Restart #87 #Var: 2133 LB: 0 @ 258.36
265.14	c Restart #88 #Var: 2133 LB: 0 @ 265.03
268.96	c Restart #89 #Var: 2133 LB: 0 @ 268.85
276.11	c Restart #90 #Var: 2133 LB: 0 @ 276
284.87	c Restart #91 #Var: 2132 LB: 0 @ 284.76
291.66	c Restart #92 #Var: 2132 LB: 0 @ 291.54
296.45	c Restart #93 #Var: 2132 LB: 0 @ 296.33
310.39	c Restart #94 #Var: 2131 LB: 0 @ 310.26
318.26	c Restart #95 #Var: 2131 LB: 0 @ 318.13
325.99	c Restart #96 #Var: 2131 LB: 0 @ 325.86
332.11	c Restart #97 #Var: 2131 LB: 0 @ 331.98
341.26	c Restart #98 #Var: 2131 LB: 0 @ 341.12
347.68	c Restart #99 #Var: 2131 LB: 0 @ 347.54
356.84	c Restart #100 #Var: 2130 LB: 0 @ 356.7
369.16	c Restart #101 #Var: 2129 LB: 0 @ 369.02
380.29	c Restart #102 #Var: 2127 LB: 0 @ 380.14
393.07	c Restart #103 #Var: 2126 LB: 0 @ 392.91
402.02	c Restart #104 #Var: 2126 LB: 0 @ 401.87
411.25	c Restart #105 #Var: 2126 LB: 0 @ 411.09
423.05	c Restart #106 #Var: 2126 LB: 0 @ 422.89
436.75	c Restart #107 #Var: 2125 LB: 0 @ 436.58
450.11	c Restart #108 #Var: 2125 LB: 0 @ 449.93
466.57	c Restart #109 #Var: 2125 LB: 0 @ 466.39
477.93	c Restart #110 #Var: 2124 LB: 0 @ 477.74
489.94	c Restart #111 #Var: 2124 LB: 0 @ 489.75
687.66	c Restart #112 #Var: 2119 LB: 0 @ 687.4
693.00	c Restart #113 #Var: 2119 LB: 0 @ 692.74
697.50	c Restart #114 #Var: 2119 LB: 0 @ 697.24
718.40	c Restart #115 #Var: 2119 LB: 0 @ 718.13
723.16	c Restart #116 #Var: 2119 LB: 0 @ 722.89
739.14	c Restart #117 #Var: 2118 LB: 0 @ 738.87
745.35	c Restart #118 #Var: 2118 LB: 0 @ 745.07
753.88	c Restart #119 #Var: 2118 LB: 0 @ 753.6
772.97	c Restart #120 #Var: 2115 LB: 0 @ 772.65
784.08	c Restart #121 #Var: 2114 LB: 0 @ 783.75
876.39	c Restart #122 #Var: 2110 LB: 0 @ 875.98

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.91 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1754720/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=4624 CPUtime=0
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 73 0 0 0 0 0 0 0 19 0 1 0 200789085 4734976 55 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 7709476 0 0 4096 0 0 0 0 17 1 0 0
/proc/26443/statm: 1156 55 41 55 0 44 0

[startup+10.0032 s]
/proc/loadavg: 0.93 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1647464/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=111628 CPUtime=9.98
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 27155 0 0 0 978 20 0 0 25 0 1 0 200789085 114307072 27069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 27907 27069 297 55 0 26799 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 111628

[startup+20.0101 s]
/proc/loadavg: 0.94 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1622824/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=136304 CPUtime=19.98
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 33299 0 0 0 1972 26 0 0 25 0 1 0 200789085 139575296 33213 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 34076 33213 297 55 0 32968 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 136304

[startup+30.0171 s]
/proc/loadavg: 0.95 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1600936/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=158064 CPUtime=29.98
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 38752 0 0 0 2967 31 0 0 25 0 1 0 200789085 161857536 38666 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 39516 38666 297 55 0 38408 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 158064

[startup+40.0241 s]
/proc/loadavg: 0.95 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1511720/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=247188 CPUtime=39.99
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 61031 0 0 0 3952 47 0 0 25 0 1 0 200789085 253120512 60945 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 61797 60946 297 55 0 60689 0
Current children cumulated CPU time (s) 39.99
Current children cumulated vsize (Kb) 247188

[startup+50.031 s]
/proc/loadavg: 0.96 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1391656/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=367200 CPUtime=49.98
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 90976 0 0 0 4936 62 0 0 25 0 1 0 200789085 376012800 90884 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537718 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 91800 90884 297 55 0 90692 0
Current children cumulated CPU time (s) 49.98
Current children cumulated vsize (Kb) 367200

[startup+60.038 s]
/proc/loadavg: 0.97 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1296168/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=462772 CPUtime=59.99
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 114817 0 0 0 5920 79 0 0 25 0 1 0 200789085 473878528 114717 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 115693 114717 297 55 0 114585 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 462772

[startup+70.045 s]
/proc/loadavg: 0.97 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1238440/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=520564 CPUtime=70
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 129229 0 0 0 6912 88 0 0 25 0 1 0 200789085 533057536 129125 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 130141 129125 297 55 0 129033 0
Current children cumulated CPU time (s) 70
Current children cumulated vsize (Kb) 520564

[startup+80.0519 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1183016/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=576320 CPUtime=80
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 143067 0 0 0 7904 96 0 0 25 0 1 0 200789085 590151680 142947 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 144080 142947 297 55 0 142972 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 576320

[startup+90.0579 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1133288/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=626064 CPUtime=90
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 155476 0 0 0 8896 104 0 0 25 0 1 0 200789085 641089536 155352 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524528 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 156516 155352 297 55 0 155408 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 626064

[startup+100.065 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1089000/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=670572 CPUtime=100.01
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 166529 0 0 0 9890 111 0 0 25 0 1 0 200789085 686665728 166396 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 167643 166396 297 55 0 166535 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 670572

[startup+110.072 s]
/proc/loadavg: 0.98 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1087656/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=671780 CPUtime=110.01
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 166860 0 0 0 10890 111 0 0 25 0 1 0 200789085 687902720 166727 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 167945 166727 297 55 0 166837 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 671780

[startup+120.078 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1072552/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=687072 CPUtime=120.01
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 170643 0 0 0 11888 113 0 0 25 0 1 0 200789085 703561728 170500 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 171768 170500 297 55 0 170660 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 687072

[startup+130.084 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1071784/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=687864 CPUtime=130.02
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 170835 0 0 0 12888 114 0 0 25 0 1 0 200789085 704372736 170692 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 171966 170692 297 55 0 170858 0
Current children cumulated CPU time (s) 130.02
Current children cumulated vsize (Kb) 687864

[startup+140.091 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1051560/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=708104 CPUtime=140.02
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 175878 0 0 0 13885 117 0 0 25 0 1 0 200789085 725098496 175735 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 177026 175735 297 55 0 175918 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 708104

[startup+150.097 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1046376/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=713252 CPUtime=150.01
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 177164 0 0 0 14883 118 0 0 25 0 1 0 200789085 730370048 177021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 178313 177021 297 55 0 177205 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 713252

[startup+160.103 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1043112/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=716584 CPUtime=160.02
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 177986 0 0 0 15883 119 0 0 25 0 1 0 200789085 733782016 177842 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 179146 177842 297 55 0 178038 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 716584

[startup+170.11 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1039208/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=720564 CPUtime=170.03
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 178969 0 0 0 16882 121 0 0 25 0 1 0 200789085 737857536 178825 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528763 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 180141 178825 297 55 0 179033 0
Current children cumulated CPU time (s) 170.03
Current children cumulated vsize (Kb) 720564

[startup+180.116 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=1004264/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=755416 CPUtime=180.03
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 187700 0 0 0 17876 127 0 0 25 0 1 0 200789085 773545984 187547 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 188854 187547 297 55 0 187746 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 755416

[startup+190.122 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=978408/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=781476 CPUtime=190.03
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 194177 0 0 0 18870 133 0 0 25 0 1 0 200789085 800231424 194009 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 8144507 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 195369 194009 297 55 0 194261 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 781476

[startup+200.128 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=955240/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=804784 CPUtime=200.04
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 199966 0 0 0 19867 137 0 0 25 0 1 0 200789085 824098816 199782 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 201196 199782 297 55 0 200088 0
Current children cumulated CPU time (s) 200.04
Current children cumulated vsize (Kb) 804784

[startup+210.134 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=920232/2055920 swapFree=4182212/4192956

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

Current children cumulated CPU time (s) 670.16
Current children cumulated vsize (Kb) 1528772

[startup+680.43 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=224552/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1538120 CPUtime=680.17
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 382576 0 0 0 67743 274 0 0 25 0 1 0 200789085 1575034880 382074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 384530 382074 297 55 0 383422 0
Current children cumulated CPU time (s) 680.17
Current children cumulated vsize (Kb) 1538120

[startup+690.437 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=201576/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1561104 CPUtime=690.17
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 388322 0 0 0 68739 278 0 0 25 0 1 0 200789085 1598570496 387819 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529429 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 390276 387819 297 55 0 389168 0
Current children cumulated CPU time (s) 690.17
Current children cumulated vsize (Kb) 1561104

[startup+700.444 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=153512/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1609320 CPUtime=700.18
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 400304 0 0 0 69732 286 0 0 25 0 1 0 200789085 1647943680 399793 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 402330 399793 297 55 0 401222 0
Current children cumulated CPU time (s) 700.18
Current children cumulated vsize (Kb) 1609320

[startup+710.451 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=150376/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1612492 CPUtime=710.17
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 401088 0 0 0 70731 286 0 0 25 0 1 0 200789085 1651191808 400577 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 403123 400577 297 55 0 402015 0
Current children cumulated CPU time (s) 710.17
Current children cumulated vsize (Kb) 1612492

[startup+720.458 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=117736/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1644972 CPUtime=720.18
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 409223 0 0 0 71727 291 0 0 25 0 1 0 200789085 1684451328 408712 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 411243 408712 297 55 0 410135 0
Current children cumulated CPU time (s) 720.18
Current children cumulated vsize (Kb) 1644972

[startup+730.465 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=95336/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1667404 CPUtime=730.18
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 414827 0 0 0 72722 296 0 0 25 0 1 0 200789085 1707421696 414310 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 416851 414310 297 55 0 415743 0
Current children cumulated CPU time (s) 730.18
Current children cumulated vsize (Kb) 1667404

[startup+740.472 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=64872/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1697964 CPUtime=740.19
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 422429 0 0 0 73717 302 0 0 25 0 1 0 200789085 1738715136 421912 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 424491 421912 297 55 0 423383 0
Current children cumulated CPU time (s) 740.19
Current children cumulated vsize (Kb) 1697964

[startup+750.479 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=29032/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1733660 CPUtime=750.19
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 431370 0 0 0 74711 308 0 0 25 0 1 0 200789085 1775267840 430846 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 433415 430846 297 55 0 432307 0
Current children cumulated CPU time (s) 750.19
Current children cumulated vsize (Kb) 1733660

[startup+760.485 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15592/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1754116 CPUtime=760.19
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 436418 0 0 0 75707 312 0 0 25 0 1 0 200789085 1796214784 435879 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 438529 435879 297 55 0 437421 0
Current children cumulated CPU time (s) 760.19
Current children cumulated vsize (Kb) 1754116

[startup+770.492 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15592/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1768808 CPUtime=770.17
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 440039 0 0 0 76703 314 0 0 25 0 1 0 200789085 1811259392 439495 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 442202 439495 297 55 0 441094 0
Current children cumulated CPU time (s) 770.17
Current children cumulated vsize (Kb) 1768808

[startup+780.499 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15848/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1787876 CPUtime=780.17
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 444785 0 0 0 77699 318 0 0 25 0 1 0 200789085 1830785024 444235 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 446969 444235 297 55 0 445861 0
Current children cumulated CPU time (s) 780.17
Current children cumulated vsize (Kb) 1787876

[startup+790.506 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=16296/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1813668 CPUtime=790.16
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 451274 0 0 0 78694 322 0 0 25 0 1 0 200789085 1857196032 450642 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 453417 450642 297 55 0 452309 0
Current children cumulated CPU time (s) 790.16
Current children cumulated vsize (Kb) 1813668

[startup+800.513 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=16424/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1813940 CPUtime=800.17
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 451339 0 0 0 79694 323 0 0 25 0 1 0 200789085 1857474560 450707 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 453485 450707 297 55 0 452377 0
Current children cumulated CPU time (s) 800.17
Current children cumulated vsize (Kb) 1813940

[startup+810.519 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=16104/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1814360 CPUtime=810.17
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 451421 0 0 0 80694 323 0 0 25 0 1 0 200789085 1857904640 450787 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 453590 450787 297 55 0 452482 0
Current children cumulated CPU time (s) 810.17
Current children cumulated vsize (Kb) 1814360

[startup+820.526 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15848/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1817932 CPUtime=820.16
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 452331 0 0 0 81692 324 0 0 25 0 1 0 200789085 1861562368 451697 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607308 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 454483 451697 297 55 0 453375 0
Current children cumulated CPU time (s) 820.16
Current children cumulated vsize (Kb) 1817932

[startup+830.532 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=16296/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1820632 CPUtime=830.16
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 452997 0 0 0 82691 325 0 0 25 0 1 0 200789085 1864327168 452361 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 455158 452361 297 55 0 454050 0
Current children cumulated CPU time (s) 830.16
Current children cumulated vsize (Kb) 1820632

[startup+840.539 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15656/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1823212 CPUtime=840.15
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 453603 0 0 0 83689 326 0 0 25 0 1 0 200789085 1866969088 452952 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 455803 452952 297 55 0 454695 0
Current children cumulated CPU time (s) 840.15
Current children cumulated vsize (Kb) 1823212

[startup+850.545 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15528/2055920 swapFree=4182212/4192956
[pid=26443] ppid=26441 vsize=1823344 CPUtime=850.15
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 453644 0 0 0 84689 326 0 0 25 0 1 0 200789085 1867104256 452993 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 455836 452993 297 55 0 454728 0
Current children cumulated CPU time (s) 850.15
Current children cumulated vsize (Kb) 1823344

[startup+860.551 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15720/2055920 swapFree=4182160/4192956
[pid=26443] ppid=26441 vsize=1825592 CPUtime=860.15
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 454199 0 0 0 85688 327 0 0 25 0 1 0 200789085 1869406208 453548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 456398 453548 297 55 0 455290 0
Current children cumulated CPU time (s) 860.15
Current children cumulated vsize (Kb) 1825592

[startup+870.557 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15016/2055920 swapFree=4182160/4192956
[pid=26443] ppid=26441 vsize=1827836 CPUtime=870.15
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 454778 0 0 0 86688 327 0 0 25 0 1 0 200789085 1871704064 454127 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 456959 454127 297 55 0 455851 0
Current children cumulated CPU time (s) 870.15
Current children cumulated vsize (Kb) 1827836

[startup+880.563 s]
/proc/loadavg: 0.99 0.98 0.98 2/64 26443
/proc/meminfo: memFree=15016/2055920 swapFree=4182160/4192956
[pid=26443] ppid=26441 vsize=1837344 CPUtime=880.14
/proc/26443/stat : 26443 (bsolo) R 26441 26443 26397 0 -1 0 457145 0 0 0 87685 329 0 0 25 0 1 0 200789085 1881440256 456494 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/26443/statm: 459336 456494 297 55 0 458228 0
Current children cumulated CPU time (s) 880.14
Current children cumulated vsize (Kb) 1837344

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 884.717
CPU time (s): 884.279
CPU user time (s): 880.701
CPU system time (s): 3.57746
CPU usage (%): 99.9505
Max. virtual memory (cumulated for all children) (Kb): 1837344
The end

Launcher Data (download as text)

Begin job on node73 on Sat Jun  3 16:14:03 UTC 2006


FILE ID= 40003-1149351243

PBS_JOBID= 310992

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-vpm1.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40003-1149351243/instance-40003-1149351243.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node73/watcher-40003-1149351243 -o ROOT/results/node73/solver-40003-1149351243 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node73/40003-1149351243/instance-40003-1149351243.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  7d8a1496a778abf94cc39a37abc46ff3

RANDOM SEED= 346292024


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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.261
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:       1754928 kB
Buffers:         28264 kB
Cached:         209700 kB
SwapCached:       2348 kB
Active:          41256 kB
Inactive:       205324 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1754928 kB
SwapTotal:     4192956 kB
SwapFree:      4182212 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          15068 kB
Slab:            40512 kB
Committed_AS:   371780 kB
PageTables:       1416 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node73 on Sat Jun  3 16:28:48 UTC 2006