Trace number 373049

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.21 1800.79

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
aksoy/decomp/normalized-matrix_5x3_6.opb
MD5SUMd25f6086317f033c233c4700493f03d1
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 20
Optimality of the best value was proved NO
Number of variables6027
Total number of constraints21278
Number of constraints which are clauses21267
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints10
Minimum length of a constraint1
Maximum length of a constraint650
Number of terms in the objective function 650
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 650
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 31
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 681
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.09/0.17	c ...done
0.09/0.17	c #vars=6027 #constraints=21279 hasObjective=yes
0.19/0.28	c res. mode=mod
0.19/0.28	c VSIDS like heuristics
0.19/0.28	c complete search running
2.89/2.92	c restart after 401 decisions
3.99/4.02	c nbDecision=500 #constraints=21509
5.39/5.50	c restart after 801 decisions
7.60/7.66	c nbDecision=1000 #constraints=21724
8.19/8.27	c nbDecision=1500 #constraints=21772
8.49/8.50	c restart after 1601 decisions
8.59/8.70	c nbDecision=2000 #constraints=21802
8.89/8.97	c nbDecision=2500 #constraints=21822
8.99/9.09	c nbDecision=3000 #constraints=21839
9.09/9.17	c restart after 3201 decisions
11.79/11.84	c nbDecision=3500 #constraints=21997
12.29/12.37	c nbDecision=4000 #constraints=22034
12.59/12.60	c nbDecision=4500 #constraints=22050
12.69/12.76	c nbDecision=5000 #constraints=22065
12.89/12.92	c nbDecision=5500 #constraints=22098
12.99/13.05	c nbDecision=6000 #constraints=22123
19.49/19.57	c restart after 6401 decisions
21.09/21.19	c nbDecision=6500 #constraints=22257
22.68/22.73	c nbDecision=7000 #constraints=22346
23.68/23.79	c nbDecision=7500 #constraints=22406
23.98/24.01	c nbDecision=8000 #constraints=22423
24.09/24.17	c nbDecision=8500 #constraints=22438
24.28/24.32	c nbDecision=9000 #constraints=22461
24.38/24.49	c nbDecision=9500 #constraints=22488
37.68/37.73	c nbDecision=10000 #constraints=22580
46.18/46.23	c nbDecision=10500 #constraints=22648
51.87/51.97	c nbDecision=11000 #constraints=22730
53.07/53.13	c nbDecision=11500 #constraints=22798
53.37/53.41	c nbDecision=12000 #constraints=22811
53.47/53.53	c nbDecision=12500 #constraints=22823
53.57/53.64	c restart after 12801 decisions
57.77/57.84	c nbDecision=13000 #constraints=22976
59.07/59.16	c nbDecision=13500 #constraints=23047
59.57/59.65	c nbDecision=14000 #constraints=23072
59.87/59.98	c nbDecision=14500 #constraints=23087
60.07/60.12	c nbDecision=15000 #constraints=23106
60.27/60.32	c nbDecision=15500 #constraints=23149
74.87/74.95	c nbDecision=16000 #constraints=23233
82.87/82.95	c nbDecision=16500 #constraints=23439
83.77/83.87	c nbDecision=17000 #constraints=23475
84.37/84.47	c nbDecision=17500 #constraints=23497
84.87/84.95	c nbDecision=18000 #constraints=23516
85.07/85.12	c nbDecision=18500 #constraints=23544
85.17/85.28	c nbDecision=19000 #constraints=23570
101.76/101.84	c nbDecision=19500 #constraints=23720
105.56/105.61	c nbDecision=20000 #constraints=23852
106.36/106.43	c nbDecision=20500 #constraints=23882
106.76/106.84	c nbDecision=21000 #constraints=23897
106.96/107.01	c nbDecision=21500 #constraints=23906
107.06/107.19	c nbDecision=22000 #constraints=23935
107.26/107.38	c nbDecision=22500 #constraints=23973
122.45/122.52	c nbDecision=23000 #constraints=24054
126.25/126.36	c nbDecision=23500 #constraints=24089
142.46/142.56	c nbDecision=24000 #constraints=24287
145.35/145.46	c nbDecision=24500 #constraints=24409
147.95/148.03	c nbDecision=25000 #constraints=24483
148.75/148.80	c nbDecision=25500 #constraints=24506
148.85/148.93	c restart after 25601 decisions
156.45/156.58	c nbDecision=26000 #constraints=24662
158.05/158.19	c nbDecision=26500 #constraints=24720
159.04/159.11	c nbDecision=27000 #constraints=24748
159.35/159.46	c nbDecision=27500 #constraints=24758
159.54/159.66	c nbDecision=28000 #constraints=24786
159.74/159.83	c nbDecision=28500 #constraints=24809
178.65/178.74	c nbDecision=29000 #constraints=24983
182.84/182.93	c nbDecision=29500 #constraints=25072
184.14/184.29	c nbDecision=30000 #constraints=25111
184.75/184.83	c nbDecision=30500 #constraints=25124
184.84/184.98	c nbDecision=31000 #constraints=25140
185.04/185.16	c nbDecision=31500 #constraints=25169
197.64/197.71	c nbDecision=32000 #constraints=25235
211.73/211.86	c nbDecision=32500 #constraints=25399
214.23/214.32	c nbDecision=33000 #constraints=25457
215.13/215.22	c nbDecision=33500 #constraints=25474
215.93/216.00	c nbDecision=34000 #constraints=25501
216.03/216.14	c nbDecision=34500 #constraints=25514
216.23/216.34	c nbDecision=35000 #constraints=25547
226.43/226.58	c nbDecision=35500 #constraints=25585
244.72/244.82	c nbDecision=36000 #constraints=25796
246.72/246.82	c nbDecision=36500 #constraints=25845
247.92/248.08	c nbDecision=37000 #constraints=25875
248.43/248.54	c nbDecision=37500 #constraints=25893
248.53/248.69	c nbDecision=38000 #constraints=25904
248.72/248.89	c nbDecision=38500 #constraints=25932
255.62/255.72	c nbDecision=39000 #constraints=25991
274.02/274.17	c nbDecision=39500 #constraints=26188
276.52/276.60	c nbDecision=40000 #constraints=26246
278.12/278.29	c nbDecision=40500 #constraints=26282
279.02/279.15	c nbDecision=41000 #constraints=26299
279.22/279.32	c nbDecision=41500 #constraints=26311
279.42/279.52	c nbDecision=42000 #constraints=26339
279.62/279.71	c nbDecision=42500 #constraints=26362
304.01/304.11	c nbDecision=43000 #constraints=26541
305.51/305.68	c nbDecision=43500 #constraints=26577
308.10/308.22	c nbDecision=44000 #constraints=26631
309.40/309.51	c nbDecision=44500 #constraints=26658
309.50/309.68	c nbDecision=45000 #constraints=26672
309.80/309.90	c nbDecision=45500 #constraints=26701
318.00/318.19	c nbDecision=46000 #constraints=26744
338.00/338.15	c nbDecision=46500 #constraints=26901
339.90/340.01	c nbDecision=47000 #constraints=26927
340.50/340.67	c nbDecision=47500 #constraints=26940
340.70/340.82	c nbDecision=48000 #constraints=26954
341.00/341.16	c nbDecision=48500 #constraints=27013
348.30/348.49	c nbDecision=49000 #constraints=27064
366.89/367.05	c nbDecision=49500 #constraints=27238
369.09/369.29	c nbDecision=50000 #constraints=27276
370.69/370.87	c nbDecision=50500 #constraints=27308
371.59/371.73	c nbDecision=51000 #constraints=27322
371.69/371.80	c restart after 51201 decisions
384.79/384.99	c nbDecision=51500 #constraints=27448
387.89/388.00	c nbDecision=52000 #constraints=27501
389.09/389.21	c nbDecision=52500 #constraints=27523
389.79/389.98	c nbDecision=53000 #constraints=27533
390.19/390.38	c nbDecision=53500 #constraints=27551
390.49/390.61	c nbDecision=54000 #constraints=27580
397.28/397.42	c nbDecision=54500 #constraints=27614
420.82/421.04	c nbDecision=55000 #constraints=27821
429.10/429.36	c nbDecision=55500 #constraints=27944
431.60/431.86	c nbDecision=56000 #constraints=27987
433.30/433.52	c nbDecision=56500 #constraints=28009
433.50/433.70	c nbDecision=57000 #constraints=28021
433.70/433.95	c nbDecision=57500 #constraints=28054
433.90/434.15	c nbDecision=58000 #constraints=28077
465.66/465.99	c nbDecision=58500 #constraints=28321
468.16/468.44	c nbDecision=59000 #constraints=28362
469.66/469.96	c nbDecision=59500 #constraints=28386
470.66/470.99	c nbDecision=60000 #constraints=28406
471.06/471.33	c nbDecision=60500 #constraints=28424
471.26/471.56	c nbDecision=61000 #constraints=28452
476.36/476.65	c nbDecision=61500 #constraints=28493
506.36/506.70	c nbDecision=62000 #constraints=28730
509.56/509.84	c nbDecision=62500 #constraints=28775
511.46/511.75	c nbDecision=63000 #constraints=28801
513.26/513.58	c nbDecision=63500 #constraints=28834
513.96/514.24	c nbDecision=64000 #constraints=28861
514.16/514.46	c nbDecision=64500 #constraints=28888
514.36/514.67	c nbDecision=65000 #constraints=28917
530.45/530.77	c nbDecision=65500 #constraints=29014
553.54/553.85	c nbDecision=66000 #constraints=29218
556.74/557.08	c nbDecision=66500 #constraints=29258
559.65/559.91	c nbDecision=67000 #constraints=29307
560.54/560.83	c nbDecision=67500 #constraints=29325
560.75/561.02	c nbDecision=68000 #constraints=29342
560.94/561.26	c nbDecision=68500 #constraints=29374
570.14/570.41	c nbDecision=69000 #constraints=29428
598.43/598.78	c nbDecision=69500 #constraints=29668
600.73/601.03	c nbDecision=70000 #constraints=29699
603.43/603.74	c nbDecision=70500 #constraints=29738
604.03/604.35	c nbDecision=71000 #constraints=29758
604.43/604.71	c nbDecision=71500 #constraints=29770
604.63/604.95	c nbDecision=72000 #constraints=29803
612.22/612.56	c nbDecision=72500 #constraints=29853
642.52/642.87	c nbDecision=73000 #constraints=30097
646.72/647.00	c nbDecision=73500 #constraints=30155
650.22/650.58	c nbDecision=74000 #constraints=30198
651.22/651.57	c nbDecision=74500 #constraints=30212
651.42/651.75	c nbDecision=75000 #constraints=30225
651.62/651.99	c nbDecision=75500 #constraints=30255
658.62/658.91	c nbDecision=76000 #constraints=30312
689.61/689.93	c nbDecision=76500 #constraints=30528
693.90/694.25	c nbDecision=77000 #constraints=30593
697.80/698.12	c nbDecision=77500 #constraints=30631
699.00/699.36	c nbDecision=78000 #constraints=30649
699.40/699.77	c nbDecision=78500 #constraints=30665
699.70/700.03	c nbDecision=79000 #constraints=30693
699.90/700.26	c nbDecision=79500 #constraints=30720
731.10/731.45	c nbDecision=80000 #constraints=30868
744.30/744.69	c nbDecision=80500 #constraints=30993
747.50/747.83	c nbDecision=81000 #constraints=31017
748.30/748.67	c nbDecision=81500 #constraints=31032
748.50/748.87	c nbDecision=82000 #constraints=31051
748.80/749.11	c nbDecision=82500 #constraints=31076
751.79/752.18	c nbDecision=83000 #constraints=31131
776.78/777.17	c nbDecision=83500 #constraints=31275
793.98/794.30	c nbDecision=84000 #constraints=31436
798.68/799.01	c nbDecision=84500 #constraints=31493
800.57/800.97	c nbDecision=85000 #constraints=31511
800.77/801.16	c nbDecision=85500 #constraints=31524
801.07/801.44	c nbDecision=86000 #constraints=31559
807.97/808.32	c nbDecision=86500 #constraints=31593
838.07/838.50	c nbDecision=87000 #constraints=31783
849.37/849.79	c nbDecision=87500 #constraints=31891
853.27/853.65	c nbDecision=88000 #constraints=31933
856.76/857.12	c nbDecision=88500 #constraints=31976
857.46/857.81	c nbDecision=89000 #constraints=31989
857.67/858.06	c nbDecision=89500 #constraints=32016
857.96/858.36	c nbDecision=90000 #constraints=32056
897.55/897.99	c nbDecision=90500 #constraints=32266
901.85/902.26	c nbDecision=91000 #constraints=32313
905.15/905.50	c nbDecision=91500 #constraints=32343
906.65/907.01	c nbDecision=92000 #constraints=32357
906.85/907.22	c nbDecision=92500 #constraints=32372
907.15/907.52	c nbDecision=93000 #constraints=32405
917.85/918.22	c nbDecision=93500 #constraints=32454
952.94/953.35	c nbDecision=94000 #constraints=32671
958.94/959.38	c nbDecision=94500 #constraints=32740
963.63/964.03	c nbDecision=95000 #constraints=32776
965.83/966.29	c nbDecision=95500 #constraints=32809
966.93/967.35	c nbDecision=96000 #constraints=32844
967.33/967.78	c nbDecision=96500 #constraints=32856
967.64/968.06	c nbDecision=97000 #constraints=32888
982.33/982.72	c nbDecision=97500 #constraints=32954
1013.42/1013.81	c nbDecision=98000 #constraints=33120
1020.33/1020.75	c nbDecision=98500 #constraints=33169
1023.42/1023.83	c nbDecision=99000 #constraints=33199
1024.42/1024.89	c nbDecision=99500 #constraints=33215
1025.12/1025.55	c nbDecision=100000 #constraints=33246
1025.32/1025.79	c nbDecision=100500 #constraints=33273
1038.52/1038.92	c nbDecision=101000 #constraints=33359
1073.00/1073.41	c nbDecision=101500 #constraints=33552
1078.00/1078.46	c nbDecision=102000 #constraints=33600
1081.10/1081.54	c restart after 102401 decisions
1100.09/1100.52	c nbDecision=102500 #constraints=33685
1113.29/1113.77	c nbDecision=103000 #constraints=33768
1118.09/1118.50	c nbDecision=103500 #constraints=33825
1120.39/1120.84	c nbDecision=104000 #constraints=33841
1120.59/1121.08	c nbDecision=104500 #constraints=33857
1120.89/1121.35	c nbDecision=105000 #constraints=33882
1121.09/1121.58	c nbDecision=105500 #constraints=33900
1166.27/1166.70	c nbDecision=106000 #constraints=34067
1171.78/1172.27	c nbDecision=106500 #constraints=34129
1176.68/1177.16	c nbDecision=107000 #constraints=34159
1178.78/1179.24	c nbDecision=107500 #constraints=34176
1179.38/1179.84	c nbDecision=108000 #constraints=34192
1179.68/1180.16	c nbDecision=108500 #constraints=34227
1187.27/1187.78	c nbDecision=109000 #constraints=34254
1227.76/1228.25	c nbDecision=109500 #constraints=34438
1234.16/1234.61	c nbDecision=110000 #constraints=34493
1236.66/1237.16	c nbDecision=110500 #constraints=34509
1237.56/1238.01	c nbDecision=111000 #constraints=34519
1237.86/1238.31	c nbDecision=111500 #constraints=34549
1238.06/1238.57	c nbDecision=112000 #constraints=34573
1274.05/1274.60	c nbDecision=112500 #constraints=34715
1291.34/1291.88	c nbDecision=113000 #constraints=34806
1296.34/1296.87	c nbDecision=113500 #constraints=34852
1298.74/1299.25	c nbDecision=114000 #constraints=34865
1298.94/1299.49	c nbDecision=114500 #constraints=34878
1299.24/1299.78	c nbDecision=115000 #constraints=34904
1299.54/1300.03	c nbDecision=115500 #constraints=34926
1343.53/1344.08	c nbDecision=116000 #constraints=35070
1349.03/1349.58	c nbDecision=116500 #constraints=35111
1355.74/1356.23	c nbDecision=117000 #constraints=35179
1358.13/1358.66	c nbDecision=117500 #constraints=35194
1358.43/1358.91	c nbDecision=118000 #constraints=35206
1358.73/1359.23	c nbDecision=118500 #constraints=35235
1371.82/1372.36	c nbDecision=119000 #constraints=35292
1415.31/1415.85	c nbDecision=119500 #constraints=35470
1423.20/1423.79	c nbDecision=120000 #constraints=35526
1425.90/1426.49	c nbDecision=120500 #constraints=35550
1427.00/1427.60	c nbDecision=121000 #constraints=35564
1427.31/1427.87	c nbDecision=121500 #constraints=35588
1427.61/1428.19	c nbDecision=122000 #constraints=35623
1464.90/1465.47	c nbDecision=122500 #constraints=35758
1481.00/1481.55	c nbDecision=123000 #constraints=35836
1485.69/1486.26	c nbDecision=123500 #constraints=35865
1490.49/1491.08	c nbDecision=124000 #constraints=35914
1491.59/1492.12	c nbDecision=124500 #constraints=35933
1491.79/1492.30	c nbDecision=125000 #constraints=35941
1492.10/1492.63	c nbDecision=125500 #constraints=35974
1499.69/1500.29	c nbDecision=126000 #constraints=36010
1536.58/1537.10	c nbDecision=126500 #constraints=36142
1544.57/1545.18	c nbDecision=127000 #constraints=36183
1548.77/1549.36	c nbDecision=127500 #constraints=36218
1549.87/1550.44	c nbDecision=128000 #constraints=36234
1550.77/1551.38	c nbDecision=128500 #constraints=36255
1551.08/1551.66	c nbDecision=129000 #constraints=36283
1575.27/1575.80	c nbDecision=129500 #constraints=36350
1618.46/1619.03	c nbDecision=130000 #constraints=36525
1625.36/1625.95	c nbDecision=130500 #constraints=36567
1627.26/1627.83	c nbDecision=131000 #constraints=36582
1628.26/1628.82	c nbDecision=131500 #constraints=36596
1628.56/1629.15	c nbDecision=132000 #constraints=36624
1628.86/1629.46	c nbDecision=132500 #constraints=36646
1679.44/1680.00	c nbDecision=133000 #constraints=36823
1686.84/1687.48	c nbDecision=133500 #constraints=36876
1691.53/1692.15	c nbDecision=134000 #constraints=36914
1694.63/1695.27	c nbDecision=134500 #constraints=36928
1694.93/1695.53	c nbDecision=135000 #constraints=36941
1695.33/1695.90	c nbDecision=135500 #constraints=36977
1705.64/1706.27	c nbDecision=136000 #constraints=37022
1729.83/1730.50	c nbDecision=136500 #constraints=37185
1760.02/1760.64	c nbDecision=137000 #constraints=37312
1764.42/1765.03	c nbDecision=137500 #constraints=37333
1764.62/1765.25	c nbDecision=138000 #constraints=37342
1764.92/1765.55	c nbDecision=138500 #constraints=37370
1765.22/1765.83	c nbDecision=139000 #constraints=37395
1793.91/1794.54	c nbDecision=139500 #constraints=37500
1800.01/1800.61	Received signal 15
1800.11/1800.76	
1800.11/1800.76	s UNKNOWN
1800.11/1800.76	
1800.11/1800.76	c user time= 1799.98 s
1800.11/1800.76	c system time= 0.197969 s
1800.11/1800.76	c wall clock time=1800.76

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/node62/watcher-373049-1177160062 -o ROOT/results/node62/solver-373049-1177160062 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/373049-1177160062/instance-373049-1177160062.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.99 0.98 0.92 3/64 9626
/proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=1468 CPUtime=0
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 34582161 1503232 164 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 367 164 130 317 0 46 0

[startup+0.0910559 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 9626
/proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=3316 CPUtime=0.08
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 641 0 0 0 8 0 0 0 18 0 1 0 34582161 3395584 624 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 829 624 130 317 0 508 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3316

[startup+0.101055 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 9626
/proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=3580 CPUtime=0.09
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 694 0 0 0 9 0 0 0 18 0 1 0 34582161 3665920 676 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 895 676 130 317 0 574 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3580

[startup+0.301079 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 9626
/proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=7448 CPUtime=0.29
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 1680 0 0 0 29 0 0 0 19 0 1 0 34582161 7626752 1662 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 1862 1662 138 317 0 1541 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7448

[startup+0.701125 s]
/proc/loadavg: 0.99 0.98 0.92 3/64 9626
/proc/meminfo: memFree=1775968/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=8688 CPUtime=0.69
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 1991 0 0 0 69 0 0 0 22 0 1 0 34582161 8896512 1827 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134549856 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 2172 1827 139 317 0 1851 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8688

[startup+1.50122 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1768920/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=8688 CPUtime=1.49
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 1991 0 0 0 149 0 0 0 25 0 1 0 34582161 8896512 1827 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135284226 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 2172 1827 139 317 0 1851 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8688

[startup+3.10141 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1768792/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=8816 CPUtime=3.09
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 2003 0 0 0 309 0 0 0 25 0 1 0 34582161 9027584 1839 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 2204 1839 139 317 0 1883 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8816

[startup+6.30178 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1768408/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=9472 CPUtime=6.28
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 2187 0 0 0 628 0 0 0 25 0 1 0 34582161 9699328 2023 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134714619 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 2368 2023 139 317 0 2047 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9472

[startup+12.7025 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1766816/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=11052 CPUtime=12.69
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 2582 0 0 0 1268 1 0 0 25 0 1 0 34582161 11317248 2418 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 2763 2418 139 317 0 2442 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11052

[startup+25.501 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1764320/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=13552 CPUtime=25.48
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 3161 0 0 0 2547 1 0 0 25 0 1 0 34582161 13877248 2997 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713841 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 3388 2997 139 317 0 3067 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 13552

[startup+51.101 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1762592/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=15348 CPUtime=51.07
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 3612 0 0 0 5106 1 0 0 25 0 1 0 34582161 15716352 3448 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134604429 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 3837 3448 139 317 0 3516 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 15348

[startup+102.305 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1757536/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=20436 CPUtime=102.27
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 4863 0 0 0 10225 2 0 0 25 0 1 0 34582161 20926464 4699 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 5109 4699 139 317 0 4788 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 20436

[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1751584/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=26224 CPUtime=162.24
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 6334 0 0 0 16221 3 0 0 25 0 1 0 34582161 26853376 6170 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 6556 6170 139 317 0 6235 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 26224

[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1747168/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=31412 CPUtime=222.23
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 7449 0 0 0 22219 4 0 0 25 0 1 0 34582161 32165888 7285 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 7853 7285 139 317 0 7532 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 31412

[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1743136/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=35084 CPUtime=282.21
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 8435 0 0 0 28216 5 0 0 25 0 1 0 34582161 35926016 8271 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135272561 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 8771 8271 139 317 0 8450 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 35084

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9627
/proc/meminfo: memFree=1739808/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=38316 CPUtime=342.2
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 9250 0 0 0 34214 6 0 0 25 0 1 0 34582161 39235584 9086 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 9579 9086 139 317 0 9258 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 38316

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/71 9653
/proc/meminfo: memFree=1735664/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=41244 CPUtime=402.16
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 9999 0 0 0 40209 7 0 0 25 0 1 0 34582161 42233856 9835 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 0 0 0
/proc/9626/statm: 10311 9835 139 317 0 9990 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 41244

[startup+462.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1733592/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=44312 CPUtime=462.06
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 10764 0 0 0 46199 7 0 0 25 0 1 0 34582161 45375488 10600 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 11078 10600 139 317 0 10757 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 44312

[startup+522.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1730400/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=47424 CPUtime=522.05
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 11610 0 0 0 52197 8 0 0 25 0 1 0 34582161 48562176 11446 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710785 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 11856 11446 139 317 0 11535 0
Current children cumulated CPU time (s) 522.05
Current children cumulated vsize (KiB) 47424

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1727520/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=51880 CPUtime=582.03
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 12388 0 0 0 58195 8 0 0 25 0 1 0 34582161 53125120 12224 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 12970 12224 139 317 0 12649 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 51880

[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1724640/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=54372 CPUtime=642.03
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 12994 0 0 0 64194 9 0 0 25 0 1 0 34582161 55676928 12830 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134554634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 13593 12830 139 317 0 13272 0
Current children cumulated CPU time (s) 642.03
Current children cumulated vsize (KiB) 54372


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1714720/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=64080 CPUtime=881.95
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 15496 0 0 0 88184 11 0 0 25 0 1 0 34582161 65617920 15332 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 16020 15332 139 317 0 15699 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 64080

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1712544/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=66072 CPUtime=941.94
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 16038 0 0 0 94182 12 0 0 25 0 1 0 34582161 67657728 15874 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710943 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 16518 15874 139 317 0 16197 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 66072

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1710304/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=68460 CPUtime=1001.92
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 16641 0 0 0 100180 12 0 0 25 0 1 0 34582161 70103040 16444 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 17115 16444 139 317 0 16794 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 68460

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1707680/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=71268 CPUtime=1061.91
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 17304 0 0 0 106178 13 0 0 25 0 1 0 34582161 72978432 17107 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 17817 17107 139 317 0 17496 0
Current children cumulated CPU time (s) 1061.91
Current children cumulated vsize (KiB) 71268

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1705888/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=73004 CPUtime=1121.89
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 17745 0 0 0 112176 13 0 0 25 0 1 0 34582161 74756096 17548 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135279021 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 18251 17548 139 317 0 17930 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 73004

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1704160/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=74592 CPUtime=1181.87
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 18176 0 0 0 118173 14 0 0 25 0 1 0 34582161 76382208 17979 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 18648 17979 139 317 0 18327 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 74592

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1702432/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=76208 CPUtime=1241.86
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 18596 0 0 0 124171 15 0 0 25 0 1 0 34582161 78036992 18399 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134713825 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 19052 18399 139 317 0 18731 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 76208

[startup+1302.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1700704/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=77828 CPUtime=1301.84
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 19013 0 0 0 130169 15 0 0 25 0 1 0 34582161 79695872 18816 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 19457 18816 139 317 0 19136 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 77828

[startup+1362.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1698912/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=79612 CPUtime=1361.83
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 19475 0 0 0 136167 16 0 0 25 0 1 0 34582161 81522688 19278 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 135270612 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 19903 19278 139 317 0 19582 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 79612

[startup+1422.31 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1697376/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=81508 CPUtime=1421.81
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 19873 0 0 0 142165 16 0 0 25 0 1 0 34582161 83464192 19676 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 20377 19676 139 317 0 20056 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 81508

[startup+1482.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1695584/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=83248 CPUtime=1481.79
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 20308 0 0 0 148162 17 0 0 25 0 1 0 34582161 85245952 20111 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 20812 20111 139 317 0 20491 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 83248

[startup+1542.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1693920/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=84804 CPUtime=1541.77
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 20726 0 0 0 154160 17 0 0 25 0 1 0 34582161 86839296 20529 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 21201 20529 139 317 0 20880 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 84804

[startup+1602.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1692064/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=86588 CPUtime=1601.76
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 21192 0 0 0 160158 18 0 0 25 0 1 0 34582161 88666112 20995 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 21647 20995 139 317 0 21326 0
Current children cumulated CPU time (s) 1601.76
Current children cumulated vsize (KiB) 86588

[startup+1662.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1690336/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=88192 CPUtime=1661.74
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 21624 0 0 0 166156 18 0 0 25 0 1 0 34582161 90308608 21427 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716140 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 22048 21427 139 317 0 21727 0
Current children cumulated CPU time (s) 1661.74
Current children cumulated vsize (KiB) 88192

[startup+1722.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1688672/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=89820 CPUtime=1721.73
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22050 0 0 0 172154 19 0 0 25 0 1 0 34582161 91975680 21853 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 22455 21853 139 317 0 22134 0
Current children cumulated CPU time (s) 1721.73
Current children cumulated vsize (KiB) 89820

[startup+1782.3 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1687008/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=91340 CPUtime=1781.71
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22437 0 0 0 178152 19 0 0 25 0 1 0 34582161 93532160 22240 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 22835 22240 139 317 0 22514 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 91340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.98 0.92 2/65 9825
/proc/meminfo: memFree=1686368/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=92540 CPUtime=1800.01
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22749 0 0 0 179982 19 0 0 25 0 1 0 34582161 94760960 22387 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 23135 22387 139 317 0 22814 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 92540

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.92 2/65 9825
/proc/meminfo: memFree=1686368/2055920 swapFree=4184556/4192956
[pid=9626] ppid=9624 vsize=92540 CPUtime=1800.11
/proc/9626/stat : 9626 (oree) R 9624 9626 8752 0 -1 4194304 22749 0 0 0 179992 19 0 0 25 0 1 0 34582161 94760960 22387 18446744073709551615 134512640 135812674 4294956672 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/9626/statm: 23135 22387 139 317 0 22814 0
Current children cumulated CPU time (s) 1800.11
Current children cumulated vsize (KiB) 92540

Child status: 0
Real time (s): 1800.79
CPU time (s): 1800.21
CPU user time (s): 1799.99
CPU system time (s): 0.212967
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 92540

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

runsolver used 1.23581 second user time and 3.75643 second system time

The end

Launcher Data (download as text)

Begin job on node62 on Sat Apr 21 12:54:22 UTC 2007

IDJOB= 373049
IDBENCH= 25015
IDSOLVER= 172
FILE ID= node62/373049-1177160062

PBS_JOBID= 4648894

Free space on /tmp= 66497 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_6.opb
COMMAND LINE= oree /tmp/evaluation/373049-1177160062/instance-373049-1177160062.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node62/watcher-373049-1177160062 -o ROOT/results/node62/solver-373049-1177160062 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/373049-1177160062/instance-373049-1177160062.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d25f6086317f033c233c4700493f03d1

RANDOM SEED= 820415582

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node62.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:       1776440 kB
Buffers:         24992 kB
Cached:         184544 kB
SwapCached:       2148 kB
Active:          59268 kB
Inactive:       159836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1776440 kB
SwapTotal:     4192956 kB
SwapFree:      4184556 kB
Dirty:            1980 kB
Writeback:           0 kB
Mapped:          16044 kB
Slab:            46320 kB
Committed_AS:  1092172 kB
PageTables:       1460 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= 66497 MiB

End job on node62 on Sat Apr 21 13:24:24 UTC 2007