Trace number 357066

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
oree 0.1.2 alphaSAT (TO)224 1800.24 1800.98

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
MD5SUM9cfc9eabeae08d1064da7d7b87db93a4
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark185
Best CPU time to get the best result obtained on this benchmark1800.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 185
Optimality of the best value was proved NO
Number of variables473
Total number of constraints473
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints473
Minimum length of a constraint4
Maximum length of a constraint18
Number of terms in the objective function 473
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 473
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 473
Number of bits of the biggest sum of numbers9
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 This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.01	c ...done
0.00/0.01	c #vars=473 #constraints=474 hasObjective=yes
0.00/0.02	c res. mode=mod
0.00/0.02	c VSIDS like heuristics
0.00/0.02	c complete search running
0.00/0.02	c nbDecision=247 #constraints=474
0.00/0.02	c linear search for optimum
0.00/0.02	o 226
0.00/0.09	c restart after 401 decisions
0.09/0.10	c nbDecision=500 #constraints=519
0.09/0.12	c nbDecision=692 #constraints=526
0.09/0.12	o 225
0.09/0.16	c restart after 801 decisions
0.09/0.17	c nbDecision=1000 #constraints=555
0.39/0.40	c nbDecision=1500 #constraints=680
0.39/0.47	c restart after 1601 decisions
0.49/0.57	c nbDecision=2000 #constraints=745
0.79/0.85	c nbDecision=2500 #constraints=874
1.19/1.23	c nbDecision=3000 #constraints=1032
1.39/1.42	c restart after 3201 decisions
1.59/1.60	c nbDecision=3500 #constraints=1138
2.10/2.18	c nbDecision=4000 #constraints=1328
2.59/2.64	c nbDecision=4500 #constraints=1461
3.09/3.19	c nbDecision=5000 #constraints=1601
3.59/3.65	c nbDecision=5500 #constraints=1704
4.29/4.32	c nbDecision=6000 #constraints=1857
4.99/5.02	c restart after 6401 decisions
5.19/5.21	c nbDecision=6500 #constraints=2007
5.99/6.09	c nbDecision=7000 #constraints=2148
6.99/7.06	c nbDecision=7500 #constraints=2314
7.70/7.71	c nbDecision=8000 #constraints=2452
8.59/8.63	c nbDecision=8500 #constraints=2639
9.69/9.79	c nbDecision=9000 #constraints=2827
10.69/10.75	c nbDecision=9500 #constraints=2969
11.89/11.98	c nbDecision=10000 #constraints=3145
13.69/13.75	c nbDecision=10500 #constraints=3347
15.39/15.41	c nbDecision=11000 #constraints=3507
17.69/17.79	c nbDecision=11500 #constraints=3722
19.79/19.83	c nbDecision=12000 #constraints=3893
22.08/22.18	c nbDecision=12500 #constraints=4080
22.99/23.01	c restart after 12801 decisions
23.89/23.95	c nbDecision=13000 #constraints=4160
25.38/25.45	c nbDecision=13500 #constraints=4297
26.78/26.89	c nbDecision=14000 #constraints=4425
28.48/28.56	c nbDecision=14500 #constraints=4567
30.38/30.47	c nbDecision=15000 #constraints=4724
32.38/32.44	c nbDecision=15500 #constraints=4870
34.88/34.94	c nbDecision=16000 #constraints=5044
37.48/37.51	c nbDecision=16500 #constraints=5167
40.68/40.74	c nbDecision=17000 #constraints=5329
43.67/43.73	c nbDecision=17500 #constraints=5477
46.48/46.51	c nbDecision=18000 #constraints=5606
50.38/50.41	c nbDecision=18500 #constraints=5784
53.47/53.56	c nbDecision=19000 #constraints=5943
56.87/56.96	c nbDecision=19500 #constraints=6109
60.86/60.95	c nbDecision=20000 #constraints=6296
65.27/65.32	c nbDecision=20500 #constraints=6460
68.57/68.69	c nbDecision=21000 #constraints=6596
71.66/71.78	c nbDecision=21500 #constraints=6725
75.46/75.50	c nbDecision=22000 #constraints=6887
78.96/79.04	c nbDecision=22500 #constraints=7021
82.06/82.12	c nbDecision=23000 #constraints=7130
85.96/86.03	c nbDecision=23500 #constraints=7280
89.65/89.71	c nbDecision=24000 #constraints=7406
92.95/93.01	c nbDecision=24500 #constraints=7512
97.16/97.23	c nbDecision=25000 #constraints=7668
100.95/101.01	c nbDecision=25500 #constraints=7796
101.55/101.60	c restart after 25601 decisions
104.85/104.97	c nbDecision=26000 #constraints=7875
108.85/108.90	c nbDecision=26500 #constraints=8022
112.85/112.95	c nbDecision=27000 #constraints=8172
117.25/117.36	c nbDecision=27500 #constraints=8307
121.95/122.09	c nbDecision=28000 #constraints=8448
126.34/126.42	c nbDecision=28500 #constraints=8587
129.54/129.66	c nbDecision=29000 #constraints=8706
133.34/133.46	c nbDecision=29500 #constraints=8832
137.44/137.51	c nbDecision=30000 #constraints=8954
142.44/142.58	c nbDecision=30500 #constraints=9073
147.24/147.31	c nbDecision=31000 #constraints=9182
152.24/152.36	c nbDecision=31500 #constraints=9300
157.24/157.33	c nbDecision=32000 #constraints=9430
162.53/162.63	c nbDecision=32500 #constraints=9542
167.33/167.47	c nbDecision=33000 #constraints=9656
172.33/172.40	c nbDecision=33500 #constraints=9774
178.12/178.21	c nbDecision=34000 #constraints=9943
186.33/186.41	c nbDecision=34500 #constraints=10190
193.02/193.12	c nbDecision=35000 #constraints=10374
200.02/200.12	c nbDecision=35500 #constraints=10565
208.62/208.75	c nbDecision=36000 #constraints=10800
215.11/215.20	c nbDecision=36500 #constraints=10968
222.61/222.70	c nbDecision=37000 #constraints=11168
231.81/231.90	c nbDecision=37500 #constraints=11401
238.70/238.85	c nbDecision=38000 #constraints=11572
246.30/246.44	c nbDecision=38500 #constraints=11762
256.00/256.19	c nbDecision=39000 #constraints=11994
262.70/262.89	c nbDecision=39500 #constraints=12167
269.20/269.31	c nbDecision=40000 #constraints=12351
276.09/276.29	c nbDecision=40500 #constraints=12531
284.39/284.58	c nbDecision=41000 #constraints=12711
293.28/293.47	c nbDecision=41500 #constraints=12888
302.38/302.59	c nbDecision=42000 #constraints=13064
312.08/312.21	c nbDecision=42500 #constraints=13242
321.67/321.89	c nbDecision=43000 #constraints=13423
328.97/329.10	c nbDecision=43500 #constraints=13558
337.57/337.78	c nbDecision=44000 #constraints=13710
346.57/346.74	c nbDecision=44500 #constraints=13870
354.56/354.79	c nbDecision=45000 #constraints=14002
363.76/363.94	c nbDecision=45500 #constraints=14162
372.35/372.50	c nbDecision=46000 #constraints=14308
381.05/381.21	c nbDecision=46500 #constraints=14452
390.26/390.40	c nbDecision=47000 #constraints=14606
397.95/398.16	c nbDecision=47500 #constraints=14739
405.14/405.32	c nbDecision=48000 #constraints=14873
414.04/414.24	c nbDecision=48500 #constraints=15005
422.63/422.89	c nbDecision=49000 #constraints=15121
431.73/431.91	c nbDecision=49500 #constraints=15241
439.93/440.17	c nbDecision=50000 #constraints=15348
448.53/448.73	c nbDecision=50500 #constraints=15483
457.22/457.49	c nbDecision=51000 #constraints=15647
462.02/462.27	c restart after 51201 decisions
467.72/467.99	c nbDecision=51500 #constraints=15763
478.52/478.78	c nbDecision=52000 #constraints=15967
490.91/491.11	c nbDecision=52500 #constraints=16187
502.71/502.97	c nbDecision=53000 #constraints=16403
511.50/511.75	c nbDecision=53500 #constraints=16564
511.60/511.83	c nbDecision=53520 #constraints=16564
511.60/511.83	o 224
518.40/518.60	c nbDecision=54000 #constraints=16707
527.20/527.44	c nbDecision=54500 #constraints=16880
536.29/536.53	c nbDecision=55000 #constraints=17054
548.39/548.68	c nbDecision=55500 #constraints=17297
560.29/560.55	c nbDecision=56000 #constraints=17523
568.68/568.94	c nbDecision=56500 #constraints=17707
581.88/582.13	c nbDecision=57000 #constraints=17943
595.67/595.95	c nbDecision=57500 #constraints=18166
607.57/607.86	c nbDecision=58000 #constraints=18367
617.06/617.38	c nbDecision=58500 #constraints=18544
623.76/624.07	c nbDecision=59000 #constraints=18677
634.76/635.07	c nbDecision=59500 #constraints=18861
645.66/645.91	c nbDecision=60000 #constraints=19042
663.35/663.69	c nbDecision=60500 #constraints=19269
675.15/675.46	c nbDecision=61000 #constraints=19425
686.04/686.36	c nbDecision=61500 #constraints=19574
698.83/699.18	c nbDecision=62000 #constraints=19758
710.93/711.29	c nbDecision=62500 #constraints=19914
722.23/722.53	c nbDecision=63000 #constraints=20068
734.12/734.48	c nbDecision=63500 #constraints=20237
748.91/749.27	c nbDecision=64000 #constraints=20424
759.11/759.50	c nbDecision=64500 #constraints=20568
768.61/768.91	c nbDecision=65000 #constraints=20699
781.40/781.73	c nbDecision=65500 #constraints=20889
791.90/792.23	c nbDecision=66000 #constraints=21048
805.09/805.46	c nbDecision=66500 #constraints=21217
814.80/815.19	c nbDecision=67000 #constraints=21355
824.49/824.87	c nbDecision=67500 #constraints=21492
837.79/838.13	c nbDecision=68000 #constraints=21618
848.47/848.84	c nbDecision=68500 #constraints=21726
859.55/859.99	c nbDecision=69000 #constraints=21832
871.32/871.73	c nbDecision=69500 #constraints=21950
891.19/891.63	c nbDecision=70000 #constraints=22223
906.78/907.23	c nbDecision=70500 #constraints=22423
921.47/921.92	c nbDecision=71000 #constraints=22634
939.66/940.14	c nbDecision=71500 #constraints=22873
959.06/959.51	c nbDecision=72000 #constraints=23103
973.66/974.15	c nbDecision=72500 #constraints=23308
988.25/988.71	c nbDecision=73000 #constraints=23499
1002.14/1002.67	c nbDecision=73500 #constraints=23687
1016.14/1016.68	c nbDecision=74000 #constraints=23878
1034.84/1035.40	c nbDecision=74500 #constraints=24088
1049.73/1050.25	c nbDecision=75000 #constraints=24245
1065.42/1065.90	c nbDecision=75500 #constraints=24403
1079.31/1079.87	c nbDecision=76000 #constraints=24535
1095.21/1095.70	c nbDecision=76500 #constraints=24697
1108.60/1109.19	c nbDecision=77000 #constraints=24846
1125.50/1126.05	c nbDecision=77500 #constraints=25016
1138.79/1139.35	c nbDecision=78000 #constraints=25161
1151.39/1151.90	c nbDecision=78500 #constraints=25297
1165.08/1165.64	c nbDecision=79000 #constraints=25413
1178.68/1179.23	c nbDecision=79500 #constraints=25518
1191.48/1192.07	c nbDecision=80000 #constraints=25628
1207.87/1208.45	c nbDecision=80500 #constraints=25834
1224.36/1224.90	c nbDecision=81000 #constraints=26043
1242.16/1242.73	c nbDecision=81500 #constraints=26274
1256.45/1257.04	c nbDecision=82000 #constraints=26447
1273.25/1273.81	c nbDecision=82500 #constraints=26621
1290.13/1290.71	c nbDecision=83000 #constraints=26777
1305.64/1306.22	c nbDecision=83500 #constraints=26931
1320.43/1321.07	c nbDecision=84000 #constraints=27088
1334.52/1335.13	c nbDecision=84500 #constraints=27214
1351.72/1352.37	c nbDecision=85000 #constraints=27365
1370.81/1371.44	c nbDecision=85500 #constraints=27567
1390.60/1391.28	c nbDecision=86000 #constraints=27772
1407.10/1407.73	c nbDecision=86500 #constraints=27938
1423.49/1424.10	c nbDecision=87000 #constraints=28075
1439.29/1439.96	c nbDecision=87500 #constraints=28211
1454.28/1454.99	c nbDecision=88000 #constraints=28320
1471.47/1472.18	c nbDecision=88500 #constraints=28484
1489.27/1489.99	c nbDecision=89000 #constraints=28646
1508.85/1509.56	c nbDecision=89500 #constraints=28839
1525.45/1526.10	c nbDecision=90000 #constraints=29021
1542.85/1543.53	c nbDecision=90500 #constraints=29206
1561.14/1561.90	c nbDecision=91000 #constraints=29376
1574.23/1574.99	c nbDecision=91500 #constraints=29506
1591.32/1592.05	c nbDecision=92000 #constraints=29654
1611.93/1612.66	c nbDecision=92500 #constraints=29830
1630.11/1630.84	c nbDecision=93000 #constraints=29996
1649.32/1650.06	c nbDecision=93500 #constraints=30161
1665.40/1666.19	c nbDecision=94000 #constraints=30284
1681.80/1682.54	c nbDecision=94500 #constraints=30403
1697.79/1698.59	c nbDecision=95000 #constraints=30521
1712.38/1713.12	c nbDecision=95500 #constraints=30651
1728.67/1729.47	c nbDecision=96000 #constraints=30769
1741.27/1742.04	c nbDecision=96500 #constraints=30860
1759.97/1760.74	c nbDecision=97000 #constraints=30990
1775.76/1776.58	c nbDecision=97500 #constraints=31110
1793.45/1794.30	c nbDecision=98000 #constraints=31238
1800.06/1800.80	Received signal 15
1800.16/1800.91	
1800.16/1800.91	s SATISFIABLE
1800.16/1800.91	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
1800.16/1800.91	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
1800.16/1800.91	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
1800.16/1800.91	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
1800.16/1800.91	v -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 x123 -x124 -x125 x126 -x127
1800.16/1800.91	v -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 x139 -x140 x141 -x142 -x143 -x144 x145 -x146 x147 -x148 -x149
1800.16/1800.91	v x150 x151 -x152 -x153 -x154 x155 -x156 -x157 -x158 x159 x160 x161 -x162 -x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171
1800.16/1800.91	v -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 x180 x181 -x182 -x183 -x184 x185 -x186 x187 -x188 -x189 -x190 -x191 x192 x193
1800.16/1800.91	v x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 x203 x204 -x205 x206 -x207 -x208 -x209 x210 x211 x212 x213 x214 -x215 x216
1800.16/1800.91	v -x217 x218 x219 x220 x221 x222 x223 x224 x225 x226 -x227 x228 -x229 x230 x231 x232 x233 -x234 x235 -x236 x237 x238 x239 x240
1800.16/1800.91	v -x241 x242 -x243 -x244 -x245 x246 x247 x248 -x249 x250 x251 x252 x253 -x254 -x255 -x256 x257 x258 -x259 -x260 x261 -x262 x263
1800.16/1800.91	v x264 x265 -x266 x267 x268 x269 -x270 x271 x272 -x273 x274 x275 x276 -x277 x278 x279 x280 -x281 -x282 x283 x284 -x285 -x286 -x287
1800.16/1800.91	v x288 -x289 x290 -x291 x292 x293 x294 -x295 x296 x297 -x298 x299 -x300 x301 x302 -x303 -x304 -x305 x306 x307 -x308 -x309 x310
1800.16/1800.91	v x311 x312 x313 x314 x315 x316 x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 x325 -x326 x327 x328 x329 x330 x331 -x332 x333 x334
1800.16/1800.91	v -x335 x336 x337 x338 x339 x340 x341 x342 x343 x344 x345 x346 x347 x348 x349 x350 x351 x352 x353 -x354 x355 x356 x357 x358 x359
1800.16/1800.91	v -x360 x361 x362 -x363 x364 x365 x366 -x367 -x368 x369 -x370 x371 -x372 x373 x374 x375 -x376 -x377 -x378 x379 x380 -x381 x382
1800.16/1800.91	v x383 x384 -x385 x386 x387 -x388 -x389 x390 x391 x392 -x393 x394 x395 x396 x397 x398 x399 x400 x401 -x402 x403 x404 x405 x406
1800.16/1800.91	v x407 x408 -x409 x410 x411 -x412 -x413 -x414 x415 x416 x417 x418 -x419 -x420 x421 x422 x423 x424 x425 x426 -x427 x428 x429 x430
1800.16/1800.91	v -x431 -x432 x433 x434 x435 -x436 x437 x438 -x439 x440 x441 -x442 x443 x444 x445 x446 -x447 x448 x449 x450 -x451 -x452 -x453
1800.16/1800.91	v x454 -x455 x456 x457 x458 x459 -x460 x461 x462 x463 -x464 x465 x466 x467 x468 x469 x470 x471 x472 x473
1800.16/1800.91	
1800.16/1800.91	c user time= 1799.55 s
1800.16/1800.91	c system time= 0.620905 s
1800.16/1800.91	c wall clock time=1800.91

Verifier Data (download as text)

OK	224

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node37/watcher-357066-1176853616 -o ROOT/results/node37/solver-357066-1176853616 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357066-1176853616/instance-357066-1176853616.opb mod 

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: 0.94 0.99 0.99 2/78 19661
/proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=1468 CPUtime=0
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 133274077 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 367 164 131 317 0 46 0

[startup+0.010505 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 19661
/proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=1600 CPUtime=0
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 207 0 0 0 0 0 0 0 18 0 1 0 133274077 1638400 189 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 400 189 131 317 0 79 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 1600

[startup+0.101521 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 19661
/proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=2276 CPUtime=0.09
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 433 0 0 0 9 0 0 0 18 0 1 0 133274077 2330624 415 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134607806 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 569 415 170 317 0 248 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2276

[startup+0.301559 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 19661
/proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=3588 CPUtime=0.29
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 758 0 0 0 29 0 0 0 19 0 1 0 133274077 3674112 740 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716142 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 897 740 170 317 0 576 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3588

[startup+0.701635 s]
/proc/loadavg: 0.94 0.99 0.99 2/78 19661
/proc/meminfo: memFree=1629192/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=5812 CPUtime=0.69
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 1297 0 0 0 69 0 0 0 23 0 1 0 133274077 5951488 1279 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272675 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 1453 1279 170 317 0 1132 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5812

[startup+1.50179 s]
/proc/loadavg: 0.94 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1623360/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=9532 CPUtime=1.49
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 2236 0 0 0 148 1 0 0 25 0 1 0 133274077 9760768 2218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 2383 2218 170 317 0 2062 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9532

[startup+3.10109 s]
/proc/loadavg: 0.94 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1618880/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=15744 CPUtime=3.09
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 3682 0 0 0 308 1 0 0 25 0 1 0 133274077 16121856 3664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 3936 3664 170 317 0 3615 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15744

[startup+6.30169 s]
/proc/loadavg: 0.94 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1610240/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=21628 CPUtime=6.29
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 5238 0 0 0 627 2 0 0 25 0 1 0 133274077 22147072 5220 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593490 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 5407 5220 170 317 0 5086 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21628

[startup+12.7019 s]
/proc/loadavg: 0.95 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1596672/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=34972 CPUtime=12.68
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 8417 0 0 0 1265 3 0 0 25 0 1 0 133274077 35811328 8399 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 8743 8399 170 317 0 8422 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34972

[startup+25.5013 s]
/proc/loadavg: 0.96 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1585344/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=45148 CPUtime=25.48
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 11096 0 0 0 2542 6 0 0 25 0 1 0 133274077 46231552 11078 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 11287 11078 170 317 0 10966 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45148

[startup+51.1011 s]
/proc/loadavg: 0.97 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1566272/2055920 swapFree=4131020/4192956
[pid=19661] ppid=19659 vsize=66436 CPUtime=51.07
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 15846 0 0 0 5098 9 0 0 25 0 1 0 133274077 68030464 15828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 16609 15828 170 317 0 16288 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 66436

[startup+102.306 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1544960/2055920 swapFree=4131084/4192956
[pid=19661] ppid=19659 vsize=86112 CPUtime=102.26
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 21137 0 0 0 10214 12 0 0 25 0 1 0 133274077 88178688 21119 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 21528 21119 170 317 0 21207 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 86112

[startup+162.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1520128/2055920 swapFree=4131084/4192956
[pid=19661] ppid=19659 vsize=117332 CPUtime=162.23
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 27412 0 0 0 16208 15 0 0 25 0 1 0 133274077 120147968 27336 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 29333 27336 170 317 0 29012 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 117332

[startup+222.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1502912/2055920 swapFree=4131148/4192956
[pid=19661] ppid=19659 vsize=132968 CPUtime=222.21
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 31677 0 0 0 22204 17 0 0 25 0 1 0 133274077 136159232 31601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 33242 31601 170 317 0 32921 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 132968

[startup+282.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1487168/2055920 swapFree=4131148/4192956
[pid=19661] ppid=19659 vsize=148388 CPUtime=282.18
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 35627 0 0 0 28198 20 0 0 25 0 1 0 133274077 151949312 35551 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 37097 35551 170 317 0 36776 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 148388

[startup+342.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1474880/2055920 swapFree=4131148/4192956
[pid=19661] ppid=19659 vsize=159532 CPUtime=342.16
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 38764 0 0 0 34194 22 0 0 25 0 1 0 133274077 163360768 38688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 39883 38688 170 317 0 39562 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 159532

[startup+402.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1463808/2055920 swapFree=4131212/4192956
[pid=19661] ppid=19659 vsize=170012 CPUtime=402.15
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 41560 0 0 0 40190 25 0 0 25 0 1 0 133274077 174092288 41484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 42503 41484 170 317 0 42182 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 170012

[startup+462.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1453632/2055920 swapFree=4131212/4192956
[pid=19661] ppid=19659 vsize=179112 CPUtime=462.12
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 43963 0 0 0 46186 26 0 0 25 0 1 0 133274077 183410688 43887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 44778 43887 170 317 0 44457 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 179112

[startup+522.303 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1443136/2055920 swapFree=4131276/4192956
[pid=19661] ppid=19659 vsize=189616 CPUtime=522.1
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 46775 0 0 0 52182 28 0 0 25 0 1 0 133274077 194166784 46585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 47404 46585 170 317 0 47083 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 189616

[startup+582.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1424000/2055920 swapFree=4131276/4192956
[pid=19661] ppid=19659 vsize=227304 CPUtime=582.08
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 55017 0 0 0 58175 33 0 0 25 0 1 0 133274077 232759296 51296 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 56826 51296 170 317 0 56505 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 227304

[startup+642.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19662
/proc/meminfo: memFree=1412928/2055920 swapFree=4131276/4192956
[pid=19661] ppid=19659 vsize=237068 CPUtime=642.06
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 57757 0 0 0 64171 35 0 0 25 0 1 0 133274077 242757632 54036 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 59267 54036 170 317 0 58946 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 237068


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.99 0.99 2/85 19830
/proc/meminfo: memFree=1377664/2055920 swapFree=4131404/4192956
[pid=19661] ppid=19659 vsize=266768 CPUtime=881.9
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 66302 0 0 0 88148 42 0 0 25 0 1 0 133274077 273170432 62515 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 66692 62515 170 317 0 66371 0
Current children cumulated CPU time (s) 881.9
Current children cumulated vsize (KiB) 266768

[startup+942.301 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1370560/2055920 swapFree=4131468/4192956
[pid=19661] ppid=19659 vsize=275124 CPUtime=941.86
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 68537 0 0 0 94143 43 0 0 25 0 1 0 133274077 281726976 64585 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716201 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 68781 64585 170 317 0 68460 0
Current children cumulated CPU time (s) 941.86
Current children cumulated vsize (KiB) 275124

[startup+1002.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1361984/2055920 swapFree=4131468/4192956
[pid=19661] ppid=19659 vsize=283168 CPUtime=1001.84
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 70863 0 0 0 100139 45 0 0 25 0 1 0 133274077 289964032 66746 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 70792 66746 170 317 0 70471 0
Current children cumulated CPU time (s) 1001.84
Current children cumulated vsize (KiB) 283168

[startup+1062.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1354816/2055920 swapFree=4131468/4192956
[pid=19661] ppid=19659 vsize=289588 CPUtime=1061.82
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 72652 0 0 0 106135 47 0 0 25 0 1 0 133274077 296538112 68535 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 72397 68535 170 317 0 72076 0
Current children cumulated CPU time (s) 1061.82
Current children cumulated vsize (KiB) 289588

[startup+1122.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1348032/2055920 swapFree=4131532/4192956
[pid=19661] ppid=19659 vsize=295652 CPUtime=1121.8
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 74333 0 0 0 112132 48 0 0 25 0 1 0 133274077 302747648 70216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718305 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 73913 70216 170 317 0 73592 0
Current children cumulated CPU time (s) 1121.8
Current children cumulated vsize (KiB) 295652

[startup+1182.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1341760/2055920 swapFree=4131532/4192956
[pid=19661] ppid=19659 vsize=301436 CPUtime=1181.78
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 75916 0 0 0 118128 50 0 0 25 0 1 0 133274077 308670464 71799 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 75359 71799 170 317 0 75038 0
Current children cumulated CPU time (s) 1181.78
Current children cumulated vsize (KiB) 301436

[startup+1242.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1333568/2055920 swapFree=4131596/4192956
[pid=19661] ppid=19659 vsize=308280 CPUtime=1241.76
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 77945 0 0 0 124125 51 0 0 25 0 1 0 133274077 315678720 73828 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 77070 73828 170 317 0 76749 0
Current children cumulated CPU time (s) 1241.76
Current children cumulated vsize (KiB) 308280

[startup+1302.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1326848/2055920 swapFree=4131596/4192956
[pid=19661] ppid=19659 vsize=314200 CPUtime=1301.74
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 79608 0 0 0 130122 52 0 0 25 0 1 0 133274077 321740800 75491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 78550 75491 170 317 0 78229 0
Current children cumulated CPU time (s) 1301.74
Current children cumulated vsize (KiB) 314200

[startup+1362.3 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1320640/2055920 swapFree=4131596/4192956
[pid=19661] ppid=19659 vsize=320208 CPUtime=1361.71
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 81300 0 0 0 136118 53 0 0 25 0 1 0 133274077 327892992 77051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 80052 77051 170 317 0 79731 0
Current children cumulated CPU time (s) 1361.71
Current children cumulated vsize (KiB) 320208

[startup+1422.31 s]
/proc/loadavg: 0.99 0.99 0.99 2/79 19860
/proc/meminfo: memFree=1314368/2055920 swapFree=4131660/4192956
[pid=19661] ppid=19659 vsize=326064 CPUtime=1421.69
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 82958 0 0 0 142115 54 0 0 25 0 1 0 133274077 333889536 78610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 81516 78610 170 317 0 81195 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 326064

[startup+1482.3 s]
/proc/loadavg: 1.04 1.01 1.00 2/79 19860
/proc/meminfo: memFree=1308416/2055920 swapFree=4131660/4192956
[pid=19661] ppid=19659 vsize=331416 CPUtime=1481.67
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 84473 0 0 0 148112 55 0 0 25 0 1 0 133274077 339369984 80092 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 82854 80092 170 317 0 82533 0
Current children cumulated CPU time (s) 1481.67
Current children cumulated vsize (KiB) 331416

[startup+1542.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/79 19860
/proc/meminfo: memFree=1301120/2055920 swapFree=4131724/4192956
[pid=19661] ppid=19659 vsize=337332 CPUtime=1541.64
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 86319 0 0 0 154107 57 0 0 25 0 1 0 133274077 345427968 81938 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 84333 81938 170 317 0 84012 0
Current children cumulated CPU time (s) 1541.64
Current children cumulated vsize (KiB) 337332

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19860
/proc/meminfo: memFree=1295040/2055920 swapFree=4131724/4192956
[pid=19661] ppid=19659 vsize=343008 CPUtime=1601.63
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 87866 0 0 0 160104 59 0 0 25 0 1 0 133274077 351240192 83452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 85752 83452 170 317 0 85431 0
Current children cumulated CPU time (s) 1601.63
Current children cumulated vsize (KiB) 343008

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19860
/proc/meminfo: memFree=1289216/2055920 swapFree=4131724/4192956
[pid=19661] ppid=19659 vsize=348236 CPUtime=1661.6
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 89354 0 0 0 166100 60 0 0 25 0 1 0 133274077 356593664 84907 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 87059 84907 170 317 0 86738 0
Current children cumulated CPU time (s) 1661.6
Current children cumulated vsize (KiB) 348236

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19860
/proc/meminfo: memFree=1283776/2055920 swapFree=4131788/4192956
[pid=19661] ppid=19659 vsize=353036 CPUtime=1721.57
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 90771 0 0 0 172097 60 0 0 25 0 1 0 133274077 361508864 86291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 88259 86291 170 317 0 87938 0
Current children cumulated CPU time (s) 1721.57
Current children cumulated vsize (KiB) 353036

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19860
/proc/meminfo: memFree=1279168/2055920 swapFree=4131788/4192956
[pid=19661] ppid=19659 vsize=357564 CPUtime=1781.56
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 91894 0 0 0 178095 61 0 0 25 0 1 0 133274077 366145536 87414 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 89391 87414 170 317 0 89070 0
Current children cumulated CPU time (s) 1781.56
Current children cumulated vsize (KiB) 357564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19860
/proc/meminfo: memFree=1277056/2055920 swapFree=4131788/4192956
[pid=19661] ppid=19659 vsize=358992 CPUtime=1800.06
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 92412 0 0 0 179944 62 0 0 25 0 1 0 133274077 367607808 87932 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 89748 87932 170 317 0 89427 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 358992

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.91 s]
/proc/loadavg: 1.00 1.00 1.00 2/79 19860
/proc/meminfo: memFree=1277056/2055920 swapFree=4131788/4192956
[pid=19661] ppid=19659 vsize=358992 CPUtime=1800.16
/proc/19661/stat : 19661 (oree) R 19659 19661 19033 0 -1 4194304 92420 0 0 0 179954 62 0 0 25 0 1 0 133274077 367607808 87940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19661/statm: 89748 87940 170 317 0 89427 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 358992

Child status: 0
Real time (s): 1800.98
CPU time (s): 1800.24
CPU user time (s): 1799.56
CPU system time (s): 0.676897
CPU usage (%): 99.9587
Max. virtual memory (cumulated for all children) (KiB): 358992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.56
system time used= 0.676897
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92436
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= 8
involuntary context switches= 20453

runsolver used 1.77773 second user time and 4.80027 second system time

The end

Launcher Data (download as text)

Begin job on node37 on Tue Apr 17 23:46:56 UTC 2007

IDJOB= 357066
IDBENCH= 1951
IDSOLVER= 172
FILE ID= node37/357066-1176853616

PBS_JOBID= 4590205

Free space on /tmp= 66462 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/domset/normalized-domset_v500_e2000_w30_mw19_15.opb.PB06.opb
COMMAND LINE= oree /tmp/evaluation/357066-1176853616/instance-357066-1176853616.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node37/watcher-357066-1176853616 -o ROOT/results/node37/solver-357066-1176853616 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357066-1176853616/instance-357066-1176853616.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  9cfc9eabeae08d1064da7d7b87db93a4

RANDOM SEED= 213004531

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node37.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.281
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.281
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:       1629536 kB
Buffers:         37368 kB
Cached:         303816 kB
SwapCached:       3304 kB
Active:         190228 kB
Inactive:       177264 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1629536 kB
SwapTotal:     4192956 kB
SwapFree:      4131020 kB
Dirty:            1360 kB
Writeback:           0 kB
Mapped:          33320 kB
Slab:            44184 kB
Committed_AS:  1099312 kB
PageTables:       2000 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= 66462 MiB

End job on node37 on Wed Apr 18 00:16:59 UTC 2007