Trace number 356890

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.81

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb
MD5SUM012c11861136c422cb8bda81e1d7561a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables21960
Total number of constraints750
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 constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 1295
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 533310
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261781
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 533310
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.20	c ...done
0.19/0.20	c #vars=21960 #constraints=1111 hasObjective=yes
0.29/0.33	c res. mode=mod
0.29/0.33	c VSIDS like heuristics
0.29/0.33	c complete search running
0.39/0.42	c restart after 401 decisions
0.39/0.45	c nbDecision=500 #constraints=1111
0.49/0.51	c restart after 801 decisions
0.49/0.55	c nbDecision=1000 #constraints=1111
0.59/0.65	c nbDecision=1500 #constraints=1111
0.59/0.67	c restart after 1601 decisions
0.69/0.75	c nbDecision=2000 #constraints=1111
0.79/0.85	c nbDecision=2500 #constraints=1111
0.89/0.95	c nbDecision=3000 #constraints=1111
0.89/1.00	c restart after 3201 decisions
0.99/1.06	c nbDecision=3500 #constraints=1111
1.09/1.17	c nbDecision=4000 #constraints=1111
1.19/1.27	c nbDecision=4500 #constraints=1111
1.29/1.38	c nbDecision=5000 #constraints=1111
1.39/1.48	c nbDecision=5500 #constraints=1111
1.49/1.58	c nbDecision=6000 #constraints=1111
1.59/1.65	c restart after 6401 decisions
1.59/1.68	c nbDecision=6500 #constraints=1111
1.69/1.78	c nbDecision=7000 #constraints=1111
1.79/1.88	c nbDecision=7500 #constraints=1111
1.89/1.97	c nbDecision=8000 #constraints=1111
1.99/2.06	c nbDecision=8500 #constraints=1111
2.09/2.16	c nbDecision=9000 #constraints=1111
2.19/2.26	c nbDecision=9500 #constraints=1111
2.29/2.35	c nbDecision=10000 #constraints=1111
2.39/2.44	c nbDecision=10500 #constraints=1111
2.49/2.53	c nbDecision=11000 #constraints=1111
2.59/2.62	c nbDecision=11500 #constraints=1111
2.68/2.70	c nbDecision=12000 #constraints=1111
2.68/2.78	c nbDecision=12500 #constraints=1111
2.78/2.83	c restart after 12801 decisions
2.78/2.88	c nbDecision=13000 #constraints=1111
2.88/2.98	c nbDecision=13500 #constraints=1111
2.98/3.09	c nbDecision=14000 #constraints=1111
3.08/3.19	c nbDecision=14500 #constraints=1111
3.19/3.29	c nbDecision=15000 #constraints=1111
3.29/3.39	c nbDecision=15500 #constraints=1111
3.38/3.49	c nbDecision=16000 #constraints=1111
3.48/3.58	c nbDecision=16500 #constraints=1111
3.58/3.67	c nbDecision=17000 #constraints=1111
3.68/3.76	c nbDecision=17500 #constraints=1111
3.78/3.83	c nbDecision=18000 #constraints=1111
3.88/3.91	c nbDecision=18500 #constraints=1111
3.88/3.98	c nbDecision=19000 #constraints=1111
3.98/4.05	c nbDecision=19500 #constraints=1111
4.08/4.12	c nbDecision=20000 #constraints=1111
4.08/4.19	c nbDecision=20500 #constraints=1111
4.29/4.34	c nbDecision=21000 #constraints=1111
4.48/4.55	c nbDecision=21500 #constraints=1234
4.68/4.76	c nbDecision=22000 #constraints=1331
5.19/5.28	c nbDecision=22500 #constraints=1679
5.39/5.46	c nbDecision=23000 #constraints=1746
5.69/5.74	c nbDecision=23500 #constraints=1892
5.89/5.98	c nbDecision=24000 #constraints=1994
6.19/6.23	c nbDecision=24500 #constraints=2088
6.49/6.53	c nbDecision=25000 #constraints=2203
6.78/6.82	c nbDecision=25500 #constraints=2314
6.78/6.86	c restart after 25601 decisions
6.88/6.99	c nbDecision=26000 #constraints=2325
6.98/7.10	c nbDecision=26500 #constraints=2325
7.18/7.20	c nbDecision=27000 #constraints=2325
7.28/7.30	c nbDecision=27500 #constraints=2325
7.38/7.41	c nbDecision=28000 #constraints=2325
7.48/7.52	c nbDecision=28500 #constraints=2325
7.59/7.61	c nbDecision=29000 #constraints=2325
7.69/7.71	c nbDecision=29500 #constraints=2325
7.69/7.80	c nbDecision=30000 #constraints=2325
7.78/7.88	c nbDecision=30500 #constraints=2325
7.88/7.96	c nbDecision=31000 #constraints=2325
7.98/8.04	c nbDecision=31500 #constraints=2325
8.08/8.11	c nbDecision=32000 #constraints=2325
8.08/8.19	c nbDecision=32500 #constraints=2325
8.18/8.26	c nbDecision=33000 #constraints=2325
8.28/8.38	c nbDecision=33500 #constraints=2325
8.48/8.52	c nbDecision=34000 #constraints=2325
8.89/8.94	c nbDecision=34500 #constraints=2665
9.09/9.19	c nbDecision=35000 #constraints=2784
9.69/9.72	c nbDecision=35500 #constraints=3046
9.79/9.88	c nbDecision=36000 #constraints=3051
9.99/10.04	c nbDecision=36500 #constraints=3060
10.19/10.22	c nbDecision=37000 #constraints=3083
10.28/10.39	c nbDecision=37500 #constraints=3099
10.48/10.55	c nbDecision=38000 #constraints=3109
10.68/10.72	c nbDecision=38500 #constraints=3125
10.78/10.89	c nbDecision=39000 #constraints=3144
11.08/11.17	c nbDecision=39500 #constraints=3252
11.49/11.55	c nbDecision=40000 #constraints=3395
11.69/11.72	c nbDecision=40500 #constraints=3402
11.79/11.89	c nbDecision=41000 #constraints=3422
11.99/12.09	c nbDecision=41500 #constraints=3452
12.19/12.27	c nbDecision=42000 #constraints=3462
12.39/12.45	c nbDecision=42500 #constraints=3480
12.59/12.64	c nbDecision=43000 #constraints=3498
12.79/12.80	c nbDecision=43500 #constraints=3503
12.89/12.99	c nbDecision=44000 #constraints=3527
13.09/13.17	c nbDecision=44500 #constraints=3542
13.29/13.34	c nbDecision=45000 #constraints=3549
13.49/13.52	c nbDecision=45500 #constraints=3570
13.69/13.73	c nbDecision=46000 #constraints=3601
13.89/13.90	c nbDecision=46500 #constraints=3614
13.99/14.07	c nbDecision=47000 #constraints=3622
14.19/14.24	c nbDecision=47500 #constraints=3629
14.39/14.41	c nbDecision=48000 #constraints=3643
14.49/14.59	c nbDecision=48500 #constraints=3655
14.69/14.78	c nbDecision=49000 #constraints=3674
14.89/14.96	c nbDecision=49500 #constraints=3687
15.19/15.26	c nbDecision=50000 #constraints=3769
15.39/15.45	c nbDecision=50500 #constraints=3780
15.59/15.62	c nbDecision=51000 #constraints=3789
15.59/15.70	c restart after 51201 decisions
15.79/15.83	c nbDecision=51500 #constraints=3792
15.89/15.94	c nbDecision=52000 #constraints=3792
15.99/16.05	c nbDecision=52500 #constraints=3792
16.09/16.15	c nbDecision=53000 #constraints=3792
16.19/16.26	c nbDecision=53500 #constraints=3792
16.29/16.37	c nbDecision=54000 #constraints=3792
16.39/16.47	c nbDecision=54500 #constraints=3792
16.49/16.58	c nbDecision=55000 #constraints=3792
16.59/16.68	c nbDecision=55500 #constraints=3792
16.69/16.77	c nbDecision=56000 #constraints=3792
16.79/16.85	c nbDecision=56500 #constraints=3792
16.89/16.93	c nbDecision=57000 #constraints=3792
16.99/17.01	c nbDecision=57500 #constraints=3792
16.99/17.08	c nbDecision=58000 #constraints=3792
17.09/17.15	c nbDecision=58500 #constraints=3792
17.19/17.24	c nbDecision=59000 #constraints=3792
17.39/17.41	c nbDecision=59500 #constraints=3792
17.59/17.61	c nbDecision=60000 #constraints=3849
17.98/18.03	c nbDecision=60500 #constraints=4106
18.89/18.93	c nbDecision=61000 #constraints=4558
20.28/20.36	c nbDecision=61500 #constraints=5020
22.19/22.23	c nbDecision=62000 #constraints=5462
24.48/24.59	c nbDecision=62500 #constraints=5913
27.89/27.96	c nbDecision=63000 #constraints=6386
30.98/31.08	c nbDecision=63500 #constraints=6684
31.58/31.64	c nbDecision=64000 #constraints=6721
32.48/32.60	c nbDecision=64500 #constraints=6962
34.78/34.86	c nbDecision=65000 #constraints=7437
36.68/36.80	c nbDecision=65500 #constraints=7730
37.18/37.22	c nbDecision=66000 #constraints=7752
37.48/37.55	c nbDecision=66500 #constraints=7767
37.78/37.89	c nbDecision=67000 #constraints=7786
38.18/38.22	c nbDecision=67500 #constraints=7802
38.49/38.53	c nbDecision=68000 #constraints=7812
38.88/38.93	c nbDecision=68500 #constraints=7852
39.18/39.29	c nbDecision=69000 #constraints=7871
39.58/39.67	c nbDecision=69500 #constraints=7898
39.98/40.02	c nbDecision=70000 #constraints=7919
40.38/40.47	c nbDecision=70500 #constraints=7991
41.78/41.86	c nbDecision=71000 #constraints=8312
42.17/42.23	c nbDecision=71500 #constraints=8339
42.58/42.64	c nbDecision=72000 #constraints=8373
42.98/43.06	c nbDecision=72500 #constraints=8408
43.48/43.55	c nbDecision=73000 #constraints=8456
43.89/43.92	c nbDecision=73500 #constraints=8481
44.28/44.30	c nbDecision=74000 #constraints=8499
44.68/44.74	c nbDecision=74500 #constraints=8532
44.98/45.08	c nbDecision=75000 #constraints=8546
45.48/45.50	c nbDecision=75500 #constraints=8571
45.88/45.94	c nbDecision=76000 #constraints=8608
46.28/46.33	c nbDecision=76500 #constraints=8632
46.68/46.70	c nbDecision=77000 #constraints=8652
47.08/47.14	c nbDecision=77500 #constraints=8701
47.47/47.58	c nbDecision=78000 #constraints=8732
47.87/47.98	c nbDecision=78500 #constraints=8761
48.28/48.36	c nbDecision=79000 #constraints=8778
48.97/49.03	c nbDecision=79500 #constraints=8851
49.27/49.40	c nbDecision=80000 #constraints=8869
49.76/49.83	c nbDecision=80500 #constraints=8893
50.57/50.63	c nbDecision=81000 #constraints=8980
50.87/50.98	c nbDecision=81500 #constraints=8991
51.17/51.28	c nbDecision=82000 #constraints=9001
51.57/51.70	c nbDecision=82500 #constraints=9044
51.96/52.03	c nbDecision=83000 #constraints=9059
52.26/52.36	c nbDecision=83500 #constraints=9077
52.56/52.67	c nbDecision=84000 #constraints=9081
52.94/53.03	c nbDecision=84500 #constraints=9104
53.24/53.37	c nbDecision=85000 #constraints=9117
53.64/53.70	c nbDecision=85500 #constraints=9135
53.94/54.04	c nbDecision=86000 #constraints=9178
54.24/54.39	c nbDecision=86500 #constraints=9188
54.64/54.74	c nbDecision=87000 #constraints=9203
54.95/55.07	c nbDecision=87500 #constraints=9208
55.34/55.42	c nbDecision=88000 #constraints=9230
55.64/55.76	c nbDecision=88500 #constraints=9248
55.94/56.08	c nbDecision=89000 #constraints=9263
56.33/56.40	c nbDecision=89500 #constraints=9281
56.63/56.73	c nbDecision=90000 #constraints=9286
56.93/57.07	c nbDecision=90500 #constraints=9298
57.33/57.41	c nbDecision=91000 #constraints=9315
57.63/57.75	c nbDecision=91500 #constraints=9320
57.93/58.09	c nbDecision=92000 #constraints=9331
58.33/58.41	c nbDecision=92500 #constraints=9344
58.63/58.74	c nbDecision=93000 #constraints=9359
58.93/59.06	c nbDecision=93500 #constraints=9365
59.24/59.38	c nbDecision=94000 #constraints=9378
59.53/59.69	c nbDecision=94500 #constraints=9389
59.93/60.04	c nbDecision=95000 #constraints=9404
60.34/60.41	c nbDecision=95500 #constraints=9429
60.63/60.74	c nbDecision=96000 #constraints=9440
60.93/61.06	c nbDecision=96500 #constraints=9450
61.33/61.41	c nbDecision=97000 #constraints=9462
61.63/61.74	c nbDecision=97500 #constraints=9469
61.93/62.04	c nbDecision=98000 #constraints=9474
62.23/62.38	c nbDecision=98500 #constraints=9487
62.63/62.70	c nbDecision=99000 #constraints=9495
62.93/63.03	c nbDecision=99500 #constraints=9504
63.23/63.36	c nbDecision=100000 #constraints=9508
63.53/63.68	c nbDecision=100500 #constraints=9522
63.93/64.00	c nbDecision=101000 #constraints=9535
64.23/64.32	c nbDecision=101500 #constraints=9544
64.53/64.65	c nbDecision=102000 #constraints=9554
64.82/64.95	c restart after 102401 decisions
65.11/65.24	c nbDecision=102500 #constraints=9567
65.21/65.37	c nbDecision=103000 #constraints=9567
65.31/65.48	c nbDecision=103500 #constraints=9567
65.51/65.60	c nbDecision=104000 #constraints=9567
65.61/65.70	c nbDecision=104500 #constraints=9567
65.71/65.82	c nbDecision=105000 #constraints=9567
65.82/65.93	c nbDecision=105500 #constraints=9567
65.92/66.10	c nbDecision=106000 #constraints=9567
66.11/66.25	c nbDecision=106500 #constraints=9567
66.21/66.36	c nbDecision=107000 #constraints=9567
66.31/66.44	c nbDecision=107500 #constraints=9567
66.41/66.51	c nbDecision=108000 #constraints=9567
66.41/66.59	c nbDecision=108500 #constraints=9567
66.51/66.66	c nbDecision=109000 #constraints=9567
66.61/66.72	c nbDecision=109500 #constraints=9567
66.61/66.80	c nbDecision=110000 #constraints=9567
66.92/67.02	c nbDecision=110500 #constraints=9567
67.41/67.56	c nbDecision=111000 #constraints=9698
68.41/68.58	c nbDecision=111500 #constraints=10029
69.71/69.86	c nbDecision=112000 #constraints=10434
71.10/71.25	c nbDecision=112500 #constraints=10645
72.61/72.74	c nbDecision=113000 #constraints=10920
75.70/75.81	c nbDecision=113500 #constraints=11374
76.89/77.08	c nbDecision=114000 #constraints=11629
77.90/78.03	c nbDecision=114500 #constraints=12080
79.28/79.49	c nbDecision=115000 #constraints=12527
81.18/81.35	c nbDecision=115500 #constraints=12962
83.78/83.93	c nbDecision=116000 #constraints=13414
86.48/86.62	c nbDecision=116500 #constraints=13767
88.77/88.94	c nbDecision=117000 #constraints=14251
91.08/91.22	c nbDecision=117500 #constraints=14545
93.17/93.38	c nbDecision=118000 #constraints=14903
95.77/95.97	c nbDecision=118500 #constraints=15284
99.57/99.77	c nbDecision=119000 #constraints=15647
100.17/100.38	c nbDecision=119500 #constraints=15977
101.27/101.49	c nbDecision=120000 #constraints=16227
102.26/102.46	c nbDecision=120500 #constraints=16435
102.97/103.11	c nbDecision=121000 #constraints=16545
105.36/105.54	c nbDecision=121500 #constraints=16747
106.35/106.53	c nbDecision=122000 #constraints=16803
108.45/108.63	c nbDecision=122500 #constraints=17110
111.75/111.95	c nbDecision=123000 #constraints=17539
112.85/113.02	c nbDecision=123500 #constraints=17968
114.45/114.62	c nbDecision=124000 #constraints=18438
116.46/116.62	c nbDecision=124500 #constraints=18861
118.95/119.16	c nbDecision=125000 #constraints=19297
122.44/122.64	c nbDecision=125500 #constraints=19767
126.74/126.90	c nbDecision=126000 #constraints=20254
127.54/127.78	c nbDecision=126500 #constraints=20554
131.45/131.68	c nbDecision=127000 #constraints=20953
135.05/135.28	c nbDecision=127500 #constraints=21393
138.24/138.41	c nbDecision=128000 #constraints=21883
141.85/142.04	c nbDecision=128500 #constraints=22371
144.04/144.21	c nbDecision=129000 #constraints=22569
146.24/146.42	c nbDecision=129500 #constraints=22739
151.65/151.86	c nbDecision=130000 #constraints=23193
155.54/155.79	c nbDecision=130500 #constraints=23488
157.24/157.44	c nbDecision=131000 #constraints=23594
160.14/160.31	c nbDecision=131500 #constraints=23785
161.24/161.49	c nbDecision=132000 #constraints=23835
164.63/164.86	c nbDecision=132500 #constraints=24057
165.94/166.18	c nbDecision=133000 #constraints=24197
169.84/170.00	c nbDecision=133500 #constraints=24583
174.23/174.42	c nbDecision=134000 #constraints=25027
179.53/179.70	c nbDecision=134500 #constraints=25471
185.53/185.70	c nbDecision=135000 #constraints=25922
193.73/193.98	c nbDecision=135500 #constraints=26382
201.82/202.07	c nbDecision=136000 #constraints=26848
211.13/211.39	c nbDecision=136500 #constraints=27280
212.43/212.61	c nbDecision=137000 #constraints=27376
213.73/213.90	c nbDecision=137500 #constraints=27404
214.92/215.12	c nbDecision=138000 #constraints=27562
218.12/218.39	c nbDecision=138500 #constraints=27732
224.92/225.13	c nbDecision=139000 #constraints=28181
228.22/228.42	c nbDecision=139500 #constraints=28527
229.73/229.93	c nbDecision=140000 #constraints=28724
231.12/231.38	c nbDecision=140500 #constraints=28851
233.72/233.91	c nbDecision=141000 #constraints=28978
235.72/235.93	c nbDecision=141500 #constraints=29101
243.52/243.79	c nbDecision=142000 #constraints=29452
245.32/245.56	c nbDecision=142500 #constraints=29607
249.42/249.65	c nbDecision=143000 #constraints=29756
251.52/251.72	c nbDecision=143500 #constraints=29906
253.92/254.18	c nbDecision=144000 #constraints=30045
255.32/255.56	c nbDecision=144500 #constraints=30117
256.71/256.94	c nbDecision=145000 #constraints=30226
261.01/261.26	c nbDecision=145500 #constraints=30464
263.41/263.65	c nbDecision=146000 #constraints=30728
267.31/267.50	c nbDecision=146500 #constraints=31111
268.81/269.09	c nbDecision=147000 #constraints=31237
270.51/270.79	c nbDecision=147500 #constraints=31374
272.11/272.33	c nbDecision=148000 #constraints=31461
275.21/275.44	c nbDecision=148500 #constraints=31689
276.61/276.84	c nbDecision=149000 #constraints=31797
278.20/278.43	c nbDecision=149500 #constraints=31897
279.50/279.74	c nbDecision=150000 #constraints=31923
282.21/282.42	c nbDecision=150500 #constraints=32133
284.00/284.26	c nbDecision=151000 #constraints=32315
285.60/285.87	c nbDecision=151500 #constraints=32421
287.60/287.85	c nbDecision=152000 #constraints=32511
289.30/289.56	c nbDecision=152500 #constraints=32584
291.10/291.34	c nbDecision=153000 #constraints=32689
292.41/292.68	c nbDecision=153500 #constraints=32724
294.00/294.28	c nbDecision=154000 #constraints=32804
295.80/296.03	c nbDecision=154500 #constraints=32917
297.31/297.58	c nbDecision=155000 #constraints=33016
299.21/299.46	c nbDecision=155500 #constraints=33138
301.90/302.10	c nbDecision=156000 #constraints=33284
303.41/303.67	c nbDecision=156500 #constraints=33359
304.80/305.02	c nbDecision=157000 #constraints=33391
306.60/306.90	c nbDecision=157500 #constraints=33501
308.80/309.04	c nbDecision=158000 #constraints=33613
310.60/310.85	c nbDecision=158500 #constraints=33715
312.50/312.78	c nbDecision=159000 #constraints=33811
314.10/314.39	c nbDecision=159500 #constraints=33870
316.10/316.30	c nbDecision=160000 #constraints=33980
317.80/318.07	c nbDecision=160500 #constraints=34067
319.50/319.74	c nbDecision=161000 #constraints=34116
321.10/321.33	c nbDecision=161500 #constraints=34186
323.00/323.22	c nbDecision=162000 #constraints=34264
324.30/324.55	c nbDecision=162500 #constraints=34302
325.99/326.26	c nbDecision=163000 #constraints=34381
327.19/327.47	c nbDecision=163500 #constraints=34407
329.09/329.36	c nbDecision=164000 #constraints=34509
331.10/331.35	c nbDecision=164500 #constraints=34618
333.10/333.35	c nbDecision=165000 #constraints=34723
335.39/335.68	c nbDecision=165500 #constraints=34844
336.99/337.21	c nbDecision=166000 #constraints=34878
338.79/339.02	c nbDecision=166500 #constraints=34959
340.89/341.11	c nbDecision=167000 #constraints=35068
342.69/342.91	c nbDecision=167500 #constraints=35153
343.99/344.21	c nbDecision=168000 #constraints=35173
346.09/346.30	c nbDecision=168500 #constraints=35268
347.69/347.90	c nbDecision=169000 #constraints=35321
349.29/349.58	c nbDecision=169500 #constraints=35374
350.89/351.15	c nbDecision=170000 #constraints=35416
352.99/353.24	c nbDecision=170500 #constraints=35501
354.89/355.17	c nbDecision=171000 #constraints=35568
357.29/357.59	c nbDecision=171500 #constraints=35713
359.48/359.79	c nbDecision=172000 #constraints=35818
361.68/361.97	c nbDecision=172500 #constraints=35924
363.89/364.16	c nbDecision=173000 #constraints=36027
365.69/365.92	c nbDecision=173500 #constraints=36078
368.08/368.31	c nbDecision=174000 #constraints=36187
369.88/370.11	c nbDecision=174500 #constraints=36252
371.59/371.84	c nbDecision=175000 #constraints=36292
373.28/373.59	c nbDecision=175500 #constraints=36356
375.28/375.52	c nbDecision=176000 #constraints=36424
376.88/377.16	c nbDecision=176500 #constraints=36473
379.28/379.59	c nbDecision=177000 #constraints=36582
381.78/382.03	c nbDecision=177500 #constraints=36702
384.08/384.30	c nbDecision=178000 #constraints=36792
385.68/385.99	c nbDecision=178500 #constraints=36836
387.98/388.27	c nbDecision=179000 #constraints=36937
390.08/390.38	c nbDecision=179500 #constraints=37018
392.18/392.43	c nbDecision=180000 #constraints=37104
394.48/394.78	c nbDecision=180500 #constraints=37180
396.28/396.52	c nbDecision=181000 #constraints=37244
398.47/398.79	c nbDecision=181500 #constraints=37348
400.97/401.24	c nbDecision=182000 #constraints=37459
403.38/403.68	c nbDecision=182500 #constraints=37568
406.28/406.57	c nbDecision=183000 #constraints=37689
409.37/409.62	c nbDecision=183500 #constraints=37823
411.27/411.51	c nbDecision=184000 #constraints=37891
413.57/413.86	c nbDecision=184500 #constraints=37996
416.47/416.71	c nbDecision=185000 #constraints=38118
418.97/419.28	c nbDecision=185500 #constraints=38224
421.26/421.54	c nbDecision=186000 #constraints=38311
422.86/423.16	c nbDecision=186500 #constraints=38344
426.17/426.49	c nbDecision=187000 #constraints=38492
427.97/428.28	c nbDecision=187500 #constraints=38538
430.26/430.50	c nbDecision=188000 #constraints=38606
431.97/432.29	c nbDecision=188500 #constraints=38648
434.56/434.85	c nbDecision=189000 #constraints=38749
436.97/437.22	c nbDecision=189500 #constraints=38845
439.97/440.28	c nbDecision=190000 #constraints=38965
442.47/442.79	c nbDecision=190500 #constraints=39068
444.77/445.01	c nbDecision=191000 #constraints=39130
446.66/446.97	c nbDecision=191500 #constraints=39185
448.96/449.20	c nbDecision=192000 #constraints=39252
452.36/452.66	c nbDecision=192500 #constraints=39406
456.46/456.72	c nbDecision=193000 #constraints=39601
459.46/459.75	c nbDecision=193500 #constraints=39714
462.16/462.44	c nbDecision=194000 #constraints=39816
464.55/464.81	c nbDecision=194500 #constraints=39886
466.35/466.62	c nbDecision=195000 #constraints=39930
468.45/468.70	c nbDecision=195500 #constraints=39976
470.56/470.86	c nbDecision=196000 #constraints=40041
473.05/473.37	c nbDecision=196500 #constraints=40138
476.06/476.30	c nbDecision=197000 #constraints=40235
478.26/478.53	c nbDecision=197500 #constraints=40284
482.45/482.75	c nbDecision=198000 #constraints=40480
484.05/484.39	c nbDecision=198500 #constraints=40502
487.65/487.93	c nbDecision=199000 #constraints=40636
490.05/490.37	c nbDecision=199500 #constraints=40718
492.85/493.13	c nbDecision=200000 #constraints=40796
495.95/496.21	c nbDecision=200500 #constraints=40907
499.05/499.30	c nbDecision=201000 #constraints=41000
501.25/501.52	c nbDecision=201500 #constraints=41073
503.84/504.17	c nbDecision=202000 #constraints=41150
505.54/505.84	c nbDecision=202500 #constraints=41187
507.85/508.17	c nbDecision=203000 #constraints=41248
509.74/510.02	c nbDecision=203500 #constraints=41293
513.04/513.31	c nbDecision=204000 #constraints=41409
516.25/516.53	c nbDecision=204500 #constraints=41512
518.45/518.79	c restart after 204801 decisions
520.44/520.72	c nbDecision=205000 #constraints=41605
520.64/520.90	c nbDecision=205500 #constraints=41605
520.74/521.07	c nbDecision=206000 #constraints=41605
521.15/521.41	c nbDecision=206500 #constraints=41605
521.24/521.50	c nbDecision=207000 #constraints=41605
521.34/521.70	c nbDecision=207500 #constraints=41605
521.54/521.89	c nbDecision=208000 #constraints=41605
521.94/522.29	c nbDecision=208500 #constraints=41605
522.44/522.71	c nbDecision=209000 #constraints=41605
522.54/522.85	c nbDecision=209500 #constraints=41605
522.64/522.93	c nbDecision=210000 #constraints=41605
522.74/523.02	c nbDecision=210500 #constraints=41605
522.74/523.10	c nbDecision=211000 #constraints=41605
522.84/523.17	c nbDecision=211500 #constraints=41605
522.94/523.24	c nbDecision=212000 #constraints=41605
523.14/523.40	c nbDecision=212500 #constraints=41605
523.74/524.03	c nbDecision=213000 #constraints=41605
529.44/529.75	c nbDecision=213500 #constraints=41877
539.14/539.41	c nbDecision=214000 #constraints=42313
549.74/550.05	c nbDecision=214500 #constraints=42754
561.53/561.83	c nbDecision=215000 #constraints=43149
564.13/564.43	c nbDecision=215500 #constraints=43247
566.43/566.78	c nbDecision=216000 #constraints=43347
570.33/570.61	c nbDecision=216500 #constraints=43545
575.33/575.67	c nbDecision=217000 #constraints=43857
578.13/578.41	c nbDecision=217500 #constraints=43949
580.53/580.81	c nbDecision=218000 #constraints=44010
582.23/582.54	c nbDecision=218500 #constraints=44019
584.33/584.63	c nbDecision=219000 #constraints=44055
586.12/586.42	c nbDecision=219500 #constraints=44075
588.13/588.48	c nbDecision=220000 #constraints=44120
590.43/590.77	c nbDecision=220500 #constraints=44167
592.72/593.03	c nbDecision=221000 #constraints=44213
594.92/595.26	c nbDecision=221500 #constraints=44250
597.52/597.85	c nbDecision=222000 #constraints=44381
599.52/599.85	c nbDecision=222500 #constraints=44416
605.42/605.76	c nbDecision=223000 #constraints=44805
609.32/609.67	c nbDecision=223500 #constraints=45001
611.02/611.40	c nbDecision=224000 #constraints=45006
618.51/618.86	c nbDecision=224500 #constraints=45380
626.62/626.93	c nbDecision=225000 #constraints=45834
635.81/636.12	c nbDecision=225500 #constraints=46288
645.71/646.05	c nbDecision=226000 #constraints=46732
656.51/656.86	c nbDecision=226500 #constraints=47185
668.90/669.22	c nbDecision=227000 #constraints=47668
674.70/675.06	c nbDecision=227500 #constraints=47805
678.20/678.57	c nbDecision=228000 #constraints=48087
681.60/681.91	c nbDecision=228500 #constraints=48561
685.29/685.65	c nbDecision=229000 #constraints=49031
689.30/689.65	c nbDecision=229500 #constraints=49384
691.40/691.75	c nbDecision=230000 #constraints=49391
693.59/693.94	c nbDecision=230500 #constraints=49461
695.79/696.16	c nbDecision=231000 #constraints=49470
697.69/698.03	c nbDecision=231500 #constraints=49478
699.89/700.22	c nbDecision=232000 #constraints=49496
702.09/702.41	c nbDecision=232500 #constraints=49508
704.99/705.32	c nbDecision=233000 #constraints=49552
707.19/707.51	c nbDecision=233500 #constraints=49572
710.00/710.37	c nbDecision=234000 #constraints=49670
711.90/712.26	c nbDecision=234500 #constraints=49682
713.99/714.37	c nbDecision=235000 #constraints=49713
716.79/717.11	c nbDecision=235500 #constraints=49765
723.09/723.42	c nbDecision=236000 #constraints=50070
733.89/734.20	c nbDecision=236500 #constraints=50456
747.08/747.43	c nbDecision=237000 #constraints=50925
759.98/760.38	c nbDecision=237500 #constraints=51351
773.98/774.31	c nbDecision=238000 #constraints=51802
788.18/788.52	c nbDecision=238500 #constraints=52272
803.87/804.28	c nbDecision=239000 #constraints=52736
814.86/815.28	c nbDecision=239500 #constraints=53138
822.67/823.08	c nbDecision=240000 #constraints=53576
831.16/831.55	c nbDecision=240500 #constraints=54011
840.36/840.76	c nbDecision=241000 #constraints=54446
850.26/850.63	c nbDecision=241500 #constraints=54898
861.35/861.70	c nbDecision=242000 #constraints=55373
868.65/869.03	c nbDecision=242500 #constraints=55817
875.44/875.85	c nbDecision=243000 #constraints=56292
882.34/882.78	c nbDecision=243500 #constraints=56742
889.55/889.92	c nbDecision=244000 #constraints=57185
894.55/894.95	c nbDecision=244500 #constraints=57661
898.44/898.87	c nbDecision=245000 #constraints=57885
903.13/903.52	c nbDecision=245500 #constraints=58234
910.84/911.24	c nbDecision=246000 #constraints=58606
918.14/918.58	c nbDecision=246500 #constraints=58879
926.84/927.26	c nbDecision=247000 #constraints=59162
932.63/933.00	c nbDecision=247500 #constraints=59372
938.33/938.73	c nbDecision=248000 #constraints=59726
943.63/944.01	c nbDecision=248500 #constraints=59876
951.73/952.10	c nbDecision=249000 #constraints=60275
957.23/957.60	c nbDecision=249500 #constraints=60451
963.42/963.86	c nbDecision=250000 #constraints=60796
968.82/969.23	c nbDecision=250500 #constraints=61080
973.42/973.88	c nbDecision=251000 #constraints=61352
978.01/978.44	c nbDecision=251500 #constraints=61586
982.21/982.68	c nbDecision=252000 #constraints=61658
986.11/986.57	c nbDecision=252500 #constraints=61737
992.51/992.98	c nbDecision=253000 #constraints=61961
997.82/998.23	c nbDecision=253500 #constraints=62097
1001.31/1001.72	c nbDecision=254000 #constraints=62167
1004.81/1005.22	c nbDecision=254500 #constraints=62238
1011.62/1012.04	c nbDecision=255000 #constraints=62669
1017.31/1017.76	c nbDecision=255500 #constraints=62962
1019.71/1020.11	c nbDecision=256000 #constraints=62978
1022.10/1022.56	c nbDecision=256500 #constraints=63003
1026.91/1027.36	c nbDecision=257000 #constraints=63230
1030.61/1031.02	c nbDecision=257500 #constraints=63422
1035.00/1035.45	c nbDecision=258000 #constraints=63519
1037.70/1038.16	c nbDecision=258500 #constraints=63557
1040.30/1040.79	c nbDecision=259000 #constraints=63580
1043.20/1043.65	c nbDecision=259500 #constraints=63620
1045.70/1046.19	c nbDecision=260000 #constraints=63651
1048.00/1048.40	c nbDecision=260500 #constraints=63658
1051.50/1051.92	c nbDecision=261000 #constraints=63710
1053.79/1054.22	c nbDecision=261500 #constraints=63726
1056.29/1056.74	c nbDecision=262000 #constraints=63735
1058.69/1059.16	c nbDecision=262500 #constraints=63743
1061.49/1061.93	c nbDecision=263000 #constraints=63789
1063.79/1064.30	c nbDecision=263500 #constraints=63807
1066.20/1066.65	c nbDecision=264000 #constraints=63827
1068.70/1069.20	c nbDecision=264500 #constraints=63839
1071.30/1071.77	c nbDecision=265000 #constraints=63849
1073.50/1073.99	c nbDecision=265500 #constraints=63855
1076.40/1076.86	c nbDecision=266000 #constraints=63882
1079.00/1079.41	c nbDecision=266500 #constraints=63901
1081.59/1082.07	c nbDecision=267000 #constraints=63937
1084.39/1084.84	c nbDecision=267500 #constraints=63967
1087.19/1087.66	c nbDecision=268000 #constraints=64011
1089.49/1089.95	c nbDecision=268500 #constraints=64022
1092.19/1092.65	c nbDecision=269000 #constraints=64066
1095.10/1095.52	c nbDecision=269500 #constraints=64087
1097.40/1097.82	c nbDecision=270000 #constraints=64096
1100.79/1101.26	c nbDecision=270500 #constraints=64137
1103.19/1103.66	c nbDecision=271000 #constraints=64163
1106.19/1106.65	c nbDecision=271500 #constraints=64226
1109.29/1109.77	c nbDecision=272000 #constraints=64305
1112.09/1112.57	c nbDecision=272500 #constraints=64359
1116.28/1116.71	c nbDecision=273000 #constraints=64448
1125.88/1126.36	c nbDecision=273500 #constraints=64739
1131.58/1132.08	c nbDecision=274000 #constraints=64902
1138.58/1139.08	c nbDecision=274500 #constraints=65367
1146.17/1146.68	c nbDecision=275000 #constraints=65834
1153.48/1153.97	c nbDecision=275500 #constraints=66211
1169.37/1169.82	c nbDecision=276000 #constraints=66616
1186.47/1186.95	c nbDecision=276500 #constraints=67047
1203.75/1204.24	c nbDecision=277000 #constraints=67492
1220.76/1221.28	c nbDecision=277500 #constraints=67954
1239.84/1240.39	c nbDecision=278000 #constraints=68428
1262.94/1263.46	c nbDecision=278500 #constraints=68919
1271.94/1272.41	c nbDecision=279000 #constraints=69089
1276.54/1277.07	c nbDecision=279500 #constraints=69188
1279.73/1280.21	c nbDecision=280000 #constraints=69264
1285.64/1286.19	c nbDecision=280500 #constraints=69602
1288.24/1288.70	c nbDecision=281000 #constraints=69619
1292.83/1293.35	c nbDecision=281500 #constraints=69989
1298.04/1298.58	c nbDecision=282000 #constraints=70243
1301.94/1302.46	c nbDecision=282500 #constraints=70293
1306.43/1306.92	c nbDecision=283000 #constraints=70394
1311.53/1312.04	c nbDecision=283500 #constraints=70511
1317.53/1318.09	c nbDecision=284000 #constraints=70708
1320.54/1321.10	c nbDecision=284500 #constraints=70751
1324.13/1324.62	c nbDecision=285000 #constraints=70820
1329.03/1329.50	c nbDecision=285500 #constraints=71083
1335.03/1335.51	c nbDecision=286000 #constraints=71241
1338.42/1338.97	c nbDecision=286500 #constraints=71274
1348.82/1349.39	c nbDecision=287000 #constraints=71604
1351.62/1352.16	c nbDecision=287500 #constraints=71609
1364.52/1365.09	c nbDecision=288000 #constraints=71993
1373.91/1374.44	c nbDecision=288500 #constraints=72197
1376.71/1377.21	c nbDecision=289000 #constraints=72202
1379.71/1380.25	c nbDecision=289500 #constraints=72208
1392.71/1393.23	c nbDecision=290000 #constraints=72548
1409.21/1409.77	c nbDecision=290500 #constraints=72977
1422.20/1422.78	c nbDecision=291000 #constraints=73301
1429.10/1429.61	c nbDecision=291500 #constraints=73478
1432.30/1432.84	c nbDecision=292000 #constraints=73502
1435.70/1436.21	c nbDecision=292500 #constraints=73508
1439.40/1439.99	c nbDecision=293000 #constraints=73549
1442.60/1443.19	c nbDecision=293500 #constraints=73557
1447.49/1448.08	c nbDecision=294000 #constraints=73688
1450.79/1451.34	c nbDecision=294500 #constraints=73696
1454.70/1455.28	c nbDecision=295000 #constraints=73746
1459.79/1460.32	c nbDecision=295500 #constraints=73796
1462.99/1463.56	c nbDecision=296000 #constraints=73808
1466.59/1467.17	c nbDecision=296500 #constraints=73824
1469.69/1470.23	c nbDecision=297000 #constraints=73831
1472.99/1473.56	c nbDecision=297500 #constraints=73840
1476.59/1477.10	c nbDecision=298000 #constraints=73866
1479.68/1480.28	c nbDecision=298500 #constraints=73873
1482.68/1483.26	c nbDecision=299000 #constraints=73883
1485.98/1486.53	c nbDecision=299500 #constraints=73891
1488.79/1489.39	c nbDecision=300000 #constraints=73898
1492.28/1492.82	c nbDecision=300500 #constraints=73908
1495.68/1496.21	c nbDecision=301000 #constraints=73915
1498.28/1498.86	c nbDecision=301500 #constraints=73920
1501.48/1502.09	c nbDecision=302000 #constraints=73928
1504.88/1505.41	c nbDecision=302500 #constraints=73935
1507.68/1508.24	c nbDecision=303000 #constraints=73940
1510.38/1510.91	c nbDecision=303500 #constraints=73945
1514.08/1514.63	c nbDecision=304000 #constraints=74023
1520.87/1521.43	c nbDecision=304500 #constraints=74172
1524.17/1524.76	c nbDecision=305000 #constraints=74189
1527.07/1527.63	c nbDecision=305500 #constraints=74204
1530.57/1531.15	c nbDecision=306000 #constraints=74235
1533.47/1534.03	c nbDecision=306500 #constraints=74252
1536.36/1536.98	c nbDecision=307000 #constraints=74262
1539.76/1540.35	c nbDecision=307500 #constraints=74275
1543.06/1543.61	c nbDecision=308000 #constraints=74292
1546.66/1547.21	c nbDecision=308500 #constraints=74313
1550.06/1550.61	c nbDecision=309000 #constraints=74340
1553.36/1553.93	c nbDecision=309500 #constraints=74351
1556.26/1556.86	c nbDecision=310000 #constraints=74359
1560.26/1560.90	c nbDecision=310500 #constraints=74410
1563.25/1563.82	c nbDecision=311000 #constraints=74417
1566.55/1567.12	c nbDecision=311500 #constraints=74429
1569.45/1570.07	c nbDecision=312000 #constraints=74438
1573.06/1573.61	c nbDecision=312500 #constraints=74470
1576.16/1576.74	c nbDecision=313000 #constraints=74501
1579.66/1580.28	c nbDecision=313500 #constraints=74518
1583.26/1583.80	c nbDecision=314000 #constraints=74549
1586.46/1587.09	c nbDecision=314500 #constraints=74558
1590.16/1590.72	c nbDecision=315000 #constraints=74577
1593.15/1593.75	c nbDecision=315500 #constraints=74590
1596.35/1596.91	c nbDecision=316000 #constraints=74611
1600.35/1600.95	c nbDecision=316500 #constraints=74649
1603.85/1604.42	c nbDecision=317000 #constraints=74681
1607.05/1607.63	c nbDecision=317500 #constraints=74697
1610.85/1611.49	c nbDecision=318000 #constraints=74724
1614.65/1615.24	c nbDecision=318500 #constraints=74747
1617.75/1618.30	c nbDecision=319000 #constraints=74766
1625.34/1625.92	c nbDecision=319500 #constraints=74922
1632.34/1632.99	c nbDecision=320000 #constraints=75214
1640.74/1641.37	c nbDecision=320500 #constraints=75652
1649.64/1650.29	c nbDecision=321000 #constraints=76091
1659.93/1660.59	c nbDecision=321500 #constraints=76557
1670.83/1671.47	c nbDecision=322000 #constraints=77029
1682.13/1682.76	c nbDecision=322500 #constraints=77498
1692.12/1692.78	c nbDecision=323000 #constraints=77785
1702.52/1703.12	c nbDecision=323500 #constraints=78025
1711.92/1712.57	c nbDecision=324000 #constraints=78241
1718.12/1718.72	c nbDecision=324500 #constraints=78336
1729.41/1730.03	c nbDecision=325000 #constraints=78750
1741.61/1742.21	c nbDecision=325500 #constraints=79190
1753.61/1754.29	c nbDecision=326000 #constraints=79620
1767.61/1768.28	c nbDecision=326500 #constraints=80100
1782.50/1783.18	c nbDecision=327000 #constraints=80569
1800.00/1800.60	Received signal 15
1800.00/1800.70	
1800.00/1800.70	s UNKNOWN
1800.00/1800.70	
1800.00/1800.70	c user time= 1799.2 s
1800.00/1800.70	c system time= 0.91586 s
1800.00/1800.70	c wall clock time=1800.71

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/node50/watcher-356890-1176847211 -o ROOT/results/node50/solver-356890-1176847211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356890-1176847211/instance-356890-1176847211.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.99 3/64 3932
/proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=1620 CPUtime=0
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 39566271 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 405 175 126 317 0 84 0

[startup+0.025103 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3932
/proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=1880 CPUtime=0.02
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 301 0 0 0 2 0 0 0 18 0 1 0 39566271 1925120 250 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 470 250 127 317 0 149 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 1880

[startup+0.101109 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3932
/proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=3360 CPUtime=0.09
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 661 0 0 0 9 0 0 0 18 0 1 0 39566271 3440640 610 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 840 610 131 317 0 519 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3360

[startup+0.301126 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3932
/proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=7700 CPUtime=0.29
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1770 0 0 0 29 0 0 0 19 0 1 0 39566271 7884800 1719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710967 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 1925 1719 137 317 0 1604 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7700

[startup+0.701161 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 3932
/proc/meminfo: memFree=1491248/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=8492 CPUtime=0.69
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1943 0 0 0 69 0 0 0 22 0 1 0 39566271 8695808 1892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 2123 1892 138 317 0 1802 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8492

[startup+1.50123 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3933
/proc/meminfo: memFree=1484136/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=8492 CPUtime=1.49
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1945 0 0 0 149 0 0 0 25 0 1 0 39566271 8695808 1894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 2123 1894 138 317 0 1802 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8492

[startup+3.10137 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3933
/proc/meminfo: memFree=1484008/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=8492 CPUtime=3.08
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 1952 0 0 0 308 0 0 0 25 0 1 0 39566271 8695808 1901 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 2123 1901 138 317 0 1802 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 8492

[startup+6.30165 s]
/proc/loadavg: 0.93 0.98 0.99 2/65 3933
/proc/meminfo: memFree=1479536/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=15212 CPUtime=6.28
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 3624 0 0 0 627 1 0 0 25 0 1 0 39566271 15577088 3573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 3803 3573 139 317 0 3482 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 15212

[startup+12.7012 s]
/proc/loadavg: 0.94 0.98 0.99 2/65 3933
/proc/meminfo: memFree=1468208/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=24432 CPUtime=12.69
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 5925 0 0 0 1266 3 0 0 25 0 1 0 39566271 25018368 5874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 6108 5874 139 317 0 5787 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 24432

[startup+25.5013 s]
/proc/loadavg: 0.95 0.98 0.99 2/65 3933
/proc/meminfo: memFree=1451952/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=41180 CPUtime=25.48
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 9969 0 0 0 2543 5 0 0 25 0 1 0 39566271 42168320 9918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 10295 9918 139 317 0 9974 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 41180

[startup+51.1026 s]
/proc/loadavg: 0.96 0.98 0.99 2/71 3959
/proc/meminfo: memFree=1429376/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=62860 CPUtime=51.07
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 15389 0 0 0 5097 10 0 0 25 0 1 0 39566271 64368640 15281 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 15715 15281 139 317 0 15394 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 62860

[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/71 4111
/proc/meminfo: memFree=1379328/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=113256 CPUtime=102.17
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 27822 0 0 0 10200 17 0 0 25 0 1 0 39566271 115974144 27714 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 28314 27714 139 317 0 27993 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 113256

[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4131
/proc/meminfo: memFree=1330224/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=164384 CPUtime=162.13
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 40422 0 0 0 16187 26 0 0 25 0 1 0 39566271 168329216 40200 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 41096 40200 139 317 0 40775 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 164384

[startup+222.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4131
/proc/meminfo: memFree=1304176/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=190612 CPUtime=222.12
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 46881 0 0 0 22182 30 0 0 25 0 1 0 39566271 195186688 46659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 47653 46659 139 317 0 47332 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 190612

[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4131
/proc/meminfo: memFree=1279024/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=215548 CPUtime=282.11
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 53176 0 0 0 28175 36 0 0 25 0 1 0 39566271 220721152 52954 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 53887 52954 139 317 0 53566 0
Current children cumulated CPU time (s) 282.11
Current children cumulated vsize (KiB) 215548

[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4131
/proc/meminfo: memFree=1261808/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=233944 CPUtime=342.09
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 57733 0 0 0 34170 39 0 0 25 0 1 0 39566271 239558656 57252 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 58486 57252 139 317 0 58165 0
Current children cumulated CPU time (s) 342.09
Current children cumulated vsize (KiB) 233944

[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4131
/proc/meminfo: memFree=1247920/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=249436 CPUtime=402.07
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 61169 0 0 0 40165 42 0 0 25 0 1 0 39566271 255422464 60688 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 62359 60688 139 317 0 62038 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 249436

[startup+462.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1234864/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=263020 CPUtime=462.06
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 64473 0 0 0 46161 45 0 0 25 0 1 0 39566271 269332480 63992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604377 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 65755 63992 139 317 0 65434 0
Current children cumulated CPU time (s) 462.06
Current children cumulated vsize (KiB) 263020

[startup+522.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1225584/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=271568 CPUtime=522.04
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 66792 0 0 0 52157 47 0 0 25 0 1 0 39566271 278085632 66311 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 67892 66311 139 317 0 67571 0
Current children cumulated CPU time (s) 522.04
Current children cumulated vsize (KiB) 271568

[startup+582.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1207536/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=290116 CPUtime=582.03
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 71297 0 0 0 58154 49 0 0 25 0 1 0 39566271 297078784 70816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 72529 70816 139 317 0 72208 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 290116

[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1190064/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=308548 CPUtime=642.01
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 75683 0 0 0 64150 51 0 0 25 0 1 0 39566271 315953152 75202 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 77137 75202 170 317 0 76816 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 308548


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1115376/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=384452 CPUtime=881.94
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 94362 0 0 0 88131 63 0 0 25 0 1 0 39566271 393678848 93881 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 96113 93881 170 317 0 95792 0
Current children cumulated CPU time (s) 881.94
Current children cumulated vsize (KiB) 384452

[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1095280/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=404360 CPUtime=941.93
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 99348 0 0 0 94126 67 0 0 25 0 1 0 39566271 414064640 98867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 101090 98867 170 317 0 100769 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 404360

[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1078256/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=421336 CPUtime=1001.91
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 103525 0 0 0 100122 69 0 0 25 0 1 0 39566271 431448064 103044 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 105334 103044 170 317 0 105013 0
Current children cumulated CPU time (s) 1001.91
Current children cumulated vsize (KiB) 421336

[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1066352/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=433520 CPUtime=1061.89
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 106505 0 0 0 106118 71 0 0 25 0 1 0 39566271 443924480 106024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 108380 106024 170 317 0 108059 0
Current children cumulated CPU time (s) 1061.89
Current children cumulated vsize (KiB) 433520

[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1059696/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=441240 CPUtime=1121.88
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 108193 0 0 0 112116 72 0 0 25 0 1 0 39566271 451829760 107712 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 110310 107712 170 317 0 109989 0
Current children cumulated CPU time (s) 1121.88
Current children cumulated vsize (KiB) 441240

[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1043440/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=460128 CPUtime=1181.86
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 112817 0 0 0 118112 74 0 0 25 0 1 0 39566271 471171072 111820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 115032 111820 170 317 0 114711 0
Current children cumulated CPU time (s) 1181.86
Current children cumulated vsize (KiB) 460128

[startup+1242.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/65 4133
/proc/meminfo: memFree=1034160/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=468564 CPUtime=1241.85
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 115071 0 0 0 124109 76 0 0 25 0 1 0 39566271 479809536 114074 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606628 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 117141 114074 170 317 0 116820 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 468564

[startup+1302.3 s]
/proc/loadavg: 1.06 1.00 1.00 2/65 4133
/proc/meminfo: memFree=1023152/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=479352 CPUtime=1301.84
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 117793 0 0 0 130106 78 0 0 25 0 1 0 39566271 490856448 116796 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563647 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 119838 116796 170 317 0 119517 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 479352

[startup+1362.3 s]
/proc/loadavg: 1.08 1.01 1.00 2/65 4133
/proc/meminfo: memFree=1012784/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=489132 CPUtime=1361.82
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 120425 0 0 0 136102 80 0 0 25 0 1 0 39566271 500871168 119428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 122283 119428 170 317 0 121962 0
Current children cumulated CPU time (s) 1361.82
Current children cumulated vsize (KiB) 489132

[startup+1422.31 s]
/proc/loadavg: 1.03 1.01 1.00 2/65 4133
/proc/meminfo: memFree=1002160/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=500592 CPUtime=1421.8
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 123040 0 0 0 142098 82 0 0 25 0 1 0 39566271 512606208 122043 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 125148 122043 170 317 0 124827 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 500592

[startup+1482.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/65 4133
/proc/meminfo: memFree=998512/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=504104 CPUtime=1481.78
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 123983 0 0 0 148095 83 0 0 25 0 1 0 39566271 516202496 122986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 126026 122986 170 317 0 125705 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 504104

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4133
/proc/meminfo: memFree=996144/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=506344 CPUtime=1541.76
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 124554 0 0 0 154093 83 0 0 25 0 1 0 39566271 518496256 123557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563935 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 126586 123557 170 317 0 126265 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 506344

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4133
/proc/meminfo: memFree=993392/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=509912 CPUtime=1601.75
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 125248 0 0 0 160091 84 0 0 25 0 1 0 39566271 522149888 124251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 127478 124251 170 317 0 127157 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 509912

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4133
/proc/meminfo: memFree=980784/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=522780 CPUtime=1661.73
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 128407 0 0 0 166087 86 0 0 25 0 1 0 39566271 535326720 127410 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 130695 127410 170 317 0 130374 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 522780

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4133
/proc/meminfo: memFree=969264/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=535508 CPUtime=1721.72
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 131307 0 0 0 172084 88 0 0 25 0 1 0 39566271 548360192 130310 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 133877 130310 170 317 0 133556 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 535508

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4133
/proc/meminfo: memFree=956592/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=547568 CPUtime=1781.7
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 134425 0 0 0 178080 90 0 0 25 0 1 0 39566271 560709632 133428 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 136892 133428 170 317 0 136571 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 547568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4133
/proc/meminfo: memFree=953520/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=550436 CPUtime=1800
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194304 135198 0 0 0 179909 91 0 0 25 0 1 0 39566271 563646464 134201 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 137609 134201 170 317 0 137288 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 550436

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

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

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 4133
/proc/meminfo: memFree=953520/2055920 swapFree=4183816/4192956
[pid=3932] ppid=3930 vsize=0 CPUtime=1800.2
/proc/3932/stat : 3932 (oree) R 3930 3932 2975 0 -1 4194308 135219 0 0 0 179921 99 0 0 25 0 1 0 39566271 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/3932/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.2
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.81
CPU time (s): 1800.21
CPU user time (s): 1799.21
CPU system time (s): 0.999848
CPU usage (%): 99.9669
Max. virtual memory (cumulated for all children) (KiB): 550436

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

runsolver used 1.35479 second user time and 3.66444 second system time

The end

Launcher Data (download as text)

Begin job on node50 on Tue Apr 17 22:00:11 UTC 2007

IDJOB= 356890
IDBENCH= 1599
IDSOLVER= 172
FILE ID= node50/356890-1176847211

PBS_JOBID= 4590164

Free space on /tmp= 66541 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-reduced-mps-v2-20-10-tr12-30.opb
COMMAND LINE= oree /tmp/evaluation/356890-1176847211/instance-356890-1176847211.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node50/watcher-356890-1176847211 -o ROOT/results/node50/solver-356890-1176847211 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356890-1176847211/instance-356890-1176847211.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  012c11861136c422cb8bda81e1d7561a

RANDOM SEED= 343890347

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1491592 kB
Buffers:         39804 kB
Cached:         449312 kB
SwapCached:       3272 kB
Active:         162188 kB
Inactive:       336788 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1491592 kB
SwapTotal:     4192956 kB
SwapFree:      4183816 kB
Dirty:            1972 kB
Writeback:           0 kB
Mapped:          15568 kB
Slab:            51288 kB
Committed_AS:   998924 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= 66541 MiB

End job on node50 on Tue Apr 17 22:30:14 UTC 2007