Trace number 366096

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alphaSAT (TO)32 1800.14 1800.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb
MD5SUMa6fbaa86ad104839735089987b256e67
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark17
Best CPU time to get the best result obtained on this benchmark0.078987
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 17
Optimality of the best value was proved YES
Number of variables141
Total number of constraints215
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints215
Minimum length of a constraint12
Maximum length of a constraint25
Number of terms in the objective function 6
Biggest coefficient in the objective function 32
Number of bits for the biggest coefficient in the objective function 6
Sum of the numbers in the objective function 63
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 64
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 323
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.00/0.01	c ...done
0.00/0.01	c #vars=141 #constraints=216 hasObjective=yes
0.00/0.01	c res. mode=mod
0.00/0.01	c VSIDS like heuristics
0.00/0.01	c complete search running
0.00/0.01	c nbDecision=69 #constraints=216
0.00/0.01	c linear search for optimum
0.00/0.01	o 32
0.00/0.02	c restart after 401 decisions
0.00/0.02	c nbDecision=500 #constraints=250
0.00/0.04	c restart after 801 decisions
0.00/0.05	c nbDecision=1000 #constraints=327
0.09/0.10	c nbDecision=1500 #constraints=438
0.09/0.11	c restart after 1601 decisions
0.09/0.16	c nbDecision=2000 #constraints=580
0.19/0.26	c nbDecision=2500 #constraints=765
0.29/0.35	c nbDecision=3000 #constraints=941
0.39/0.41	c restart after 3201 decisions
0.39/0.48	c nbDecision=3500 #constraints=1110
0.59/0.64	c nbDecision=4000 #constraints=1312
0.69/0.72	c nbDecision=4500 #constraints=1389
0.89/0.96	c nbDecision=5000 #constraints=1609
1.19/1.28	c nbDecision=5500 #constraints=1880
1.59/1.64	c nbDecision=6000 #constraints=2052
1.89/1.91	c restart after 6401 decisions
1.89/1.96	c nbDecision=6500 #constraints=2151
2.19/2.24	c nbDecision=7000 #constraints=2224
2.49/2.58	c nbDecision=7500 #constraints=2310
2.79/2.82	c nbDecision=8000 #constraints=2373
2.89/2.92	c nbDecision=8500 #constraints=2411
3.19/3.23	c nbDecision=9000 #constraints=2468
3.69/3.73	c nbDecision=9500 #constraints=2565
3.89/3.97	c nbDecision=10000 #constraints=2627
3.99/4.03	c nbDecision=10500 #constraints=2675
4.19/4.27	c nbDecision=11000 #constraints=2728
4.40/4.47	c nbDecision=11500 #constraints=2796
4.59/4.66	c nbDecision=12000 #constraints=2866
4.69/4.76	c nbDecision=12500 #constraints=2914
4.79/4.83	c restart after 12801 decisions
4.89/4.98	c nbDecision=13000 #constraints=2989
5.39/5.46	c nbDecision=13500 #constraints=3134
6.19/6.26	c nbDecision=14000 #constraints=3353
7.09/7.12	c nbDecision=14500 #constraints=3522
7.99/8.02	c nbDecision=15000 #constraints=3629
8.39/8.48	c nbDecision=15500 #constraints=3690
10.28/10.31	c nbDecision=16000 #constraints=3898
11.38/11.43	c nbDecision=16500 #constraints=4022
12.79/12.84	c nbDecision=17000 #constraints=4140
14.28/14.38	c nbDecision=17500 #constraints=4320
15.08/15.17	c nbDecision=18000 #constraints=4419
15.88/15.90	c nbDecision=18500 #constraints=4513
16.78/16.87	c nbDecision=19000 #constraints=4621
17.68/17.76	c nbDecision=19500 #constraints=4732
18.98/19.02	c nbDecision=20000 #constraints=4857
20.78/20.81	c nbDecision=20500 #constraints=4994
22.38/22.40	c nbDecision=21000 #constraints=5106
23.48/23.52	c nbDecision=21500 #constraints=5217
24.79/24.86	c nbDecision=22000 #constraints=5334
25.89/25.97	c nbDecision=22500 #constraints=5427
27.49/27.54	c nbDecision=23000 #constraints=5541
28.99/29.00	c nbDecision=23500 #constraints=5649
30.69/30.71	c nbDecision=24000 #constraints=5785
31.38/31.48	c nbDecision=24500 #constraints=5878
32.18/32.28	c nbDecision=25000 #constraints=5994
32.89/32.96	c nbDecision=25500 #constraints=6130
33.18/33.27	c restart after 25601 decisions
34.18/34.21	c nbDecision=26000 #constraints=6226
35.28/35.33	c nbDecision=26500 #constraints=6320
36.78/36.89	c nbDecision=27000 #constraints=6474
38.08/38.16	c nbDecision=27500 #constraints=6621
38.98/39.10	c nbDecision=28000 #constraints=6739
39.68/39.76	c nbDecision=28500 #constraints=6829
41.98/42.10	c nbDecision=29000 #constraints=7009
45.48/45.52	c nbDecision=29500 #constraints=7138
49.58/49.60	c nbDecision=30000 #constraints=7427
54.88/54.99	c nbDecision=30500 #constraints=7624
61.57/61.68	c nbDecision=31000 #constraints=7806
68.17/68.22	c nbDecision=31500 #constraints=7977
74.16/74.23	c nbDecision=32000 #constraints=8158
82.47/82.58	c nbDecision=32500 #constraints=8337
87.86/87.93	c nbDecision=33000 #constraints=8454
89.56/89.65	c nbDecision=33500 #constraints=8527
91.06/91.13	c nbDecision=34000 #constraints=8578
92.86/92.98	c nbDecision=34500 #constraints=8637
94.46/94.56	c nbDecision=35000 #constraints=8691
96.06/96.10	c nbDecision=35500 #constraints=8738
97.76/97.86	c nbDecision=36000 #constraints=8788
99.05/99.17	c nbDecision=36500 #constraints=8833
100.65/100.76	c nbDecision=37000 #constraints=8893
102.85/102.99	c nbDecision=37500 #constraints=8964
105.85/105.94	c nbDecision=38000 #constraints=9052
110.55/110.64	c nbDecision=38500 #constraints=9170
112.95/113.03	c nbDecision=39000 #constraints=9260
116.45/116.57	c nbDecision=39500 #constraints=9357
118.85/118.93	c nbDecision=40000 #constraints=9447
121.25/121.35	c nbDecision=40500 #constraints=9531
124.26/124.39	c nbDecision=41000 #constraints=9647
127.65/127.74	c nbDecision=41500 #constraints=9761
131.55/131.69	c nbDecision=42000 #constraints=9890
134.05/134.13	c nbDecision=42500 #constraints=9967
136.05/136.16	c nbDecision=43000 #constraints=10037
140.54/140.61	c nbDecision=43500 #constraints=10198
146.44/146.54	c nbDecision=44000 #constraints=10311
150.44/150.50	c nbDecision=44500 #constraints=10431
154.44/154.50	c nbDecision=45000 #constraints=10666
159.23/159.39	c nbDecision=45500 #constraints=10819
164.03/164.15	c nbDecision=46000 #constraints=11018
172.13/172.24	c nbDecision=46500 #constraints=11188
177.33/177.44	c nbDecision=47000 #constraints=11313
181.73/181.86	c nbDecision=47500 #constraints=11568
186.93/187.03	c nbDecision=48000 #constraints=11844
193.62/193.70	c nbDecision=48500 #constraints=12028
198.02/198.11	c nbDecision=49000 #constraints=12253
204.13/204.22	c nbDecision=49500 #constraints=12510
210.03/210.14	c nbDecision=50000 #constraints=12797
218.42/218.51	c nbDecision=50500 #constraints=12999
224.61/224.74	c nbDecision=51000 #constraints=13248
226.91/227.06	c restart after 51201 decisions
231.41/231.52	c nbDecision=51500 #constraints=13396
240.61/240.70	c nbDecision=52000 #constraints=13569
248.51/248.63	c nbDecision=52500 #constraints=13799
261.20/261.38	c nbDecision=53000 #constraints=13988
270.50/270.60	c nbDecision=53500 #constraints=14166
282.39/282.50	c nbDecision=54000 #constraints=14365
293.19/293.32	c nbDecision=54500 #constraints=14594
303.08/303.23	c nbDecision=55000 #constraints=14827
310.09/310.27	c nbDecision=55500 #constraints=15106
316.48/316.68	c nbDecision=56000 #constraints=15345
326.59/326.76	c nbDecision=56500 #constraints=15518
340.58/340.73	c nbDecision=57000 #constraints=15744
350.18/350.39	c nbDecision=57500 #constraints=15928
355.67/355.85	c nbDecision=58000 #constraints=16136
361.47/361.60	c nbDecision=58500 #constraints=16389
370.07/370.21	c nbDecision=59000 #constraints=16690
378.77/378.92	c nbDecision=59500 #constraints=16892
385.26/385.46	c nbDecision=60000 #constraints=17175
391.66/391.80	c nbDecision=60500 #constraints=17413
399.06/399.30	c nbDecision=61000 #constraints=17635
407.35/407.50	c nbDecision=61500 #constraints=17857
412.35/412.52	c nbDecision=62000 #constraints=18086
424.35/424.57	c nbDecision=62500 #constraints=18237
434.34/434.52	c nbDecision=63000 #constraints=18359
440.25/440.44	c nbDecision=63500 #constraints=18451
443.35/443.54	c nbDecision=64000 #constraints=18508
450.44/450.61	c nbDecision=64500 #constraints=18617
456.64/456.81	c nbDecision=65000 #constraints=18703
461.24/461.46	c nbDecision=65500 #constraints=18773
464.44/464.68	c nbDecision=66000 #constraints=18810
468.23/468.44	c nbDecision=66500 #constraints=18870
473.23/473.41	c nbDecision=67000 #constraints=18954
478.03/478.21	c nbDecision=67500 #constraints=19039
482.63/482.80	c nbDecision=68000 #constraints=19113
487.63/487.90	c nbDecision=68500 #constraints=19187
492.63/492.89	c nbDecision=69000 #constraints=19249
497.12/497.33	c nbDecision=69500 #constraints=19330
501.52/501.78	c nbDecision=70000 #constraints=19400
507.22/507.46	c nbDecision=70500 #constraints=19499
511.02/511.23	c nbDecision=71000 #constraints=19558
515.41/515.65	c nbDecision=71500 #constraints=19633
519.81/520.01	c nbDecision=72000 #constraints=19712
524.11/524.39	c nbDecision=72500 #constraints=19788
528.91/529.16	c nbDecision=73000 #constraints=19874
534.91/535.14	c nbDecision=73500 #constraints=19990
540.71/540.92	c nbDecision=74000 #constraints=20105
546.11/546.37	c nbDecision=74500 #constraints=20214
550.11/550.38	c nbDecision=75000 #constraints=20277
554.61/554.83	c nbDecision=75500 #constraints=20374
560.40/560.60	c nbDecision=76000 #constraints=20490
568.80/569.05	c nbDecision=76500 #constraints=20664
578.60/578.81	c nbDecision=77000 #constraints=20841
586.29/586.53	c nbDecision=77500 #constraints=20989
596.09/596.33	c nbDecision=78000 #constraints=21190
606.89/607.18	c nbDecision=78500 #constraints=21397
612.09/612.31	c nbDecision=79000 #constraints=21479
618.19/618.49	c nbDecision=79500 #constraints=21570
626.48/626.75	c nbDecision=80000 #constraints=21689
632.88/633.13	c nbDecision=80500 #constraints=21796
640.38/640.68	c nbDecision=81000 #constraints=21935
647.27/647.54	c nbDecision=81500 #constraints=22044
654.47/654.78	c nbDecision=82000 #constraints=22164
661.47/661.71	c nbDecision=82500 #constraints=22292
670.86/671.12	c nbDecision=83000 #constraints=22434
675.66/675.98	c nbDecision=83500 #constraints=22506
681.56/681.86	c nbDecision=84000 #constraints=22586
687.56/687.82	c nbDecision=84500 #constraints=22664
694.16/694.46	c nbDecision=85000 #constraints=22757
699.55/699.86	c nbDecision=85500 #constraints=22842
706.15/706.49	c nbDecision=86000 #constraints=22926
712.55/712.88	c nbDecision=86500 #constraints=23002
718.14/718.43	c nbDecision=87000 #constraints=23075
724.34/724.69	c nbDecision=87500 #constraints=23173
730.74/731.06	c nbDecision=88000 #constraints=23276
737.24/737.53	c nbDecision=88500 #constraints=23371
744.74/745.02	c nbDecision=89000 #constraints=23495
751.13/751.49	c nbDecision=89500 #constraints=23589
759.64/760.00	c nbDecision=90000 #constraints=23712
768.23/768.58	c nbDecision=90500 #constraints=23847
775.24/775.51	c nbDecision=91000 #constraints=23953
783.23/783.51	c nbDecision=91500 #constraints=24073
792.23/792.52	c nbDecision=92000 #constraints=24216
801.12/801.50	c nbDecision=92500 #constraints=24366
814.52/814.84	c nbDecision=93000 #constraints=24566
821.21/821.54	c nbDecision=93500 #constraints=24678
829.11/829.45	c nbDecision=94000 #constraints=24794
835.91/836.23	c nbDecision=94500 #constraints=24884
842.50/842.81	c nbDecision=95000 #constraints=24972
849.21/849.50	c nbDecision=95500 #constraints=25060
856.61/856.91	c nbDecision=96000 #constraints=25170
863.80/864.11	c nbDecision=96500 #constraints=25279
870.90/871.25	c nbDecision=97000 #constraints=25378
877.20/877.50	c nbDecision=97500 #constraints=25464
885.20/885.56	c nbDecision=98000 #constraints=25569
892.19/892.57	c nbDecision=98500 #constraints=25680
900.69/901.10	c nbDecision=99000 #constraints=25798
907.89/908.23	c nbDecision=99500 #constraints=25889
915.48/915.88	c nbDecision=100000 #constraints=25984
935.68/936.06	c nbDecision=100500 #constraints=26136
949.67/950.03	c nbDecision=101000 #constraints=26276
955.97/956.32	c nbDecision=101500 #constraints=26385
968.46/968.82	c nbDecision=102000 #constraints=26523
975.66/976.03	c restart after 102401 decisions
976.56/976.96	c nbDecision=102500 #constraints=26648
981.16/981.58	c nbDecision=103000 #constraints=26856
988.06/988.49	c nbDecision=103500 #constraints=27109
1003.95/1004.39	c nbDecision=104000 #constraints=27285
1018.04/1018.47	c nbDecision=104500 #constraints=27490
1028.45/1028.88	c nbDecision=105000 #constraints=27566
1033.95/1034.30	c nbDecision=105500 #constraints=27636
1040.15/1040.57	c nbDecision=106000 #constraints=27846
1045.84/1046.20	c nbDecision=106500 #constraints=28063
1053.34/1053.73	c nbDecision=107000 #constraints=28308
1066.13/1066.57	c nbDecision=107500 #constraints=28569
1082.03/1082.41	c nbDecision=108000 #constraints=28766
1112.72/1113.15	c nbDecision=108500 #constraints=28943
1120.21/1120.60	c nbDecision=109000 #constraints=29037
1123.71/1124.20	c nbDecision=109500 #constraints=29188
1128.11/1128.59	c nbDecision=110000 #constraints=29361
1133.41/1133.84	c nbDecision=110500 #constraints=29588
1141.00/1141.46	c nbDecision=111000 #constraints=29795
1149.51/1149.91	c nbDecision=111500 #constraints=30050
1163.70/1164.11	c nbDecision=112000 #constraints=30295
1173.80/1174.26	c nbDecision=112500 #constraints=30579
1192.99/1193.41	c nbDecision=113000 #constraints=30815
1218.18/1218.65	c nbDecision=113500 #constraints=31089
1226.27/1226.76	c nbDecision=114000 #constraints=31346
1246.47/1246.99	c nbDecision=114500 #constraints=31589
1272.46/1272.97	c nbDecision=115000 #constraints=31895
1299.56/1300.08	c nbDecision=115500 #constraints=32128
1333.94/1334.47	c nbDecision=116000 #constraints=32338
1356.43/1356.96	c nbDecision=116500 #constraints=32627
1375.23/1375.79	c nbDecision=117000 #constraints=32921
1398.02/1398.57	c nbDecision=117500 #constraints=33251
1442.81/1443.38	c nbDecision=118000 #constraints=33492
1456.70/1457.28	c nbDecision=118500 #constraints=33706
1466.80/1467.36	c nbDecision=119000 #constraints=33980
1483.09/1483.63	c nbDecision=119500 #constraints=34217
1507.49/1508.05	c nbDecision=120000 #constraints=34430
1522.48/1523.05	c nbDecision=120500 #constraints=34665
1537.37/1537.90	c nbDecision=121000 #constraints=34947
1546.17/1546.78	c nbDecision=121500 #constraints=35174
1565.67/1566.22	c nbDecision=122000 #constraints=35431
1576.36/1576.96	c nbDecision=122500 #constraints=35714
1590.96/1591.51	c nbDecision=123000 #constraints=36049
1617.65/1618.23	c nbDecision=123500 #constraints=36288
1653.13/1653.79	c nbDecision=124000 #constraints=36570
1676.93/1677.56	c nbDecision=124500 #constraints=36814
1706.11/1706.75	c nbDecision=125000 #constraints=37046
1758.00/1758.67	c nbDecision=125500 #constraints=37258
1792.19/1792.90	c nbDecision=126000 #constraints=37536
1800.10/1800.71	Received signal 15
1800.10/1800.73	
1800.10/1800.73	s SATISFIABLE
1800.10/1800.73	v -x1 -x2 -x3 -x4 -x5 x6 x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 x19 x20 -x21 -x22 -x23 -x24 x25 x26 x27 -x28 -x29 -x30
1800.10/1800.73	v x31 x32 x33 x34 -x35 -x36 x37 x38 x39 x40 x41 x42 x43 x44 x45 x46 x47 x48 x49 x50 x51 x52 x53 x54 x55 x56 x57 x58 x59 x60 x61 x62 x63
1800.10/1800.73	v x64 x65 x66 x67 x68 x69 x70 x71 x72 x73 x74 x75 x76 x77 x78 x79 x80 x81 x82 x83 x84 x85 x86 x87 x88 x89 x90 x91 x92 x93 x94 x95 x96 x97
1800.10/1800.73	v x98 x99 x100 x101 x102 x103 x104 x105 x106 x107 x108 x109 x110 x111 x112 x113 x114 x115 x116 x117 x118 x119 x120 x121 x122 x123
1800.10/1800.73	v x124 x125 x126 x127 x128 x129 x130 x131 x132 x133 x134 x135 x136 x137 x138 x139 x140 x141
1800.10/1800.73	
1800.10/1800.73	c user time= 1799.97 s
1800.10/1800.73	c system time= 0.160975 s
1800.10/1800.73	c wall clock time=1800.73

Verifier Data (download as text)

OK	32

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node67/watcher-366096-1176998834 -o ROOT/results/node67/solver-366096-1176998834 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/366096-1176998834/instance-366096-1176998834.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.01 1.04 1.00 3/64 10935
/proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=1468 CPUtime=0
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 175872960 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 367 164 131 317 0 46 0

[startup+0.0964881 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 10935
/proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=1996 CPUtime=0.09
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 340 0 0 0 9 0 0 0 18 0 1 0 175872960 2043904 322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284244 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 499 322 170 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.101487 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 10935
/proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=1996 CPUtime=0.09
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 350 0 0 0 9 0 0 0 18 0 1 0 175872960 2043904 332 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563512 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 499 332 170 317 0 178 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1996

[startup+0.301524 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 10935
/proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=2656 CPUtime=0.29
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 511 0 0 0 29 0 0 0 19 0 1 0 175872960 2719744 493 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 664 493 170 317 0 343 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 2656

[startup+0.701596 s]
/proc/loadavg: 1.01 1.04 1.00 3/64 10935
/proc/meminfo: memFree=1722856/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=3464 CPUtime=0.69
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 718 0 0 0 69 0 0 0 22 0 1 0 175872960 3547136 700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 866 700 170 317 0 545 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 3464

[startup+1.50174 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1720288/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=4380 CPUtime=1.49
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 937 0 0 0 149 0 0 0 25 0 1 0 175872960 4485120 919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 1095 919 170 317 0 774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 4380

[startup+3.10103 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1719456/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=5192 CPUtime=3.09
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 1104 0 0 0 309 0 0 0 25 0 1 0 175872960 5316608 1086 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 1298 1086 170 317 0 977 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5192

[startup+6.30162 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1717920/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=6516 CPUtime=6.29
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 1435 0 0 0 628 1 0 0 25 0 1 0 175872960 6672384 1417 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718644 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 1629 1417 170 317 0 1308 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6516

[startup+12.7018 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1716512/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=7584 CPUtime=12.68
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 1715 0 0 0 1267 1 0 0 25 0 1 0 175872960 7766016 1697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 1896 1697 170 317 0 1575 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 7584

[startup+25.5011 s]
/proc/loadavg: 1.01 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1714272/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=10016 CPUtime=25.49
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 2264 0 0 0 2547 2 0 0 25 0 1 0 175872960 10256384 2246 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 2504 2246 170 317 0 2183 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 10016

[startup+51.1018 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 10936
/proc/meminfo: memFree=1710624/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=13464 CPUtime=51.08
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 3148 0 0 0 5106 2 0 0 25 0 1 0 175872960 13787136 3130 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 3366 3130 170 317 0 3045 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 13464

[startup+102.305 s]
/proc/loadavg: 1.00 1.03 1.00 2/65 10936
/proc/meminfo: memFree=1708192/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=16600 CPUtime=102.26
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 3828 0 0 0 10224 2 0 0 25 0 1 0 175872960 16998400 3752 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 4150 3752 170 317 0 3829 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 16600

[startup+162.301 s]
/proc/loadavg: 1.06 1.03 1.00 2/65 10936
/proc/meminfo: memFree=1704608/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=20220 CPUtime=162.23
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 4729 0 0 0 16220 3 0 0 25 0 1 0 175872960 20705280 4653 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 5055 4653 170 317 0 4734 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 20220

[startup+222.302 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1701216/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=23432 CPUtime=222.22
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 5567 0 0 0 22218 4 0 0 25 0 1 0 175872960 23994368 5491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 5858 5491 170 317 0 5537 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 23432

[startup+282.301 s]
/proc/loadavg: 1.07 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1699040/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=25652 CPUtime=282.19
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 6091 0 0 0 28215 4 0 0 25 0 1 0 175872960 26267648 6015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 6413 6015 170 317 0 6092 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 25652

[startup+342.301 s]
/proc/loadavg: 1.07 1.05 1.00 2/65 10936
/proc/meminfo: memFree=1696928/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=27708 CPUtime=342.18
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 6624 0 0 0 34213 5 0 0 25 0 1 0 175872960 28372992 6548 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 6927 6548 170 317 0 6606 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 27708

[startup+402.301 s]
/proc/loadavg: 1.06 1.05 1.00 2/65 10936
/proc/meminfo: memFree=1693856/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=32360 CPUtime=402.15
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 7755 0 0 0 40210 5 0 0 25 0 1 0 175872960 33136640 7301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 8090 7301 170 317 0 7769 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 32360

[startup+462.301 s]
/proc/loadavg: 1.06 1.06 1.00 2/65 10936
/proc/meminfo: memFree=1692192/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=34052 CPUtime=462.14
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 8241 0 0 0 46208 6 0 0 25 0 1 0 175872960 34869248 7721 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 8513 7721 170 317 0 8192 0
Current children cumulated CPU time (s) 462.14
Current children cumulated vsize (KiB) 34052

[startup+522.301 s]
/proc/loadavg: 1.02 1.04 1.00 2/65 10936
/proc/meminfo: memFree=1690528/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=35760 CPUtime=522.11
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 8678 0 0 0 52205 6 0 0 25 0 1 0 175872960 36618240 8158 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 8940 8158 170 317 0 8619 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 35760

[startup+582.301 s]
/proc/loadavg: 1.01 1.03 1.00 2/65 10936
/proc/meminfo: memFree=1688096/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=38252 CPUtime=582.09
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 9286 0 0 0 58202 7 0 0 25 0 1 0 175872960 39170048 8733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 9563 8733 170 317 0 9242 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 38252

[startup+642.301 s]
/proc/loadavg: 1.00 1.02 1.00 2/65 10936
/proc/meminfo: memFree=1685856/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=40508 CPUtime=642.08
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 9854 0 0 0 64200 8 0 0 25 0 1 0 175872960 41480192 9301 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 10127 9301 170 317 0 9806 0
Current children cumulated CPU time (s) 642.08
Current children cumulated vsize (KiB) 40508


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1678496/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=47404 CPUtime=882
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 11714 0 0 0 88190 10 0 0 25 0 1 0 175872960 48541696 11128 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 11851 11128 170 317 0 11530 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 47404

[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1677088/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=49272 CPUtime=941.97
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 12146 0 0 0 94187 10 0 0 25 0 1 0 175872960 50454528 11461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272698 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 12318 11461 170 317 0 11997 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 49272

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1675296/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=50908 CPUtime=1001.95
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 12602 0 0 0 100185 10 0 0 25 0 1 0 175872960 52129792 11917 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 12727 11917 170 317 0 12406 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 50908

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1673568/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=52612 CPUtime=1061.93
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 13072 0 0 0 106182 11 0 0 25 0 1 0 175872960 53874688 12354 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 13153 12354 170 317 0 12832 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 52612

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1672480/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=53396 CPUtime=1121.91
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 13330 0 0 0 112180 11 0 0 25 0 1 0 175872960 54677504 12612 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 13349 12612 170 317 0 13028 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 53396

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1669984/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=55984 CPUtime=1181.89
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 13956 0 0 0 118177 12 0 0 25 0 1 0 175872960 57327616 13238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 13996 13238 170 317 0 13675 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 55984

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1668768/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=57040 CPUtime=1241.88
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 14260 0 0 0 124175 13 0 0 25 0 1 0 175872960 58408960 13542 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 14260 13542 170 317 0 13939 0
Current children cumulated CPU time (s) 1241.88
Current children cumulated vsize (KiB) 57040

[startup+1302.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/65 10936
/proc/meminfo: memFree=1667552/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=58228 CPUtime=1301.86
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 14560 0 0 0 130173 13 0 0 25 0 1 0 175872960 59625472 13842 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 14557 13842 170 317 0 14236 0
Current children cumulated CPU time (s) 1301.86
Current children cumulated vsize (KiB) 58228

[startup+1362.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/65 10936
/proc/meminfo: memFree=1666528/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=59340 CPUtime=1361.83
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 14824 0 0 0 136170 13 0 0 25 0 1 0 175872960 60764160 14106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 14835 14106 170 317 0 14514 0
Current children cumulated CPU time (s) 1361.83
Current children cumulated vsize (KiB) 59340

[startup+1422.31 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1664736/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=61944 CPUtime=1421.82
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 15525 0 0 0 142168 14 0 0 25 0 1 0 175872960 63430656 14547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 15486 14547 170 317 0 15165 0
Current children cumulated CPU time (s) 1421.82
Current children cumulated vsize (KiB) 61944

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1663776/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=63892 CPUtime=1481.79
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 16080 0 0 0 148165 14 0 0 25 0 1 0 175872960 65425408 14809 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 15973 14809 170 317 0 15652 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 63892

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1662304/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=66360 CPUtime=1541.77
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 16696 0 0 0 154163 14 0 0 25 0 1 0 175872960 67952640 15165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 16590 15165 170 317 0 16269 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 66360

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1660448/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=68852 CPUtime=1601.75
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 17377 0 0 0 160160 15 0 0 25 0 1 0 175872960 70504448 15617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 17213 15617 170 317 0 16892 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 68852

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1659616/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=69792 CPUtime=1661.73
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 17611 0 0 0 166158 15 0 0 25 0 1 0 175872960 71467008 15818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 17448 15818 170 317 0 17127 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 69792

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1658848/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=70568 CPUtime=1721.71
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 17840 0 0 0 172156 15 0 0 25 0 1 0 175872960 72261632 16014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 17642 16014 170 317 0 17321 0
Current children cumulated CPU time (s) 1721.71
Current children cumulated vsize (KiB) 70568

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1658080/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=71340 CPUtime=1781.7
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 18043 0 0 0 178154 16 0 0 25 0 1 0 175872960 73052160 16184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 17835 16184 170 317 0 17514 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 71340



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1657952/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=71468 CPUtime=1800.1
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 18100 0 0 0 179994 16 0 0 25 0 1 0 175872960 73183232 16241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 17867 16241 170 317 0 17546 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 71468

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: 1.00 1.00 1.00 2/65 10936
/proc/meminfo: memFree=1657952/2055920 swapFree=4179676/4192956
[pid=10935] ppid=10933 vsize=71468 CPUtime=1800.1
/proc/10935/stat : 10935 (oree) R 10933 10935 10550 0 -1 4194304 18100 0 0 0 179994 16 0 0 25 0 1 0 175872960 73183232 16241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/10935/statm: 17867 16241 170 317 0 17546 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 71468

Child status: 0
Real time (s): 1800.75
CPU time (s): 1800.14
CPU user time (s): 1799.97
CPU system time (s): 0.170974
CPU usage (%): 99.9663
Max. virtual memory (cumulated for all children) (KiB): 71468

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

runsolver used 1.37379 second user time and 3.60845 second system time

The end

Launcher Data (download as text)

Begin job on node67 on Thu Apr 19 16:07:14 UTC 2007

IDJOB= 366096
IDBENCH= 2628
IDSOLVER= 172
FILE ID= node67/366096-1176998834

PBS_JOBID= 4630476

Free space on /tmp= 66455 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_6.opb
COMMAND LINE= oree /tmp/evaluation/366096-1176998834/instance-366096-1176998834.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node67/watcher-366096-1176998834 -o ROOT/results/node67/solver-366096-1176998834 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/366096-1176998834/instance-366096-1176998834.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  a6fbaa86ad104839735089987b256e67

RANDOM SEED= 402237481

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node67.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.263
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.263
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:       1723328 kB
Buffers:         27136 kB
Cached:         252476 kB
SwapCached:       7008 kB
Active:          81876 kB
Inactive:       210552 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1723328 kB
SwapTotal:     4192956 kB
SwapFree:      4179676 kB
Dirty:            1336 kB
Writeback:           0 kB
Mapped:          15436 kB
Slab:            26168 kB
Committed_AS:   280556 kB
PageTables:       1452 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= 66455 MiB

End job on node67 on Thu Apr 19 16:37:17 UTC 2007