Trace number 37684

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.3SAT104028 1782.73 1783.32

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb
MD5SUMd35dbcd7bf8957c732cac3ff25f67cb4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark104028
Best CPU time to get the best result obtained on this benchmark1.20482
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 104028
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 64659
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524436
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 64659
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 524436
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

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 184000
0.01	o 182735
0.01	o 181881
0.01	o 181531
0.01	o 180724
0.01	o 170096
0.01	o 169911
0.01	o 169100
0.01	o 168831
0.01	o 168353
0.01	o 167443
0.02	o 166632
0.02	o 166069
0.02	o 165962
0.02	o 165356
0.02	o 165108
0.02	o 164648
0.02	o 135981
0.02	o 135651
0.02	o 131106
0.02	o 130196
0.02	o 129385
0.02	o 128208
0.03	o 127354
0.06	o 124743
0.06	o 124013
0.06	o 123699
0.06	o 123605
0.06	o 123526
0.06	o 122485
0.06	o 122268
0.06	o 120082
0.06	o 119865
0.07	o 119693
0.07	o 119476
0.07	o 119392
0.07	o 119300
0.07	o 119267
0.07	o 118221
0.07	o 117504
0.08	o 117347
0.08	o 117115
0.08	o 117051
0.08	o 116958
0.08	o 116894
0.08	o 116882
0.09	o 116880
0.09	o 116832
0.09	o 116820
0.09	o 116818
0.10	o 116801
0.11	o 116788
0.12	o 116763
0.12	o 116726
0.13	o 116723
0.15	o 116720
0.16	o 116667
0.17	o 116619
0.18	o 116579
0.18	o 116518
0.18	o 116500
0.19	o 116446
0.19	o 116432
0.19	o 116369
0.20	o 116368
0.20	o 116354
0.20	o 116291
0.25	o 116242
0.25	o 116237
0.25	o 116228
0.25	o 116165
0.27	o 116162
0.28	o 116143
0.28	o 116129
0.28	o 116092
0.28	o 115990
0.29	o 115973
0.30	o 115959
0.30	o 115947
0.30	o 115916
0.31	o 115880
0.31	o 115868
0.32	o 115853
0.32	o 115805
0.33	o 115803
0.34	o 115795
0.34	o 115743
0.35	o 115731
83.04	o 115723
83.05	o 115699
83.05	o 115621
83.05	o 115606
83.05	o 115528
83.06	o 115485
83.06	o 115447
83.07	o 115443
83.07	o 115432
83.07	o 115354
83.07	o 115335
83.08	o 115324
83.08	o 115270
83.08	o 115192
83.08	o 115188
83.08	o 115177
83.08	o 115099
83.09	o 115061
83.09	o 115057
83.09	o 115046
83.09	o 115035
83.09	o 115031
83.10	o 115020
83.10	o 114942
83.10	o 114904
83.11	o 114900
83.11	o 114889
83.11	o 114811
83.13	o 114806
83.13	o 114769
83.14	o 114731
83.14	o 114701
83.14	o 114690
83.14	o 114612
83.17	o 114574
83.17	o 114559
83.17	o 114481
83.19	o 114470
83.19	o 114427
83.19	o 114389
83.19	o 114366
83.19	o 114323
83.20	o 114245
83.20	o 114207
83.20	o 114203
83.21	o 114182
83.21	o 114114
83.22	o 114088
83.22	o 114050
83.22	o 114046
83.23	o 114035
83.23	o 113957
173.84	o 113931
173.90	o 113930
173.90	o 113925
173.90	o 113911
173.91	o 113893
173.91	o 113888
173.91	o 113874
173.91	o 113866
173.91	o 113863
173.91	o 113833
173.91	o 113819
173.91	o 113811
173.91	o 113807
173.92	o 113799
174.00	o 113797
174.02	o 113796
174.03	o 113781
174.03	o 113741
174.03	o 113729
174.06	o 113725
174.07	o 113707
174.07	o 113702
174.07	o 113700
174.07	o 113670
174.07	o 113668
174.07	o 113638
174.07	o 113637
174.07	o 113631
174.07	o 113629
174.08	o 113604
174.09	o 113590
174.09	o 113588
174.09	o 113582
174.09	o 113580
174.09	o 113577
174.09	o 113574
174.09	o 113572
174.09	o 113550
174.10	o 113540
174.10	o 113538
174.10	o 113508
174.11	o 113506
174.12	o 113500
174.12	o 113498
174.13	o 113476
174.14	o 113436
174.14	o 113434
174.14	o 113428
174.14	o 113409
174.14	o 113407
174.15	o 113369
174.15	o 113367
174.17	o 113344
174.17	o 113341
174.17	o 113339
174.18	o 113317
174.18	o 113315
174.18	o 113285
174.18	o 113283
174.18	o 113277
174.18	o 113275
174.22	o 113235
174.24	o 113208
174.25	o 113202
174.25	o 113172
174.26	o 113138
174.26	o 113108
174.26	o 113100
174.26	o 113069
174.27	o 113047
174.27	o 113015
174.27	o 113007
305.29	o 112475
305.30	o 110876
305.30	o 110700
305.30	o 110587
305.30	o 110562
305.30	o 110449
305.30	o 109147
305.30	o 109034
305.30	o 109009
305.30	o 108896
305.30	o 108780
305.30	o 108760
305.30	o 108735
305.30	o 108622
305.30	o 108529
305.31	o 108525
305.31	o 108457
305.31	o 108420
305.31	o 108327
305.31	o 108323
305.31	o 108230
305.31	o 108181
305.31	o 107375
305.31	o 107307
305.31	o 107237
305.31	o 107214
305.32	o 107144
305.32	o 107076
305.32	o 107072
305.32	o 107047
305.32	o 106979
305.32	o 106942
305.33	o 106849
305.33	o 106845
305.33	o 106752
305.33	o 106703
305.35	o 106658
305.35	o 106578
305.35	o 106570
305.35	o 106485
305.35	o 105920
305.35	o 105883
305.36	o 104332
305.36	o 104293
305.36	o 104285
305.36	o 104259
305.36	o 104251
305.36	o 104166
305.36	o 104154
305.37	o 104147
305.37	o 104121
305.37	o 104113
305.37	o 104028
1783.31	c total time              : 1783 s
1783.31	s SATISFIABLE
1783.31	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.31	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.31	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.31	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.31	v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126
1783.31	v -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147
1783.31	v -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168
1783.31	v -x169 x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189
1783.31	v -x190 -x191 x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210
1783.31	v -x211 -x212 -x213 -x214 -x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 x224 -x225 x226 -x227 -x228 -x229 -x230 -x231
1783.31	v -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 -x253
1783.31	v -x254 x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 x274 -x275
1783.31	v x276 x277 x278 -x279 -x280 x281 x282

Verifier Data (download as text)

OK	104028

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/node68/watcher-37684-1149346925 -o ROOT/results/node68/solver-37684-1149346925 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37684-1149346925/instance-37684-1149346925.opb 

Current StackSize limit: 67108864 bytes

/proc/loadavg: 0.80 0.95 0.96 2/64 22711
/proc/meminfo: memFree=1586640/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=172 CPUtime=0
/proc/22711/stat : 22711 (Pueblo13) D 22709 22711 22665 0 -1 4194304 38 0 0 0 0 0 0 0 19 0 1 0 200362017 176128 23 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 10515236 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/22711/statm: 43 23 18 16 0 2 0

[startup+10.0027 s]
/proc/loadavg: 0.83 0.95 0.96 2/64 22711
/proc/meminfo: memFree=1585896/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3080 CPUtime=9.99
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 411 0 0 0 915 84 0 0 25 0 1 0 200362017 3153920 382 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 770 382 205 16 0 211 0
Current children cumulated CPU time (s) 9.99
Current children cumulated vsize (Kb) 3080

[startup+20.0084 s]
/proc/loadavg: 0.86 0.95 0.96 2/64 22711
/proc/meminfo: memFree=1585896/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3080 CPUtime=19.99
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 419 0 0 0 1869 130 0 0 25 0 1 0 200362017 3153920 390 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 770 390 205 16 0 211 0
Current children cumulated CPU time (s) 19.99
Current children cumulated vsize (Kb) 3080

[startup+30.0141 s]
/proc/loadavg: 0.88 0.95 0.96 2/64 22711
/proc/meminfo: memFree=1585832/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3196 CPUtime=29.99
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 430 0 0 0 2847 152 0 0 25 0 1 0 200362017 3272704 401 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 799 401 205 16 0 240 0
Current children cumulated CPU time (s) 29.99
Current children cumulated vsize (Kb) 3196

[startup+40.0199 s]
/proc/loadavg: 0.90 0.95 0.96 2/64 22711
/proc/meminfo: memFree=1585832/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3196 CPUtime=40
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 433 0 0 0 3811 189 0 0 25 0 1 0 200362017 3272704 404 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 799 404 205 16 0 240 0
Current children cumulated CPU time (s) 40
Current children cumulated vsize (Kb) 3196

[startup+50.0256 s]
/proc/loadavg: 0.91 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585768/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3196 CPUtime=50
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 450 0 0 0 4788 212 0 0 25 0 1 0 200362017 3272704 421 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 799 421 205 16 0 240 0
Current children cumulated CPU time (s) 50
Current children cumulated vsize (Kb) 3196

[startup+60.0313 s]
/proc/loadavg: 0.92 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585704/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3300 CPUtime=60
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 459 0 0 0 5767 233 0 0 25 0 1 0 200362017 3379200 430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 825 430 205 16 0 266 0
Current children cumulated CPU time (s) 60
Current children cumulated vsize (Kb) 3300

[startup+70.037 s]
/proc/loadavg: 0.94 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585704/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3300 CPUtime=70.01
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 459 0 0 0 6745 256 0 0 25 0 1 0 200362017 3379200 430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 825 430 205 16 0 266 0
Current children cumulated CPU time (s) 70.01
Current children cumulated vsize (Kb) 3300

[startup+80.0427 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585704/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3300 CPUtime=80
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 459 0 0 0 7711 289 0 0 25 0 1 0 200362017 3379200 430 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 825 430 205 16 0 266 0
Current children cumulated CPU time (s) 80
Current children cumulated vsize (Kb) 3300

[startup+90.0485 s]
/proc/loadavg: 0.95 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3560 CPUtime=90
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 521 0 0 0 8686 314 0 0 25 0 1 0 200362017 3645440 492 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 890 492 205 16 0 331 0
Current children cumulated CPU time (s) 90
Current children cumulated vsize (Kb) 3560

[startup+100.054 s]
/proc/loadavg: 0.96 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3560 CPUtime=100.01
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 524 0 0 0 9663 338 0 0 25 0 1 0 200362017 3645440 495 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 890 495 205 16 0 331 0
Current children cumulated CPU time (s) 100.01
Current children cumulated vsize (Kb) 3560

[startup+110.06 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3560 CPUtime=110.01
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 525 0 0 0 10643 358 0 0 25 0 1 0 200362017 3645440 496 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 890 496 205 16 0 331 0
Current children cumulated CPU time (s) 110.01
Current children cumulated vsize (Kb) 3560

[startup+120.066 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585448/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3560 CPUtime=120.02
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 527 0 0 0 11622 380 0 0 25 0 1 0 200362017 3645440 498 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 890 498 205 16 0 331 0
Current children cumulated CPU time (s) 120.02
Current children cumulated vsize (Kb) 3560

[startup+130.071 s]
/proc/loadavg: 0.97 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585320/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3668 CPUtime=130.01
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 555 0 0 0 12602 399 0 0 25 0 1 0 200362017 3756032 526 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 917 526 205 16 0 358 0
Current children cumulated CPU time (s) 130.01
Current children cumulated vsize (Kb) 3668

[startup+140.077 s]
/proc/loadavg: 0.98 0.96 0.96 2/64 22711
/proc/meminfo: memFree=1585320/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3668 CPUtime=140.02
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 556 0 0 0 13585 417 0 0 25 0 1 0 200362017 3756032 527 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 917 527 205 16 0 358 0
Current children cumulated CPU time (s) 140.02
Current children cumulated vsize (Kb) 3668

[startup+150.083 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1585320/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3668 CPUtime=150.02
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 558 0 0 0 14568 434 0 0 25 0 1 0 200362017 3756032 529 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 917 529 205 16 0 358 0
Current children cumulated CPU time (s) 150.02
Current children cumulated vsize (Kb) 3668

[startup+160.089 s]
/proc/loadavg: 0.98 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1585256/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3668 CPUtime=160.03
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 560 0 0 0 15553 450 0 0 25 0 1 0 200362017 3756032 531 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 917 531 205 16 0 358 0
Current children cumulated CPU time (s) 160.03
Current children cumulated vsize (Kb) 3668

[startup+170.094 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1585256/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3668 CPUtime=170.02
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 562 0 0 0 16530 472 0 0 25 0 1 0 200362017 3756032 533 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 917 533 205 16 0 358 0
Current children cumulated CPU time (s) 170.02
Current children cumulated vsize (Kb) 3668

[startup+180.1 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1585192/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3768 CPUtime=180.03
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 573 0 0 0 17498 505 0 0 25 0 1 0 200362017 3858432 544 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 942 544 205 16 0 383 0
Current children cumulated CPU time (s) 180.03
Current children cumulated vsize (Kb) 3768

[startup+190.106 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1585128/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3896 CPUtime=190.03
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 602 0 0 0 18457 546 0 0 25 0 1 0 200362017 3989504 573 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 974 573 205 16 0 415 0
Current children cumulated CPU time (s) 190.03
Current children cumulated vsize (Kb) 3896

[startup+200.111 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1585064/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=3896 CPUtime=200.03
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 606 0 0 0 19417 586 0 0 25 0 1 0 200362017 3989504 577 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 974 577 205 16 0 415 0
Current children cumulated CPU time (s) 200.03
Current children cumulated vsize (Kb) 3896

[startup+210.118 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1585064/2055920 swapFree=4182304/4192956

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

/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1590.39
Current children cumulated vsize (Kb) 4724

[startup+1600.93 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1584040/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1600.4
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 156698 3342 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1600.4
Current children cumulated vsize (Kb) 4724

[startup+1610.93 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1610.4
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 157681 3359 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1610.4
Current children cumulated vsize (Kb) 4724

[startup+1620.94 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1620.41
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 158666 3375 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1620.41
Current children cumulated vsize (Kb) 4724

[startup+1630.95 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1630.41
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 159652 3389 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1630.41
Current children cumulated vsize (Kb) 4724

[startup+1640.95 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1640.4
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 160634 3406 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1640.4
Current children cumulated vsize (Kb) 4724

[startup+1650.96 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1650.41
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 161617 3424 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1650.41
Current children cumulated vsize (Kb) 4724

[startup+1660.96 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1660.42
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 162599 3443 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1660.42
Current children cumulated vsize (Kb) 4724

[startup+1670.97 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1670.42
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 163584 3458 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1670.42
Current children cumulated vsize (Kb) 4724

[startup+1680.98 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1680.42
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 164568 3474 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1680.42
Current children cumulated vsize (Kb) 4724

[startup+1690.98 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1690.42
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 165551 3491 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 134565319 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1690.42
Current children cumulated vsize (Kb) 4724

[startup+1700.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1700.43
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 166537 3506 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1700.43
Current children cumulated vsize (Kb) 4724

[startup+1710.99 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1710.42
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 167521 3521 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1710.42
Current children cumulated vsize (Kb) 4724

[startup+1721 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1720.43
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 168507 3536 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1720.43
Current children cumulated vsize (Kb) 4724

[startup+1731 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1730.43
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 169492 3551 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1730.43
Current children cumulated vsize (Kb) 4724

[startup+1741.01 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1740.44
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 170478 3566 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1740.44
Current children cumulated vsize (Kb) 4724

[startup+1751.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1750.44
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 171464 3580 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1750.44
Current children cumulated vsize (Kb) 4724

[startup+1761.02 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1760.44
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 172452 3592 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1760.44
Current children cumulated vsize (Kb) 4724

[startup+1771.03 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1770.44
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 173438 3606 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1770.44
Current children cumulated vsize (Kb) 4724

[startup+1781.03 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1780.44
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 174420 3624 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1780.44
Current children cumulated vsize (Kb) 4724

[startup+1782.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1781.45
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 174519 3626 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1781.45
Current children cumulated vsize (Kb) 4724

[startup+1783.04 s]
/proc/loadavg: 0.99 0.97 0.96 2/64 22711
/proc/meminfo: memFree=1583976/2055920 swapFree=4182304/4192956
[pid=22711] ppid=22709 vsize=4724 CPUtime=1782.45
/proc/22711/stat : 22711 (Pueblo13) R 22709 22711 22665 0 -1 4194304 832 0 0 0 174617 3628 0 0 25 0 1 0 200362017 4837376 803 18446744073709551615 134512640 134579064 4294956672 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/22711/statm: 1181 803 205 16 0 622 0
Current children cumulated CPU time (s) 1782.45
Current children cumulated vsize (Kb) 4724

Child status: 10
Real time (s): 1783.32
CPU time (s): 1782.73
CPU user time (s): 1746.44
CPU system time (s): 36.2885
CPU usage (%): 99.9672
Max. virtual memory (cumulated for all children) (Kb): 4732

Launcher Data (download as text)

Begin job on node68 on Sat Jun  3 15:02:05 UTC 2006


FILE ID= 37684-1149346925

PBS_JOBID= 310747

BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib/normalized-reduced-mps-v2-20-10-p0282.opb
COMMAND LINE= ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37684-1149346925/instance-37684-1149346925.opb
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node68/watcher-37684-1149346925 -o ROOT/results/node68/solver-37684-1149346925 -C 1800 -M 1800 -S 64  ROOT/solvers/PB/PB06final/user8/Pueblo13 ROOT/tmp/node68/37684-1149346925/instance-37684-1149346925.opb

MD5SUM SOLVER= b45add8200bccdf53727749bff226bd1
MD5SUM BENCH=  d35dbcd7bf8957c732cac3ff25f67cb4

RANDOM SEED= 777081327


/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.279
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.279
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:       1586848 kB
Buffers:         10752 kB
Cached:         396440 kB
SwapCached:       2168 kB
Active:          72628 kB
Inactive:       343108 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1586848 kB
SwapTotal:     4192956 kB
SwapFree:      4182304 kB
Dirty:             172 kB
Writeback:           0 kB
Mapped:          15504 kB
Slab:            39392 kB
Committed_AS:   342716 kB
PageTables:       1400 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB


End job on node68 on Sat Jun  3 15:31:48 UTC 2006