Trace number 40096

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/05SAT15360 1800.06 1800.69

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos5.opb
MD5SUM687e90f40c46b53feec9c54ee9b43fa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark15360
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 15360
Optimality of the best value was proved NO
Number of variables163
Total number of constraints73
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)3
Number of constraints which are nor clauses,nor cardinality constraints70
Minimum length of a constraint11
Maximum length of a constraint102
Number of terms in the objective function 163
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 74742
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 8192
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 74742
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data (download as text)

0.08	c Time Limit set via PBTIMEOUT to 1800
0.09	c INFO: OSL Context initialized.
0.11	c Initial problem consists of 163 variables and 73 constraints.
0.12	c Switching on LPR.
0.12	c No problem reductions applied in OPT. instance.
0.12	c	preprocess terminated. Elapsed time: 0.031
0.12	c After prepocess the problem consists of 163 variables and 73 constraints.
0.18	c Initial Lower Bound: 13312
0.33	o 17921
0.33	c NEW SOLUTION FOUND: 17921 @ 0.243
0.51	c Restart #1 #Var: 163 LB: 13312 @ 0.422
0.71	o 16896
0.71	c NEW SOLUTION FOUND: 16896 @ 0.624
0.72	o 16384
0.72	c NEW SOLUTION FOUND: 16384 @ 0.631
0.73	o 15872
0.73	c NEW SOLUTION FOUND: 15872 @ 0.639
0.77	o 15360
0.77	c NEW SOLUTION FOUND: 15360 @ 0.675
2.28	c Restart #2 #Var: 163 LB: 13312 @ 2.191
6.05	c Restart #3 #Var: 163 LB: 13312 @ 5.954
10.79	c Restart #4 #Var: 163 LB: 13312 @ 10.693
18.49	c Restart #5 #Var: 163 LB: 13312 @ 18.392
23.63	c Restart #6 #Var: 163 LB: 13312 @ 23.524
31.34	c Restart #7 #Var: 163 LB: 13312 @ 31.229
37.12	c Restart #8 #Var: 163 LB: 13312 @ 37.006
45.47	c Restart #9 #Var: 163 LB: 13312 @ 45.36
60.80	c Restart #10 #Var: 163 LB: 13312 @ 60.684
72.67	c Restart #11 #Var: 163 LB: 13312 @ 72.548
87.39	c Restart #12 #Var: 163 LB: 13312 @ 87.267
106.04	c Restart #13 #Var: 163 LB: 13312 @ 105.91
129.91	c Restart #14 #Var: 163 LB: 13312 @ 129.77
151.63	c Restart #15 #Var: 163 LB: 13312 @ 151.49
174.31	c Restart #16 #Var: 163 LB: 13312 @ 174.16
199.60	c Restart #17 #Var: 163 LB: 13312 @ 199.44
236.98	c Restart #18 #Var: 163 LB: 13312 @ 236.81
286.52	c Restart #19 #Var: 163 LB: 13312 @ 286.34
333.01	c Restart #20 #Var: 163 LB: 13312 @ 332.82
366.07	c Restart #21 #Var: 163 LB: 13312 @ 365.87
414.83	c Restart #22 #Var: 163 LB: 13312 @ 414.61
484.70	c Restart #23 #Var: 163 LB: 13312 @ 484.46
538.98	c Restart #24 #Var: 163 LB: 13312 @ 538.72
611.95	c Restart #25 #Var: 163 LB: 13312 @ 611.67
691.36	c Restart #26 #Var: 163 LB: 13312 @ 691.05
782.12	c Restart #27 #Var: 163 LB: 13312 @ 781.79
867.10	c Restart #28 #Var: 163 LB: 13312 @ 866.75
947.18	c Restart #29 #Var: 163 LB: 13312 @ 946.8
1056.86	c Restart #30 #Var: 163 LB: 13312 @ 1056.5
1186.76	c Restart #31 #Var: 163 LB: 13312 @ 1186.3
1280.60	c Restart #32 #Var: 163 LB: 13312 @ 1280.1
1367.17	c Restart #33 #Var: 163 LB: 13312 @ 1366.7
1511.56	c Restart #34 #Var: 163 LB: 13312 @ 1511
1671.85	c Restart #35 #Var: 163 LB: 13312 @ 1671.3
1800.65	s SATISFIABLE
1800.65	c Cost: 15360
1800.65	v x1 -x12 -x23 -x34 x45 -x116 -x161 x162 -x163 -x2 -x3 x4 -x5 x6 -x7 -x8 -x9 -x10 x11 -x13 -x14 x15 x16 -x17 x18 -x19 -x20 -x21 -x22
1800.65	v -x24 -x25 -x26 -x27 x28 -x29 x30 -x31 -x32 x33 -x35 x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x46 -x47 -x48 -x49 -x50 -x51 -x52
1800.65	v -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78
1800.65	v -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 x103
1800.65	v -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125
1800.65	v -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146
1800.65	v -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160
1800.65	c Exit Code: 10
1800.65	c Total time: 1800 s

Verifier Data (download as text)

OK	15360

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

Current StackSize limit: 67108864 bytes

/proc/loadavg: 1.00 1.00 0.95 3/67 3134
/proc/meminfo: memFree=1708072/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=2952 CPUtime=0
/proc/3134/stat : 3134 (bsolo) D 3132 3134 3088 0 -1 0 49 0 0 0 0 0 0 0 19 0 1 0 202269215 3022848 34 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11240500 0 0 4096 0 18446744071563611212 0 0 17 1 0 0
/proc/3134/statm: 738 34 26 55 0 38 0

[startup+10.0024 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1701752/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=9080 CPUtime=9.89
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 41029 0 7 0 969 20 0 0 25 0 1 0 202269215 9297920 1597 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11673908 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 2270 1597 429 55 0 1161 0
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 9080

[startup+20.0085 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1699256/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=11808 CPUtime=19.9
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 80859 0 7 0 1952 38 0 0 25 0 1 0 202269215 12091392 2273 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520527 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 2952 2273 429 55 0 1843 0
Current children cumulated CPU time (s) 19.9
Current children cumulated vsize (Kb) 11808

[startup+30.0147 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1695544/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=15528 CPUtime=29.9
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 121646 0 7 0 2932 58 0 0 25 0 1 0 202269215 15900672 3209 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 3882 3209 429 55 0 2773 0
Current children cumulated CPU time (s) 29.9
Current children cumulated vsize (Kb) 15528

[startup+40.0199 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1689912/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=21128 CPUtime=39.9
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 156422 0 7 0 3910 80 0 0 25 0 1 0 202269215 21635072 4609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158535883 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 5282 4609 429 55 0 4173 0
Current children cumulated CPU time (s) 39.9
Current children cumulated vsize (Kb) 21128

[startup+50.026 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1687096/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=24068 CPUtime=49.9
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 193054 0 7 0 4892 98 0 0 25 0 1 0 202269215 24645632 5333 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 6017 5333 429 55 0 4908 0
Current children cumulated CPU time (s) 49.9
Current children cumulated vsize (Kb) 24068

[startup+60.0322 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1685176/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=26232 CPUtime=59.91
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 229867 0 7 0 5875 116 0 0 25 0 1 0 202269215 26861568 5829 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160347468 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 6558 5829 429 55 0 5449 0
Current children cumulated CPU time (s) 59.91
Current children cumulated vsize (Kb) 26232

[startup+70.0383 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1682232/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=29184 CPUtime=69.91
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 261416 0 7 0 6857 134 0 0 25 0 1 0 202269215 29884416 6566 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159255001 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 7296 6566 429 55 0 6187 0
Current children cumulated CPU time (s) 69.91
Current children cumulated vsize (Kb) 29184

[startup+80.0445 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1679672/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=31676 CPUtime=79.91
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 294176 0 7 0 7839 152 0 0 25 0 1 0 202269215 32436224 7194 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11706717 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 7919 7194 429 55 0 6810 0
Current children cumulated CPU time (s) 79.91
Current children cumulated vsize (Kb) 31676

[startup+90.0507 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1675960/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=35112 CPUtime=89.92
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 325939 0 7 0 8820 172 0 0 25 0 1 0 202269215 35954688 8105 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11679101 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 8778 8105 429 55 0 7669 0
Current children cumulated CPU time (s) 89.92
Current children cumulated vsize (Kb) 35112

[startup+100.056 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1673912/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=37288 CPUtime=99.92
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 355320 0 7 0 9801 191 0 0 25 0 1 0 202269215 38182912 8646 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 9312 8636 429 55 0 8203 0
Current children cumulated CPU time (s) 99.92
Current children cumulated vsize (Kb) 37288

[startup+110.062 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1672056/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=39052 CPUtime=109.93
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 385219 0 7 0 10785 208 0 0 25 0 1 0 202269215 39989248 9090 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 9763 9090 429 55 0 8654 0
Current children cumulated CPU time (s) 109.93
Current children cumulated vsize (Kb) 39052

[startup+120.068 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1670648/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=40580 CPUtime=119.93
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 415132 0 7 0 11769 224 0 0 25 0 1 0 202269215 41553920 9438 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4160353475 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 10145 9438 429 55 0 9036 0
Current children cumulated CPU time (s) 119.93
Current children cumulated vsize (Kb) 40580

[startup+130.074 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1668984/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=42004 CPUtime=129.93
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 444391 0 7 0 12753 240 0 0 25 0 1 0 202269215 43012096 9828 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 10501 9828 429 55 0 9392 0
Current children cumulated CPU time (s) 129.93
Current children cumulated vsize (Kb) 42004

[startup+140.08 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1666680/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=44452 CPUtime=139.93
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 469903 0 7 0 13736 257 0 0 25 0 1 0 202269215 45518848 10418 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159301025 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 11113 10418 429 55 0 10004 0
Current children cumulated CPU time (s) 139.93
Current children cumulated vsize (Kb) 44452

[startup+150.087 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1664696/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=46616 CPUtime=149.93
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 496949 0 7 0 14720 273 0 0 25 0 1 0 202269215 47734784 10914 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 11608 10913 429 55 0 10499 0
Current children cumulated CPU time (s) 149.93
Current children cumulated vsize (Kb) 46616

[startup+160.092 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1662520/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=48644 CPUtime=159.94
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 522338 0 7 0 15706 288 0 0 25 0 1 0 202269215 49811456 11461 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 12161 11461 429 55 0 11052 0
Current children cumulated CPU time (s) 159.94
Current children cumulated vsize (Kb) 48644

[startup+170.097 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1659960/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=51216 CPUtime=169.94
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 547014 0 7 0 16691 303 0 0 25 0 1 0 202269215 52445184 12109 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 12804 12109 429 55 0 11695 0
Current children cumulated CPU time (s) 169.94
Current children cumulated vsize (Kb) 51216

[startup+180.103 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1657592/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=53660 CPUtime=179.95
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 569610 0 7 0 17676 319 0 0 25 0 1 0 202269215 54947840 12690 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4159242840 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 13415 12690 429 55 0 12306 0
Current children cumulated CPU time (s) 179.95
Current children cumulated vsize (Kb) 53660

[startup+190.109 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1655288/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=55852 CPUtime=189.95
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 593650 0 7 0 18660 335 0 0 25 0 1 0 202269215 57192448 13268 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 13963 13268 429 55 0 12854 0
Current children cumulated CPU time (s) 189.95
Current children cumulated vsize (Kb) 55852

[startup+200.115 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1652600/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=58492 CPUtime=199.95
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 615441 0 7 0 19648 347 0 0 25 0 1 0 202269215 59895808 13928 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551605 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 14623 13928 429 55 0 13514 0
Current children cumulated CPU time (s) 199.95
Current children cumulated vsize (Kb) 58492

[startup+210.122 s]
/proc/loadavg: 1.00 1.00 0.95 2/67 3134
/proc/meminfo: memFree=1651448/2055888 swapFree=4085404/4096564

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

/proc/3134/statm: 58882 58126 433 55 0 57773 0
Current children cumulated CPU time (s) 1760.42
Current children cumulated vsize (Kb) 235528

[startup+1771.05 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1474296/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=236180 CPUtime=1770.42
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2716343 0 7 0 175448 1594 0 0 25 0 1 0 202269215 241848320 58289 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59045 58289 433 55 0 57936 0
Current children cumulated CPU time (s) 1770.42
Current children cumulated vsize (Kb) 236180

[startup+1781.06 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473720/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=236808 CPUtime=1780.43
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2726005 0 7 0 176442 1601 0 0 25 0 1 0 202269215 242491392 58446 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59202 58446 433 55 0 58093 0
Current children cumulated CPU time (s) 1780.43
Current children cumulated vsize (Kb) 236808

[startup+1782.06 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473656/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=236860 CPUtime=1781.43
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2726966 0 7 0 176542 1601 0 0 25 0 1 0 202269215 242544640 58453 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59215 58453 433 55 0 58106 0
Current children cumulated CPU time (s) 1781.43
Current children cumulated vsize (Kb) 236860

[startup+1783.07 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473592/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=236944 CPUtime=1782.44
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2727957 0 7 0 176642 1602 0 0 25 0 1 0 202269215 242630656 58480 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59236 58480 433 55 0 58127 0
Current children cumulated CPU time (s) 1782.44
Current children cumulated vsize (Kb) 236944

[startup+1784.07 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473464/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237052 CPUtime=1783.44
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2728927 0 7 0 176742 1602 0 0 25 0 1 0 202269215 242741248 58507 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59263 58507 433 55 0 58154 0
Current children cumulated CPU time (s) 1783.44
Current children cumulated vsize (Kb) 237052

[startup+1785.08 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473464/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237088 CPUtime=1784.45
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2729841 0 7 0 176842 1603 0 0 25 0 1 0 202269215 242778112 58516 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59272 58516 433 55 0 58163 0
Current children cumulated CPU time (s) 1784.45
Current children cumulated vsize (Kb) 237088

[startup+1786.08 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473336/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237152 CPUtime=1785.45
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2730824 0 7 0 176942 1603 0 0 25 0 1 0 202269215 242843648 58532 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59288 58532 433 55 0 58179 0
Current children cumulated CPU time (s) 1785.45
Current children cumulated vsize (Kb) 237152

[startup+1787.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473208/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237344 CPUtime=1786.46
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2731550 0 7 0 177042 1604 0 0 25 0 1 0 202269215 243040256 58580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551616 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59336 58580 433 55 0 58227 0
Current children cumulated CPU time (s) 1786.46
Current children cumulated vsize (Kb) 237344

[startup+1788.09 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473208/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237344 CPUtime=1787.46
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2731865 0 7 0 177142 1604 0 0 25 0 1 0 202269215 243040256 58580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59336 58580 433 55 0 58227 0
Current children cumulated CPU time (s) 1787.46
Current children cumulated vsize (Kb) 237344

[startup+1789.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473208/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237344 CPUtime=1788.46
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2732185 0 7 0 177242 1604 0 0 25 0 1 0 202269215 243040256 58580 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134632654 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59336 58580 433 55 0 58227 0
Current children cumulated CPU time (s) 1788.46
Current children cumulated vsize (Kb) 237344

[startup+1790.1 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473144/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237384 CPUtime=1789.47
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2732768 0 7 0 177342 1605 0 0 25 0 1 0 202269215 243081216 58590 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59346 58590 433 55 0 58237 0
Current children cumulated CPU time (s) 1789.47
Current children cumulated vsize (Kb) 237384

[startup+1791.11 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1473080/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237520 CPUtime=1790.47
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2733532 0 7 0 177442 1605 0 0 25 0 1 0 202269215 243220480 58609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59380 58609 433 55 0 58271 0
Current children cumulated CPU time (s) 1790.47
Current children cumulated vsize (Kb) 237520

[startup+1792.11 s]
/proc/loadavg: 1.00 1.00 0.96 3/67 3136
/proc/meminfo: memFree=1472952/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237576 CPUtime=1791.48
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2734199 0 7 0 177542 1606 0 0 25 0 1 0 202269215 243277824 58638 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684361 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59394 58638 433 55 0 58285 0
Current children cumulated CPU time (s) 1791.48
Current children cumulated vsize (Kb) 237576

[startup+1793.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472888/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237936 CPUtime=1792.48
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2735294 0 7 0 177642 1606 0 0 25 0 1 0 202269215 243646464 58670 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 11706717 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59484 58670 433 55 0 58375 0
Current children cumulated CPU time (s) 1792.48
Current children cumulated vsize (Kb) 237936

[startup+1794.12 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472824/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237716 CPUtime=1793.49
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2736316 0 7 0 177742 1607 0 0 25 0 1 0 202269215 243421184 58673 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59429 58673 433 55 0 58320 0
Current children cumulated CPU time (s) 1793.49
Current children cumulated vsize (Kb) 237716

[startup+1795.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472760/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237748 CPUtime=1794.49
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2737271 0 7 0 177842 1607 0 0 25 0 1 0 202269215 243453952 58681 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59437 58681 433 55 0 58328 0
Current children cumulated CPU time (s) 1794.49
Current children cumulated vsize (Kb) 237748

[startup+1796.13 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472760/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237752 CPUtime=1795.5
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2738269 0 7 0 177942 1608 0 0 25 0 1 0 202269215 243458048 58682 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59438 58682 433 55 0 58329 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (Kb) 237752

[startup+1797.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472696/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237832 CPUtime=1796.5
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2739473 0 7 0 178041 1609 0 0 25 0 1 0 202269215 243539968 58699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59458 58699 433 55 0 58349 0
Current children cumulated CPU time (s) 1796.5
Current children cumulated vsize (Kb) 237832

[startup+1798.14 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472568/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237856 CPUtime=1797.5
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2740247 0 7 0 178141 1609 0 0 25 0 1 0 202269215 243564544 58708 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134684758 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59464 58708 433 55 0 58355 0
Current children cumulated CPU time (s) 1797.5
Current children cumulated vsize (Kb) 237856

[startup+1799.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472568/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=237940 CPUtime=1798.51
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2741192 0 7 0 178241 1610 0 0 25 0 1 0 202269215 243650560 58725 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59485 58725 433 55 0 58376 0
Current children cumulated CPU time (s) 1798.51
Current children cumulated vsize (Kb) 237940

[startup+1800.15 s]
/proc/loadavg: 1.00 1.00 0.96 2/67 3136
/proc/meminfo: memFree=1472504/2055888 swapFree=4085404/4096564
[pid=3134] ppid=3132 vsize=238120 CPUtime=1799.51
/proc/3134/stat : 3134 (bsolo) R 3132 3134 3088 0 -1 0 2742137 0 7 0 178341 1610 0 0 25 0 1 0 202269215 243834880 58742 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4158520524 0 0 4096 16384 0 0 0 17 1 0 0
/proc/3134/statm: 59573 58744 433 55 0 58464 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (Kb) 238120

Child status: 10
Real time (s): 1800.69
CPU time (s): 1800.06
CPU user time (s): 1783.91
CPU system time (s): 16.1445
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (Kb): 238120

Launcher Data (download as text)

Begin job on node87 on Sat Jun  3 20:25:01 UTC 2006


FILE ID= 40096-1149366301

PBS_JOBID= 311850

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos5.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/40096-1149366301/instance-40096-1149366301.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node87/watcher-40096-1149366301 -o ROOT/results/node87/solver-40096-1149366301 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node87/40096-1149366301/instance-40096-1149366301.opb

MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8
MD5SUM BENCH=  687e90f40c46b53feec9c54ee9b43fa6

RANDOM SEED= 750439942


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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.234
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5999.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055888 kB
MemFree:       1708216 kB
Buffers:         28016 kB
Cached:         255304 kB
SwapCached:       2348 kB
Active:          51272 kB
Inactive:       240764 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055888 kB
LowFree:       1708216 kB
SwapTotal:     4096564 kB
SwapFree:      4085404 kB
Dirty:             188 kB
Writeback:           0 kB
Mapped:          16760 kB
Slab:            42260 kB
Committed_AS:   302500 kB
PageTables:       1280 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264388 kB
VmallocChunk: 536606243 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node87 on Sat Jun  3 20:55:02 UTC 2006