Trace number 40043

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.04 1800.73

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-roll3000.opb
MD5SUM96d9927730c8b8baae8e5c668115210d
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 273432
Optimality of the best value was proved NO
Number of variables8902
Total number of constraints2864
Number of constraints which are clauses143
Number of constraints which are cardinality constraints (but not clauses)31
Number of constraints which are nor clauses,nor cardinality constraints2690
Minimum length of a constraint2
Maximum length of a constraint2407
Number of terms in the objective function 31
Biggest coefficient in the objective function 262145
Number of bits for the biggest coefficient in the objective function 19
Sum of the numbers in the objective function 524318
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 526135
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.52	c Initial problem consists of 8902 variables and 3038 constraints.
0.58	c No problem reductions applied in OPT. instance.
0.58	c	preprocess terminated. Elapsed time: 0.566
0.58	c After prepocess the problem consists of 5572 variables and 2065 constraints.
0.58	c Initial Lower Bound: 0
0.95	c Restart #1 #Var: 5572 LB: 0 @ 0.942
1.66	c Restart #2 #Var: 5572 LB: 0 @ 1.643
2.53	c Restart #3 #Var: 5572 LB: 0 @ 2.519
3.63	c Restart #4 #Var: 5572 LB: 0 @ 3.617
4.99	c Restart #5 #Var: 5572 LB: 0 @ 4.977
6.77	c Restart #6 #Var: 5572 LB: 0 @ 6.755
10.18	c Restart #7 #Var: 5572 LB: 0 @ 10.157
16.77	c Restart #8 #Var: 5572 LB: 0 @ 16.743
19.55	c Restart #9 #Var: 5572 LB: 0 @ 19.526
30.17	c Restart #10 #Var: 5572 LB: 0 @ 30.141
36.86	c Restart #11 #Var: 5572 LB: 0 @ 36.829
41.08	c Restart #12 #Var: 5572 LB: 0 @ 41.048
42.63	c Restart #13 #Var: 5572 LB: 0 @ 42.601
44.38	c Restart #14 #Var: 5572 LB: 0 @ 44.352
46.69	c Restart #15 #Var: 5572 LB: 0 @ 46.653
50.25	c Restart #16 #Var: 5572 LB: 0 @ 50.215
51.78	c Restart #17 #Var: 5572 LB: 0 @ 51.748
55.37	c Restart #18 #Var: 5572 LB: 0 @ 55.337
58.42	c Restart #19 #Var: 5572 LB: 0 @ 58.384
62.53	c Restart #20 #Var: 5572 LB: 0 @ 62.491
65.15	c Restart #21 #Var: 5572 LB: 0 @ 65.107
69.10	c Restart #22 #Var: 5572 LB: 0 @ 69.063
71.70	c Restart #23 #Var: 5572 LB: 0 @ 71.66
75.47	c Restart #24 #Var: 5572 LB: 0 @ 75.428
78.25	c Restart #25 #Var: 5572 LB: 0 @ 78.209
82.25	c Restart #26 #Var: 5572 LB: 0 @ 82.204
88.72	c Restart #27 #Var: 5572 LB: 0 @ 88.67
95.48	c Restart #28 #Var: 5572 LB: 0 @ 95.435
99.69	c Restart #29 #Var: 5572 LB: 0 @ 99.638
107.36	c Restart #30 #Var: 5572 LB: 0 @ 107.3
111.11	c Restart #31 #Var: 5572 LB: 0 @ 111.05
119.30	c Restart #32 #Var: 5572 LB: 0 @ 119.24
126.59	c Restart #33 #Var: 5572 LB: 0 @ 126.53
135.24	c Restart #34 #Var: 5572 LB: 0 @ 135.17
140.27	c Restart #35 #Var: 5572 LB: 0 @ 140.2
148.80	c Restart #36 #Var: 5572 LB: 0 @ 148.73
155.59	c Restart #37 #Var: 5572 LB: 0 @ 155.52
164.59	c Restart #38 #Var: 5572 LB: 0 @ 164.52
169.83	c Restart #39 #Var: 5572 LB: 0 @ 169.75
179.54	c Restart #40 #Var: 5572 LB: 0 @ 179.46
197.93	c Restart #41 #Var: 5572 LB: 0 @ 197.84
208.23	c Restart #42 #Var: 5571 LB: 0 @ 208.14
216.30	c Restart #43 #Var: 5571 LB: 0 @ 216.21
224.74	c Restart #44 #Var: 5571 LB: 0 @ 224.65
236.52	c Restart #45 #Var: 5571 LB: 0 @ 236.42
245.17	c Restart #46 #Var: 5570 LB: 0 @ 245.06
265.93	c Restart #47 #Var: 5570 LB: 0 @ 265.82
294.66	c Restart #48 #Var: 5570 LB: 0 @ 294.5
354.74	c Restart #49 #Var: 5570 LB: 0 @ 354.55
366.09	c Restart #50 #Var: 5570 LB: 0 @ 365.9
394.62	c Restart #51 #Var: 5569 LB: 0 @ 394.42
463.99	c Restart #52 #Var: 5568 LB: 0 @ 463.77
562.18	c Restart #53 #Var: 5567 LB: 0 @ 561.93
583.68	c Restart #54 #Var: 5567 LB: 0 @ 583.41
596.26	c Restart #55 #Var: 5566 LB: 0 @ 596
622.36	c Restart #56 #Var: 5566 LB: 0 @ 622.09
644.27	c Restart #57 #Var: 5562 LB: 0 @ 643.99
670.69	c Restart #58 #Var: 5562 LB: 0 @ 670.39
733.78	c Restart #59 #Var: 5562 LB: 0 @ 733.46
800.74	c Restart #60 #Var: 5562 LB: 0 @ 800.4
850.16	c Restart #61 #Var: 5562 LB: 0 @ 849.81
903.49	c CHANGE Heuristic... 
903.49	c Restart #0 #Var: 5562 LB: 0 @ 903.12
904.82	c Restart #1 #Var: 5562 LB: 0 @ 904.45
908.03	c Restart #2 #Var: 5562 LB: 0 @ 907.65
910.61	c Restart #3 #Var: 5562 LB: 0 @ 910.24
915.43	c Restart #4 #Var: 5561 LB: 0 @ 915.06
920.60	c Restart #5 #Var: 5561 LB: 0 @ 920.22
924.10	c Restart #6 #Var: 5561 LB: 0 @ 923.72
930.92	c Restart #7 #Var: 5561 LB: 0 @ 930.53
939.72	c Restart #8 #Var: 5561 LB: 0 @ 939.34
955.66	c Restart #9 #Var: 5561 LB: 0 @ 955.27
960.67	c Restart #10 #Var: 5561 LB: 0 @ 960.28
970.25	c Restart #11 #Var: 5561 LB: 0 @ 969.86
983.05	c Restart #12 #Var: 5561 LB: 0 @ 982.65
1000.92	c Restart #13 #Var: 5560 LB: 0 @ 1000.5
1013.05	c Restart #14 #Var: 5560 LB: 0 @ 1012.6
1045.00	c Restart #15 #Var: 5560 LB: 0 @ 1044.6
1057.84	c Restart #16 #Var: 5560 LB: 0 @ 1057.4
1072.99	c Restart #17 #Var: 5560 LB: 0 @ 1072.6
1082.21	c Restart #18 #Var: 5560 LB: 0 @ 1081.8
1108.16	c Restart #19 #Var: 5560 LB: 0 @ 1107.7
1132.12	c Restart #20 #Var: 5560 LB: 0 @ 1131.7
1147.54	c Restart #21 #Var: 5560 LB: 0 @ 1147.1
1164.07	c Restart #22 #Var: 5560 LB: 0 @ 1163.6
1181.72	c Restart #23 #Var: 5560 LB: 0 @ 1181.2
1215.66	c Restart #24 #Var: 5560 LB: 0 @ 1215.2
1257.36	c Restart #25 #Var: 5560 LB: 0 @ 1256.9
1311.97	c Restart #26 #Var: 5559 LB: 0 @ 1311.5
1346.99	c Restart #27 #Var: 5559 LB: 0 @ 1346.5
1384.55	c Restart #28 #Var: 5559 LB: 0 @ 1384
1421.11	c Restart #29 #Var: 5559 LB: 0 @ 1420.6
1463.29	c Restart #30 #Var: 5559 LB: 0 @ 1462.7
1487.56	c Restart #31 #Var: 5558 LB: 0 @ 1487
1501.25	c Restart #32 #Var: 5558 LB: 0 @ 1500.7
1530.09	c Restart #33 #Var: 5558 LB: 0 @ 1529.5
1570.29	c Restart #34 #Var: 5558 LB: 0 @ 1569.7
1600.98	c Restart #35 #Var: 5558 LB: 0 @ 1600.4
1624.32	c Restart #36 #Var: 5558 LB: 0 @ 1623.7
1663.76	c Restart #37 #Var: 5558 LB: 0 @ 1663.1
1744.75	c Restart #38 #Var: 5558 LB: 0 @ 1744.1
1792.40	c Restart #39 #Var: 5558 LB: 0 @ 1791.7
1800.68	s UNKNOWN
1800.68	c Exit Code: 0
1800.68	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/node59/watcher-40043-1149360983 -o ROOT/results/node59/solver-40043-1149360983 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/40043-1149360983/instance-40043-1149360983.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.92 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1677776/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=4664 CPUtime=0
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 156 0 0 0 0 0 0 0 18 0 1 0 201766501 4775936 136 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9255800 0 0 4096 0 0 0 0 17 1 0 0
/proc/8754/statm: 1166 136 106 55 0 46 0

[startup+10.003 s]
/proc/loadavg: 0.93 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1658848/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=23804 CPUtime=9.98
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 5106 0 0 0 964 34 0 0 25 0 1 0 201766501 24375296 5021 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 5951 5021 297 55 0 4843 0
Current children cumulated CPU time (s) 9.98
Current children cumulated vsize (Kb) 23804

[startup+20.01 s]
/proc/loadavg: 0.94 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1659048/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=23424 CPUtime=19.98
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 5106 0 0 0 1963 35 0 0 25 0 1 0 201766501 23986176 4953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134719391 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 5856 4953 297 55 0 4748 0
Current children cumulated CPU time (s) 19.98
Current children cumulated vsize (Kb) 23424

[startup+30.0169 s]
/proc/loadavg: 0.95 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1654504/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=28288 CPUtime=29.98
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6311 0 0 0 2963 35 0 0 25 0 1 0 201766501 28966912 6158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548228 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 7072 6158 297 55 0 5964 0
Current children cumulated CPU time (s) 29.98
Current children cumulated vsize (Kb) 28288

[startup+40.0228 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1654504/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=28260 CPUtime=39.98
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6311 0 0 0 3962 36 0 0 25 0 1 0 201766501 28938240 6158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548217 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 7065 6158 297 55 0 5957 0
Current children cumulated CPU time (s) 39.98
Current children cumulated vsize (Kb) 28260

[startup+50.0297 s]
/proc/loadavg: 0.96 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1653800/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=29056 CPUtime=49.99
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6495 0 0 0 4961 38 0 0 25 0 1 0 201766501 29753344 6342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550926 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 7264 6342 297 55 0 6156 0
Current children cumulated CPU time (s) 49.99
Current children cumulated vsize (Kb) 29056

[startup+60.0357 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1653032/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=29628 CPUtime=59.99
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 6777 0 0 0 5960 39 0 0 25 0 1 0 201766501 30339072 6504 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 7407 6504 297 55 0 6299 0
Current children cumulated CPU time (s) 59.99
Current children cumulated vsize (Kb) 29628

[startup+70.0416 s]
/proc/loadavg: 0.97 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1649960/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=32824 CPUtime=69.99
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 7897 0 0 0 6958 41 0 0 25 0 1 0 201766501 33611776 7303 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 8206 7303 297 55 0 7098 0
Current children cumulated CPU time (s) 69.99
Current children cumulated vsize (Kb) 32824

[startup+80.0475 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1642280/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=40444 CPUtime=79.99
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 10089 0 0 0 7955 44 0 0 25 0 1 0 201766501 41414656 9208 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 10111 9208 297 55 0 9003 0
Current children cumulated CPU time (s) 79.99
Current children cumulated vsize (Kb) 40444

[startup+90.0535 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1641832/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=40972 CPUtime=90
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 10210 0 0 0 8955 45 0 0 25 0 1 0 201766501 41955328 9329 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603839 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 10243 9329 297 55 0 9135 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 40972

[startup+100.059 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1639976/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=42584 CPUtime=100
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 10691 0 0 0 9953 47 0 0 25 0 1 0 201766501 43606016 9743 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134633165 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 10646 9743 297 55 0 9538 0
Current children cumulated CPU time (s) 100
Current children cumulated vsize (Kb) 42584

[startup+110.065 s]
/proc/loadavg: 0.98 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1634856/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=47932 CPUtime=110
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 12206 0 0 0 10951 49 0 0 25 0 1 0 201766501 49082368 11069 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134537684 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 11983 11069 297 55 0 10875 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (Kb) 47932

[startup+120.071 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1632936/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=49800 CPUtime=120.01
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 12881 0 0 0 11950 51 0 0 25 0 1 0 201766501 50995200 11544 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 12450 11544 297 55 0 11342 0
Current children cumulated CPU time (s) 120.01
Current children cumulated vsize (Kb) 49800

[startup+130.077 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1631720/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=50852 CPUtime=130
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 13187 0 0 0 12949 51 0 0 25 0 1 0 201766501 52072448 11810 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548246 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 12713 11810 297 55 0 11605 0
Current children cumulated CPU time (s) 130
Current children cumulated vsize (Kb) 50852

[startup+140.083 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1630120/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=52696 CPUtime=140.01
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 13634 0 0 0 13948 53 0 0 25 0 1 0 201766501 53960704 12246 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541339 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 13174 12246 297 55 0 12066 0
Current children cumulated CPU time (s) 140.01
Current children cumulated vsize (Kb) 52696

[startup+150.089 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1628520/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=54280 CPUtime=150.01
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 14286 0 0 0 14947 54 0 0 25 0 1 0 201766501 55582720 12643 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 13570 12643 297 55 0 12462 0
Current children cumulated CPU time (s) 150.01
Current children cumulated vsize (Kb) 54280

[startup+160.095 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1624168/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=58328 CPUtime=160.01
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 15575 0 0 0 15946 55 0 0 25 0 1 0 201766501 59727872 13679 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548392 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 14582 13679 297 55 0 13474 0
Current children cumulated CPU time (s) 160.01
Current children cumulated vsize (Kb) 58328

[startup+170.101 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1621672/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=61080 CPUtime=170.01
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 16289 0 0 0 16944 57 0 0 25 0 1 0 201766501 62545920 14353 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548230 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 15270 14353 297 55 0 14162 0
Current children cumulated CPU time (s) 170.01
Current children cumulated vsize (Kb) 61080

[startup+180.107 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1621608/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=61108 CPUtime=180.02
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 16722 0 0 0 17943 59 0 0 25 0 1 0 201766501 62574592 14357 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603833 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 15277 14357 297 55 0 14169 0
Current children cumulated CPU time (s) 180.02
Current children cumulated vsize (Kb) 61108

[startup+190.113 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1621608/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=61108 CPUtime=190.03
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 16725 0 0 0 18943 60 0 0 25 0 1 0 201766501 62574592 14360 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542141 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 15277 14360 297 55 0 14169 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 61108

[startup+200.119 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1620840/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=61756 CPUtime=200.02
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 17006 0 0 0 19942 60 0 0 25 0 1 0 201766501 63238144 14506 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134603842 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 15439 14506 297 55 0 14331 0
Current children cumulated CPU time (s) 200.02
Current children cumulated vsize (Kb) 61756

[startup+210.125 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8754
/proc/meminfo: memFree=1618792/2055920 swapFree=4180876/4192956

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

/proc/8754/statm: 59762 58826 297 55 0 58654 0
Current children cumulated CPU time (s) 1760.39
Current children cumulated vsize (Kb) 239048

[startup+1771.08 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1442920/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=239300 CPUtime=1770.4
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62328 0 0 0 176864 176 0 0 25 0 1 0 201766501 245043200 58881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718426 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 59825 58881 297 55 0 58717 0
Current children cumulated CPU time (s) 1770.4
Current children cumulated vsize (Kb) 239300

[startup+1781.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1441896/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=240356 CPUtime=1780.4
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62579 0 0 0 177864 176 0 0 25 0 1 0 201766501 246124544 59132 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60089 59132 297 55 0 58981 0
Current children cumulated CPU time (s) 1780.4
Current children cumulated vsize (Kb) 240356

[startup+1782.09 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1441576/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=240620 CPUtime=1781.45
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62654 0 0 0 177968 177 0 0 25 0 1 0 201766501 246394880 59207 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541205 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60155 59207 297 55 0 59047 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 240620

[startup+1783.13 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1440936/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=241280 CPUtime=1782.45
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 62819 0 0 0 178068 177 0 0 25 0 1 0 201766501 247070720 59372 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60320 59372 297 55 0 59212 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 241280

[startup+1784.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1440168/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242072 CPUtime=1783.45
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63015 0 0 0 178168 177 0 0 25 0 1 0 201766501 247881728 59568 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60518 59568 297 55 0 59410 0
Current children cumulated CPU time (s) 1783.45
Current children cumulated vsize (Kb) 242072

[startup+1785.14 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439528/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242600 CPUtime=1784.45
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63163 0 0 0 178268 177 0 0 25 0 1 0 201766501 248422400 59716 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60650 59716 297 55 0 59542 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 242600

[startup+1786.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242996 CPUtime=1785.46
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178369 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60749 59801 297 55 0 59641 0
Current children cumulated CPU time (s) 1785.46
Current children cumulated vsize (Kb) 242996

[startup+1787.15 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242996 CPUtime=1786.46
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178469 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60749 59801 297 55 0 59641 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 242996

[startup+1788.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242996 CPUtime=1787.47
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178570 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60749 59801 297 55 0 59641 0
Current children cumulated CPU time (s) 1787.47
Current children cumulated vsize (Kb) 242996

[startup+1789.16 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242996 CPUtime=1788.47
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178670 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529176 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60749 59801 297 55 0 59641 0
Current children cumulated CPU time (s) 1788.47
Current children cumulated vsize (Kb) 242996

[startup+1790.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439208/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242996 CPUtime=1789.47
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63248 0 0 0 178770 177 0 0 25 0 1 0 201766501 248827904 59801 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60749 59801 297 55 0 59641 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 242996

[startup+1791.17 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439144/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=242996 CPUtime=1790.48
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63255 0 0 0 178871 177 0 0 25 0 1 0 201766501 248827904 59808 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60749 59808 297 55 0 59641 0
Current children cumulated CPU time (s) 1790.48
Current children cumulated vsize (Kb) 242996

[startup+1792.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439080/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=243128 CPUtime=1791.48
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63285 0 0 0 178971 177 0 0 25 0 1 0 201766501 248963072 59838 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60782 59838 297 55 0 59674 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 243128

[startup+1793.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439016/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=243128 CPUtime=1792.5
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63293 0 0 0 179072 178 0 0 25 0 1 0 201766501 248963072 59846 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60782 59846 297 55 0 59674 0
Current children cumulated CPU time (s) 1792.5
Current children cumulated vsize (Kb) 243128

[startup+1794.18 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439016/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=243128 CPUtime=1793.5
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63293 0 0 0 179172 178 0 0 25 0 1 0 201766501 248963072 59846 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60782 59846 297 55 0 59674 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (Kb) 243128

[startup+1795.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1439016/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=243260 CPUtime=1794.5
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63295 0 0 0 179272 178 0 0 25 0 1 0 201766501 249098240 59848 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60815 59848 297 55 0 59707 0
Current children cumulated CPU time (s) 1794.5
Current children cumulated vsize (Kb) 243260

[startup+1796.19 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1438952/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=243256 CPUtime=1795.51
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63316 0 0 0 179373 178 0 0 25 0 1 0 201766501 249094144 59869 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60814 59869 297 55 0 59706 0
Current children cumulated CPU time (s) 1795.51
Current children cumulated vsize (Kb) 243256

[startup+1797.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1438760/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=243520 CPUtime=1796.51
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63366 0 0 0 179473 178 0 0 25 0 1 0 201766501 249364480 59919 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534063 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60880 59919 297 55 0 59772 0
Current children cumulated CPU time (s) 1796.51
Current children cumulated vsize (Kb) 243520

[startup+1798.2 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1438568/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=243652 CPUtime=1797.52
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63400 0 0 0 179574 178 0 0 25 0 1 0 201766501 249499648 59953 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 60913 59953 297 55 0 59805 0
Current children cumulated CPU time (s) 1797.52
Current children cumulated vsize (Kb) 243652

[startup+1799.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1438184/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=244048 CPUtime=1798.52
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63504 0 0 0 179674 178 0 0 25 0 1 0 201766501 249905152 60057 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134542172 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 61012 60057 297 55 0 59904 0
Current children cumulated CPU time (s) 1798.52
Current children cumulated vsize (Kb) 244048

[startup+1800.21 s]
/proc/loadavg: 0.99 0.98 0.99 2/64 8949
/proc/meminfo: memFree=1437992/2055920 swapFree=4180876/4192956
[pid=8754] ppid=8752 vsize=244180 CPUtime=1799.52
/proc/8754/stat : 8754 (bsolo) R 8752 8754 8708 0 -1 0 63543 0 0 0 179774 178 0 0 25 0 1 0 201766501 250040320 60096 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/8754/statm: 61045 60096 297 55 0 59937 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (Kb) 244180

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.04
CPU user time (s): 1798.22
CPU system time (s): 1.82472
CPU usage (%): 99.9619
Max. virtual memory (cumulated for all children) (Kb): 244180

Launcher Data (download as text)

Begin job on node59 on Sat Jun  3 18:56:23 UTC 2006


FILE ID= 40043-1149360983

PBS_JOBID= 311507

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

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  96d9927730c8b8baae8e5c668115210d

RANDOM SEED= 140790698


/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.272
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.272
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:       1677984 kB
Buffers:         22228 kB
Cached:         284856 kB
SwapCached:       3744 kB
Active:          47268 kB
Inactive:       268508 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1677984 kB
SwapTotal:     4192956 kB
SwapFree:      4180876 kB
Dirty:             212 kB
Writeback:           0 kB
Mapped:          14732 kB
Slab:            48124 kB
Committed_AS:   353428 kB
PageTables:       1492 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node59 on Sat Jun  3 19:26:24 UTC 2006