Trace number 363742

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)1325 1800.25 1800.78

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/
synthesis-ptl-cmos-circuits/normalized-c8.opb
MD5SUMc919b2e3620f35e89404416810e81e0b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1194
Best CPU time to get the best result obtained on this benchmark0.112982
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1194
Optimality of the best value was proved YES
Number of variables239
Total number of constraints524
Number of constraints which are clauses520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints4
Minimum length of a constraint1
Maximum length of a constraint36
Number of terms in the objective function 239
Biggest coefficient in the objective function 61
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 10012
Number of bits of the sum of numbers in the objective function 14
Biggest number in a constraint 61
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 10012
Number of bits of the biggest sum of numbers14
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.00	c ...done
0.00/0.00	c #vars=239 #constraints=525 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.00/0.01	c nbDecision=197 #constraints=530
0.00/0.01	c linear search for optimum
0.00/0.01	o 1349
0.01/0.03	c restart after 401 decisions
0.01/0.03	c nbDecision=500 #constraints=570
0.01/0.04	c nbDecision=556 #constraints=578
0.01/0.04	o 1325
0.01/0.06	c restart after 801 decisions
0.01/0.08	c nbDecision=1000 #constraints=647
0.09/0.15	c nbDecision=1500 #constraints=754
0.09/0.17	c restart after 1601 decisions
0.19/0.23	c nbDecision=2000 #constraints=867
0.29/0.34	c nbDecision=2500 #constraints=985
0.39/0.43	c nbDecision=3000 #constraints=1092
0.39/0.49	c restart after 3201 decisions
0.49/0.56	c nbDecision=3500 #constraints=1216
0.69/0.72	c nbDecision=4000 #constraints=1365
0.89/0.92	c nbDecision=4500 #constraints=1531
1.09/1.13	c nbDecision=5000 #constraints=1664
1.29/1.37	c nbDecision=5500 #constraints=1796
1.49/1.55	c nbDecision=6000 #constraints=1911
1.69/1.76	c restart after 6401 decisions
1.79/1.81	c nbDecision=6500 #constraints=2038
2.09/2.12	c nbDecision=7000 #constraints=2194
2.39/2.47	c nbDecision=7500 #constraints=2352
2.89/2.98	c nbDecision=8000 #constraints=2538
3.49/3.58	c nbDecision=8500 #constraints=2676
3.89/3.90	c nbDecision=9000 #constraints=2765
4.29/4.32	c nbDecision=9500 #constraints=2873
4.69/4.78	c nbDecision=10000 #constraints=2987
5.39/5.42	c nbDecision=10500 #constraints=3119
5.99/6.05	c nbDecision=11000 #constraints=3241
6.79/6.81	c nbDecision=11500 #constraints=3383
7.59/7.66	c nbDecision=12000 #constraints=3542
8.70/8.71	c nbDecision=12500 #constraints=3707
9.19/9.27	c restart after 12801 decisions
9.59/9.68	c nbDecision=13000 #constraints=3809
10.49/10.51	c nbDecision=13500 #constraints=3921
11.49/11.56	c nbDecision=14000 #constraints=4068
12.49/12.53	c nbDecision=14500 #constraints=4202
13.69/13.75	c nbDecision=15000 #constraints=4362
15.19/15.21	c nbDecision=15500 #constraints=4535
16.78/16.81	c nbDecision=16000 #constraints=4692
18.18/18.24	c nbDecision=16500 #constraints=4813
18.69/18.77	c nbDecision=17000 #constraints=4876
19.59/19.63	c nbDecision=17500 #constraints=4970
20.69/20.75	c nbDecision=18000 #constraints=5083
21.89/21.98	c nbDecision=18500 #constraints=5199
22.79/22.86	c nbDecision=19000 #constraints=5287
24.09/24.19	c nbDecision=19500 #constraints=5406
25.49/25.55	c nbDecision=20000 #constraints=5512
26.79/26.82	c nbDecision=20500 #constraints=5604
27.69/27.74	c nbDecision=21000 #constraints=5693
29.09/29.12	c nbDecision=21500 #constraints=5816
30.49/30.52	c nbDecision=22000 #constraints=5933
32.28/32.37	c nbDecision=22500 #constraints=6070
34.18/34.22	c nbDecision=23000 #constraints=6176
35.98/36.03	c nbDecision=23500 #constraints=6305
38.58/38.63	c nbDecision=24000 #constraints=6467
41.58/41.67	c nbDecision=24500 #constraints=6625
44.28/44.35	c nbDecision=25000 #constraints=6785
47.58/47.60	c nbDecision=25500 #constraints=6947
47.88/47.95	c restart after 25601 decisions
49.67/49.73	c nbDecision=26000 #constraints=7056
52.28/52.37	c nbDecision=26500 #constraints=7204
55.88/55.94	c nbDecision=27000 #constraints=7367
58.88/58.94	c nbDecision=27500 #constraints=7523
62.68/62.74	c nbDecision=28000 #constraints=7684
64.58/64.63	c nbDecision=28500 #constraints=7783
66.77/66.81	c nbDecision=29000 #constraints=7885
70.38/70.47	c nbDecision=29500 #constraints=8016
74.37/74.42	c nbDecision=30000 #constraints=8158
76.57/76.68	c nbDecision=30500 #constraints=8275
78.37/78.41	c nbDecision=31000 #constraints=8369
80.27/80.37	c nbDecision=31500 #constraints=8470
82.67/82.79	c nbDecision=32000 #constraints=8588
86.37/86.43	c nbDecision=32500 #constraints=8755
88.57/88.67	c nbDecision=33000 #constraints=8869
92.07/92.17	c nbDecision=33500 #constraints=9023
94.57/94.62	c nbDecision=34000 #constraints=9140
98.07/98.14	c nbDecision=34500 #constraints=9290
101.56/101.61	c nbDecision=35000 #constraints=9441
105.57/105.61	c nbDecision=35500 #constraints=9609
110.47/110.59	c nbDecision=36000 #constraints=9808
116.76/116.84	c nbDecision=36500 #constraints=10031
120.56/120.61	c nbDecision=37000 #constraints=10160
126.56/126.63	c nbDecision=37500 #constraints=10332
130.56/130.67	c nbDecision=38000 #constraints=10477
133.36/133.48	c nbDecision=38500 #constraints=10596
137.15/137.29	c nbDecision=39000 #constraints=10742
141.15/141.24	c nbDecision=39500 #constraints=10894
145.46/145.56	c nbDecision=40000 #constraints=11053
149.86/149.91	c nbDecision=40500 #constraints=11206
155.45/155.53	c nbDecision=41000 #constraints=11398
162.25/162.39	c nbDecision=41500 #constraints=11613
169.35/169.48	c nbDecision=42000 #constraints=11809
177.44/177.57	c nbDecision=42500 #constraints=11994
180.64/180.73	c nbDecision=43000 #constraints=12104
183.24/183.34	c nbDecision=43500 #constraints=12193
186.95/187.05	c nbDecision=44000 #constraints=12309
191.74/191.84	c nbDecision=44500 #constraints=12449
196.24/196.37	c nbDecision=45000 #constraints=12589
200.34/200.46	c nbDecision=45500 #constraints=12715
205.84/205.99	c nbDecision=46000 #constraints=12867
209.64/209.79	c nbDecision=46500 #constraints=12985
215.44/215.59	c nbDecision=47000 #constraints=13144
220.73/220.84	c nbDecision=47500 #constraints=13294
227.64/227.71	c nbDecision=48000 #constraints=13484
235.44/235.50	c nbDecision=48500 #constraints=13685
243.13/243.25	c nbDecision=49000 #constraints=13867
249.53/249.64	c nbDecision=49500 #constraints=14010
258.72/258.86	c nbDecision=50000 #constraints=14192
262.92/263.02	c nbDecision=50500 #constraints=14314
267.12/267.20	c nbDecision=51000 #constraints=14434
269.63/269.71	c restart after 51201 decisions
273.73/273.84	c nbDecision=51500 #constraints=14582
278.92/279.01	c nbDecision=52000 #constraints=14721
284.82/284.91	c nbDecision=52500 #constraints=14874
291.52/291.63	c nbDecision=53000 #constraints=15039
300.12/300.25	c nbDecision=53500 #constraints=15242
310.41/310.54	c nbDecision=54000 #constraints=15463
320.41/320.51	c nbDecision=54500 #constraints=15647
328.71/328.85	c nbDecision=55000 #constraints=15797
331.61/331.73	c nbDecision=55500 #constraints=15868
334.41/334.57	c nbDecision=56000 #constraints=15941
337.41/337.59	c nbDecision=56500 #constraints=16012
341.91/342.01	c nbDecision=57000 #constraints=16109
345.50/345.68	c nbDecision=57500 #constraints=16196
353.20/353.33	c nbDecision=58000 #constraints=16365
356.80/357.00	c nbDecision=58500 #constraints=16448
361.51/361.68	c nbDecision=59000 #constraints=16549
367.80/367.90	c nbDecision=59500 #constraints=16673
370.80/370.91	c nbDecision=60000 #constraints=16748
377.20/377.31	c nbDecision=60500 #constraints=16876
383.40/383.59	c nbDecision=61000 #constraints=17002
389.69/389.83	c nbDecision=61500 #constraints=17126
398.69/398.89	c nbDecision=62000 #constraints=17274
411.39/411.55	c nbDecision=62500 #constraints=17448
415.89/416.04	c nbDecision=63000 #constraints=17541
419.19/419.38	c nbDecision=63500 #constraints=17618
425.99/426.19	c nbDecision=64000 #constraints=17754
433.09/433.30	c nbDecision=64500 #constraints=17894
441.38/441.50	c nbDecision=65000 #constraints=18047
449.38/449.56	c nbDecision=65500 #constraints=18193
461.38/461.57	c nbDecision=66000 #constraints=18378
475.07/475.20	c nbDecision=66500 #constraints=18549
480.37/480.57	c nbDecision=67000 #constraints=18652
487.57/487.73	c nbDecision=67500 #constraints=18793
494.96/495.16	c nbDecision=68000 #constraints=18932
506.06/506.22	c nbDecision=68500 #constraints=19129
518.36/518.52	c nbDecision=69000 #constraints=19319
528.16/528.30	c nbDecision=69500 #constraints=19474
537.46/537.68	c nbDecision=70000 #constraints=19643
550.05/550.28	c nbDecision=70500 #constraints=19854
565.35/565.58	c nbDecision=71000 #constraints=20071
570.75/570.92	c nbDecision=71500 #constraints=20171
578.85/579.03	c nbDecision=72000 #constraints=20316
587.75/587.93	c nbDecision=72500 #constraints=20471
599.35/599.53	c nbDecision=73000 #constraints=20661
612.74/612.96	c nbDecision=73500 #constraints=20852
622.24/622.42	c nbDecision=74000 #constraints=20999
632.34/632.58	c nbDecision=74500 #constraints=21168
646.93/647.11	c nbDecision=75000 #constraints=21392
662.03/662.22	c nbDecision=75500 #constraints=21591
667.02/667.23	c nbDecision=76000 #constraints=21670
674.23/674.46	c nbDecision=76500 #constraints=21787
681.63/681.80	c nbDecision=77000 #constraints=21894
696.62/696.85	c nbDecision=77500 #constraints=22081
708.62/708.89	c nbDecision=78000 #constraints=22235
721.21/721.45	c nbDecision=78500 #constraints=22406
736.61/736.80	c nbDecision=79000 #constraints=22605
744.80/745.02	c nbDecision=79500 #constraints=22750
751.90/752.12	c nbDecision=80000 #constraints=22863
764.01/764.28	c nbDecision=80500 #constraints=23049
776.20/776.50	c nbDecision=81000 #constraints=23239
787.20/787.43	c nbDecision=81500 #constraints=23402
799.99/800.20	c nbDecision=82000 #constraints=23596
811.99/812.20	c nbDecision=82500 #constraints=23769
826.19/826.46	c nbDecision=83000 #constraints=23977
841.08/841.32	c nbDecision=83500 #constraints=24199
856.07/856.35	c nbDecision=84000 #constraints=24424
872.68/872.95	c nbDecision=84500 #constraints=24652
889.17/889.40	c nbDecision=85000 #constraints=24868
903.97/904.21	c nbDecision=85500 #constraints=25030
921.26/921.50	c nbDecision=86000 #constraints=25208
935.96/936.27	c nbDecision=86500 #constraints=25398
945.36/945.68	c nbDecision=87000 #constraints=25545
962.85/963.11	c nbDecision=87500 #constraints=25780
977.35/977.63	c nbDecision=88000 #constraints=25978
992.14/992.42	c nbDecision=88500 #constraints=26185
1008.84/1009.12	c nbDecision=89000 #constraints=26407
1025.94/1026.29	c nbDecision=89500 #constraints=26643
1043.54/1043.81	c nbDecision=90000 #constraints=26863
1062.12/1062.44	c nbDecision=90500 #constraints=27088
1080.13/1080.49	c nbDecision=91000 #constraints=27265
1099.52/1099.89	c nbDecision=91500 #constraints=27455
1109.01/1109.34	c nbDecision=92000 #constraints=27600
1117.32/1117.61	c nbDecision=92500 #constraints=27712
1130.71/1131.07	c nbDecision=93000 #constraints=27883
1145.60/1145.99	c nbDecision=93500 #constraints=28077
1158.30/1158.66	c nbDecision=94000 #constraints=28239
1175.20/1175.60	c nbDecision=94500 #constraints=28444
1188.09/1188.49	c nbDecision=95000 #constraints=28605
1206.20/1206.54	c nbDecision=95500 #constraints=28823
1224.19/1224.51	c nbDecision=96000 #constraints=29042
1241.18/1241.53	c nbDecision=96500 #constraints=29257
1260.38/1260.75	c nbDecision=97000 #constraints=29484
1280.67/1281.05	c nbDecision=97500 #constraints=29714
1297.97/1298.33	c nbDecision=98000 #constraints=29880
1317.87/1318.22	c nbDecision=98500 #constraints=30051
1336.86/1337.23	c nbDecision=99000 #constraints=30243
1348.16/1348.53	c nbDecision=99500 #constraints=30393
1367.75/1368.12	c nbDecision=100000 #constraints=30617
1385.22/1385.69	c nbDecision=100500 #constraints=30823
1402.57/1403.03	c nbDecision=101000 #constraints=31026
1422.16/1422.63	c nbDecision=101500 #constraints=31246
1442.66/1443.10	c nbDecision=102000 #constraints=31481
1459.35/1459.81	c restart after 102401 decisions
1462.04/1462.54	c nbDecision=102500 #constraints=31674
1483.84/1484.31	c nbDecision=103000 #constraints=31905
1504.54/1505.08	c nbDecision=103500 #constraints=32084
1527.83/1528.33	c nbDecision=104000 #constraints=32268
1543.13/1543.62	c nbDecision=104500 #constraints=32430
1550.72/1551.23	c nbDecision=105000 #constraints=32522
1560.02/1560.52	c nbDecision=105500 #constraints=32630
1579.61/1580.10	c nbDecision=106000 #constraints=32851
1592.01/1592.57	c nbDecision=106500 #constraints=32993
1609.81/1610.39	c nbDecision=107000 #constraints=33178
1621.10/1621.64	c nbDecision=107500 #constraints=33306
1638.90/1639.48	c nbDecision=108000 #constraints=33489
1660.79/1661.34	c nbDecision=108500 #constraints=33682
1682.10/1682.63	c nbDecision=109000 #constraints=33839
1699.89/1700.44	c nbDecision=109500 #constraints=34017
1712.49/1713.06	c nbDecision=110000 #constraints=34154
1731.28/1731.84	c nbDecision=110500 #constraints=34354
1750.77/1751.35	c nbDecision=111000 #constraints=34544
1770.07/1770.62	c nbDecision=111500 #constraints=34732
1793.06/1793.67	c nbDecision=112000 #constraints=34927
1800.07/1800.60	Received signal 15
1800.17/1800.75	
1800.17/1800.75	s SATISFIABLE
1800.17/1800.75	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.17/1800.75	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.17/1800.75	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.17/1800.75	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.17/1800.75	v -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127
1800.17/1800.75	v -x128 -x129 -x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 x142 -x143 x144 x145 -x146 x147 -x148 x149
1800.17/1800.75	v -x150 x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 x160 -x161 -x162 x163 -x164 -x165 x166 -x167 -x168 -x169 -x170 -x171
1800.17/1800.75	v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192
1800.17/1800.75	v x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 x208 -x209 -x210 -x211 -x212 x213
1800.17/1800.75	v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234
1800.17/1800.75	v -x235 x236 -x237 -x238 -x239
1800.17/1800.75	
1800.17/1800.75	c user time= 1799.92 s
1800.17/1800.75	c system time= 0.308953 s
1800.17/1800.75	c wall clock time=1800.76

Verifier Data (download as text)

OK	1325

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node55/watcher-363742-1176986288 -o ROOT/results/node55/solver-363742-1176986288 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/363742-1176986288/instance-363742-1176986288.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.96 1.01 0.99 3/64 8402
/proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=1468 CPUtime=0
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 146538836 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 367 165 130 317 0 46 0

[startup+0.0173269 s]
/proc/loadavg: 0.96 1.01 0.99 3/64 8402
/proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=1732 CPUtime=0.01
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 268 0 0 0 1 0 0 0 18 0 1 0 146538836 1773568 250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135155328 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 433 250 167 317 0 112 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1732

[startup+0.101335 s]
/proc/loadavg: 0.96 1.01 0.99 3/64 8402
/proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=2124 CPUtime=0.09
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 369 0 0 0 9 0 0 0 18 0 1 0 146538836 2174976 351 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712475 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 531 351 170 317 0 210 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2124

[startup+0.301354 s]
/proc/loadavg: 0.96 1.01 0.99 3/64 8402
/proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=2780 CPUtime=0.29
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 560 0 0 0 29 0 0 0 19 0 1 0 146538836 2846720 542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134544852 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 695 542 170 317 0 374 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2780

[startup+0.701392 s]
/proc/loadavg: 0.96 1.01 0.99 3/64 8402
/proc/meminfo: memFree=1755060/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=4084 CPUtime=0.69
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 878 0 0 0 69 0 0 0 22 0 1 0 146538836 4182016 860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 1021 860 170 317 0 700 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4084

[startup+1.50147 s]
/proc/loadavg: 0.96 1.01 0.99 2/65 8403
/proc/meminfo: memFree=1751468/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=5808 CPUtime=1.49
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 1316 0 0 0 149 0 0 0 25 0 1 0 146538836 5947392 1298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 1452 1298 170 317 0 1131 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5808

[startup+3.10262 s]
/proc/loadavg: 0.96 1.01 0.99 2/65 8403
/proc/meminfo: memFree=1749484/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=7944 CPUtime=3.09
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 1806 0 0 0 309 0 0 0 25 0 1 0 146538836 8134656 1788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 1986 1788 170 317 0 1665 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 7944

[startup+6.30192 s]
/proc/loadavg: 0.97 1.01 0.99 2/65 8403
/proc/meminfo: memFree=1746540/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=10256 CPUtime=6.29
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 2366 0 0 0 629 0 0 0 25 0 1 0 146538836 10502144 2348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 2564 2348 170 317 0 2243 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 10256

[startup+12.7015 s]
/proc/loadavg: 0.97 1.00 0.99 2/65 8403
/proc/meminfo: memFree=1743340/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=13112 CPUtime=12.69
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 3063 0 0 0 1268 1 0 0 25 0 1 0 146538836 13426688 3045 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 3278 3045 170 317 0 2957 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13112

[startup+25.5017 s]
/proc/loadavg: 0.97 1.00 0.99 2/65 8403
/proc/meminfo: memFree=1739500/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=17388 CPUtime=25.49
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 4035 0 0 0 2547 2 0 0 25 0 1 0 146538836 17805312 4017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 4347 4017 170 317 0 4026 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17388

[startup+51.1012 s]
/proc/loadavg: 0.98 1.00 0.99 2/65 8403
/proc/meminfo: memFree=1734572/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=22148 CPUtime=51.07
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 5261 0 0 0 5105 2 0 0 25 0 1 0 146538836 22679552 5243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 5537 5243 170 317 0 5216 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22148

[startup+102.305 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1726956/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=30896 CPUtime=102.27
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 7203 0 0 0 10222 5 0 0 25 0 1 0 146538836 31637504 7128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 7724 7128 170 317 0 7403 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 30896

[startup+162.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1720428/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=37228 CPUtime=162.25
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 8803 0 0 0 16219 6 0 0 25 0 1 0 146538836 38121472 8728 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 9307 8728 170 317 0 8986 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 37228

[startup+222.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1715372/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=42324 CPUtime=222.23
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 10080 0 0 0 22216 7 0 0 25 0 1 0 146538836 43339776 10005 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 10581 10005 170 317 0 10260 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 42324

[startup+282.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1710892/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=46740 CPUtime=282.22
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 11179 0 0 0 28213 9 0 0 25 0 1 0 146538836 47861760 11104 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 11685 11104 170 317 0 11364 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 46740

[startup+342.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1706924/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=50324 CPUtime=342.2
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 12147 0 0 0 34210 10 0 0 25 0 1 0 146538836 51531776 12072 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 12581 12072 170 317 0 12260 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 50324

[startup+402.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1703020/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=57084 CPUtime=402.19
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 13589 0 0 0 40208 11 0 0 25 0 1 0 146538836 58454016 13038 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 14271 13038 170 317 0 13950 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 57084

[startup+462.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1699948/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=60632 CPUtime=462.18
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 14387 0 0 0 46206 12 0 0 25 0 1 0 146538836 62087168 13836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 15158 13836 170 317 0 14837 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 60632

[startup+522.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1696748/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=63624 CPUtime=522.16
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 15191 0 0 0 52204 12 0 0 25 0 1 0 146538836 65150976 14640 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 15906 14640 170 317 0 15585 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 63624

[startup+582.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1693356/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=66992 CPUtime=582.15
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 16031 0 0 0 58201 14 0 0 25 0 1 0 146538836 68599808 15480 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 16748 15480 170 317 0 16427 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 66992

[startup+642.301 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1690156/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=69780 CPUtime=642.13
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 16812 0 0 0 64199 14 0 0 25 0 1 0 146538836 71454720 16261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 17445 16261 170 317 0 17124 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 69780


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

[startup+882.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1679532/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=80100 CPUtime=882.08
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 19545 0 0 0 88190 18 0 0 25 0 1 0 146538836 82022400 18895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 20025 18895 170 317 0 19704 0
Current children cumulated CPU time (s) 882.08
Current children cumulated vsize (KiB) 80100

[startup+942.302 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1677228/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=82456 CPUtime=942.06
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 20198 0 0 0 94187 19 0 0 25 0 1 0 146538836 84434944 19482 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711120 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 20614 19482 170 317 0 20293 0
Current children cumulated CPU time (s) 942.06
Current children cumulated vsize (KiB) 82456

[startup+1002.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1674604/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=84804 CPUtime=1002.05
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 20834 0 0 0 100185 20 0 0 25 0 1 0 146538836 86839296 20118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 21201 20118 170 317 0 20880 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 84804

[startup+1062.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1672364/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=87284 CPUtime=1062.02
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 21508 0 0 0 106182 20 0 0 25 0 1 0 146538836 89378816 20693 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 21821 20693 170 317 0 21500 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 87284

[startup+1122.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1669996/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=89384 CPUtime=1122.01
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 22076 0 0 0 112180 21 0 0 25 0 1 0 146538836 91529216 21261 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 22346 21261 170 317 0 22025 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 89384

[startup+1182.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1667756/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=91656 CPUtime=1182
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 22667 0 0 0 118179 21 0 0 25 0 1 0 146538836 93855744 21819 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 22914 21819 170 317 0 22593 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 91656

[startup+1242.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1665580/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=93996 CPUtime=1241.98
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 23321 0 0 0 124176 22 0 0 25 0 1 0 146538836 96251904 22374 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 23499 22374 170 317 0 23178 0
Current children cumulated CPU time (s) 1241.98
Current children cumulated vsize (KiB) 93996

[startup+1302.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1663340/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=97008 CPUtime=1301.98
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 24032 0 0 0 130175 23 0 0 25 0 1 0 146538836 99336192 22887 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 24252 22887 170 317 0 23931 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 97008

[startup+1362.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8405
/proc/meminfo: memFree=1661420/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=98980 CPUtime=1361.95
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 24540 0 0 0 136172 23 0 0 25 0 1 0 146538836 101355520 23395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604480 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 24745 23395 170 317 0 24424 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 98980

[startup+1422.31 s]
/proc/loadavg: 0.99 1.00 0.99 2/71 8581
/proc/meminfo: memFree=1657980/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=100864 CPUtime=1421.86
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 25064 0 0 0 142160 26 0 0 25 0 1 0 146538836 103284736 23919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 25216 23919 170 317 0 24895 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 100864

[startup+1482.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1657132/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=104372 CPUtime=1481.84
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 25927 0 0 0 148157 27 0 0 25 0 1 0 146538836 106876928 24419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 26093 24419 170 317 0 25772 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 104372

[startup+1542.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1655276/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=105940 CPUtime=1541.83
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 26392 0 0 0 154155 28 0 0 25 0 1 0 146538836 108482560 24884 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 26485 24884 170 317 0 26164 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 105940

[startup+1602.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1652844/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=109200 CPUtime=1601.81
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 27237 0 0 0 160152 29 0 0 25 0 1 0 146538836 111820800 25471 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 27300 25471 170 317 0 26979 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 109200

[startup+1662.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1651500/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=114732 CPUtime=1661.79
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 28578 0 0 0 166150 29 0 0 25 0 1 0 146538836 117485568 25836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 28683 25836 170 317 0 28362 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 114732

[startup+1722.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1649900/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=116196 CPUtime=1721.79
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29003 0 0 0 172149 30 0 0 25 0 1 0 146538836 118984704 26228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 29049 26228 170 317 0 28728 0
Current children cumulated CPU time (s) 1721.79
Current children cumulated vsize (KiB) 116196

[startup+1782.3 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1648044/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=117900 CPUtime=1781.76
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29452 0 0 0 178146 30 0 0 25 0 1 0 146538836 120729600 26677 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 29475 26677 170 317 0 29154 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 117900



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1647596/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=118292 CPUtime=1800.07
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29563 0 0 0 179977 30 0 0 25 0 1 0 146538836 121131008 26788 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 29573 26788 170 317 0 29252 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 118292

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 1.00 0.99 2/65 8603
/proc/meminfo: memFree=1647596/2055920 swapFree=4184496/4192956
[pid=8402] ppid=8400 vsize=118292 CPUtime=1800.17
/proc/8402/stat : 8402 (oree) R 8400 8402 6485 0 -1 4194304 29566 0 0 0 179987 30 0 0 25 0 1 0 146538836 121131008 26791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8402/statm: 29573 26791 170 317 0 29252 0
Current children cumulated CPU time (s) 1800.17
Current children cumulated vsize (KiB) 118292

Child status: 0
Real time (s): 1800.78
CPU time (s): 1800.25
CPU user time (s): 1799.92
CPU system time (s): 0.32695
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 118292

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

runsolver used 1.39479 second user time and 3.60145 second system time

The end

Launcher Data (download as text)

Begin job on node55 on Thu Apr 19 12:38:08 UTC 2007

IDJOB= 363742
IDBENCH= 2021
IDSOLVER= 172
FILE ID= node55/363742-1176986288

PBS_JOBID= 4630372

Free space on /tmp= 66354 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-c8.opb
COMMAND LINE= oree /tmp/evaluation/363742-1176986288/instance-363742-1176986288.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node55/watcher-363742-1176986288 -o ROOT/results/node55/solver-363742-1176986288 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/363742-1176986288/instance-363742-1176986288.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  c919b2e3620f35e89404416810e81e0b

RANDOM SEED= 169101013

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node55.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.216
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.216
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:       1755404 kB
Buffers:         18064 kB
Cached:         208084 kB
SwapCached:       2196 kB
Active:         100312 kB
Inactive:       135704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1755404 kB
SwapTotal:     4192956 kB
SwapFree:      4184496 kB
Dirty:            1328 kB
Writeback:           0 kB
Mapped:          16400 kB
Slab:            50552 kB
Committed_AS:  1150156 kB
PageTables:       1384 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= 66354 MiB

End job on node55 on Thu Apr 19 13:08:11 UTC 2007