Trace number 357071

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)233 1800.24 1800.85

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/liu/
domset/normalized-domset_v500_e2000_w30_mw19_23.opb.PB06.opb
MD5SUM0a5749e09f3f6f40d04f442dc86d22a6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark188
Best CPU time to get the best result obtained on this benchmark1800.06
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 188
Optimality of the best value was proved NO
Number of variables479
Total number of constraints479
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 constraints479
Minimum length of a constraint4
Maximum length of a constraint17
Number of terms in the objective function 479
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 479
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 479
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=479 #constraints=480 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=244 #constraints=480
0.00/0.02	c linear search for optimum
0.00/0.02	o 235
0.09/0.17	c restart after 401 decisions
0.09/0.17	c nbDecision=500 #constraints=564
0.29/0.30	c restart after 801 decisions
0.29/0.31	c nbDecision=1000 #constraints=628
0.59/0.65	c nbDecision=1500 #constraints=795
0.59/0.66	c nbDecision=1509 #constraints=795
0.59/0.66	o 234
0.69/0.74	c restart after 1601 decisions
0.89/0.93	c nbDecision=2000 #constraints=903
1.29/1.34	c nbDecision=2500 #constraints=1070
1.79/1.89	c nbDecision=3000 #constraints=1260
1.99/2.09	c restart after 3201 decisions
2.29/2.37	c nbDecision=3500 #constraints=1367
2.79/2.89	c nbDecision=3992 #constraints=1525
2.79/2.89	o 233
2.89/2.91	c nbDecision=4000 #constraints=1533
3.59/3.61	c nbDecision=4500 #constraints=1717
4.30/4.31	c nbDecision=5000 #constraints=1882
4.99/5.08	c nbDecision=5500 #constraints=2052
5.99/6.09	c nbDecision=6000 #constraints=2243
6.69/6.74	c restart after 6401 decisions
6.99/7.00	c nbDecision=6500 #constraints=2375
7.89/7.93	c nbDecision=7000 #constraints=2515
8.99/9.07	c nbDecision=7500 #constraints=2685
10.29/10.31	c nbDecision=8000 #constraints=2840
11.49/11.58	c nbDecision=8500 #constraints=2988
12.79/12.83	c nbDecision=9000 #constraints=3123
14.09/14.15	c nbDecision=9500 #constraints=3262
15.48/15.56	c nbDecision=10000 #constraints=3397
17.48/17.56	c nbDecision=10500 #constraints=3609
19.79/19.85	c nbDecision=11000 #constraints=3807
22.58/22.61	c nbDecision=11500 #constraints=4071
24.48/24.58	c nbDecision=12000 #constraints=4256
26.58/26.66	c nbDecision=12500 #constraints=4444
27.88/27.97	c restart after 12801 decisions
28.99/29.01	c nbDecision=13000 #constraints=4553
31.59/31.68	c nbDecision=13500 #constraints=4771
34.09/34.19	c nbDecision=14000 #constraints=4947
37.08/37.18	c nbDecision=14500 #constraints=5129
39.87/39.92	c nbDecision=15000 #constraints=5318
43.08/43.12	c nbDecision=15500 #constraints=5491
46.98/47.01	c nbDecision=16000 #constraints=5712
50.67/50.73	c nbDecision=16500 #constraints=5919
55.38/55.44	c nbDecision=17000 #constraints=6136
59.07/59.18	c nbDecision=17500 #constraints=6374
62.17/62.26	c nbDecision=18000 #constraints=6540
65.48/65.57	c nbDecision=18500 #constraints=6749
69.57/69.62	c nbDecision=19000 #constraints=6957
73.47/73.51	c nbDecision=19500 #constraints=7153
77.87/77.98	c nbDecision=20000 #constraints=7335
81.97/82.03	c nbDecision=20500 #constraints=7519
86.57/86.66	c nbDecision=21000 #constraints=7696
92.27/92.33	c nbDecision=21500 #constraints=7893
96.76/96.85	c nbDecision=22000 #constraints=8063
100.66/100.74	c nbDecision=22500 #constraints=8216
105.26/105.31	c nbDecision=23000 #constraints=8378
110.76/110.80	c nbDecision=23500 #constraints=8549
115.25/115.34	c nbDecision=24000 #constraints=8722
119.46/119.56	c nbDecision=24500 #constraints=8868
124.46/124.50	c nbDecision=25000 #constraints=9030
130.15/130.27	c nbDecision=25500 #constraints=9190
131.35/131.46	c restart after 25601 decisions
135.75/135.84	c nbDecision=26000 #constraints=9309
141.15/141.20	c nbDecision=26500 #constraints=9498
146.45/146.55	c nbDecision=27000 #constraints=9649
151.65/151.74	c nbDecision=27500 #constraints=9798
157.95/158.00	c nbDecision=28000 #constraints=9997
163.64/163.72	c nbDecision=28500 #constraints=10183
169.05/169.15	c nbDecision=29000 #constraints=10322
174.94/175.01	c nbDecision=29500 #constraints=10475
181.13/181.29	c nbDecision=30000 #constraints=10632
188.14/188.24	c nbDecision=30500 #constraints=10823
197.33/197.41	c nbDecision=31000 #constraints=11054
204.23/204.36	c nbDecision=31500 #constraints=11289
211.53/211.67	c nbDecision=32000 #constraints=11494
217.83/217.98	c nbDecision=32500 #constraints=11688
224.83/224.91	c nbDecision=33000 #constraints=11867
232.73/232.86	c nbDecision=33500 #constraints=12053
238.92/239.08	c nbDecision=34000 #constraints=12194
246.92/247.05	c nbDecision=34500 #constraints=12388
257.51/257.69	c nbDecision=35000 #constraints=12610
266.02/266.11	c nbDecision=35500 #constraints=12856
274.12/274.24	c nbDecision=36000 #constraints=13062
281.41/281.60	c nbDecision=36500 #constraints=13234
289.11/289.25	c nbDecision=37000 #constraints=13449
298.50/298.66	c nbDecision=37500 #constraints=13638
305.40/305.56	c nbDecision=38000 #constraints=13765
314.40/314.58	c nbDecision=38500 #constraints=13943
322.60/322.76	c nbDecision=39000 #constraints=14118
331.70/331.89	c nbDecision=39500 #constraints=14300
340.09/340.23	c nbDecision=40000 #constraints=14479
348.89/349.05	c nbDecision=40500 #constraints=14653
358.40/358.53	c nbDecision=41000 #constraints=14846
365.89/366.00	c nbDecision=41500 #constraints=15027
373.49/373.60	c nbDecision=42000 #constraints=15202
381.08/381.23	c nbDecision=42500 #constraints=15358
389.48/389.69	c nbDecision=43000 #constraints=15545
398.58/398.72	c nbDecision=43500 #constraints=15722
408.98/409.17	c nbDecision=44000 #constraints=15919
416.57/416.76	c nbDecision=44500 #constraints=16097
424.97/425.11	c nbDecision=45000 #constraints=16267
433.28/433.44	c nbDecision=45500 #constraints=16441
442.97/443.10	c nbDecision=46000 #constraints=16609
452.06/452.22	c nbDecision=46500 #constraints=16761
459.77/459.99	c nbDecision=47000 #constraints=16892
469.57/469.79	c nbDecision=47500 #constraints=17040
477.26/477.45	c nbDecision=48000 #constraints=17166
486.75/486.91	c nbDecision=48500 #constraints=17349
498.95/499.15	c nbDecision=49000 #constraints=17572
511.85/512.03	c nbDecision=49500 #constraints=17770
526.34/526.52	c nbDecision=50000 #constraints=18066
536.74/536.91	c nbDecision=50500 #constraints=18270
546.14/546.36	c nbDecision=51000 #constraints=18442
550.03/550.25	c restart after 51201 decisions
556.73/556.92	c nbDecision=51500 #constraints=18594
567.23/567.48	c nbDecision=52000 #constraints=18797
578.69/578.98	c nbDecision=52500 #constraints=19023
588.87/589.15	c nbDecision=53000 #constraints=19214
600.34/600.67	c nbDecision=53500 #constraints=19407
611.53/611.87	c nbDecision=54000 #constraints=19586
622.32/622.65	c nbDecision=54500 #constraints=19791
634.61/634.95	c nbDecision=55000 #constraints=20003
649.40/649.77	c nbDecision=55500 #constraints=20205
663.79/664.10	c nbDecision=56000 #constraints=20431
677.79/678.17	c nbDecision=56500 #constraints=20649
695.99/696.39	c nbDecision=57000 #constraints=20877
709.78/710.14	c nbDecision=57500 #constraints=21145
721.58/721.91	c nbDecision=58000 #constraints=21351
732.57/732.94	c nbDecision=58500 #constraints=21535
744.28/744.64	c nbDecision=59000 #constraints=21759
758.57/758.97	c nbDecision=59500 #constraints=21993
770.77/771.11	c nbDecision=60000 #constraints=22196
783.87/784.20	c nbDecision=60500 #constraints=22384
796.46/796.82	c nbDecision=61000 #constraints=22563
808.76/809.18	c nbDecision=61500 #constraints=22729
822.55/822.95	c nbDecision=62000 #constraints=22956
837.45/837.81	c nbDecision=62500 #constraints=23146
856.45/856.82	c nbDecision=63000 #constraints=23369
869.84/870.24	c nbDecision=63500 #constraints=23545
881.93/882.39	c nbDecision=64000 #constraints=23717
892.94/893.33	c nbDecision=64500 #constraints=23851
907.53/907.92	c nbDecision=65000 #constraints=24031
923.32/923.74	c nbDecision=65500 #constraints=24221
937.02/937.45	c nbDecision=66000 #constraints=24391
948.92/949.31	c nbDecision=66500 #constraints=24545
960.81/961.24	c nbDecision=67000 #constraints=24682
977.31/977.76	c nbDecision=67500 #constraints=24863
993.41/993.80	c nbDecision=68000 #constraints=25045
1009.50/1009.94	c nbDecision=68500 #constraints=25253
1023.20/1023.69	c nbDecision=69000 #constraints=25438
1036.90/1037.39	c nbDecision=69500 #constraints=25572
1052.69/1053.17	c nbDecision=70000 #constraints=25737
1069.38/1069.88	c nbDecision=70500 #constraints=25943
1084.58/1085.03	c nbDecision=71000 #constraints=26135
1099.18/1099.68	c nbDecision=71500 #constraints=26287
1113.97/1114.48	c nbDecision=72000 #constraints=26429
1130.17/1130.61	c nbDecision=72500 #constraints=26589
1145.36/1145.88	c nbDecision=73000 #constraints=26759
1164.65/1165.18	c nbDecision=73500 #constraints=26966
1188.85/1189.36	c nbDecision=74000 #constraints=27223
1206.85/1207.38	c nbDecision=74500 #constraints=27479
1224.44/1224.92	c nbDecision=75000 #constraints=27693
1242.23/1242.77	c nbDecision=75500 #constraints=27891
1258.33/1258.86	c nbDecision=76000 #constraints=28115
1276.03/1276.52	c nbDecision=76500 #constraints=28327
1297.82/1298.31	c nbDecision=77000 #constraints=28535
1312.32/1312.84	c nbDecision=77500 #constraints=28673
1327.12/1327.63	c nbDecision=78000 #constraints=28817
1347.10/1347.70	c nbDecision=78500 #constraints=29025
1372.50/1373.01	c nbDecision=79000 #constraints=29253
1394.19/1394.73	c nbDecision=79500 #constraints=29519
1413.29/1413.87	c nbDecision=80000 #constraints=29739
1433.18/1433.73	c nbDecision=80500 #constraints=29967
1451.38/1451.90	c nbDecision=81000 #constraints=30145
1468.17/1468.74	c nbDecision=81500 #constraints=30375
1487.77/1488.33	c nbDecision=82000 #constraints=30577
1510.26/1510.83	c nbDecision=82500 #constraints=30788
1525.25/1525.85	c nbDecision=83000 #constraints=30910
1542.45/1543.09	c nbDecision=83500 #constraints=31065
1564.54/1565.18	c nbDecision=84000 #constraints=31275
1582.53/1583.19	c nbDecision=84500 #constraints=31454
1603.84/1604.43	c nbDecision=85000 #constraints=31646
1622.63/1623.22	c nbDecision=85500 #constraints=31815
1642.03/1642.61	c nbDecision=86000 #constraints=31991
1662.11/1662.77	c nbDecision=86500 #constraints=32157
1682.21/1682.80	c nbDecision=87000 #constraints=32361
1698.61/1699.24	c nbDecision=87500 #constraints=32547
1717.80/1718.45	c nbDecision=88000 #constraints=32738
1735.00/1735.67	c nbDecision=88500 #constraints=32908
1754.80/1755.44	c nbDecision=89000 #constraints=33094
1774.69/1775.30	c nbDecision=89500 #constraints=33263
1796.38/1797.09	c nbDecision=90000 #constraints=33453
1800.08/1800.70	Received signal 15
1800.08/1800.78	
1800.08/1800.78	s SATISFIABLE
1800.08/1800.78	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.08/1800.78	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 -x55
1800.08/1800.78	v -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 -x81
1800.08/1800.78	v -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.08/1800.78	v -x107 -x108 -x109 x110 x111 x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 x123 -x124 x125 -x126 -x127 x128
1800.08/1800.78	v -x129 -x130 -x131 -x132 -x133 x134 x135 x136 x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 x147 -x148 -x149 -x150
1800.08/1800.78	v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 x167 x168 -x169 -x170 x171
1800.08/1800.78	v x172 x173 x174 -x175 -x176 -x177 x178 x179 x180 -x181 x182 -x183 -x184 -x185 x186 -x187 x188 -x189 x190 -x191 -x192 -x193 -x194
1800.08/1800.78	v -x195 x196 x197 x198 x199 x200 x201 x202 -x203 -x204 -x205 x206 -x207 -x208 -x209 -x210 x211 x212 -x213 -x214 x215 -x216 x217
1800.08/1800.78	v x218 -x219 x220 x221 x222 -x223 -x224 x225 -x226 x227 x228 -x229 -x230 x231 x232 x233 -x234 -x235 -x236 x237 x238 -x239 x240
1800.08/1800.78	v -x241 -x242 x243 -x244 x245 -x246 x247 x248 -x249 x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 x258 -x259 x260 -x261 -x262
1800.08/1800.78	v x263 x264 x265 -x266 x267 x268 x269 x270 -x271 x272 x273 -x274 x275 -x276 -x277 x278 x279 x280 -x281 x282 -x283 x284 -x285 x286
1800.08/1800.78	v x287 x288 x289 x290 -x291 x292 -x293 x294 -x295 x296 -x297 x298 -x299 -x300 x301 x302 x303 x304 x305 -x306 x307 x308 -x309 -x310
1800.08/1800.78	v -x311 -x312 x313 x314 x315 x316 x317 x318 x319 x320 -x321 x322 -x323 x324 -x325 -x326 -x327 -x328 x329 x330 x331 -x332 x333
1800.08/1800.78	v x334 x335 -x336 x337 -x338 x339 x340 -x341 x342 x343 x344 x345 -x346 -x347 x348 x349 x350 x351 x352 -x353 x354 x355 x356 x357
1800.08/1800.78	v -x358 x359 x360 x361 x362 -x363 x364 x365 x366 x367 x368 x369 x370 x371 x372 -x373 x374 x375 x376 x377 x378 x379 x380 x381 x382
1800.08/1800.78	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 x407
1800.08/1800.78	v x408 -x409 x410 x411 x412 x413 -x414 -x415 x416 -x417 x418 x419 x420 x421 -x422 x423 x424 x425 x426 x427 -x428 x429 x430 x431
1800.08/1800.78	v -x432 x433 x434 x435 -x436 x437 x438 x439 x440 x441 -x442 x443 -x444 x445 -x446 x447 x448 -x449 x450 x451 x452 x453 x454 x455
1800.08/1800.78	v x456 x457 x458 x459 -x460 x461 x462 x463 x464 x465 x466 x467 x468 x469 x470 x471 -x472 -x473 -x474 x475 x476 x477 x478 x479
1800.08/1800.78	
1800.08/1800.78	c user time= 1799.4 s
1800.08/1800.78	c system time= 0.768883 s
1800.08/1800.78	c wall clock time=1800.78

Verifier Data (download as text)

OK	233

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node45/watcher-357071-1176853888 -o ROOT/results/node45/solver-357071-1176853888 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357071-1176853888/instance-357071-1176853888.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.78 0.95 0.97 3/77 18027
/proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=1468 CPUtime=0
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 40234616 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135096813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 367 163 131 317 0 46 0

[startup+0.063549 s]
/proc/loadavg: 0.78 0.95 0.97 3/77 18027
/proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=2016 CPUtime=0.06
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 369 0 0 0 6 0 0 0 18 0 1 0 40234616 2064384 351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 504 351 170 317 0 183 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2016

[startup+0.101552 s]
/proc/loadavg: 0.78 0.95 0.97 3/77 18027
/proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=2280 CPUtime=0.09
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 434 0 0 0 9 0 0 0 18 0 1 0 40234616 2334720 416 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135277176 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 570 416 170 317 0 249 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2280

[startup+0.301572 s]
/proc/loadavg: 0.78 0.95 0.97 3/77 18027
/proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=3592 CPUtime=0.29
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 747 0 0 0 29 0 0 0 19 0 1 0 40234616 3678208 729 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 898 729 170 317 0 577 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3592

[startup+0.701613 s]
/proc/loadavg: 0.78 0.95 0.97 3/77 18027
/proc/meminfo: memFree=1630288/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=5828 CPUtime=0.69
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 1310 0 0 0 69 0 0 0 22 0 1 0 40234616 5967872 1292 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 1457 1292 170 317 0 1136 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5828

[startup+1.5017 s]
/proc/loadavg: 0.78 0.95 0.97 2/78 18028
/proc/meminfo: memFree=1624712/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=9676 CPUtime=1.49
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 2261 0 0 0 149 0 0 0 25 0 1 0 40234616 9908224 2243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 2419 2243 170 317 0 2098 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9676

[startup+3.10186 s]
/proc/loadavg: 0.78 0.95 0.97 2/78 18028
/proc/meminfo: memFree=1619976/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=15748 CPUtime=3.09
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 3713 0 0 0 308 1 0 0 25 0 1 0 40234616 16125952 3695 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284160 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 3937 3695 170 317 0 3616 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 15748

[startup+6.30118 s]
/proc/loadavg: 0.80 0.95 0.97 2/78 18028
/proc/meminfo: memFree=1610824/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=22380 CPUtime=6.29
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 5422 0 0 0 626 3 0 0 25 0 1 0 40234616 22917120 5404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 5595 5404 170 317 0 5274 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 22380

[startup+12.7028 s]
/proc/loadavg: 0.81 0.95 0.97 2/78 18028
/proc/meminfo: memFree=1599432/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=33516 CPUtime=12.69
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 8000 0 0 0 1264 5 0 0 25 0 1 0 40234616 34320384 7982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 8379 7982 170 317 0 8058 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33516

[startup+25.5011 s]
/proc/loadavg: 0.85 0.95 0.97 2/78 18028
/proc/meminfo: memFree=1586632/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=44960 CPUtime=25.48
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 11076 0 0 0 2541 7 0 0 25 0 1 0 40234616 46039040 11058 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604157 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 11240 11058 170 317 0 10919 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 44960

[startup+51.1017 s]
/proc/loadavg: 0.90 0.96 0.97 2/78 18028
/proc/meminfo: memFree=1566536/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=67192 CPUtime=51.07
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 16097 0 0 0 5097 10 0 0 25 0 1 0 40234616 68804608 16079 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 16798 16079 170 317 0 16477 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 67192

[startup+102.306 s]
/proc/loadavg: 0.96 0.96 0.97 2/78 18028
/proc/meminfo: memFree=1542408/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=89144 CPUtime=102.27
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 22022 0 0 0 10213 14 0 0 25 0 1 0 40234616 91283456 22004 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 22286 22004 170 317 0 21965 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 89144

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.97 2/78 18028
/proc/meminfo: memFree=1517000/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=121468 CPUtime=162.24
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 28477 0 0 0 16206 18 0 0 25 0 1 0 40234616 124383232 28401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 30367 28401 170 317 0 30046 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 121468

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18028
/proc/meminfo: memFree=1499272/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=137024 CPUtime=222.23
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 32827 0 0 0 22200 23 0 0 25 0 1 0 40234616 140312576 32751 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602706 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 34256 32751 170 317 0 33935 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 137024

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18028
/proc/meminfo: memFree=1485000/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=150660 CPUtime=282.21
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 36438 0 0 0 28196 25 0 0 25 0 1 0 40234616 154275840 36362 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 37665 36362 170 317 0 37344 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 150660

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18028
/proc/meminfo: memFree=1471496/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=162504 CPUtime=342.19
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 39740 0 0 0 34192 27 0 0 25 0 1 0 40234616 166404096 39664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 40626 39664 170 317 0 40305 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 162504

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18028
/proc/meminfo: memFree=1459144/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=173972 CPUtime=402.17
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 42854 0 0 0 40188 29 0 0 25 0 1 0 40234616 178147328 42778 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 43493 42778 170 317 0 43172 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 173972

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18028
/proc/meminfo: memFree=1440200/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=213292 CPUtime=462.16
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 51291 0 0 0 46182 34 0 0 25 0 1 0 40234616 218411008 47405 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 53323 47405 170 317 0 53002 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 213292

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18028
/proc/meminfo: memFree=1429896/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=222800 CPUtime=522.14
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 53975 0 0 0 52178 36 0 0 25 0 1 0 40234616 228147200 50089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 55700 50089 170 317 0 55379 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 222800

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/84 18102
/proc/meminfo: memFree=1417104/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=232596 CPUtime=582.09
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 56812 0 0 0 58171 38 0 0 25 0 1 0 40234616 238178304 52926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 58149 52926 170 317 0 57828 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 232596

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18226
/proc/meminfo: memFree=1407560/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=241976 CPUtime=642
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 59479 0 0 0 64159 41 0 0 25 0 1 0 40234616 247783424 55560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 60494 55560 170 317 0 60173 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 241976


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18226
/proc/meminfo: memFree=1369800/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=275564 CPUtime=881.93
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 68965 0 0 0 88144 49 0 0 25 0 1 0 40234616 282177536 64980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 68891 64980 170 317 0 68570 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 275564

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18226
/proc/meminfo: memFree=1362376/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=282396 CPUtime=941.92
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 70854 0 0 0 94140 52 0 0 25 0 1 0 40234616 289173504 66836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 70599 66836 170 317 0 70278 0
Current children cumulated CPU time (s) 941.92
Current children cumulated vsize (KiB) 282396

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1354568/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=288972 CPUtime=1001.9
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 72809 0 0 0 100136 54 0 0 25 0 1 0 40234616 295907328 68791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715703 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 72243 68791 170 317 0 71922 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 288972

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1347720/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=295220 CPUtime=1061.89
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 74549 0 0 0 106133 56 0 0 25 0 1 0 40234616 302305280 70531 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 73805 70531 170 317 0 73484 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 295220

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1340936/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=301384 CPUtime=1121.87
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 76267 0 0 0 112129 58 0 0 25 0 1 0 40234616 308617216 72216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 75346 72216 170 317 0 75025 0
Current children cumulated CPU time (s) 1121.87
Current children cumulated vsize (KiB) 301384

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1333960/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=306920 CPUtime=1181.85
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 78022 0 0 0 118126 59 0 0 25 0 1 0 40234616 314286080 73971 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 76730 73971 170 317 0 76409 0
Current children cumulated CPU time (s) 1181.85
Current children cumulated vsize (KiB) 306920

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1326280/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=313912 CPUtime=1241.83
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 79949 0 0 0 124123 60 0 0 25 0 1 0 40234616 321445888 75865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 78478 75865 170 317 0 78157 0
Current children cumulated CPU time (s) 1241.83
Current children cumulated vsize (KiB) 313912

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1319176/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=320376 CPUtime=1301.82
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 81716 0 0 0 130121 61 0 0 25 0 1 0 40234616 328065024 77632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 80094 77632 170 317 0 79773 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 320376

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1312520/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=325764 CPUtime=1361.81
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 83417 0 0 0 136118 63 0 0 25 0 1 0 40234616 333582336 79300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 81441 79300 170 317 0 81120 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 325764

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1305736/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=331964 CPUtime=1421.79
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 85176 0 0 0 142115 64 0 0 25 0 1 0 40234616 339931136 80993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 82991 80993 170 317 0 82670 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 331964

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1298760/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=338184 CPUtime=1481.76
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 86926 0 0 0 148111 65 0 0 25 0 1 0 40234616 346300416 82743 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 84546 82743 170 317 0 84225 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 338184

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1293192/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=343056 CPUtime=1541.75
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 88327 0 0 0 154108 67 0 0 25 0 1 0 40234616 351289344 84111 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 85764 84111 170 317 0 85443 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 343056

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1287368/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=348284 CPUtime=1601.74
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 89810 0 0 0 160106 68 0 0 25 0 1 0 40234616 356642816 85594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 87071 85594 170 317 0 86750 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 348284

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1281672/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=353152 CPUtime=1661.71
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 91211 0 0 0 166102 69 0 0 25 0 1 0 40234616 361627648 86995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 88288 86995 170 317 0 87967 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 353152

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1274568/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=359196 CPUtime=1721.7
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 93072 0 0 0 172099 71 0 0 25 0 1 0 40234616 367816704 88790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 89799 88790 170 317 0 89478 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 359196

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1261832/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=421012 CPUtime=1781.68
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 107161 0 0 0 178092 76 0 0 25 0 1 0 40234616 431116288 91862 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 105253 91862 170 317 0 104932 0
Current children cumulated CPU time (s) 1781.68
Current children cumulated vsize (KiB) 421012



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1261320/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=421672 CPUtime=1800.08
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194304 107324 0 0 0 179932 76 0 0 25 0 1 0 40234616 431792128 92025 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 105418 92025 170 317 0 105097 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 421672

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

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

[startup+1800.81 s]
/proc/loadavg: 0.99 0.97 0.97 2/78 18228
/proc/meminfo: memFree=1261320/2055920 swapFree=4141448/4192956
[pid=18027] ppid=18025 vsize=0 CPUtime=1800.18
/proc/18027/stat : 18027 (oree) R 18025 18027 17641 0 -1 4194308 107342 0 0 0 179940 78 0 0 25 0 1 0 40234616 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/18027/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.85
CPU time (s): 1800.24
CPU user time (s): 1799.41
CPU system time (s): 0.827874
CPU usage (%): 99.9659
Max. virtual memory (cumulated for all children) (KiB): 421672

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.41
system time used= 0.827874
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107342
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= 27268

runsolver used 2.16067 second user time and 4.39033 second system time

The end

Launcher Data (download as text)

Begin job on node45 on Tue Apr 17 23:51:29 UTC 2007

IDJOB= 357071
IDBENCH= 1956
IDSOLVER= 172
FILE ID= node45/357071-1176853888

PBS_JOBID= 4590227

Free space on /tmp= 66483 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_23.opb.PB06.opb
COMMAND LINE= oree /tmp/evaluation/357071-1176853888/instance-357071-1176853888.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node45/watcher-357071-1176853888 -o ROOT/results/node45/solver-357071-1176853888 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357071-1176853888/instance-357071-1176853888.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0a5749e09f3f6f40d04f442dc86d22a6

RANDOM SEED= 90795050

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node45.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.218
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.218
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:       1630696 kB
Buffers:         38220 kB
Cached:         301704 kB
SwapCached:      32920 kB
Active:         244712 kB
Inactive:       137244 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1630696 kB
SwapTotal:     4192956 kB
SwapFree:      4141448 kB
Dirty:            1440 kB
Writeback:           0 kB
Mapped:          31740 kB
Slab:            28804 kB
Committed_AS:  1105380 kB
PageTables:       1732 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= 66483 MiB

End job on node45 on Wed Apr 18 00:21:33 UTC 2007