Trace number 40014

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/05? 1800.1 1800.8

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-tr12-30.opb
MD5SUM93a0ff34a98f6d4593d65282fbf98be9
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
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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 1295
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533310
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533310
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.41	c Initial problem consists of 21960 variables and 1110 constraints.
0.47	c No problem reductions applied in OPT. instance.
0.47	c	preprocess terminated. Elapsed time: 0.457
0.47	c After prepocess the problem consists of 18280 variables and 1110 constraints.
0.47	c Initial Lower Bound: 0
1.38	c Restart #1 #Var: 18280 LB: 0 @ 1.368
3.21	c Restart #2 #Var: 18280 LB: 0 @ 3.194
9.76	c Restart #3 #Var: 18280 LB: 0 @ 9.744
14.01	c Restart #4 #Var: 18280 LB: 0 @ 13.994
27.43	c Restart #5 #Var: 18280 LB: 0 @ 27.401
34.51	c Restart #6 #Var: 18280 LB: 0 @ 34.478
48.77	c Restart #7 #Var: 18280 LB: 0 @ 48.74
49.60	c Restart #8 #Var: 18280 LB: 0 @ 49.564
52.09	c Restart #9 #Var: 18280 LB: 0 @ 52.053
53.00	c Restart #10 #Var: 18274 LB: 0 @ 52.963
53.44	c Restart #11 #Var: 18260 LB: 0 @ 53.41
53.99	c Restart #12 #Var: 18260 LB: 0 @ 53.961
54.38	c Restart #13 #Var: 18256 LB: 0 @ 54.351
54.56	c Restart #14 #Var: 18256 LB: 0 @ 54.528
55.46	c Restart #15 #Var: 18252 LB: 0 @ 55.422
56.37	c Restart #16 #Var: 18252 LB: 0 @ 56.336
56.85	c Restart #17 #Var: 18251 LB: 0 @ 56.814
57.60	c Restart #18 #Var: 18247 LB: 0 @ 57.566
58.87	c Restart #19 #Var: 18245 LB: 0 @ 58.836
59.64	c Restart #20 #Var: 18244 LB: 0 @ 59.609
60.57	c Restart #21 #Var: 18237 LB: 0 @ 60.531
62.65	c Restart #22 #Var: 18236 LB: 0 @ 62.611
64.74	c Restart #23 #Var: 18234 LB: 0 @ 64.705
68.04	c Restart #24 #Var: 18207 LB: 0 @ 68.002
69.98	c Restart #25 #Var: 18207 LB: 0 @ 69.94
70.42	c Restart #26 #Var: 18202 LB: 0 @ 70.378
72.54	c Restart #27 #Var: 18201 LB: 0 @ 72.497
75.03	c Restart #28 #Var: 18192 LB: 5 @ 74.992
77.49	c Restart #29 #Var: 18192 LB: 5 @ 77.451
78.98	c Restart #30 #Var: 18192 LB: 5 @ 78.938
80.39	c Restart #31 #Var: 18192 LB: 5 @ 80.342
81.87	c Restart #32 #Var: 18192 LB: 5 @ 81.826
82.71	c Restart #33 #Var: 18192 LB: 5 @ 82.667
87.83	c Restart #34 #Var: 18190 LB: 7 @ 87.782
90.46	c Restart #35 #Var: 18180 LB: 7 @ 90.409
93.74	c Restart #36 #Var: 18180 LB: 7 @ 93.697
99.76	c Restart #37 #Var: 18179 LB: 8 @ 99.709
107.09	c Restart #38 #Var: 18179 LB: 8 @ 107.04
114.35	c Restart #39 #Var: 18179 LB: 8 @ 114.29
123.15	c Restart #40 #Var: 18179 LB: 8 @ 123.09
126.18	c Restart #41 #Var: 18179 LB: 8 @ 126.12
131.84	c Restart #42 #Var: 18179 LB: 8 @ 131.78
141.58	c Restart #43 #Var: 18179 LB: 8 @ 141.51
146.58	c Restart #44 #Var: 18179 LB: 8 @ 146.52
155.69	c Restart #45 #Var: 18179 LB: 8 @ 155.62
166.96	c Restart #46 #Var: 18179 LB: 8 @ 166.89
169.50	c Restart #47 #Var: 18179 LB: 8 @ 169.42
197.61	c Restart #48 #Var: 18179 LB: 8 @ 197.53
217.96	c Restart #49 #Var: 18179 LB: 8 @ 217.87
224.15	c Restart #50 #Var: 18179 LB: 8 @ 224.05
235.61	c Restart #51 #Var: 18179 LB: 8 @ 235.52
238.87	c Restart #52 #Var: 18179 LB: 8 @ 238.78
254.64	c Restart #53 #Var: 18179 LB: 8 @ 254.54
283.42	c Restart #54 #Var: 18177 LB: 8 @ 283.31
299.04	c Restart #55 #Var: 18177 LB: 8 @ 298.92
330.04	c Restart #56 #Var: 18175 LB: 8 @ 329.91
355.64	c Restart #57 #Var: 18175 LB: 8 @ 355.49
369.84	c Restart #58 #Var: 18175 LB: 8 @ 369.66
395.77	c Restart #59 #Var: 18175 LB: 8 @ 395.55
447.06	c Restart #60 #Var: 18175 LB: 8 @ 446.83
471.89	c Restart #61 #Var: 18175 LB: 8 @ 471.65
518.53	c Restart #62 #Var: 18175 LB: 8 @ 518.27
559.05	c Restart #63 #Var: 18165 LB: 8 @ 558.78
609.28	c Restart #64 #Var: 18165 LB: 8 @ 608.99
691.63	c Restart #65 #Var: 18165 LB: 8 @ 691.32
788.59	c Restart #66 #Var: 18165 LB: 8 @ 788.24
826.34	c Restart #67 #Var: 18165 LB: 8 @ 825.98
851.60	c Restart #68 #Var: 18165 LB: 8 @ 851.23
949.13	c CHANGE Heuristic... 
949.13	c Restart #0 #Var: 18165 LB: 8 @ 948.73
950.39	c Restart #1 #Var: 18165 LB: 8 @ 949.98
952.77	c Restart #2 #Var: 18165 LB: 8 @ 952.36
953.56	c Restart #3 #Var: 18165 LB: 8 @ 953.15
955.14	c Restart #4 #Var: 18165 LB: 8 @ 954.73
957.74	c Restart #5 #Var: 18152 LB: 8 @ 957.33
962.35	c Restart #6 #Var: 18152 LB: 8 @ 961.94
965.67	c Restart #7 #Var: 18152 LB: 8 @ 965.26
970.34	c Restart #8 #Var: 18152 LB: 8 @ 969.93
975.01	c Restart #9 #Var: 18152 LB: 8 @ 974.6
997.00	c Restart #10 #Var: 18142 LB: 8 @ 996.58
1010.46	c Restart #11 #Var: 18131 LB: 8 @ 1010
1014.79	c Restart #12 #Var: 18131 LB: 8 @ 1014.4
1024.53	c Restart #13 #Var: 18121 LB: 8 @ 1024.1
1055.27	c Restart #14 #Var: 18121 LB: 8 @ 1054.8
1070.88	c Restart #15 #Var: 18121 LB: 8 @ 1070.4
1090.04	c Restart #16 #Var: 18121 LB: 8 @ 1089.6
1116.14	c Restart #17 #Var: 18121 LB: 8 @ 1115.7
1118.56	c Restart #18 #Var: 18121 LB: 8 @ 1118.1
1122.70	c Restart #19 #Var: 18121 LB: 8 @ 1122.2
1145.39	c Restart #20 #Var: 18083 LB: 8 @ 1144.9
1149.23	c Restart #21 #Var: 18067 LB: 8 @ 1148.8
1154.00	c Restart #22 #Var: 18063 LB: 8 @ 1153.5
1179.23	c Restart #23 #Var: 18051 LB: 8 @ 1178.8
1212.64	c Restart #24 #Var: 18051 LB: 8 @ 1212.1
1215.78	c Restart #25 #Var: 18051 LB: 8 @ 1215.3
1237.90	c Restart #26 #Var: 18051 LB: 8 @ 1237.4
1244.14	c Restart #27 #Var: 18051 LB: 8 @ 1243.6
1265.42	c Restart #28 #Var: 18051 LB: 8 @ 1264.9
1289.01	c Restart #29 #Var: 18051 LB: 8 @ 1288.5
1350.59	c Restart #30 #Var: 18051 LB: 8 @ 1350
1384.43	c Restart #31 #Var: 18051 LB: 8 @ 1383.9
1421.00	c Restart #32 #Var: 18051 LB: 8 @ 1420.4
1433.18	c Restart #33 #Var: 18051 LB: 8 @ 1432.6
1454.11	c Restart #34 #Var: 18051 LB: 8 @ 1453.5
1464.83	c Restart #35 #Var: 18051 LB: 8 @ 1464.2
1499.60	c Restart #36 #Var: 18051 LB: 8 @ 1499
1541.64	c Restart #37 #Var: 18051 LB: 8 @ 1541
1554.90	c Restart #38 #Var: 18051 LB: 8 @ 1554.3
1583.62	c Restart #39 #Var: 18051 LB: 8 @ 1583
1610.04	c Restart #40 #Var: 18051 LB: 8 @ 1609.4
1644.19	c Restart #41 #Var: 18051 LB: 8 @ 1643.5
1682.51	c Restart #42 #Var: 18051 LB: 8 @ 1681.8
1728.08	c Restart #43 #Var: 18051 LB: 8 @ 1727.4
1800.71	s UNKNOWN
1800.71	c Exit Code: 0
1800.71	c Total time: 1800 s

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1750592/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=4664 CPUtime=0
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 167 0 0 0 0 0 0 0 18 0 1 0 201037289 4775936 147 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 1932642 0 0 4096 0 0 0 0 17 1 0 0
/proc/5847/statm: 1166 151 112 55 0 46 0

[startup+10.0017 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1724416/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=31368 CPUtime=9.98
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 8289 0 0 0 990 8 0 0 25 0 1 0 201037289 32120832 6841 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632900 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 7842 6841 297 55 0 6734 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 31368

[startup+20.0084 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1724352/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=31416 CPUtime=19.97
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 8625 0 0 0 1986 11 0 0 25 0 1 0 201037289 32169984 6850 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 7854 6850 297 55 0 6746 0
Current children cumulated CPU time (s) 19.97
Current children cumulated vsize (Kb) 31416

[startup+30.015 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1724864/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=30900 CPUtime=29.98
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 8923 0 0 0 2985 13 0 0 25 0 1 0 201037289 31641600 6726 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 7725 6726 297 55 0 6617 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 30900

[startup+40.0217 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1724032/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=31748 CPUtime=39.98
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 9237 0 0 0 3982 16 0 0 25 0 1 0 201037289 32509952 6928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 7937 6928 297 55 0 6829 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 31748

[startup+50.0284 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1724544/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=31264 CPUtime=49.99
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 9474 0 0 0 4975 24 0 0 25 0 1 0 201037289 32014336 6798 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 7816 6798 297 55 0 6708 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 31264

[startup+60.0341 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1684864/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=70840 CPUtime=59.99
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 19400 0 0 0 5946 53 0 0 25 0 1 0 201037289 72540160 16715 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 17710 16715 297 55 0 16602 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 70840

[startup+70.0408 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1663360/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=92292 CPUtime=69.99
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 24759 0 0 0 6938 61 0 0 25 0 1 0 201037289 94507008 22074 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 23073 22074 297 55 0 21965 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 92292

[startup+80.0475 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1624320/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=131228 CPUtime=79.99
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 34491 0 0 0 7931 68 0 0 25 0 1 0 201037289 134377472 31806 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 32807 31806 297 55 0 31699 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 131228

[startup+90.0531 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1595520/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=160156 CPUtime=89.99
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 41695 0 0 0 8924 75 0 0 25 0 1 0 201037289 163999744 39008 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 40039 39008 297 55 0 38931 0
Current children cumulated CPU time (s) 89.99
Current children cumulated vsize (Kb) 160156

[startup+100.059 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1589184/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=166500 CPUtime=100
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 43274 0 0 0 9921 79 0 0 25 0 1 0 201037289 170496000 40587 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 41625 40587 297 55 0 40517 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 166500

[startup+110.065 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1584256/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=171376 CPUtime=110
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 44507 0 0 0 10919 81 0 0 25 0 1 0 201037289 175489024 41820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 42844 41820 297 55 0 41736 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 171376

[startup+120.07 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1580032/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=175464 CPUtime=120
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 45542 0 0 0 11917 83 0 0 25 0 1 0 201037289 179675136 42855 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 43866 42855 297 55 0 42758 0
Current children cumulated CPU time (s) 120
Current children cumulated vsize (Kb) 175464

[startup+130.076 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 5847
/proc/meminfo: memFree=1573376/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=182192 CPUtime=130
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 47201 0 0 0 12915 85 0 0 25 0 1 0 201037289 186564608 44514 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548439 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 45548 44514 297 55 0 44440 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 182192

[startup+140.082 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1562752/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=192748 CPUtime=140.01
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 49842 0 0 0 13911 90 0 0 25 0 1 0 201037289 197373952 47155 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534136 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 48187 47155 297 55 0 47079 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 192748

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1558080/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=197500 CPUtime=150.01
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 51032 0 0 0 14909 92 0 0 25 0 1 0 201037289 202240000 48345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 49375 48345 297 55 0 48267 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 197500

[startup+160.093 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1551168/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=204384 CPUtime=160.02
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 52766 0 0 0 15907 95 0 0 25 0 1 0 201037289 209289216 50079 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 2397819 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 51096 50079 297 55 0 49988 0
Current children cumulated CPU time (s) 160.02
Current children cumulated vsize (Kb) 204384

[startup+170.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1543232/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=212300 CPUtime=170.02
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 54724 0 0 0 16904 98 0 0 25 0 1 0 201037289 217395200 52037 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 53075 52037 297 55 0 51967 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 212300

[startup+180.106 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1540672/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=214808 CPUtime=180.02
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 55362 0 0 0 17903 99 0 0 25 0 1 0 201037289 219963392 52675 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 53702 52675 297 55 0 52594 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 214808

[startup+190.112 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1538624/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=216920 CPUtime=190.02
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 55875 0 0 0 18902 100 0 0 25 0 1 0 201037289 222126080 53188 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 54230 53188 297 55 0 53122 0
Current children cumulated CPU time (s) 190.02
Current children cumulated vsize (Kb) 216920

[startup+200.118 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1535488/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=219960 CPUtime=200.03
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 56647 0 0 0 19901 102 0 0 25 0 1 0 201037289 225239040 53960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 54990 53960 297 55 0 53882 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 219960

[startup+210.123 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 5847
/proc/meminfo: memFree=1532352/2055920 swapFree=4180964/4192956

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

/proc/5847/statm: 136614 135442 297 55 0 135506 0
Current children cumulated CPU time (s) 1760.33
Current children cumulated vsize (Kb) 546456

[startup+1771.03 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1207936/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=546984 CPUtime=1770.33
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138355 0 0 0 176775 258 0 0 25 0 1 0 201037289 560111616 135582 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 136746 135582 297 55 0 135638 0
Current children cumulated CPU time (s) 1770.33
Current children cumulated vsize (Kb) 546984

[startup+1781.04 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1207104/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=547908 CPUtime=1780.34
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138567 0 0 0 177775 259 0 0 25 0 1 0 201037289 561057792 135794 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 136977 135794 297 55 0 135869 0
Current children cumulated CPU time (s) 1780.34
Current children cumulated vsize (Kb) 547908

[startup+1782.04 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206976/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=547908 CPUtime=1781.34
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138588 0 0 0 177875 259 0 0 25 0 1 0 201037289 561057792 135815 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 136977 135815 297 55 0 135869 0
Current children cumulated CPU time (s) 1781.34
Current children cumulated vsize (Kb) 547908

[startup+1783.05 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206912/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548040 CPUtime=1782.34
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138610 0 0 0 177975 259 0 0 25 0 1 0 201037289 561192960 135837 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137010 135837 297 55 0 135902 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (Kb) 548040

[startup+1784.05 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206720/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548304 CPUtime=1783.35
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138655 0 0 0 178076 259 0 0 25 0 1 0 201037289 561463296 135882 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137076 135882 297 55 0 135968 0
Current children cumulated CPU time (s) 1783.35
Current children cumulated vsize (Kb) 548304

[startup+1785.06 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206528/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548432 CPUtime=1784.35
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138700 0 0 0 178176 259 0 0 25 0 1 0 201037289 561594368 135927 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137108 135927 297 55 0 136000 0
Current children cumulated CPU time (s) 1784.35
Current children cumulated vsize (Kb) 548432

[startup+1786.06 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206400/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548564 CPUtime=1785.36
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138730 0 0 0 178277 259 0 0 25 0 1 0 201037289 561729536 135957 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137141 135957 297 55 0 136033 0
Current children cumulated CPU time (s) 1785.36
Current children cumulated vsize (Kb) 548564

[startup+1787.07 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206336/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548696 CPUtime=1786.36
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138757 0 0 0 178377 259 0 0 25 0 1 0 201037289 561864704 135984 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137174 135984 297 55 0 136066 0
Current children cumulated CPU time (s) 1786.36
Current children cumulated vsize (Kb) 548696

[startup+1788.07 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206208/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548828 CPUtime=1787.36
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138784 0 0 0 178477 259 0 0 25 0 1 0 201037289 561999872 136011 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137207 136011 297 55 0 136099 0
Current children cumulated CPU time (s) 1787.36
Current children cumulated vsize (Kb) 548828

[startup+1789.08 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206144/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548828 CPUtime=1788.37
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138807 0 0 0 178578 259 0 0 25 0 1 0 201037289 561999872 136034 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137207 136034 297 55 0 136099 0
Current children cumulated CPU time (s) 1788.37
Current children cumulated vsize (Kb) 548828

[startup+1790.08 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1206080/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548828 CPUtime=1789.37
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138814 0 0 0 178678 259 0 0 25 0 1 0 201037289 561999872 136041 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137207 136041 297 55 0 136099 0
Current children cumulated CPU time (s) 1789.37
Current children cumulated vsize (Kb) 548828

[startup+1791.09 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1205952/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=548960 CPUtime=1790.38
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138841 0 0 0 178779 259 0 0 25 0 1 0 201037289 562135040 136068 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137240 136068 297 55 0 136132 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (Kb) 548960

[startup+1792.09 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1205824/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=549092 CPUtime=1791.38
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138881 0 0 0 178879 259 0 0 25 0 1 0 201037289 562270208 136108 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137273 136108 297 55 0 136165 0
Current children cumulated CPU time (s) 1791.38
Current children cumulated vsize (Kb) 549092

[startup+1793.1 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1205632/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=549356 CPUtime=1792.39
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138921 0 0 0 178979 260 0 0 25 0 1 0 201037289 562540544 136148 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534977 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137339 136148 297 55 0 136231 0
Current children cumulated CPU time (s) 1792.39
Current children cumulated vsize (Kb) 549356

[startup+1794.1 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1205440/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=549488 CPUtime=1793.4
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 138969 0 0 0 179080 260 0 0 25 0 1 0 201037289 562675712 136196 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137372 136196 297 55 0 136264 0
Current children cumulated CPU time (s) 1793.4
Current children cumulated vsize (Kb) 549488

[startup+1795.11 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1205184/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=549752 CPUtime=1794.4
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139042 0 0 0 179180 260 0 0 25 0 1 0 201037289 562946048 136269 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137438 136269 297 55 0 136330 0
Current children cumulated CPU time (s) 1794.4
Current children cumulated vsize (Kb) 549752

[startup+1796.11 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1204992/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=550016 CPUtime=1795.41
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139082 0 0 0 179281 260 0 0 25 0 1 0 201037289 563216384 136309 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137504 136309 297 55 0 136396 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (Kb) 550016

[startup+1797.12 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1204992/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=550016 CPUtime=1796.41
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139092 0 0 0 179381 260 0 0 25 0 1 0 201037289 563216384 136319 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137504 136319 297 55 0 136396 0
Current children cumulated CPU time (s) 1796.41
Current children cumulated vsize (Kb) 550016

[startup+1798.12 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1204928/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=550148 CPUtime=1797.41
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139118 0 0 0 179481 260 0 0 25 0 1 0 201037289 563351552 136345 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137537 136345 297 55 0 136429 0
Current children cumulated CPU time (s) 1797.41
Current children cumulated vsize (Kb) 550148

[startup+1799.12 s]
/proc/loadavg: 1.02 1.01 1.00 2/64 6042
/proc/meminfo: memFree=1204800/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=550148 CPUtime=1798.42
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139144 0 0 0 179582 260 0 0 25 0 1 0 201037289 563351552 136371 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524329 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137537 136371 297 55 0 136429 0
Current children cumulated CPU time (s) 1798.42
Current children cumulated vsize (Kb) 550148

[startup+1800.13 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 6042
/proc/meminfo: memFree=1204672/2055920 swapFree=4180964/4192956
[pid=5847] ppid=5845 vsize=550280 CPUtime=1799.42
/proc/5847/stat : 5847 (bsolo) R 5845 5847 5801 0 -1 0 139174 0 0 0 179682 260 0 0 25 0 1 0 201037289 563486720 136401 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/5847/statm: 137570 136401 297 55 0 136462 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (Kb) 550280

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.1
CPU user time (s): 1797.4
CPU system time (s): 2.69259
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (Kb): 550280

Launcher Data (download as text)

Begin job on node41 on Sat Jun  3 16:55:07 UTC 2006


FILE ID= 40014-1149353707

PBS_JOBID= 311131

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  93a0ff34a98f6d4593d65282fbf98be9

RANDOM SEED= 855686119


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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1750800 kB
Buffers:         18240 kB
Cached:         223004 kB
SwapCached:       3692 kB
Active:          57332 kB
Inactive:       192592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1750800 kB
SwapTotal:     4192956 kB
SwapFree:      4180964 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          14936 kB
Slab:            41196 kB
Committed_AS:   387104 kB
PageTables:       1496 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node41 on Sat Jun  3 17:25:08 UTC 2006