Trace number 36309

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
Pueblo 1.4SAT258411 1782.74 1783.26

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib/normalized-mps-v2-20-10-p0282.opb
MD5SUM3d08eecd6841b46afc4009161d25bc6a
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark258411
Best CPU time to get the best result obtained on this benchmark1.16982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 258411
Optimality of the best value was proved YES
Number of variables282
Total number of constraints221
Number of constraints which are clauses177
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints44
Minimum length of a constraint2
Maximum length of a constraint57
Number of terms in the objective function 282
Biggest coefficient in the objective function 160646
Number of bits for the biggest coefficient in the objective function 18
Sum of the numbers in the objective function 1302615
Number of bits of the sum of numbers in the objective function 21
Biggest number in a constraint 160646
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 1302615
Number of bits of the biggest sum of numbers21
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.00	c Pueblo version 1.4 (September 2005)
0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00	c  by Hossein Sheini
0.01	c starting to Solve
0.01	c #variables read: 282 - #constraints read: 222
0.01	o 457129
0.01	o 453986
0.01	o 451864
0.01	o 450994
0.01	o 448989
0.01	o 422581
0.01	o 422122
0.01	o 420107
0.01	o 419438
0.01	o 418247
0.01	o 415987
0.01	o 413972
0.02	o 412575
0.02	o 412309
0.02	o 410805
0.02	o 410187
0.02	o 409045
0.02	o 337813
0.02	o 336993
0.02	o 325700
0.02	o 323440
0.02	o 321425
0.02	o 318506
0.02	o 316384
0.16	o 311908
0.16	o 311349
0.16	o 308652
0.16	o 308093
0.16	o 307986
0.16	o 307719
0.16	o 307160
0.17	o 307131
0.19	o 307070
0.19	o 306649
0.19	o 306417
0.20	o 306279
27.05	o 305196
27.06	o 304261
27.06	o 303480
27.06	o 303359
53.51	o 303236
53.51	o 301046
53.52	o 299667
53.52	o 299435
53.52	o 297910
53.52	o 296253
53.52	o 296164
53.52	o 295997
53.52	o 295994
53.52	o 295772
53.52	o 295605
53.52	o 295243
53.52	o 295011
53.52	o 291999
53.53	o 291938
53.54	o 291935
53.54	o 291904
53.54	o 291864
53.54	o 291861
53.54	o 291686
53.55	o 291546
53.55	o 291543
53.55	o 291512
53.55	o 291509
53.55	o 291403
53.55	o 291400
53.56	o 291314
53.56	o 291311
53.56	o 291136
53.56	o 291133
53.59	o 291111
53.59	o 290900
53.59	o 290897
53.60	o 290821
53.60	o 290732
53.60	o 290554
53.62	o 290502
53.63	o 290392
53.63	o 290234
53.64	o 290050
53.64	o 290017
53.65	o 289928
53.65	o 289921
53.65	o 289743
53.71	o 289386
53.72	o 289353
53.72	o 289139
53.72	o 289061
53.72	o 288868
53.72	o 288829
53.72	o 288636
53.73	o 288481
53.78	o 288382
53.78	o 288363
53.80	o 288216
53.80	o 287958
53.81	o 287763
53.81	o 287681
53.82	o 287647
53.82	o 287549
53.83	o 287371
53.85	o 287259
53.86	o 287171
53.86	o 286992
53.86	o 286875
53.88	o 286861
53.89	o 286790
53.90	o 286629
53.96	o 286503
53.97	o 286490
53.97	o 286456
53.97	o 286422
53.98	o 286312
53.98	o 286258
53.99	o 286141
53.99	o 286128
53.99	o 286094
54.00	o 286048
54.00	o 286044
54.00	o 285883
54.00	o 285734
54.01	o 285675
54.01	o 285672
54.01	o 285547
54.01	o 285544
54.02	o 285387
54.08	o 285285
54.09	o 285282
54.09	o 285268
54.09	o 285265
54.09	o 285107
54.09	o 285104
54.17	o 284987
54.17	o 284948
54.17	o 284914
54.18	o 284897
54.18	o 284736
54.21	o 284585
54.21	o 284538
54.21	o 284504
54.22	o 284467
54.22	o 284382
54.23	o 284353
54.24	o 284243
54.24	o 284213
54.24	o 284196
54.25	o 284183
54.25	o 284065
54.25	o 284011
54.26	o 283981
54.26	o 283964
54.26	o 283951
54.26	o 283833
54.27	o 283803
54.54	o 283692
54.58	o 283647
54.58	o 283617
54.60	o 283554
54.60	o 283524
54.60	o 283500
54.61	o 283470
54.61	o 283453
54.61	o 283322
54.61	o 283292
54.71	o 283181
54.72	o 283088
54.72	o 283058
54.72	o 283054
54.73	o 283034
54.73	o 283004
54.73	o 282987
54.73	o 282979
54.74	o 282856
54.74	o 282826
54.83	o 282752
54.83	o 282725
54.83	o 282695
54.84	o 282691
54.84	o 282649
54.84	o 282454
54.84	o 282367
54.85	o 282325
54.85	o 282295
54.86	o 282290
54.86	o 282260
54.86	o 282243
54.86	o 282112
54.86	o 282082
54.87	o 281957
54.87	o 281938
54.87	o 281917
54.91	o 281795
54.92	o 281516
54.92	o 281511
54.92	o 281503
54.92	o 281486
54.93	o 281469
54.93	o 281338
54.94	o 281331
54.94	o 281200
54.94	o 281170
54.97	o 281065
54.98	o 281043
54.99	o 280912
55.00	o 280882
55.01	o 280877
55.01	o 280865
55.01	o 280734
55.01	o 280704
1430.38	o 277351
1430.38	o 277068
1430.38	o 276827
1430.38	o 276595
1430.38	o 270971
1430.38	o 268077
1430.38	o 267836
1430.39	o 267639
1430.39	o 267398
1430.39	o 267296
1430.39	o 267055
1430.39	o 267039
1430.39	o 266813
1430.39	o 266711
1430.39	o 266470
1430.39	o 266454
1430.40	o 266238
1430.40	o 266222
1481.53	o 263102
1481.53	o 262887
1481.53	o 262870
1481.53	o 262655
1541.00	o 262550
1541.11	o 261822
1541.13	o 261805
1541.14	o 261766
1541.14	o 261749
1541.14	o 261551
1541.14	o 261534
1541.15	o 261152
1541.15	o 260920
1541.15	o 260904
1541.15	o 260567
1541.15	o 260335
1541.15	o 260319
1541.16	o 260054
1541.16	o 259822
1541.16	o 259607
1541.16	o 259525
1541.16	o 259293
1541.16	o 259237
1541.16	o 259022
1541.17	o 258969
1541.17	o 258955
1541.17	o 258723
1541.17	o 258626
1541.17	o 258411
1783.16	c total time              : 1783 s
1783.16	s SATISFIABLE
1783.16	v -x1 -x2 -x3 x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28
1783.16	v -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54
1783.16	v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80
1783.16	v -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 x104 -x105
1783.16	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1783.16	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1783.16	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1783.16	v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1783.16	v -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1783.16	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 -x231
1783.16	v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253
1783.16	v -x254 x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275
1783.16	v x276 x277 x278 -x279 -x280 x281 x282

Verifier Data (download as text)

OK	258411

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/node64/watcher-36309-1149322600 -o ROOT/results/node64/solver-36309-1149322600 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node64/36309-1149322600/instance-36309-1149322600.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.67 0.92 0.97 2/64 4250
/proc/meminfo: memFree=1485336/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=2280 CPUtime=0
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 162 0 0 0 0 0 0 0 18 0 1 0 34251235 2334720 134 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4160437072 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 570 144 122 16 0 11 0

[startup+10.0013 s]
/proc/loadavg: 0.72 0.92 0.97 2/64 4250
/proc/meminfo: memFree=1484464/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3224 CPUtime=9.99
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 448 0 0 0 961 38 0 0 25 0 1 0 34251235 3301376 419 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 806 419 205 16 0 247 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 3224

[startup+20.0072 s]
/proc/loadavg: 0.77 0.92 0.97 2/64 4250
/proc/meminfo: memFree=1484400/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3356 CPUtime=20
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 476 0 0 0 1939 61 0 0 25 0 1 0 34251235 3436544 447 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 839 447 205 16 0 280 0
Current children cumulated CPU time (s) 20
Current children cumulated vsize (Kb) 3356

[startup+30.0131 s]
/proc/loadavg: 0.80 0.92 0.97 2/64 4250
/proc/meminfo: memFree=1484336/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3488 CPUtime=30
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 500 0 0 0 2919 81 0 0 25 0 1 0 34251235 3571712 471 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 872 471 205 16 0 313 0
Current children cumulated CPU time (s) 30
Current children cumulated vsize (Kb) 3488

[startup+40.019 s]
/proc/loadavg: 0.83 0.93 0.97 2/64 4250
/proc/meminfo: memFree=1484272/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3620 CPUtime=40
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 533 0 0 0 3907 93 0 0 25 0 1 0 34251235 3706880 504 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 905 504 205 16 0 346 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 3620

[startup+50.0249 s]
/proc/loadavg: 0.86 0.93 0.97 2/64 4250
/proc/meminfo: memFree=1484272/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3620 CPUtime=50
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 534 0 0 0 4875 125 0 0 25 0 1 0 34251235 3706880 505 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 905 505 205 16 0 346 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 3620

[startup+60.0307 s]
/proc/loadavg: 0.88 0.93 0.97 2/64 4250
/proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3884 CPUtime=60.01
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 5849 152 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527726 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 971 572 205 16 0 412 0
Current children cumulated CPU time (s) 60.01
Current children cumulated vsize (Kb) 3884

[startup+70.0366 s]
/proc/loadavg: 0.90 0.93 0.97 2/64 4250
/proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3884 CPUtime=70.01
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 6830 171 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 971 572 205 16 0 412 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 3884

[startup+80.0425 s]
/proc/loadavg: 0.91 0.93 0.97 2/64 4250
/proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3884 CPUtime=80.01
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 7820 181 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 971 572 205 16 0 412 0
Current children cumulated CPU time (s) 80.01
Current children cumulated vsize (Kb) 3884

[startup+90.0484 s]
/proc/loadavg: 0.92 0.94 0.97 2/64 4250
/proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3884 CPUtime=90.01
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 8812 189 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 971 572 205 16 0 412 0
Current children cumulated CPU time (s) 90.01
Current children cumulated vsize (Kb) 3884

[startup+100.054 s]
/proc/loadavg: 0.94 0.94 0.97 2/64 4250
/proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3884 CPUtime=100.02
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 601 0 0 0 9806 196 0 0 25 0 1 0 34251235 3977216 572 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 971 572 205 16 0 412 0
Current children cumulated CPU time (s) 100.02
Current children cumulated vsize (Kb) 3884

[startup+110.06 s]
/proc/loadavg: 0.95 0.94 0.97 2/64 4250
/proc/meminfo: memFree=1484016/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=3884 CPUtime=110.02
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 607 0 0 0 10799 203 0 0 25 0 1 0 34251235 3977216 578 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 971 578 205 16 0 412 0
Current children cumulated CPU time (s) 110.02
Current children cumulated vsize (Kb) 3884

[startup+120.067 s]
/proc/loadavg: 0.95 0.94 0.97 2/64 4250
/proc/meminfo: memFree=1483952/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4012 CPUtime=120.03
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 627 0 0 0 11793 210 0 0 25 0 1 0 34251235 4108288 598 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1003 598 205 16 0 444 0
Current children cumulated CPU time (s) 120.03
Current children cumulated vsize (Kb) 4012

[startup+130.073 s]
/proc/loadavg: 0.96 0.94 0.97 2/64 4250
/proc/meminfo: memFree=1483824/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4140 CPUtime=130.03
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 668 0 0 0 12783 220 0 0 25 0 1 0 34251235 4239360 639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1035 639 205 16 0 476 0
Current children cumulated CPU time (s) 130.03
Current children cumulated vsize (Kb) 4140

[startup+140.079 s]
/proc/loadavg: 0.97 0.94 0.97 2/64 4250
/proc/meminfo: memFree=1483824/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4140 CPUtime=140.03
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 668 0 0 0 13773 230 0 0 25 0 1 0 34251235 4239360 639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134517911 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1035 639 205 16 0 476 0
Current children cumulated CPU time (s) 140.03
Current children cumulated vsize (Kb) 4140

[startup+150.085 s]
/proc/loadavg: 0.97 0.94 0.97 2/64 4250
/proc/meminfo: memFree=1483824/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4140 CPUtime=150.04
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 668 0 0 0 14765 239 0 0 25 0 1 0 34251235 4239360 639 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1035 639 205 16 0 476 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (Kb) 4140

[startup+160.091 s]
/proc/loadavg: 0.97 0.95 0.97 2/64 4250
/proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4268 CPUtime=160.05
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 702 0 0 0 15761 244 0 0 25 0 1 0 34251235 4370432 673 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1067 673 205 16 0 508 0
Current children cumulated CPU time (s) 160.05
Current children cumulated vsize (Kb) 4268

[startup+170.096 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 4250
/proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4268 CPUtime=170.05
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 704 0 0 0 16756 249 0 0 25 0 1 0 34251235 4370432 675 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1067 675 205 16 0 508 0
Current children cumulated CPU time (s) 170.05
Current children cumulated vsize (Kb) 4268

[startup+180.103 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 4250
/proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4268 CPUtime=180.05
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 706 0 0 0 17752 253 0 0 25 0 1 0 34251235 4370432 677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1067 677 205 16 0 508 0
Current children cumulated CPU time (s) 180.05
Current children cumulated vsize (Kb) 4268

[startup+190.109 s]
/proc/loadavg: 0.98 0.95 0.97 2/64 4250
/proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4268 CPUtime=190.05
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 706 0 0 0 18745 260 0 0 25 0 1 0 34251235 4370432 677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1067 677 205 16 0 508 0
Current children cumulated CPU time (s) 190.05
Current children cumulated vsize (Kb) 4268

[startup+200.115 s]
/proc/loadavg: 0.99 0.95 0.97 2/64 4250
/proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=4268 CPUtime=200.06
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 706 0 0 0 19738 268 0 0 25 0 1 0 34251235 4370432 677 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1067 677 205 16 0 508 0
Current children cumulated CPU time (s) 200.06
Current children cumulated vsize (Kb) 4268

[startup+210.121 s]
/proc/loadavg: 0.99 0.95 0.97 2/64 4250
/proc/meminfo: memFree=1483632/2055920 swapFree=4192036/4192956

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

/proc/4250/statm: 1333 956 205 16 0 774 0
Current children cumulated CPU time (s) 1590.54
Current children cumulated vsize (Kb) 5332

[startup+1600.93 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482416/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5332 CPUtime=1600.54
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 989 0 0 0 158200 1854 0 0 25 0 1 0 34251235 5459968 956 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1333 956 205 16 0 774 0
Current children cumulated CPU time (s) 1600.54
Current children cumulated vsize (Kb) 5332

[startup+1610.94 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482416/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1610.54
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 998 0 0 0 159184 1870 0 0 25 0 1 0 34251235 5595136 965 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 965 205 16 0 807 0
Current children cumulated CPU time (s) 1610.54
Current children cumulated vsize (Kb) 5464

[startup+1620.94 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1620.54
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 160173 1881 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1620.54
Current children cumulated vsize (Kb) 5464

[startup+1630.95 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1630.55
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 161161 1894 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1630.55
Current children cumulated vsize (Kb) 5464

[startup+1640.96 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1640.56
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 162149 1907 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1640.56
Current children cumulated vsize (Kb) 5464

[startup+1650.96 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1650.56
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 163139 1917 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1650.56
Current children cumulated vsize (Kb) 5464

[startup+1660.97 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1660.56
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 164127 1929 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1660.56
Current children cumulated vsize (Kb) 5464

[startup+1670.97 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1670.56
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 165112 1944 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1670.56
Current children cumulated vsize (Kb) 5464

[startup+1680.98 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1680.57
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 166098 1959 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1680.57
Current children cumulated vsize (Kb) 5464

[startup+1690.99 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482352/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1690.57
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1005 0 0 0 167084 1973 0 0 25 0 1 0 34251235 5595136 972 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 972 205 16 0 807 0
Current children cumulated CPU time (s) 1690.57
Current children cumulated vsize (Kb) 5464

[startup+1700.99 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1700.57
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1011 0 0 0 168076 1981 0 0 25 0 1 0 34251235 5595136 978 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 978 205 16 0 807 0
Current children cumulated CPU time (s) 1700.57
Current children cumulated vsize (Kb) 5464

[startup+1711 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1710.58
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1013 0 0 0 169068 1990 0 0 25 0 1 0 34251235 5595136 980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527818 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 980 205 16 0 807 0
Current children cumulated CPU time (s) 1710.58
Current children cumulated vsize (Kb) 5464

[startup+1721 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5464 CPUtime=1720.59
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1013 0 0 0 170058 2001 0 0 25 0 1 0 34251235 5595136 980 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1366 980 205 16 0 807 0
Current children cumulated CPU time (s) 1720.59
Current children cumulated vsize (Kb) 5464

[startup+1731.01 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5580 CPUtime=1730.58
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 171048 2010 0 0 25 0 1 0 34251235 5713920 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1395 990 205 16 0 836 0
Current children cumulated CPU time (s) 1730.58
Current children cumulated vsize (Kb) 5580

[startup+1741.02 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5572 CPUtime=1740.59
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 172032 2027 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1393 990 205 16 0 834 0
Current children cumulated CPU time (s) 1740.59
Current children cumulated vsize (Kb) 5572

[startup+1751.02 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5572 CPUtime=1750.59
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 173017 2042 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1393 990 205 16 0 834 0
Current children cumulated CPU time (s) 1750.59
Current children cumulated vsize (Kb) 5572

[startup+1761.03 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5572 CPUtime=1760.59
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 174005 2054 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1393 990 205 16 0 834 0
Current children cumulated CPU time (s) 1760.59
Current children cumulated vsize (Kb) 5572

[startup+1771.03 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5572 CPUtime=1770.6
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 174996 2064 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1393 990 205 16 0 834 0
Current children cumulated CPU time (s) 1770.6
Current children cumulated vsize (Kb) 5572

[startup+1781.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5572 CPUtime=1780.6
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 175984 2076 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1393 990 205 16 0 834 0
Current children cumulated CPU time (s) 1780.6
Current children cumulated vsize (Kb) 5572

[startup+1782.04 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5572 CPUtime=1781.6
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 176083 2077 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527925 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1393 990 205 16 0 834 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (Kb) 5572

[startup+1783.05 s]
/proc/loadavg: 0.99 0.97 0.97 2/64 4250
/proc/meminfo: memFree=1482288/2055920 swapFree=4192036/4192956
[pid=4250] ppid=4248 vsize=5572 CPUtime=1782.62
/proc/4250/stat : 4250 (Pueblo) R 4248 4250 4204 0 -1 4194304 1023 0 0 0 176183 2079 0 0 25 0 1 0 34251235 5705728 990 18446744073709551615 134512640 134579096 4294956688 18446744073709551615 134527547 0 0 4096 0 0 0 0 17 1 0 0
/proc/4250/statm: 1393 990 205 16 0 834 0
Current children cumulated CPU time (s) 1782.62
Current children cumulated vsize (Kb) 5572

Child status: 10
Real time (s): 1783.26
CPU time (s): 1782.74
CPU user time (s): 1761.94
CPU system time (s): 20.7938
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (Kb): 5580

Launcher Data (download as text)

Begin job on node64 on Sat Jun  3 08:16:40 UTC 2006


FILE ID= 36309-1149322600

PBS_JOBID= 309447

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0282.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node64/36309-1149322600/instance-36309-1149322600.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node64/watcher-36309-1149322600 -o ROOT/results/node64/solver-36309-1149322600 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo ROOT/tmp/node64/36309-1149322600/instance-36309-1149322600.opb

MD5SUM SOLVER= 80c24de60e85bc4a9ec18ca4764e7dff
MD5SUM BENCH=  3d08eecd6841b46afc4009161d25bc6a

RANDOM SEED= 982035799


/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.219
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.219
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:       1485544 kB
Buffers:         31004 kB
Cached:         461484 kB
SwapCached:        444 kB
Active:          50440 kB
Inactive:       456120 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1485544 kB
SwapTotal:     4192956 kB
SwapFree:      4192036 kB
Dirty:             180 kB
Writeback:           0 kB
Mapped:          23736 kB
Slab:            49792 kB
Committed_AS:   254428 kB
PageTables:       1480 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node64 on Sat Jun  3 08:46:23 UTC 2006