Trace number 419045

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.15 1800.71

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/
industrial/crypto/mizh-md5-47-5.opb
MD5SUM099011f140f47f14a347863a7941e81a
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark510.284
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables65604
Total number of constraints273520
Number of constraints which are clauses273520
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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...
2.49/2.55	c ...done
2.49/2.55	c #vars=65604 #constraints=273520 hasObjective=no
2.89/2.91	c res. mode=mod
2.89/2.91	c VSIDS like heuristics
2.89/2.91	c complete search running
3.29/3.33	c restart after 401 decisions
3.39/3.46	c nbDecision=500 #constraints=273520
3.69/3.74	c restart after 801 decisions
3.89/3.96	c nbDecision=1000 #constraints=273520
6.89/6.94	c nbDecision=1500 #constraints=273633
7.79/7.84	c restart after 1601 decisions
8.89/8.95	c nbDecision=2000 #constraints=273702
10.09/10.17	c nbDecision=2500 #constraints=273737
10.79/10.86	c nbDecision=3000 #constraints=273746
11.29/11.35	c restart after 3201 decisions
12.09/12.12	c nbDecision=3500 #constraints=273780
13.79/13.84	c nbDecision=4000 #constraints=273838
14.79/14.85	c nbDecision=4500 #constraints=273861
16.79/16.83	c nbDecision=5000 #constraints=273930
17.69/17.71	c nbDecision=5500 #constraints=273947
18.59/18.70	c nbDecision=6000 #constraints=273972
19.88/19.93	c restart after 6401 decisions
19.98/20.07	c nbDecision=6500 #constraints=274016
21.48/21.52	c nbDecision=7000 #constraints=274061
24.98/25.00	c nbDecision=7500 #constraints=274199
28.38/28.46	c nbDecision=8000 #constraints=274334
33.18/33.25	c nbDecision=8500 #constraints=274532
36.37/36.43	c nbDecision=9000 #constraints=274655
39.67/39.72	c nbDecision=9500 #constraints=274781
41.77/41.83	c nbDecision=10000 #constraints=274854
43.67/43.70	c nbDecision=10500 #constraints=274916
44.97/45.05	c nbDecision=11000 #constraints=274953
46.97/47.05	c nbDecision=11500 #constraints=275022
52.16/52.20	c nbDecision=12000 #constraints=275236
57.07/57.15	c nbDecision=12500 #constraints=275432
58.36/58.45	c restart after 12801 decisions
58.86/58.90	c nbDecision=13000 #constraints=275487
60.47/60.53	c nbDecision=13500 #constraints=275537
62.46/62.51	c nbDecision=14000 #constraints=275603
65.46/65.57	c nbDecision=14500 #constraints=275720
67.96/68.07	c nbDecision=15000 #constraints=275807
69.96/70.08	c nbDecision=15500 #constraints=275872
78.36/78.49	c nbDecision=16000 #constraints=276230
85.55/85.62	c nbDecision=16500 #constraints=276520
87.55/87.63	c nbDecision=17000 #constraints=276585
89.25/89.30	c nbDecision=17500 #constraints=276636
90.25/90.39	c nbDecision=18000 #constraints=276659
92.15/92.25	c nbDecision=18500 #constraints=276727
93.25/93.35	c nbDecision=19000 #constraints=276762
94.75/94.82	c nbDecision=19500 #constraints=276815
96.65/96.75	c nbDecision=20000 #constraints=276885
98.35/98.44	c nbDecision=20500 #constraints=276938
99.45/99.56	c nbDecision=21000 #constraints=276965
100.85/100.98	c nbDecision=21500 #constraints=277006
102.65/102.77	c nbDecision=22000 #constraints=277065
104.25/104.37	c nbDecision=22500 #constraints=277114
105.95/106.05	c nbDecision=23000 #constraints=277168
106.74/106.87	c nbDecision=23500 #constraints=277181
110.24/110.38	c nbDecision=24000 #constraints=277314
111.64/111.73	c nbDecision=24500 #constraints=277348
112.94/113.09	c nbDecision=25000 #constraints=277387
114.64/114.72	c nbDecision=25500 #constraints=277440
115.94/116.05	c restart after 25601 decisions
117.34/117.48	c nbDecision=26000 #constraints=277545
119.74/119.83	c nbDecision=26500 #constraints=277624
121.74/121.88	c nbDecision=27000 #constraints=277688
124.24/124.33	c nbDecision=27500 #constraints=277773
125.94/126.02	c nbDecision=28000 #constraints=277823
128.44/128.56	c nbDecision=28500 #constraints=277909
130.04/130.16	c nbDecision=29000 #constraints=277952
136.64/136.76	c nbDecision=29500 #constraints=278213
139.33/139.43	c nbDecision=30000 #constraints=278310
140.53/140.65	c nbDecision=30500 #constraints=278340
141.93/142.09	c nbDecision=31000 #constraints=278380
143.63/143.76	c nbDecision=31500 #constraints=278430
146.93/147.04	c nbDecision=32000 #constraints=278551
148.93/149.10	c nbDecision=32500 #constraints=278615
150.83/150.97	c nbDecision=33000 #constraints=278693
153.03/153.10	c nbDecision=33500 #constraints=278777
154.53/154.61	c nbDecision=34000 #constraints=278821
156.63/156.74	c nbDecision=34500 #constraints=278894
157.53/157.66	c nbDecision=35000 #constraints=278911
162.23/162.37	c nbDecision=35500 #constraints=279104
163.23/163.39	c nbDecision=36000 #constraints=279125
167.03/167.10	c nbDecision=36500 #constraints=279265
169.02/169.10	c nbDecision=37000 #constraints=279329
170.02/170.12	c nbDecision=37500 #constraints=279350
171.92/172.03	c nbDecision=38000 #constraints=279406
173.73/173.89	c nbDecision=38500 #constraints=279464
175.22/175.33	c nbDecision=39000 #constraints=279501
176.82/176.98	c nbDecision=39500 #constraints=279552
179.12/179.22	c nbDecision=40000 #constraints=279628
180.32/180.49	c nbDecision=40500 #constraints=279658
185.72/185.84	c nbDecision=41000 #constraints=279875
187.02/187.13	c nbDecision=41500 #constraints=279906
189.02/189.13	c nbDecision=42000 #constraints=279969
190.32/190.44	c nbDecision=42500 #constraints=279999
192.61/192.72	c nbDecision=43000 #constraints=280074
195.01/195.10	c nbDecision=43500 #constraints=280145
196.41/196.55	c nbDecision=44000 #constraints=280180
198.41/198.57	c nbDecision=44500 #constraints=280241
200.51/200.67	c nbDecision=45000 #constraints=280305
201.61/201.78	c nbDecision=45500 #constraints=280326
203.12/203.23	c nbDecision=46000 #constraints=280363
208.02/208.19	c nbDecision=46500 #constraints=280561
212.42/212.51	c nbDecision=47000 #constraints=280731
220.92/221.07	c nbDecision=47500 #constraints=281104
230.81/230.97	c nbDecision=48000 #constraints=281528
241.40/241.54	c nbDecision=48500 #constraints=281954
251.90/252.08	c nbDecision=49000 #constraints=282350
264.00/264.18	c nbDecision=49500 #constraints=282787
273.80/273.92	c nbDecision=50000 #constraints=283130
285.29/285.41	c nbDecision=50500 #constraints=283514
297.99/298.15	c nbDecision=51000 #constraints=283905
303.08/303.27	c restart after 51201 decisions
304.38/304.53	c nbDecision=51500 #constraints=284084
307.08/307.22	c nbDecision=52000 #constraints=284173
309.78/309.94	c nbDecision=52500 #constraints=284263
312.28/312.41	c nbDecision=53000 #constraints=284342
313.68/313.84	c nbDecision=53500 #constraints=284376
314.68/314.82	c nbDecision=54000 #constraints=284397
316.98/317.11	c nbDecision=54500 #constraints=284488
326.38/326.50	c nbDecision=55000 #constraints=284850
338.37/338.57	c nbDecision=55500 #constraints=285305
351.37/351.51	c nbDecision=56000 #constraints=285774
357.07/357.27	c nbDecision=56500 #constraints=285970
359.37/359.58	c nbDecision=57000 #constraints=286044
360.27/360.45	c nbDecision=57500 #constraints=286060
361.37/361.55	c nbDecision=58000 #constraints=286084
362.97/363.16	c nbDecision=58500 #constraints=286130
364.97/365.11	c nbDecision=59000 #constraints=286186
369.27/369.50	c nbDecision=59500 #constraints=286344
374.07/374.25	c nbDecision=60000 #constraints=286515
375.67/375.88	c nbDecision=60500 #constraints=286560
376.77/376.91	c nbDecision=61000 #constraints=286579
384.36/384.59	c nbDecision=61500 #constraints=286813
393.96/394.17	c nbDecision=62000 #constraints=287114
402.36/402.55	c nbDecision=62500 #constraints=287440
410.95/411.12	c nbDecision=63000 #constraints=287773
419.45/419.62	c nbDecision=63500 #constraints=288108
427.75/427.92	c nbDecision=64000 #constraints=288413
434.44/434.60	c nbDecision=64500 #constraints=288657
443.84/444.01	c nbDecision=65000 #constraints=289006
452.84/453.06	c nbDecision=65500 #constraints=289349
461.85/462.03	c nbDecision=66000 #constraints=289680
472.54/472.79	c nbDecision=66500 #constraints=290058
482.44/482.62	c nbDecision=67000 #constraints=290402
493.43/493.63	c nbDecision=67500 #constraints=290769
504.32/504.59	c nbDecision=68000 #constraints=291115
515.53/515.72	c nbDecision=68500 #constraints=291447
528.42/528.70	c nbDecision=69000 #constraints=291817
540.92/541.15	c nbDecision=69500 #constraints=292170
555.41/555.64	c nbDecision=70000 #constraints=292542
568.81/569.08	c nbDecision=70500 #constraints=292881
584.31/584.54	c nbDecision=71000 #constraints=293268
597.90/598.18	c nbDecision=71500 #constraints=293579
614.49/614.78	c nbDecision=72000 #constraints=293967
623.10/623.32	c nbDecision=72500 #constraints=294175
631.89/632.11	c nbDecision=73000 #constraints=294485
640.79/641.07	c nbDecision=73500 #constraints=294816
649.49/649.70	c nbDecision=74000 #constraints=295110
656.19/656.43	c nbDecision=74500 #constraints=295341
658.09/658.37	c nbDecision=75000 #constraints=295377
660.58/660.89	c nbDecision=75500 #constraints=295421
662.78/663.03	c nbDecision=76000 #constraints=295479
664.78/665.09	c nbDecision=76500 #constraints=295527
667.08/667.31	c nbDecision=77000 #constraints=295580
669.18/669.47	c nbDecision=77500 #constraints=295624
672.78/673.07	c nbDecision=78000 #constraints=295728
674.58/674.82	c nbDecision=78500 #constraints=295765
676.18/676.50	c nbDecision=79000 #constraints=295795
677.68/677.97	c nbDecision=79500 #constraints=295817
679.68/679.91	c nbDecision=80000 #constraints=295850
683.27/683.50	c nbDecision=80500 #constraints=295945
684.77/685.03	c nbDecision=81000 #constraints=295974
688.17/688.40	c nbDecision=81500 #constraints=296067
691.48/691.72	c nbDecision=82000 #constraints=296165
693.48/693.73	c nbDecision=82500 #constraints=296216
694.67/694.90	c nbDecision=83000 #constraints=296222
695.77/696.01	c nbDecision=83500 #constraints=296244
698.57/698.86	c nbDecision=84000 #constraints=296336
701.97/702.23	c nbDecision=84500 #constraints=296439
710.97/711.21	c nbDecision=85000 #constraints=296735
721.46/721.77	c nbDecision=85500 #constraints=297094
732.06/732.30	c nbDecision=86000 #constraints=297441
739.25/739.54	c nbDecision=86500 #constraints=297673
751.26/751.52	c nbDecision=87000 #constraints=298062
763.35/763.67	c nbDecision=87500 #constraints=298443
772.35/772.65	c nbDecision=88000 #constraints=298707
773.85/774.17	c nbDecision=88500 #constraints=298741
776.45/776.70	c nbDecision=89000 #constraints=298803
778.25/778.51	c nbDecision=89500 #constraints=298840
781.25/781.59	c nbDecision=90000 #constraints=298914
784.74/785.00	c nbDecision=90500 #constraints=299010
792.04/792.36	c nbDecision=91000 #constraints=299235
799.93/800.21	c nbDecision=91500 #constraints=299478
812.34/812.60	c nbDecision=92000 #constraints=299856
818.23/818.53	c nbDecision=92500 #constraints=300045
820.44/820.72	c nbDecision=93000 #constraints=300098
830.63/830.97	c nbDecision=93500 #constraints=300459
842.72/843.03	c nbDecision=94000 #constraints=300862
854.32/854.67	c nbDecision=94500 #constraints=301237
867.53/867.82	c nbDecision=95000 #constraints=301652
874.12/874.45	c nbDecision=95500 #constraints=301850
881.51/881.86	c nbDecision=96000 #constraints=302074
891.71/892.10	c nbDecision=96500 #constraints=302364
901.80/902.15	c nbDecision=97000 #constraints=302672
914.11/914.49	c nbDecision=97500 #constraints=303047
926.50/926.88	c nbDecision=98000 #constraints=303424
940.20/940.52	c nbDecision=98500 #constraints=303834
954.18/954.59	c nbDecision=99000 #constraints=304251
964.89/965.28	c nbDecision=99500 #constraints=304548
966.49/966.88	c nbDecision=100000 #constraints=304579
969.49/969.89	c nbDecision=100500 #constraints=304668
973.88/974.23	c nbDecision=101000 #constraints=304795
978.48/978.86	c nbDecision=101500 #constraints=304930
980.88/981.29	c nbDecision=102000 #constraints=304986
982.58/982.92	c restart after 102401 decisions
982.88/983.21	c nbDecision=102500 #constraints=305022
987.28/987.62	c nbDecision=103000 #constraints=305137
989.37/989.78	c nbDecision=103500 #constraints=305179
991.68/992.05	c nbDecision=104000 #constraints=305226
995.18/995.54	c nbDecision=104500 #constraints=305316
997.87/998.23	c nbDecision=105000 #constraints=305368
1000.27/1000.63	c nbDecision=105500 #constraints=305421
1007.88/1008.21	c nbDecision=106000 #constraints=305632
1014.57/1014.90	c nbDecision=106500 #constraints=305815
1024.97/1025.34	c nbDecision=107000 #constraints=306116
1037.06/1037.48	c nbDecision=107500 #constraints=306456
1052.86/1053.27	c nbDecision=108000 #constraints=306886
1069.16/1069.59	c nbDecision=108500 #constraints=307305
1082.45/1082.83	c nbDecision=109000 #constraints=307629
1090.05/1090.42	c nbDecision=109500 #constraints=307843
1093.15/1093.52	c nbDecision=110000 #constraints=307912
1098.15/1098.59	c nbDecision=110500 #constraints=308040
1101.75/1102.19	c nbDecision=111000 #constraints=308113
1110.64/1111.06	c nbDecision=111500 #constraints=308338
1122.54/1123.00	c nbDecision=112000 #constraints=308652
1134.23/1134.61	c nbDecision=112500 #constraints=308921
1146.53/1146.95	c nbDecision=113000 #constraints=309216
1161.13/1161.57	c nbDecision=113500 #constraints=309603
1175.02/1175.42	c nbDecision=114000 #constraints=309947
1189.73/1190.15	c nbDecision=114500 #constraints=310302
1206.01/1206.48	c nbDecision=115000 #constraints=310653
1222.01/1222.46	c nbDecision=115500 #constraints=311018
1238.80/1239.26	c nbDecision=116000 #constraints=311390
1256.30/1256.76	c nbDecision=116500 #constraints=311762
1272.69/1273.16	c nbDecision=117000 #constraints=312102
1278.09/1278.55	c nbDecision=117500 #constraints=312209
1291.38/1291.82	c nbDecision=118000 #constraints=312532
1302.99/1303.48	c nbDecision=118500 #constraints=312818
1317.28/1317.76	c nbDecision=119000 #constraints=313136
1333.57/1334.00	c nbDecision=119500 #constraints=313492
1351.37/1351.81	c nbDecision=120000 #constraints=313847
1370.76/1371.23	c nbDecision=120500 #constraints=314247
1387.06/1387.58	c nbDecision=121000 #constraints=314586
1407.75/1408.27	c nbDecision=121500 #constraints=314999
1422.44/1422.99	c nbDecision=122000 #constraints=315306
1441.74/1442.21	c nbDecision=122500 #constraints=315632
1462.83/1463.31	c nbDecision=123000 #constraints=316010
1484.32/1484.88	c nbDecision=123500 #constraints=316387
1504.42/1504.98	c nbDecision=124000 #constraints=316716
1523.81/1524.38	c nbDecision=124500 #constraints=317015
1544.71/1545.27	c nbDecision=125000 #constraints=317324
1557.21/1557.72	c nbDecision=125500 #constraints=317514
1579.39/1579.97	c nbDecision=126000 #constraints=317857
1603.19/1603.72	c nbDecision=126500 #constraints=318174
1627.58/1628.17	c nbDecision=127000 #constraints=318509
1654.48/1655.07	c nbDecision=127500 #constraints=318855
1683.66/1684.23	c nbDecision=128000 #constraints=319219
1708.36/1708.96	c nbDecision=128500 #constraints=319538
1737.65/1738.24	c nbDecision=129000 #constraints=319932
1766.94/1767.54	c nbDecision=129500 #constraints=320274
1796.63/1797.21	c nbDecision=130000 #constraints=320597
1800.04/1800.60	Received signal 15
1800.04/1800.60	
1800.04/1800.60	s UNKNOWN
1800.04/1800.60	
1800.04/1800.60	c user time= 1799.63 s
1800.04/1800.60	c system time= 0.417936 s
1800.04/1800.60	c wall clock time=1800.61

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node1/watcher-419045-1177402286 -o ROOT/results/node1/solver-419045-1177402286 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/419045-1177402286/instance-419045-1177402286.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.92 0.98 0.90 3/77 19676
/proc/meminfo: memFree=1761288/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=1468 CPUtime=0
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 216266565 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134981099 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 367 164 130 317 0 46 0

[startup+0.036522 s]
/proc/loadavg: 0.92 0.98 0.90 3/77 19676
/proc/meminfo: memFree=1761288/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=2140 CPUtime=0.03
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 344 0 0 0 3 0 0 0 18 0 1 0 216266565 2191360 327 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 535 327 130 317 0 214 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2140

[startup+0.101529 s]
/proc/loadavg: 0.92 0.98 0.90 3/77 19676
/proc/meminfo: memFree=1761288/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=3464 CPUtime=0.09
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 679 0 0 0 9 0 0 0 18 0 1 0 216266565 3547136 662 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 866 663 130 317 0 545 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3464

[startup+0.301552 s]
/proc/loadavg: 0.92 0.98 0.90 3/77 19676
/proc/meminfo: memFree=1761288/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=7684 CPUtime=0.29
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 1735 0 0 0 29 0 0 0 19 0 1 0 216266565 7868416 1685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 1921 1685 130 317 0 1600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7684

[startup+0.701599 s]
/proc/loadavg: 0.92 0.98 0.90 3/77 19676
/proc/meminfo: memFree=1761288/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=15728 CPUtime=0.69
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 3800 0 0 0 67 2 0 0 23 0 1 0 216266565 16105472 3685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 3932 3685 130 317 0 3611 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 15728

[startup+1.50169 s]
/proc/loadavg: 0.92 0.98 0.90 2/78 19677
/proc/meminfo: memFree=1741056/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=32080 CPUtime=1.49
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 7968 0 0 0 145 4 0 0 25 0 1 0 216266565 32849920 7724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 8020 7724 130 317 0 7699 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 32080

[startup+3.10188 s]
/proc/loadavg: 0.92 0.98 0.90 2/78 19677
/proc/meminfo: memFree=1718592/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=84328 CPUtime=3.09
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 21146 0 0 0 300 9 0 0 25 0 1 0 216266565 86351872 20579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 21082 20579 138 317 0 20761 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 84328

[startup+6.30125 s]
/proc/loadavg: 0.93 0.98 0.90 2/78 19677
/proc/meminfo: memFree=1670472/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=100256 CPUtime=6.29
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 25154 0 0 0 618 11 0 0 25 0 1 0 216266565 102662144 22717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 25064 22717 139 317 0 24743 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100256

[startup+12.702 s]
/proc/loadavg: 0.93 0.98 0.90 2/78 19677
/proc/meminfo: memFree=1670472/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=100256 CPUtime=12.69
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 25157 0 0 0 1258 11 0 0 25 0 1 0 216266565 102662144 22720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712546 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 25064 22720 139 317 0 24743 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 100256

[startup+25.5015 s]
/proc/loadavg: 0.95 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1670536/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=100256 CPUtime=25.48
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 25159 0 0 0 2537 11 0 0 25 0 1 0 216266565 102662144 22722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 25064 22722 139 317 0 24743 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 100256

[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1670664/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=100256 CPUtime=51.06
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 25168 0 0 0 5095 11 0 0 25 0 1 0 216266565 102662144 22731 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 25064 22731 139 317 0 24743 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 100256

[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1670728/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=100256 CPUtime=102.25
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 25184 0 0 0 10214 11 0 0 25 0 1 0 216266565 102662144 22747 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 25064 22747 139 317 0 24743 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 100256

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1670664/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=100256 CPUtime=162.23
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 25202 0 0 0 16212 11 0 0 25 0 1 0 216266565 102662144 22765 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 25064 22765 139 317 0 24743 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 100256

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1669512/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=101432 CPUtime=222.21
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 25493 0 0 0 22209 12 0 0 25 0 1 0 216266565 103866368 23056 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 25358 23056 139 317 0 25037 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 101432

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1664456/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=106468 CPUtime=282.2
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 26759 0 0 0 28206 14 0 0 25 0 1 0 216266565 109023232 24322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 26617 24322 139 317 0 26296 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 106468

[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1660616/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=110288 CPUtime=342.17
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 27718 0 0 0 34202 15 0 0 25 0 1 0 216266565 112934912 25281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 27572 25281 139 317 0 27251 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 110288

[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1657736/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=113052 CPUtime=402.16
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 28435 0 0 0 40200 16 0 0 25 0 1 0 216266565 115765248 25998 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 28263 25998 139 317 0 27942 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 113052

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1655240/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=115428 CPUtime=462.14
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 29048 0 0 0 46197 17 0 0 25 0 1 0 216266565 118198272 26611 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 28857 26611 139 317 0 28536 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 115428

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1650760/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=119928 CPUtime=522.12
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 30187 0 0 0 52194 18 0 0 25 0 1 0 216266565 122806272 27750 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 29982 27750 139 317 0 29661 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 119928

[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1646984/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=124080 CPUtime=582.11
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 31187 0 0 0 58192 19 0 0 25 0 1 0 216266565 127057920 28685 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 31020 28685 139 317 0 30699 0
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (KiB) 124080

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1644680/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=126236 CPUtime=642.1
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 31742 0 0 0 64190 20 0 0 25 0 1 0 216266565 129265664 29240 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 31559 29240 139 317 0 31238 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 126236


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1631880/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=138908 CPUtime=882.01
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 34954 0 0 0 88177 24 0 0 25 0 1 0 216266565 142241792 32452 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 34727 32452 139 317 0 34406 0
Current children cumulated CPU time (s) 882.01
Current children cumulated vsize (KiB) 138908

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1628360/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=142224 CPUtime=941.99
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 35820 0 0 0 94174 25 0 0 25 0 1 0 216266565 145637376 33318 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 35556 33318 139 317 0 35235 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 142224

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1625928/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=144724 CPUtime=1001.98
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 36430 0 0 0 100171 27 0 0 25 0 1 0 216266565 148197376 33928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 36181 33928 139 317 0 35860 0
Current children cumulated CPU time (s) 1001.98
Current children cumulated vsize (KiB) 144724

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1621768/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=148868 CPUtime=1061.96
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 37484 0 0 0 106168 28 0 0 25 0 1 0 216266565 152440832 34982 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 37217 34982 139 317 0 36896 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 148868

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1618888/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=151768 CPUtime=1121.94
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 38193 0 0 0 112166 28 0 0 25 0 1 0 216266565 155410432 35691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 37942 35691 139 317 0 37621 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 151768

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1616008/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=154560 CPUtime=1181.92
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 38897 0 0 0 118162 30 0 0 25 0 1 0 216266565 158269440 36395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 38640 36395 139 317 0 38319 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 154560

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1613640/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=156944 CPUtime=1241.9
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 39487 0 0 0 124160 30 0 0 25 0 1 0 216266565 160710656 36985 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562665 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 39236 36985 139 317 0 38915 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 156944

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19677
/proc/meminfo: memFree=1610952/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=159620 CPUtime=1301.89
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 40158 0 0 0 130157 32 0 0 25 0 1 0 216266565 163450880 37656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 39905 37656 139 317 0 39584 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 159620

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1607432/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=162992 CPUtime=1361.86
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 41013 0 0 0 136153 33 0 0 25 0 1 0 216266565 166903808 38511 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562651 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 40748 38511 139 317 0 40427 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 162992

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1604232/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=166488 CPUtime=1421.84
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 41849 0 0 0 142150 34 0 0 25 0 1 0 216266565 170483712 39347 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 41622 39347 139 317 0 41301 0
Current children cumulated CPU time (s) 1421.84
Current children cumulated vsize (KiB) 166488

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1600776/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=170060 CPUtime=1481.82
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 42720 0 0 0 148147 35 0 0 25 0 1 0 216266565 174141440 40218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 42515 40218 139 317 0 42194 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 170060

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1597256/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=173820 CPUtime=1541.81
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 43602 0 0 0 154144 37 0 0 25 0 1 0 216266565 177991680 41100 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 43455 41100 139 317 0 43134 0
Current children cumulated CPU time (s) 1541.81
Current children cumulated vsize (KiB) 173820

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1594440/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=176956 CPUtime=1601.79
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 44296 0 0 0 160141 38 0 0 25 0 1 0 216266565 181202944 41794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 44239 41794 139 317 0 43918 0
Current children cumulated CPU time (s) 1601.79
Current children cumulated vsize (KiB) 176956

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1592136/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=178964 CPUtime=1661.77
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 44855 0 0 0 166138 39 0 0 25 0 1 0 216266565 183259136 42353 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 44741 42353 139 317 0 44420 0
Current children cumulated CPU time (s) 1661.77
Current children cumulated vsize (KiB) 178964

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1589896/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=181348 CPUtime=1721.76
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 45432 0 0 0 172136 40 0 0 25 0 1 0 216266565 185700352 42930 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 45337 42930 139 317 0 45016 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 181348

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1587656/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=183456 CPUtime=1781.74
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 45994 0 0 0 178133 41 0 0 25 0 1 0 216266565 187858944 43492 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 45864 43492 139 317 0 45543 0
Current children cumulated CPU time (s) 1781.74
Current children cumulated vsize (KiB) 183456



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1587080/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=183988 CPUtime=1800.04
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194304 46125 0 0 0 179963 41 0 0 25 0 1 0 216266565 188403712 43623 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/19676/statm: 45997 43623 139 317 0 45676 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 183988

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 0.98 0.91 2/78 19679
/proc/meminfo: memFree=1587080/2055920 swapFree=4145816/4192956
[pid=19676] ppid=19674 vsize=0 CPUtime=1800.14
/proc/19676/stat : 19676 (oree) R 19674 19676 19213 0 -1 4194308 46141 0 0 0 179970 44 0 0 23 0 1 0 216266565 0 0 18446744073709551615 0 0 0 0 0 0 2147483391 4096 17474 0 0 0 17 0 0 0
/proc/19676/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.71
CPU time (s): 1800.15
CPU user time (s): 1799.7
CPU system time (s): 0.447931
CPU usage (%): 99.9689
Max. virtual memory (cumulated for all children) (KiB): 183988

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

runsolver used 1.46778 second user time and 4.09738 second system time

The end

Launcher Data (download as text)

Begin job on node1 on Tue Apr 24 08:11:27 UTC 2007

IDJOB= 419045
IDBENCH= 47745
IDSOLVER= 172
FILE ID= node1/419045-1177402286

PBS_JOBID= 4675605

Free space on /tmp= 66443 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/industrial/crypto/mizh-md5-47-5.opb
COMMAND LINE= oree /tmp/evaluation/419045-1177402286/instance-419045-1177402286.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node1/watcher-419045-1177402286 -o ROOT/results/node1/solver-419045-1177402286 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/419045-1177402286/instance-419045-1177402286.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  099011f140f47f14a347863a7941e81a

RANDOM SEED= 683209326

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node1.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.234
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.234
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:       1761760 kB
Buffers:         39540 kB
Cached:         173276 kB
SwapCached:      14644 kB
Active:         141428 kB
Inactive:        94916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1761760 kB
SwapTotal:     4192956 kB
SwapFree:      4145816 kB
Dirty:           10964 kB
Writeback:           0 kB
Mapped:          30332 kB
Slab:            43324 kB
Committed_AS:  5143348 kB
PageTables:       1832 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= 66443 MiB

End job on node1 on Tue Apr 24 08:41:30 UTC 2007