Trace number 363109

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.4SAT113007 1782.74 1783.53

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.19382
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/0.00	c Pueblo version 1.4 (September 2005)
0.00/0.00	c Developed @ University of Michigan, Ann Arbor, MI
0.00/0.00	c  by Hossein Sheini
0.00/0.01	c starting to Solve
0.00/0.01	c #variables read: 282 - #constraints read: 222
0.00/0.01	o 184000
0.00/0.01	o 182735
0.00/0.01	o 181881
0.00/0.01	o 181531
0.00/0.01	o 180724
0.00/0.01	o 170096
0.00/0.01	o 169911
0.00/0.01	o 169100
0.00/0.01	o 168831
0.00/0.01	o 168353
0.00/0.01	o 167443
0.00/0.01	o 166632
0.00/0.01	o 166069
0.00/0.01	o 165962
0.00/0.01	o 165356
0.00/0.02	o 165108
0.00/0.02	o 164648
0.00/0.02	o 135981
0.00/0.02	o 135651
0.00/0.02	o 131106
0.00/0.02	o 130196
0.00/0.02	o 129385
0.00/0.02	o 128208
0.00/0.02	o 127354
11.09/11.10	o 127017
11.09/11.10	o 126710
11.09/11.10	o 126617
11.09/11.10	o 123949
11.09/11.11	o 123856
11.09/11.11	o 123713
11.09/11.11	o 123620
11.09/11.11	o 122771
11.09/11.11	o 122564
11.09/11.11	o 122473
11.09/11.11	o 122471
11.09/11.11	o 122408
11.09/11.11	o 122265
11.09/11.11	o 122237
11.09/11.11	o 122235
11.09/11.11	o 122172
11.09/11.11	o 121789
11.09/11.11	o 121696
11.09/11.12	o 121166
11.09/11.12	o 121073
19.28/19.30	o 120835
19.28/19.31	o 120789
19.28/19.31	o 120759
19.28/19.31	o 120602
19.28/19.31	o 120594
19.28/19.32	o 120572
19.28/19.32	o 120568
19.28/19.32	o 120536
19.28/19.32	o 120528
19.28/19.32	o 120489
19.28/19.33	o 120457
19.28/19.33	o 120449
19.28/19.33	o 120417
19.28/19.33	o 120385
19.28/19.33	o 120381
19.28/19.33	o 120373
19.28/19.33	o 120356
19.28/19.33	o 120341
19.28/19.33	o 120309
19.28/19.34	o 120304
19.28/19.34	o 120272
19.28/19.34	o 120257
19.28/19.34	o 120225
19.28/19.34	o 119975
19.28/19.35	o 119899
19.28/19.35	o 119885
19.28/19.35	o 119853
19.28/19.35	o 119774
19.28/19.36	o 119766
19.28/19.36	o 119702
19.28/19.36	o 119694
19.28/19.38	o 119662
19.28/19.38	o 119614
19.28/19.38	o 119606
19.28/19.38	o 119495
19.28/19.38	o 119463
19.28/19.38	o 119391
19.28/19.38	o 119334
19.28/19.39	o 119326
19.28/19.39	o 119277
19.28/19.39	o 119269
19.28/19.39	o 119241
19.28/19.39	o 119233
19.28/19.39	o 119169
19.28/19.40	o 119161
19.38/19.40	o 119154
19.38/19.40	o 119093
19.38/19.40	o 119085
19.38/19.41	o 118974
19.38/19.41	o 118967
19.38/19.41	o 118856
19.38/19.43	o 118807
19.38/19.43	o 118792
19.38/19.43	o 118720
19.38/19.44	o 118670
19.38/19.45	o 118652
19.38/19.45	o 118585
19.38/19.45	o 118575
19.38/19.46	o 118503
19.38/19.46	o 118480
19.48/19.51	o 118469
19.48/19.52	o 118461
19.48/19.55	o 118458
19.48/19.55	o 118452
19.48/19.55	o 118393
19.48/19.56	o 118385
19.48/19.56	o 118358
19.48/19.56	o 118307
19.48/19.56	o 118286
19.48/19.56	o 118000
19.48/19.56	o 117671
19.48/19.57	o 117663
19.48/19.57	o 117655
19.48/19.57	o 117599
19.48/19.57	o 117559
19.48/19.57	o 117518
19.48/19.58	o 117510
19.48/19.58	o 117502
19.48/19.58	o 117478
19.48/19.58	o 117438
19.48/19.58	o 117386
19.48/19.59	o 117286
19.59/19.64	o 117245
19.59/19.65	o 117205
19.59/19.65	o 117197
19.59/19.66	o 117189
19.59/19.66	o 117137
19.59/19.67	o 117097
19.59/19.67	o 117089
19.59/19.68	o 117033
19.59/19.68	o 116997
19.59/19.69	o 116923
19.59/19.70	o 116914
19.69/19.73	o 116912
19.69/19.73	o 116904
19.69/19.73	o 116845
19.69/19.73	o 116837
19.69/19.74	o 116781
19.69/19.74	o 116623
19.79/19.84	o 116584
19.79/19.85	o 116566
19.79/19.86	o 116562
19.79/19.86	o 116558
19.79/19.86	o 116554
19.79/19.87	o 116536
19.79/19.87	o 116532
19.79/19.89	o 116477
19.79/19.89	o 116473
19.79/19.89	o 116469
19.79/19.89	o 116465
19.88/19.91	o 116464
19.88/19.91	o 116462
19.88/19.91	o 116459
19.88/19.91	o 116455
19.88/19.92	o 116427
19.88/19.92	o 116426
19.88/19.92	o 116422
19.88/19.93	o 116418
19.88/19.93	o 116414
19.88/19.93	o 116391
19.88/19.94	o 116389
19.88/19.95	o 116387
19.88/19.95	o 116383
19.88/19.95	o 116351
19.88/19.96	o 116347
20.08/20.15	o 116346
20.08/20.15	o 116336
20.08/20.15	o 116306
20.08/20.19	o 116277
20.08/20.19	o 116275
20.08/20.19	o 116273
20.18/20.25	o 116264
20.18/20.25	o 116218
20.18/20.28	o 116216
20.18/20.28	o 116214
20.18/20.28	o 116210
20.28/20.31	o 116199
20.28/20.38	o 116195
20.28/20.38	o 116191
20.28/20.39	o 116188
20.28/20.39	o 116174
20.28/20.40	o 116170
20.38/20.40	o 116160
20.38/20.40	o 116152
20.38/20.40	o 116148
20.38/20.40	o 116138
20.38/20.40	o 116130
20.38/20.40	o 116126
20.38/20.41	o 116116
20.38/20.41	o 116112
20.38/20.41	o 116098
20.38/20.42	o 116093
20.38/20.43	o 116085
20.38/20.44	o 116081
20.38/20.44	o 116071
20.38/20.44	o 116063
20.38/20.44	o 116059
20.38/20.46	o 116055
20.38/20.46	o 116018
20.38/20.47	o 116015
20.38/20.48	o 116010
20.38/20.48	o 115978
20.38/20.49	o 115951
20.38/20.49	o 115943
20.38/20.49	o 115911
20.38/20.49	o 115907
20.47/20.50	o 115879
20.47/20.50	o 115875
20.47/20.50	o 115871
20.47/20.50	o 115867
20.47/20.51	o 115803
20.47/20.51	o 115755
20.47/20.52	o 115751
20.47/20.52	o 115747
20.47/20.52	o 115743
20.47/20.53	o 115740
20.47/20.53	o 115739
20.47/20.53	o 115735
20.47/20.53	o 115731
20.47/20.54	o 115712
20.47/20.54	o 115708
20.47/20.54	o 115704
20.47/20.55	o 115700
20.47/20.55	o 115696
20.47/20.55	o 115672
20.67/20.72	o 115618
20.67/20.73	o 115615
20.67/20.73	o 115559
20.67/20.73	o 115551
20.67/20.76	o 115538
20.67/20.76	o 115510
20.67/20.79	o 115472
20.67/20.80	o 115470
20.67/20.80	o 115462
20.67/20.80	o 115406
20.79/20.80	o 115400
20.79/20.81	o 115379
20.79/20.81	o 115371
20.79/20.81	o 115315
20.79/20.83	o 115307
20.79/20.83	o 115277
20.79/20.83	o 115269
20.79/20.84	o 115248
20.79/20.86	o 115242
20.79/20.86	o 115234
20.79/20.87	o 115231
20.79/20.87	o 115223
20.79/20.88	o 115195
20.79/20.88	o 115174
20.79/20.89	o 115169
20.79/20.89	o 115167
20.79/20.89	o 115125
20.79/20.89	o 115117
20.79/20.89	o 115111
20.79/20.89	o 115103
20.98/21.02	o 115101
20.98/21.02	o 115100
20.98/21.02	o 115092
20.98/21.02	o 115087
20.98/21.03	o 115085
20.98/21.03	o 115043
20.98/21.04	o 115035
20.98/21.06	o 115031
20.98/21.06	o 115029
20.98/21.08	o 114973
20.98/21.08	o 114944
20.98/21.08	o 114937
21.07/21.10	o 114919
21.07/21.10	o 114911
21.07/21.10	o 114881
21.07/21.10	o 114852
21.07/21.11	o 114844
21.07/21.11	o 114820
21.07/21.11	o 114780
21.17/21.22	o 114718
21.17/21.24	o 114645
21.17/21.24	o 114637
21.17/21.24	o 114618
21.17/21.25	o 114592
21.17/21.25	o 114552
21.17/21.25	o 114546
21.17/21.25	o 114538
21.17/21.25	o 114531
21.17/21.25	o 114523
21.17/21.25	o 114499
21.17/21.26	o 114497
21.17/21.26	o 114489
21.17/21.27	o 114488
21.17/21.27	o 114485
21.17/21.28	o 114478
21.17/21.29	o 114461
21.17/21.29	o 114421
21.27/21.30	o 114413
21.27/21.31	o 114395
21.27/21.31	o 114387
21.27/21.31	o 114357
21.27/21.31	o 114336
21.27/21.32	o 114328
21.27/21.32	o 114320
21.27/21.32	o 114296
21.27/21.32	o 114256
22.08/22.12	o 114224
22.08/22.14	o 114119
22.08/22.14	o 113962
22.08/22.14	o 113831
22.18/22.27	o 113819
22.18/22.28	o 113817
22.18/22.28	o 113809
22.28/22.30	o 113802
22.28/22.30	o 113801
22.28/22.30	o 113789
22.28/22.30	o 113784
22.28/22.30	o 113782
22.28/22.31	o 113774
22.28/22.31	o 113764
22.28/22.31	o 113752
22.28/22.31	o 113744
22.28/22.31	o 113736
22.28/22.31	o 113724
22.28/22.31	o 113716
22.28/22.32	o 113712
22.28/22.32	o 113706
22.28/22.33	o 113698
22.28/22.33	o 113690
22.28/22.33	o 113678
22.28/22.33	o 113666
22.28/22.33	o 113646
22.28/22.33	o 113634
22.28/22.33	o 113626
22.28/22.34	o 113613
22.28/22.36	o 113591
22.28/22.37	o 113571
22.28/22.37	o 113557
22.28/22.38	o 113531
22.38/22.42	o 113529
22.38/22.42	o 113521
22.38/22.43	o 113497
22.38/22.44	o 113489
22.38/22.44	o 113481
22.38/22.44	o 113437
22.38/22.45	o 113436
22.38/22.45	o 113428
22.38/22.46	o 113427
22.38/22.47	o 113426
22.38/22.47	o 113418
22.38/22.47	o 113410
22.38/22.47	o 113366
22.38/22.48	o 113346
22.38/22.48	o 113334
22.38/22.48	o 113326
22.38/22.50	o 113308
22.47/22.50	o 113296
22.47/22.55	o 113288
22.47/22.55	o 113287
22.47/22.55	o 113275
22.47/22.55	o 113267
22.47/22.55	o 113259
22.47/22.56	o 113215
22.47/22.56	o 113203
22.47/22.56	o 113195
22.57/22.64	o 113158
22.57/22.65	o 113119
22.57/22.66	o 113091
22.57/22.66	o 113089
22.57/22.66	o 113077
22.57/22.67	o 113069
22.57/22.67	o 113027
22.57/22.67	o 113015
22.57/22.67	o 113007
1782.66/1783.45	c total time              : 1783 s
1782.66/1783.45	s SATISFIABLE
1782.66/1783.45	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
1782.66/1783.45	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
1782.66/1783.45	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
1782.66/1783.45	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 -x106
1782.66/1783.45	v -x107 -x108 -x109 -x110 -x111 x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1782.66/1783.45	v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148
1782.66/1783.45	v -x149 -x150 -x151 -x152 -x153 -x154 x155 x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 x164 -x165 -x166 -x167 -x168 -x169
1782.66/1783.45	v -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190
1782.66/1783.45	v -x191 x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 x200 -x201 -x202 -x203 -x204 x205 -x206 x207 x208 -x209 -x210 -x211 -x212
1782.66/1783.45	v x213 -x214 x215 x216 -x217 -x218 -x219 -x220 -x221 -x222 x223 x224 x225 x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1782.66/1783.45	v -x235 -x236 -x237 -x238 -x239 x240 -x241 x242 x243 x244 x245 -x246 x247 -x248 x249 -x250 -x251 x252 x253 -x254 x255 -x256 x257
1782.66/1783.45	v x258 -x259 -x260 x261 -x262 x263 x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 x273 x274 -x275 -x276 x277 -x278 -x279
1782.66/1783.45	v -x280 -x281 x282

Verifier Data (download as text)

OK	113007

Conversion Script Data (download as text)

/tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb is already a linear file

Watcher Data (download as text)

runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node20/watcher-363109-1177023013 -o ROOT/results/node20/solver-363109-1177023013 -C 1800 -W 3600 -M 1800 --output-limit 1,15 Pueblo /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.12 1.07 1.01 3/77 3392
/proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=2552 CPUtime=0
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 260 0 0 0 0 0 0 0 18 0 1 0 150218642 2613248 230 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 8085207 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 638 230 193 16 0 77 0

[startup+0.081122 s]
/proc/loadavg: 1.12 1.07 1.01 3/77 3392
/proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=2820 CPUtime=0.07
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 331 0 0 0 7 0 0 0 18 0 1 0 150218642 2887680 301 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 705 301 205 16 0 144 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 2820

[startup+0.101125 s]
/proc/loadavg: 1.12 1.07 1.01 3/77 3392
/proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=2820 CPUtime=0.09
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 336 0 0 0 9 0 0 0 18 0 1 0 150218642 2887680 306 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 705 306 205 16 0 144 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2820

[startup+0.301164 s]
/proc/loadavg: 1.12 1.07 1.01 3/77 3392
/proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=2820 CPUtime=0.28
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 351 0 0 0 28 0 0 0 19 0 1 0 150218642 2887680 321 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 705 321 205 16 0 144 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2820

[startup+0.701245 s]
/proc/loadavg: 1.12 1.07 1.01 3/77 3392
/proc/meminfo: memFree=1843120/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=2952 CPUtime=0.69
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 366 0 0 0 67 2 0 0 23 0 1 0 150218642 3022848 336 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 738 336 205 16 0 177 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 2952

[startup+1.50141 s]
/proc/loadavg: 1.12 1.07 1.01 2/78 3393
/proc/meminfo: memFree=1842472/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=2952 CPUtime=1.49
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 391 0 0 0 146 3 0 0 25 0 1 0 150218642 3022848 361 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 738 361 205 16 0 177 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 2952

[startup+3.10173 s]
/proc/loadavg: 1.12 1.07 1.01 2/78 3393
/proc/meminfo: memFree=1842280/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=3080 CPUtime=3.09
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 404 0 0 0 300 9 0 0 25 0 1 0 150218642 3153920 374 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 770 374 205 16 0 209 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 3080

[startup+6.30137 s]
/proc/loadavg: 1.11 1.07 1.01 2/78 3393
/proc/meminfo: memFree=1842160/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=3080 CPUtime=6.28
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 424 0 0 0 610 18 0 0 25 0 1 0 150218642 3153920 394 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 770 394 205 16 0 209 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 3080

[startup+12.7017 s]
/proc/loadavg: 1.10 1.07 1.01 2/78 3393
/proc/meminfo: memFree=1841976/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=3200 CPUtime=12.68
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 444 0 0 0 1230 38 0 0 25 0 1 0 150218642 3276800 414 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 800 414 205 16 0 239 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 3200

[startup+25.5012 s]
/proc/loadavg: 1.08 1.06 1.01 2/78 3393
/proc/meminfo: memFree=1841144/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=3980 CPUtime=25.48
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 649 0 0 0 2464 84 0 0 25 0 1 0 150218642 4075520 619 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 995 619 205 16 0 434 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3980

[startup+51.1014 s]
/proc/loadavg: 1.05 1.06 1.01 2/78 3393
/proc/meminfo: memFree=1841144/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=3980 CPUtime=51.07
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 649 0 0 0 4979 128 0 0 25 0 1 0 150218642 4075520 619 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527824 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 995 619 205 16 0 434 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 3980

[startup+102.306 s]
/proc/loadavg: 1.02 1.05 1.00 2/78 3393
/proc/meminfo: memFree=1841016/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4240 CPUtime=102.25
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 692 0 0 0 10036 189 0 0 25 0 1 0 150218642 4341760 662 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1060 662 205 16 0 499 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 4240

[startup+162.302 s]
/proc/loadavg: 1.01 1.04 1.00 2/78 3393
/proc/meminfo: memFree=1840760/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4480 CPUtime=162.23
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 752 0 0 0 15950 273 0 0 25 0 1 0 150218642 4587520 722 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1120 722 205 16 0 559 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 4480

[startup+222.302 s]
/proc/loadavg: 1.00 1.03 1.00 2/78 3393
/proc/meminfo: memFree=1840696/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4480 CPUtime=222.21
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 760 0 0 0 21822 399 0 0 25 0 1 0 150218642 4587520 730 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1120 730 205 16 0 559 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 4480

[startup+282.302 s]
/proc/loadavg: 1.00 1.02 1.00 2/78 3393
/proc/meminfo: memFree=1840504/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4736 CPUtime=282.18
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 815 0 0 0 27709 509 0 0 25 0 1 0 150218642 4849664 785 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1184 785 205 16 0 623 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 4736

[startup+342.303 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 3393
/proc/meminfo: memFree=1840440/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4736 CPUtime=342.17
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 834 0 0 0 33597 620 0 0 25 0 1 0 150218642 4849664 804 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 134527753 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1184 804 205 16 0 623 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 4736

[startup+402.302 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 3393
/proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4840 CPUtime=402.15
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 39342 873 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1210 822 205 16 0 649 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 4840

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3393
/proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4840 CPUtime=462.12
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 45000 1212 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1210 822 205 16 0 649 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 4840

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3393
/proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4840 CPUtime=522.1
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 50685 1525 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1210 822 205 16 0 649 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 4840

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3393
/proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4840 CPUtime=582.08
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 56337 1871 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1210 822 205 16 0 649 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 4840

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3393
/proc/meminfo: memFree=1840376/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=4840 CPUtime=642.06
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 852 0 0 0 62031 2175 0 0 25 0 1 0 150218642 4956160 822 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1210 822 205 16 0 649 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 4840


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

/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5264 CPUtime=821.9
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 957 0 0 0 79738 2452 0 0 25 0 1 0 150218642 5390336 927 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1316 927 205 16 0 755 0
Current children cumulated CPU time (s) 821.9
Current children cumulated vsize (KiB) 5264

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=881.89
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 85656 2533 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 881.89
Current children cumulated vsize (KiB) 5380

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=941.86
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 91521 2665 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 5380

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1001.84
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 97422 2762 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 5380

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1061.82
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 103351 2831 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 5380

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1121.8
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 109217 2963 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 5380

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1181.78
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 115139 3039 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 5380

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839608/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1241.76
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 121079 3097 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 5380

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839544/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1301.74
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 127026 3148 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 5380

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839544/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1361.71
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 132957 3214 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 5380

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839480/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5380 CPUtime=1421.7
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 983 0 0 0 138900 3270 0 0 25 0 1 0 150218642 5509120 953 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1345 953 205 16 0 784 0
Current children cumulated CPU time (s) 1421.7
Current children cumulated vsize (KiB) 5380

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1839032/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5820 CPUtime=1481.67
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1097 0 0 0 144832 3335 0 0 25 0 1 0 150218642 5959680 1067 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1455 1067 205 16 0 894 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 5820

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5928 CPUtime=1541.65
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 150766 3399 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1482 1081 205 16 0 921 0
Current children cumulated CPU time (s) 1541.65
Current children cumulated vsize (KiB) 5928

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5928 CPUtime=1601.63
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 156565 3598 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1482 1081 205 16 0 921 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 5928

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5928 CPUtime=1661.61
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 162460 3701 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1482 1081 205 16 0 921 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 5928

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1838968/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5928 CPUtime=1721.58
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 168395 3763 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1482 1081 205 16 0 921 0
Current children cumulated CPU time (s) 1721.58
Current children cumulated vsize (KiB) 5928

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1838840/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5928 CPUtime=1781.56
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 174311 3845 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1482 1081 205 16 0 921 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 5928

Solver just ended. Dumping a history of the last processes samples

[startup+1783.11 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1838840/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=5928 CPUtime=1782.37
/proc/3392/stat : 3392 (Pueblo) R 3390 3392 2396 0 -1 4194304 1111 0 0 0 174390 3847 0 0 25 0 1 0 150218642 6070272 1081 18446744073709551615 134512640 134579096 4294956704 18446744073709551615 4294960144 0 0 4096 0 0 0 0 17 1 0 0
/proc/3392/statm: 1482 1081 205 16 0 921 0
Current children cumulated CPU time (s) 1782.37
Current children cumulated vsize (KiB) 5928

[startup+1783.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 3591
/proc/meminfo: memFree=1838840/2055920 swapFree=4155228/4192956
[pid=3392] ppid=3390 vsize=0 CPUtime=1782.73
/proc/3392/stat : 3392 (Pueblo) D 3390 3392 2396 0 -1 4194308 1128 0 0 0 174425 3848 0 0 25 0 1 0 150218642 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 0 18446744072100051646 0 0 17 1 0 0
/proc/3392/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1782.73
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 1783.53
CPU time (s): 1782.74
CPU user time (s): 1744.25
CPU system time (s): 38.4811
CPU usage (%): 99.9557
Max. virtual memory (cumulated for all children) (KiB): 5940

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1744.25
system time used= 38.4811
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1128
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 35699

runsolver used 1.90771 second user time and 4.06738 second system time

The end

Launcher Data (download as text)

Begin job on node20 on Thu Apr 19 22:50:13 UTC 2007

IDJOB= 363109
IDBENCH= 1736
IDSOLVER= 165
FILE ID= node20/363109-1177023013

PBS_JOBID= 4630581

Free space on /tmp= 66455 MiB

SOLVER NAME= Pueblo 1.4
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= Pueblo /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb
CONVERSION COMMAND LINE= runsolver -w ROOT/results/node20/convwatcher-363109-1177023013 -o ROOT/results/node20/conversion-363109-1177023013 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb
CONVERSION RUNSOLVER STATUS CODE= 0
CONVERSION STATUS CODE= 0

RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node20/watcher-363109-1177023013 -o ROOT/results/node20/solver-363109-1177023013 -C 1800 -W 3600 -M 1800 --output-limit 1,15  Pueblo /tmp/evaluation/363109-1177023013/instance-363109-1177023013.opb

META MD5SUM SOLVER= 9ebec3e8d890fdeefad01654ad9b68b7
MD5SUM BENCH=  d35dbcd7bf8957c732cac3ff25f67cb4

RANDOM SEED= 448773173

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node20.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

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

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


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1843528 kB
Buffers:         27172 kB
Cached:         101804 kB
SwapCached:      16068 kB
Active:          72048 kB
Inactive:        80400 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1843528 kB
SwapTotal:     4192956 kB
SwapFree:      4155228 kB
Dirty:            2316 kB
Writeback:           0 kB
Mapped:          30516 kB
Slab:            45536 kB
Committed_AS:  1906460 kB
PageTables:       1748 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66455 MiB

End job on node20 on Thu Apr 19 23:19:57 UTC 2007