Trace number 373091

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 alpha? (TO) 1800.51 1801.09

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_2.opb
MD5SUMaf0ded53094abde95c37378ccd6c7afa
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark21
Best CPU time to get the best result obtained on this benchmark1800.12
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21
Optimality of the best value was proved NO
Number of variables8901
Total number of constraints32298
Number of constraints which are clauses32280
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints17
Minimum length of a constraint1
Maximum length of a constraint790
Number of terms in the objective function 790
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 790
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 30
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 820
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

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.19/0.26	c ...done
0.19/0.26	c #vars=8901 #constraints=32299 hasObjective=yes
0.69/0.71	c res. mode=mod
0.69/0.71	c VSIDS like heuristics
0.69/0.71	c complete search running
3.09/3.19	c restart after 401 decisions
4.30/4.38	c nbDecision=500 #constraints=32388
5.40/5.48	c restart after 801 decisions
5.59/5.68	c nbDecision=1000 #constraints=32417
6.29/6.37	c nbDecision=1500 #constraints=32431
6.39/6.48	c restart after 1601 decisions
6.89/6.93	c nbDecision=2000 #constraints=32441
7.59/7.65	c nbDecision=2500 #constraints=32456
8.49/8.57	c nbDecision=3000 #constraints=32476
9.19/9.28	c restart after 3201 decisions
12.89/12.98	c nbDecision=3500 #constraints=32558
13.69/13.71	c nbDecision=4000 #constraints=32573
14.29/14.39	c nbDecision=4500 #constraints=32587
15.19/15.26	c nbDecision=5000 #constraints=32606
19.28/19.33	c nbDecision=5500 #constraints=32680
20.39/20.40	c nbDecision=6000 #constraints=32704
20.89/20.95	c restart after 6401 decisions
20.99/21.04	c nbDecision=6500 #constraints=32716
21.79/21.81	c nbDecision=7000 #constraints=32732
25.39/25.44	c nbDecision=7500 #constraints=32794
26.99/27.09	c nbDecision=8000 #constraints=32832
27.79/27.82	c nbDecision=8500 #constraints=32847
28.49/28.56	c nbDecision=9000 #constraints=32862
30.08/30.18	c nbDecision=9500 #constraints=32900
32.28/32.30	c nbDecision=10000 #constraints=32924
33.68/33.79	c nbDecision=10500 #constraints=32959
37.48/37.51	c nbDecision=11000 #constraints=33023
38.08/38.16	c nbDecision=11500 #constraints=33036
38.78/38.90	c nbDecision=12000 #constraints=33051
40.28/40.32	c nbDecision=12500 #constraints=33084
43.78/43.87	c restart after 12801 decisions
44.18/44.20	c nbDecision=13000 #constraints=33151
44.88/44.91	c nbDecision=13500 #constraints=33165
45.58/45.65	c nbDecision=14000 #constraints=33180
46.78/46.82	c nbDecision=14500 #constraints=33206
50.78/50.83	c nbDecision=15000 #constraints=33277
51.38/51.49	c nbDecision=15500 #constraints=33290
52.18/52.23	c nbDecision=16000 #constraints=33305
53.18/53.28	c nbDecision=16500 #constraints=33328
57.48/57.55	c nbDecision=17000 #constraints=33407
59.48/59.57	c nbDecision=17500 #constraints=33453
60.28/60.31	c nbDecision=18000 #constraints=33468
62.48/62.58	c nbDecision=18500 #constraints=33520
64.78/64.81	c nbDecision=19000 #constraints=33571
66.97/67.00	c nbDecision=19500 #constraints=33621
69.07/69.15	c nbDecision=20000 #constraints=33670
71.17/71.26	c nbDecision=20500 #constraints=33718
73.07/73.19	c nbDecision=21000 #constraints=33762
75.07/75.20	c nbDecision=21500 #constraints=33808
77.07/77.17	c nbDecision=22000 #constraints=33851
79.17/79.21	c nbDecision=22500 #constraints=33897
81.07/81.10	c nbDecision=23000 #constraints=33940
82.67/82.76	c nbDecision=23500 #constraints=33977
84.68/84.75	c nbDecision=24000 #constraints=34022
86.67/86.70	c nbDecision=24500 #constraints=34066
88.37/88.49	c nbDecision=25000 #constraints=34106
90.27/90.34	c nbDecision=25500 #constraints=34148
91.47/91.55	c restart after 25601 decisions
92.07/92.10	c nbDecision=26000 #constraints=34186
92.97/93.04	c nbDecision=26500 #constraints=34206
95.87/95.97	c nbDecision=27000 #constraints=34251
97.67/97.79	c nbDecision=27500 #constraints=34292
99.46/99.56	c nbDecision=28000 #constraints=34332
102.17/102.23	c nbDecision=28500 #constraints=34394
103.86/103.93	c nbDecision=29000 #constraints=34432
106.36/106.42	c nbDecision=29500 #constraints=34489
108.37/108.45	c nbDecision=30000 #constraints=34535
110.26/110.32	c nbDecision=30500 #constraints=34578
111.66/111.73	c nbDecision=31000 #constraints=34609
113.76/113.87	c nbDecision=31500 #constraints=34658
115.66/115.77	c nbDecision=32000 #constraints=34701
117.36/117.42	c nbDecision=32500 #constraints=34738
118.56/118.63	c nbDecision=33000 #constraints=34764
120.15/120.24	c nbDecision=33500 #constraints=34800
121.55/121.66	c nbDecision=34000 #constraints=34831
122.95/123.01	c nbDecision=34500 #constraints=34860
124.16/124.24	c nbDecision=35000 #constraints=34886
125.15/125.29	c nbDecision=35500 #constraints=34908
126.36/126.48	c nbDecision=36000 #constraints=34933
127.56/127.63	c nbDecision=36500 #constraints=34965
128.26/128.39	c nbDecision=37000 #constraints=34986
129.06/129.10	c nbDecision=37500 #constraints=35000
130.86/130.98	c nbDecision=38000 #constraints=35046
132.56/132.67	c nbDecision=38500 #constraints=35207
134.06/134.19	c nbDecision=39000 #constraints=35320
135.06/135.18	c nbDecision=39500 #constraints=35341
136.16/136.27	c nbDecision=40000 #constraints=35363
137.46/137.59	c nbDecision=40500 #constraints=35391
138.76/138.89	c nbDecision=41000 #constraints=35418
139.66/139.74	c nbDecision=41500 #constraints=35434
141.55/141.66	c nbDecision=42000 #constraints=35477
142.86/142.96	c nbDecision=42500 #constraints=35630
145.15/145.24	c nbDecision=43000 #constraints=35750
146.35/146.47	c nbDecision=43500 #constraints=35771
147.65/147.70	c nbDecision=44000 #constraints=35793
149.65/149.76	c nbDecision=44500 #constraints=35861
151.76/151.88	c nbDecision=45000 #constraints=36056
153.95/154.04	c nbDecision=45500 #constraints=36132
156.45/156.59	c nbDecision=46000 #constraints=36176
158.64/158.70	c nbDecision=46500 #constraints=36299
162.25/162.35	c nbDecision=47000 #constraints=36514
163.85/163.90	c nbDecision=47500 #constraints=36675
167.35/167.45	c nbDecision=48000 #constraints=36824
168.75/168.82	c nbDecision=48500 #constraints=36841
170.45/170.55	c nbDecision=49000 #constraints=36863
174.25/174.37	c nbDecision=49500 #constraints=36901
175.95/176.03	c nbDecision=50000 #constraints=36922
180.24/180.35	c nbDecision=50500 #constraints=36968
181.44/181.58	c nbDecision=51000 #constraints=36983
182.24/182.37	c restart after 51201 decisions
183.24/183.30	c nbDecision=51500 #constraints=37002
184.54/184.61	c nbDecision=52000 #constraints=37018
186.84/186.99	c nbDecision=52500 #constraints=37049
190.34/190.45	c nbDecision=53000 #constraints=37083
191.84/191.97	c nbDecision=53500 #constraints=37102
196.14/196.27	c nbDecision=54000 #constraints=37147
200.33/200.41	c nbDecision=54500 #constraints=37190
201.73/201.80	c nbDecision=55000 #constraints=37207
203.83/203.97	c nbDecision=55500 #constraints=37235
207.63/207.76	c nbDecision=56000 #constraints=37271
208.84/208.96	c nbDecision=56500 #constraints=37291
210.13/210.25	c nbDecision=57000 #constraints=37312
211.13/211.29	c nbDecision=57500 #constraints=37332
212.73/212.85	c nbDecision=58000 #constraints=37356
214.64/214.72	c nbDecision=58500 #constraints=37379
216.84/216.98	c nbDecision=59000 #constraints=37408
218.24/218.39	c nbDecision=59500 #constraints=37426
219.63/219.72	c nbDecision=60000 #constraints=37443
221.23/221.31	c nbDecision=60500 #constraints=37463
225.34/225.44	c nbDecision=61000 #constraints=37506
227.03/227.17	c nbDecision=61500 #constraints=37527
228.33/228.46	c nbDecision=62000 #constraints=37543
230.23/230.38	c nbDecision=62500 #constraints=37566
231.73/231.82	c nbDecision=63000 #constraints=37587
233.73/233.82	c nbDecision=63500 #constraints=37615
235.43/235.52	c nbDecision=64000 #constraints=37638
237.03/237.17	c nbDecision=64500 #constraints=37658
238.73/238.82	c nbDecision=65000 #constraints=37678
240.13/240.22	c nbDecision=65500 #constraints=37695
241.53/241.66	c nbDecision=66000 #constraints=37712
243.23/243.31	c nbDecision=66500 #constraints=37732
245.63/245.72	c nbDecision=67000 #constraints=37762
247.72/247.81	c nbDecision=67500 #constraints=37789
249.82/249.97	c nbDecision=68000 #constraints=37816
251.22/251.39	c nbDecision=68500 #constraints=37833
252.83/252.98	c nbDecision=69000 #constraints=37853
254.32/254.46	c nbDecision=69500 #constraints=37871
255.92/256.02	c nbDecision=70000 #constraints=37890
257.42/257.57	c nbDecision=70500 #constraints=37909
259.72/259.86	c nbDecision=71000 #constraints=37941
261.42/261.60	c nbDecision=71500 #constraints=37966
263.72/263.81	c nbDecision=72000 #constraints=37995
265.31/265.43	c nbDecision=72500 #constraints=38015
268.32/268.46	c nbDecision=73000 #constraints=38081
271.42/271.57	c nbDecision=73500 #constraints=38265
274.12/274.26	c nbDecision=74000 #constraints=38341
276.32/276.44	c nbDecision=74500 #constraints=38367
280.22/280.31	c nbDecision=75000 #constraints=38427
283.91/284.07	c nbDecision=75500 #constraints=38654
288.51/288.61	c nbDecision=76000 #constraints=38759
290.81/290.92	c nbDecision=76500 #constraints=38903
296.02/296.15	c nbDecision=77000 #constraints=39091
300.01/300.14	c nbDecision=77500 #constraints=39342
303.91/304.03	c nbDecision=78000 #constraints=39411
306.61/306.77	c nbDecision=78500 #constraints=39434
309.01/309.19	c nbDecision=79000 #constraints=39455
313.71/313.85	c nbDecision=79500 #constraints=39516
318.20/318.36	c nbDecision=80000 #constraints=39718
321.90/322.02	c nbDecision=80500 #constraints=39812
325.50/325.62	c nbDecision=81000 #constraints=39840
330.70/330.89	c nbDecision=81500 #constraints=39909
334.31/334.43	c nbDecision=82000 #constraints=40072
342.30/342.47	c nbDecision=82500 #constraints=40217
346.10/346.26	c nbDecision=83000 #constraints=40379
352.60/352.76	c nbDecision=83500 #constraints=40552
356.00/356.14	c nbDecision=84000 #constraints=40722
362.59/362.78	c nbDecision=84500 #constraints=40865
366.10/366.27	c nbDecision=85000 #constraints=40886
373.99/374.11	c nbDecision=85500 #constraints=40929
377.59/377.75	c nbDecision=86000 #constraints=40949
385.59/385.71	c nbDecision=86500 #constraints=40990
391.68/391.87	c nbDecision=87000 #constraints=41028
396.88/397.03	c nbDecision=87500 #constraints=41055
405.09/405.28	c nbDecision=88000 #constraints=41102
408.78/408.94	c nbDecision=88500 #constraints=41124
416.18/416.40	c nbDecision=89000 #constraints=41166
420.78/420.97	c nbDecision=89500 #constraints=41194
427.88/428.01	c nbDecision=90000 #constraints=41233
431.28/431.41	c nbDecision=90500 #constraints=41256
434.77/434.99	c nbDecision=91000 #constraints=41277
438.07/438.21	c nbDecision=91500 #constraints=41298
441.57/441.74	c nbDecision=92000 #constraints=41319
446.38/446.58	c nbDecision=92500 #constraints=41350
449.78/449.98	c nbDecision=93000 #constraints=41370
453.17/453.36	c nbDecision=93500 #constraints=41390
456.27/456.43	c nbDecision=94000 #constraints=41409
460.67/460.81	c nbDecision=94500 #constraints=41436
464.17/464.37	c nbDecision=95000 #constraints=41458
467.27/467.45	c nbDecision=95500 #constraints=41476
470.67/470.83	c nbDecision=96000 #constraints=41496
475.76/475.97	c nbDecision=96500 #constraints=41527
481.16/481.39	c nbDecision=97000 #constraints=41560
484.96/485.16	c nbDecision=97500 #constraints=41586
488.55/488.72	c nbDecision=98000 #constraints=41607
492.25/492.41	c nbDecision=98500 #constraints=41629
495.55/495.75	c nbDecision=99000 #constraints=41649
500.46/500.68	c nbDecision=99500 #constraints=41681
507.16/507.39	c nbDecision=100000 #constraints=41728
513.16/513.36	c nbDecision=100500 #constraints=41904
516.76/516.97	c nbDecision=101000 #constraints=41994
521.55/521.75	c nbDecision=101500 #constraints=42025
529.15/529.33	c nbDecision=102000 #constraints=42094
534.24/534.46	c restart after 102401 decisions
535.04/535.27	c nbDecision=102500 #constraints=42261
540.24/540.45	c nbDecision=103000 #constraints=42290
548.04/548.24	c nbDecision=103500 #constraints=42330
556.44/556.61	c nbDecision=104000 #constraints=42458
563.34/563.53	c nbDecision=104500 #constraints=42680
568.44/568.66	c nbDecision=105000 #constraints=42720
578.64/578.80	c nbDecision=105500 #constraints=42786
585.93/586.13	c nbDecision=106000 #constraints=42992
592.93/593.11	c nbDecision=106500 #constraints=43155
599.71/599.90	c nbDecision=107000 #constraints=43364
606.71/606.94	c nbDecision=107500 #constraints=43459
611.79/612.01	c nbDecision=108000 #constraints=43483
616.98/617.22	c nbDecision=108500 #constraints=43510
622.96/623.26	c nbDecision=109000 #constraints=43537
627.55/627.89	c nbDecision=109500 #constraints=43573
635.35/635.61	c nbDecision=110000 #constraints=43609
642.74/643.02	c nbDecision=110500 #constraints=43759
652.82/653.13	c nbDecision=111000 #constraints=43913
664.72/665.10	c nbDecision=111500 #constraints=44024
673.32/673.68	c nbDecision=112000 #constraints=44249
680.62/680.93	c nbDecision=112500 #constraints=44390
693.31/693.60	c nbDecision=113000 #constraints=44640
699.92/700.26	c nbDecision=113500 #constraints=44667
707.91/708.30	c nbDecision=114000 #constraints=44701
720.91/721.26	c nbDecision=114500 #constraints=44794
731.80/732.18	c nbDecision=115000 #constraints=45025
742.71/743.00	c nbDecision=115500 #constraints=45170
754.80/755.19	c nbDecision=116000 #constraints=45352
761.30/761.68	c nbDecision=116500 #constraints=45503
773.49/773.85	c nbDecision=117000 #constraints=45701
787.68/788.06	c nbDecision=117500 #constraints=45748
797.39/797.75	c nbDecision=118000 #constraints=45870
812.18/812.51	c nbDecision=118500 #constraints=45972
821.98/822.36	c nbDecision=119000 #constraints=46163
831.97/832.32	c nbDecision=119500 #constraints=46303
842.98/843.36	c nbDecision=120000 #constraints=46501
853.07/853.42	c nbDecision=120500 #constraints=46586
862.97/863.38	c nbDecision=121000 #constraints=46614
872.97/873.38	c nbDecision=121500 #constraints=46644
881.16/881.55	c nbDecision=122000 #constraints=46668
890.76/891.18	c nbDecision=122500 #constraints=46698
899.26/899.67	c nbDecision=123000 #constraints=46723
912.75/913.13	c nbDecision=123500 #constraints=46761
922.25/922.70	c nbDecision=124000 #constraints=46789
932.65/933.01	c nbDecision=124500 #constraints=46823
943.55/943.93	c nbDecision=125000 #constraints=46854
958.64/959.02	c nbDecision=125500 #constraints=46974
970.84/971.30	c nbDecision=126000 #constraints=47176
990.13/990.59	c nbDecision=126500 #constraints=47274
1002.23/1002.64	c nbDecision=127000 #constraints=47487
1012.73/1013.17	c nbDecision=127500 #constraints=47638
1030.23/1030.69	c nbDecision=128000 #constraints=47913
1048.32/1048.73	c nbDecision=128500 #constraints=47958
1062.41/1062.83	c nbDecision=129000 #constraints=47995
1073.71/1074.12	c nbDecision=129500 #constraints=48023
1085.01/1085.47	c nbDecision=130000 #constraints=48056
1096.70/1097.12	c nbDecision=130500 #constraints=48088
1106.40/1106.81	c nbDecision=131000 #constraints=48115
1119.20/1119.61	c nbDecision=131500 #constraints=48147
1130.50/1130.92	c nbDecision=132000 #constraints=48181
1142.09/1142.55	c nbDecision=132500 #constraints=48214
1162.79/1163.24	c nbDecision=133000 #constraints=48290
1173.29/1173.73	c nbDecision=133500 #constraints=48469
1195.78/1196.28	c nbDecision=134000 #constraints=48644
1203.88/1204.31	c nbDecision=134500 #constraints=48775
1220.77/1221.27	c nbDecision=135000 #constraints=48975
1232.66/1233.12	c nbDecision=135500 #constraints=49153
1252.86/1253.35	c nbDecision=136000 #constraints=49309
1283.05/1283.58	c nbDecision=136500 #constraints=49376
1296.35/1296.81	c nbDecision=137000 #constraints=49405
1311.75/1312.26	c nbDecision=137500 #constraints=49439
1323.24/1323.72	c nbDecision=138000 #constraints=49474
1339.13/1339.60	c nbDecision=138500 #constraints=49509
1354.73/1355.22	c nbDecision=139000 #constraints=49554
1368.33/1368.89	c nbDecision=139500 #constraints=49589
1388.73/1389.20	c nbDecision=140000 #constraints=49634
1405.62/1406.17	c nbDecision=140500 #constraints=49694
1425.31/1425.83	c nbDecision=141000 #constraints=49761
1445.31/1445.87	c nbDecision=141500 #constraints=49884
1457.80/1458.38	c nbDecision=142000 #constraints=50062
1480.40/1480.97	c nbDecision=142500 #constraints=50198
1500.39/1500.95	c nbDecision=143000 #constraints=50430
1511.79/1512.31	c nbDecision=143500 #constraints=50577
1531.48/1532.06	c nbDecision=144000 #constraints=50802
1570.48/1571.04	c nbDecision=144500 #constraints=50893
1617.56/1618.19	c nbDecision=145000 #constraints=50996
1652.66/1653.25	c nbDecision=145500 #constraints=51105
1664.65/1665.22	c nbDecision=146000 #constraints=51259
1680.04/1680.66	c nbDecision=146500 #constraints=51422
1694.54/1695.17	c nbDecision=147000 #constraints=51627
1738.23/1738.81	c nbDecision=147500 #constraints=51753
1789.02/1789.68	c nbDecision=148000 #constraints=51858
1800.02/1800.60	Received signal 15
1800.41/1801.05	
1800.41/1801.05	s UNKNOWN
1800.41/1801.05	
1800.41/1801.05	c user time= 1800.13 s
1800.41/1801.05	c system time= 0.338948 s
1800.41/1801.05	c wall clock time=1801.05

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node35/watcher-373091-1177163464 -o ROOT/results/node35/solver-373091-1177163464 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373091-1177163464/instance-373091-1177163464.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: 1.00 1.00 1.00 3/77 8111
/proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=1468 CPUtime=0
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 164261884 1503232 163 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 367 163 130 317 0 46 0

[startup+0.0972959 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8111
/proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=3448 CPUtime=0.09
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 671 0 0 0 9 0 0 0 18 0 1 0 164261884 3530752 653 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 862 654 130 317 0 541 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3448

[startup+0.101296 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8111
/proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=3580 CPUtime=0.09
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 693 0 0 0 9 0 0 0 18 0 1 0 164261884 3665920 675 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 895 675 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301319 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8111
/proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=9876 CPUtime=0.29
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2279 0 0 0 28 1 0 0 19 0 1 0 164261884 10113024 2261 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 2469 2261 137 317 0 2148 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9876

[startup+0.701365 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 8111
/proc/meminfo: memFree=1687104/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=10404 CPUtime=0.69
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2429 0 0 0 68 1 0 0 23 0 1 0 164261884 10653696 2411 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270588 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 2601 2411 137 317 0 2280 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 10404

[startup+1.50154 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1676664/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=12344 CPUtime=1.49
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2918 0 0 0 148 1 0 0 25 0 1 0 164261884 12640256 2679 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134564083 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 3086 2679 139 317 0 2765 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12344

[startup+3.10265 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1676536/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=12344 CPUtime=3.09
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2918 0 0 0 308 1 0 0 25 0 1 0 164261884 12640256 2679 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 3086 2679 139 317 0 2765 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 12344

[startup+6.30202 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1676408/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=12344 CPUtime=6.29
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 2918 0 0 0 628 1 0 0 25 0 1 0 164261884 12640256 2679 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 3086 2679 139 317 0 2765 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 12344

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1676280/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=12740 CPUtime=12.69
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 3009 0 0 0 1268 1 0 0 25 0 1 0 164261884 13045760 2770 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134602641 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 3185 2770 139 317 0 2864 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12740

[startup+25.5013 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1674872/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=14304 CPUtime=25.49
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 3393 0 0 0 2547 2 0 0 25 0 1 0 164261884 14647296 3121 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134593308 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 3576 3121 139 317 0 3255 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 14304

[startup+51.1012 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1672248/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=17104 CPUtime=51.08
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 4069 0 0 0 5105 3 0 0 25 0 1 0 164261884 17514496 3797 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 4276 3797 139 317 0 3955 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 17104

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1666296/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=23208 CPUtime=102.27
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 5548 0 0 0 10223 4 0 0 25 0 1 0 164261884 23764992 5276 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 5802 5276 139 317 0 5481 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 23208

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1655288/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=34376 CPUtime=162.25
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 8276 0 0 0 16217 8 0 0 25 0 1 0 164261884 35201024 8004 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134596306 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 8594 8004 139 317 0 8273 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 34376

[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1650168/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=39268 CPUtime=222.23
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 9558 0 0 0 22214 9 0 0 25 0 1 0 164261884 40210432 9286 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284223 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 9817 9286 139 317 0 9496 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 39268

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1644856/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=44712 CPUtime=282.21
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 10930 0 0 0 28211 10 0 0 25 0 1 0 164261884 45785088 10658 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714440 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 11178 10658 139 317 0 10857 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 44712

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1636152/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=52888 CPUtime=342.2
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 13038 0 0 0 34208 12 0 0 25 0 1 0 164261884 54157312 12766 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563351 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 13222 12766 139 317 0 12901 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 52888

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1631160/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=59084 CPUtime=402.19
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 14282 0 0 0 40205 14 0 0 25 0 1 0 164261884 60502016 14010 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 14771 14010 139 317 0 14450 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 59084

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1629176/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=61040 CPUtime=462.17
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 14787 0 0 0 46203 14 0 0 25 0 1 0 164261884 62504960 14515 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 15260 14515 139 317 0 14939 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 61040

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1626232/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=63932 CPUtime=522.15
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 15533 0 0 0 52200 15 0 0 25 0 1 0 164261884 65466368 15261 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 15983 15261 139 317 0 15662 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 63932

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8112
/proc/meminfo: memFree=1622456/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=67524 CPUtime=582.13
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 16485 0 0 0 58197 16 0 0 25 0 1 0 164261884 69144576 16213 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712518 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 16881 16213 139 317 0 16560 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 67524

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/84 8286
/proc/meminfo: memFree=1617016/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=71616 CPUtime=642.05
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 17513 0 0 0 64188 17 0 0 25 0 1 0 164261884 73334784 17241 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 17904 17241 139 317 0 17583 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 71616


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1602488/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=86960 CPUtime=881.96
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 21451 0 0 0 88174 22 0 0 25 0 1 0 164261884 89047040 21179 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715992 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 21740 21179 139 317 0 21419 0
Current children cumulated CPU time (s) 881.96
Current children cumulated vsize (KiB) 86960

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1601592/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=87872 CPUtime=941.95
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 21670 0 0 0 94172 23 0 0 25 0 1 0 164261884 89980928 21398 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563438 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 21968 21398 139 317 0 21647 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 87872

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1598840/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=90656 CPUtime=1001.93
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 22373 0 0 0 100170 23 0 0 25 0 1 0 164261884 92831744 22101 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 22664 22101 139 317 0 22343 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 90656

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1596152/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=93316 CPUtime=1061.91
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 23049 0 0 0 106167 24 0 0 25 0 1 0 164261884 95555584 22777 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 23329 22777 139 317 0 23008 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 93316

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1595320/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=94100 CPUtime=1121.9
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 23254 0 0 0 112165 25 0 0 25 0 1 0 164261884 96358400 22982 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 23525 22982 139 317 0 23204 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 94100

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1592760/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=98780 CPUtime=1181.88
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 24319 0 0 0 118162 26 0 0 25 0 1 0 164261884 101150720 23585 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 24695 23585 139 317 0 24374 0
Current children cumulated CPU time (s) 1181.88
Current children cumulated vsize (KiB) 98780

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1589944/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=103000 CPUtime=1241.86
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 25288 0 0 0 124159 27 0 0 25 0 1 0 164261884 105472000 24323 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 25750 24323 139 317 0 25429 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 103000

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1588664/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=104176 CPUtime=1301.85
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 25588 0 0 0 130157 28 0 0 25 0 1 0 164261884 106676224 24623 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 26044 24623 139 317 0 25723 0
Current children cumulated CPU time (s) 1301.85
Current children cumulated vsize (KiB) 104176

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1587960/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=104964 CPUtime=1361.83
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 25785 0 0 0 136155 28 0 0 25 0 1 0 164261884 107483136 24820 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 26241 24820 139 317 0 25920 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 104964

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1586936/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=105756 CPUtime=1421.82
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 26025 0 0 0 142153 29 0 0 25 0 1 0 164261884 108294144 25060 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 26439 25060 139 317 0 26118 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 105756

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1584760/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=107980 CPUtime=1481.8
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 26583 0 0 0 148150 30 0 0 25 0 1 0 164261884 110571520 25618 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 26995 25618 139 317 0 26674 0
Current children cumulated CPU time (s) 1481.8
Current children cumulated vsize (KiB) 107980

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1581624/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=111068 CPUtime=1541.79
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 27348 0 0 0 154148 31 0 0 25 0 1 0 164261884 113733632 26383 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 27767 26383 139 317 0 27446 0
Current children cumulated CPU time (s) 1541.79
Current children cumulated vsize (KiB) 111068

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1580664/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=112004 CPUtime=1601.76
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 27578 0 0 0 160145 31 0 0 25 0 1 0 164261884 114692096 26613 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 28001 26613 139 317 0 27680 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 112004

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1579512/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=113120 CPUtime=1661.75
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 27879 0 0 0 166143 32 0 0 25 0 1 0 164261884 115834880 26914 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134554540 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 28280 26914 139 317 0 27959 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 113120

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1576952/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=115600 CPUtime=1721.73
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28510 0 0 0 172141 32 0 0 25 0 1 0 164261884 118374400 27545 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 28900 27545 139 317 0 28579 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 115600

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1576120/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=116428 CPUtime=1781.72
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28724 0 0 0 178139 33 0 0 25 0 1 0 164261884 119222272 27759 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 29107 27759 139 317 0 28786 0
Current children cumulated CPU time (s) 1781.72
Current children cumulated vsize (KiB) 116428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1575864/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=116720 CPUtime=1800.02
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28787 0 0 0 179969 33 0 0 25 0 1 0 164261884 119521280 27822 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 29180 27822 139 317 0 28859 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 116720

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 8310
/proc/meminfo: memFree=1575864/2055920 swapFree=4151144/4192956
[pid=8111] ppid=8109 vsize=116720 CPUtime=1800.41
/proc/8111/stat : 8111 (oree) R 8109 8111 7313 0 -1 4194304 28788 0 0 0 180008 33 0 0 25 0 1 0 164261884 119521280 27823 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712567 0 0 4096 17474 0 0 0 17 1 0 0
/proc/8111/statm: 29180 27823 139 317 0 28859 0
Current children cumulated CPU time (s) 1800.41
Current children cumulated vsize (KiB) 116720

Child status: 0
Real time (s): 1801.09
CPU time (s): 1800.51
CPU user time (s): 1800.15
CPU system time (s): 0.360945
CPU usage (%): 99.9678
Max. virtual memory (cumulated for all children) (KiB): 116720

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

runsolver used 1.9437 second user time and 4.21836 second system time

The end

Launcher Data (download as text)

Begin job on node35 on Sat Apr 21 13:51:05 UTC 2007

IDJOB= 373091
IDBENCH= 25018
IDSOLVER= 172
FILE ID= node35/373091-1177163464

PBS_JOBID= 4648921

Free space on /tmp= 66304 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb
COMMAND LINE= oree /tmp/evaluation/373091-1177163464/instance-373091-1177163464.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node35/watcher-373091-1177163464 -o ROOT/results/node35/solver-373091-1177163464 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373091-1177163464/instance-373091-1177163464.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  af0ded53094abde95c37378ccd6c7afa

RANDOM SEED= 66947913

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node35.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.232
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.232
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:       1687512 kB
Buffers:         45428 kB
Cached:         235396 kB
SwapCached:       9060 kB
Active:         171904 kB
Inactive:       132884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1687512 kB
SwapTotal:     4192956 kB
SwapFree:      4151144 kB
Dirty:            2232 kB
Writeback:           0 kB
Mapped:          30876 kB
Slab:            48928 kB
Committed_AS:  2511660 kB
PageTables:       1996 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= 66304 MiB

End job on node35 on Sat Apr 21 14:21:07 UTC 2007