Trace number 357026

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.2 1800.83

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb
MD5SUM32662df0ae948242aace0258625ea4cc
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark6456
Best CPU time to get the best result obtained on this benchmark1800.32
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6277
Optimality of the best value was proved NO
Number of variables2574
Total number of constraints363
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)36
Number of constraints which are nor clauses,nor cardinality constraints327
Minimum length of a constraint1
Maximum length of a constraint61
Number of terms in the objective function 1254
Biggest coefficient in the objective function 7958
Number of bits for the biggest coefficient in the objective function 13
Sum of the numbers in the objective function 524887
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 261914
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524887
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.00/0.02	c ...done
0.00/0.02	c #vars=2574 #constraints=727 hasObjective=yes
0.03/0.03	c res. mode=mod
0.03/0.03	c VSIDS like heuristics
0.03/0.03	c complete search running
0.03/0.05	c restart after 401 decisions
0.03/0.05	c nbDecision=500 #constraints=730
0.03/0.07	c restart after 801 decisions
0.03/0.07	c nbDecision=1000 #constraints=748
0.09/0.14	c nbDecision=1500 #constraints=870
0.09/0.15	c restart after 1601 decisions
0.09/0.18	c nbDecision=2000 #constraints=925
0.19/0.24	c nbDecision=2500 #constraints=1064
0.29/0.31	c nbDecision=3000 #constraints=1152
0.29/0.33	c restart after 3201 decisions
0.29/0.34	c nbDecision=3500 #constraints=1183
0.39/0.41	c nbDecision=4000 #constraints=1299
0.39/0.46	c nbDecision=4500 #constraints=1379
0.49/0.50	c nbDecision=5000 #constraints=1453
0.49/0.55	c nbDecision=5500 #constraints=1528
0.59/0.64	c nbDecision=6000 #constraints=1651
0.69/0.71	c restart after 6401 decisions
0.69/0.72	c nbDecision=6500 #constraints=1733
0.69/0.79	c nbDecision=7000 #constraints=1826
0.79/0.85	c nbDecision=7500 #constraints=1922
0.89/0.91	c nbDecision=8000 #constraints=1982
0.89/0.95	c nbDecision=8500 #constraints=2033
0.99/1.04	c nbDecision=9000 #constraints=2128
0.99/1.10	c nbDecision=9500 #constraints=2199
1.09/1.15	c nbDecision=10000 #constraints=2272
1.09/1.19	c nbDecision=10500 #constraints=2332
1.19/1.23	c nbDecision=11000 #constraints=2384
1.19/1.27	c nbDecision=11500 #constraints=2433
1.29/1.33	c nbDecision=12000 #constraints=2488
1.29/1.36	c nbDecision=12500 #constraints=2536
1.29/1.38	c restart after 12801 decisions
1.39/1.40	c nbDecision=13000 #constraints=2547
1.39/1.49	c nbDecision=13500 #constraints=2612
1.49/1.56	c nbDecision=14000 #constraints=2698
1.59/1.61	c nbDecision=14500 #constraints=2740
1.59/1.65	c nbDecision=15000 #constraints=2784
1.69/1.70	c nbDecision=15500 #constraints=2828
1.69/1.78	c nbDecision=16000 #constraints=2892
1.79/1.82	c nbDecision=16500 #constraints=2931
1.79/1.87	c nbDecision=17000 #constraints=2984
1.89/1.92	c nbDecision=17500 #constraints=3022
1.89/1.97	c nbDecision=18000 #constraints=3067
1.99/2.03	c nbDecision=18500 #constraints=3139
1.99/2.08	c nbDecision=19000 #constraints=3182
2.09/2.13	c nbDecision=19500 #constraints=3220
2.19/2.23	c nbDecision=20000 #constraints=3282
2.19/2.29	c nbDecision=20500 #constraints=3332
2.29/2.33	c nbDecision=21000 #constraints=3355
2.29/2.39	c nbDecision=21500 #constraints=3391
2.39/2.47	c nbDecision=22000 #constraints=3418
2.59/2.68	c nbDecision=22500 #constraints=3492
2.79/2.82	c nbDecision=23000 #constraints=3553
2.89/2.96	c nbDecision=23500 #constraints=3609
2.99/3.07	c nbDecision=24000 #constraints=3673
3.19/3.24	c nbDecision=24500 #constraints=3750
3.29/3.31	c nbDecision=25000 #constraints=3790
3.29/3.37	c nbDecision=25500 #constraints=3829
3.29/3.39	c restart after 25601 decisions
3.49/3.55	c nbDecision=26000 #constraints=3901
3.69/3.74	c nbDecision=26500 #constraints=3986
3.79/3.85	c nbDecision=27000 #constraints=4028
3.99/4.04	c nbDecision=27500 #constraints=4099
4.09/4.19	c nbDecision=28000 #constraints=4139
4.29/4.36	c nbDecision=28500 #constraints=4201
4.48/4.52	c nbDecision=29000 #constraints=4269
4.59/4.62	c nbDecision=29500 #constraints=4317
4.89/4.90	c nbDecision=30000 #constraints=4449
5.09/5.18	c nbDecision=30500 #constraints=4570
5.29/5.35	c nbDecision=31000 #constraints=4637
5.49/5.54	c nbDecision=31500 #constraints=4715
5.69/5.77	c nbDecision=32000 #constraints=4787
5.89/5.93	c nbDecision=32500 #constraints=4859
5.99/6.02	c nbDecision=33000 #constraints=4888
6.39/6.41	c nbDecision=33500 #constraints=5001
6.59/6.70	c nbDecision=34000 #constraints=5103
6.89/6.92	c nbDecision=34500 #constraints=5186
7.09/7.15	c nbDecision=35000 #constraints=5272
7.48/7.54	c nbDecision=35500 #constraints=5385
7.59/7.68	c nbDecision=36000 #constraints=5417
7.88/7.91	c nbDecision=36500 #constraints=5488
8.08/8.12	c nbDecision=37000 #constraints=5566
8.18/8.22	c nbDecision=37500 #constraints=5592
8.48/8.52	c nbDecision=38000 #constraints=5667
8.69/8.77	c nbDecision=38500 #constraints=5738
8.98/9.05	c nbDecision=39000 #constraints=5828
9.18/9.27	c nbDecision=39500 #constraints=5875
9.38/9.42	c nbDecision=40000 #constraints=5922
9.48/9.52	c nbDecision=40500 #constraints=5954
9.68/9.74	c nbDecision=41000 #constraints=6011
9.79/9.90	c nbDecision=41500 #constraints=6080
10.18/10.24	c nbDecision=42000 #constraints=6159
10.48/10.51	c nbDecision=42500 #constraints=6208
10.78/10.87	c nbDecision=43000 #constraints=6312
10.99/11.04	c nbDecision=43500 #constraints=6372
11.39/11.43	c nbDecision=44000 #constraints=6461
11.89/11.95	c nbDecision=44500 #constraints=6562
12.09/12.11	c nbDecision=45000 #constraints=6606
12.19/12.21	c nbDecision=45500 #constraints=6632
12.39/12.43	c nbDecision=46000 #constraints=6671
12.69/12.76	c nbDecision=46500 #constraints=6759
12.99/13.01	c nbDecision=47000 #constraints=6815
13.29/13.32	c nbDecision=47500 #constraints=6922
13.69/13.79	c nbDecision=48000 #constraints=6994
14.09/14.11	c nbDecision=48500 #constraints=7063
14.39/14.48	c nbDecision=49000 #constraints=7125
14.78/14.85	c nbDecision=49500 #constraints=7200
15.18/15.25	c nbDecision=50000 #constraints=7269
15.78/15.83	c nbDecision=50500 #constraints=7405
16.08/16.15	c nbDecision=51000 #constraints=7469
16.18/16.25	c restart after 51201 decisions
16.39/16.40	c nbDecision=51500 #constraints=7490
16.68/16.70	c nbDecision=52000 #constraints=7539
16.88/16.91	c nbDecision=52500 #constraints=7568
17.28/17.33	c nbDecision=53000 #constraints=7650
17.88/17.91	c nbDecision=53500 #constraints=7771
18.08/18.19	c nbDecision=54000 #constraints=7856
18.48/18.53	c nbDecision=54500 #constraints=7910
18.88/18.91	c nbDecision=55000 #constraints=7988
19.18/19.28	c nbDecision=55500 #constraints=8045
19.58/19.67	c nbDecision=56000 #constraints=8127
19.88/19.91	c nbDecision=56500 #constraints=8177
20.28/20.39	c nbDecision=57000 #constraints=8266
20.78/20.83	c nbDecision=57500 #constraints=8344
21.49/21.52	c nbDecision=58000 #constraints=8441
21.89/21.95	c nbDecision=58500 #constraints=8515
22.09/22.16	c nbDecision=59000 #constraints=8549
22.59/22.61	c nbDecision=59500 #constraints=8629
23.19/23.21	c nbDecision=60000 #constraints=8741
23.39/23.43	c nbDecision=60500 #constraints=8779
23.79/23.87	c nbDecision=61000 #constraints=8843
24.19/24.29	c nbDecision=61500 #constraints=8905
24.59/24.63	c nbDecision=62000 #constraints=8972
25.19/25.28	c nbDecision=62500 #constraints=9064
25.98/26.01	c nbDecision=63000 #constraints=9147
26.39/26.41	c nbDecision=63500 #constraints=9220
26.68/26.79	c nbDecision=64000 #constraints=9294
27.08/27.10	c nbDecision=64500 #constraints=9346
27.28/27.39	c nbDecision=65000 #constraints=9393
28.18/28.23	c nbDecision=65500 #constraints=9472
28.59/28.63	c nbDecision=66000 #constraints=9521
29.18/29.24	c nbDecision=66500 #constraints=9602
29.48/29.59	c nbDecision=67000 #constraints=9638
30.18/30.28	c nbDecision=67500 #constraints=9716
30.69/30.76	c nbDecision=68000 #constraints=9776
30.98/31.03	c nbDecision=68500 #constraints=9832
31.28/31.31	c nbDecision=69000 #constraints=9878
31.68/31.70	c nbDecision=69500 #constraints=9929
32.18/32.27	c nbDecision=70000 #constraints=10001
33.08/33.11	c nbDecision=70500 #constraints=10109
33.68/33.77	c nbDecision=71000 #constraints=10193
34.08/34.18	c nbDecision=71500 #constraints=10263
34.48/34.50	c nbDecision=72000 #constraints=10301
34.78/34.83	c nbDecision=72500 #constraints=10342
35.08/35.14	c nbDecision=73000 #constraints=10388
35.38/35.42	c nbDecision=73500 #constraints=10439
35.58/35.67	c nbDecision=74000 #constraints=10468
35.98/36.01	c nbDecision=74500 #constraints=10517
36.48/36.56	c nbDecision=75000 #constraints=10590
36.98/37.06	c nbDecision=75500 #constraints=10639
37.97/38.08	c nbDecision=76000 #constraints=10736
38.97/39.02	c nbDecision=76500 #constraints=10854
39.67/39.74	c nbDecision=77000 #constraints=10945
40.07/40.11	c nbDecision=77500 #constraints=10981
40.88/40.91	c nbDecision=78000 #constraints=11069
41.88/41.92	c nbDecision=78500 #constraints=11189
42.38/42.40	c nbDecision=79000 #constraints=11252
42.78/42.88	c nbDecision=79500 #constraints=11321
43.78/43.85	c nbDecision=80000 #constraints=11424
44.48/44.59	c nbDecision=80500 #constraints=11515
45.28/45.32	c nbDecision=81000 #constraints=11587
46.18/46.26	c nbDecision=81500 #constraints=11665
46.47/46.57	c nbDecision=82000 #constraints=11699
47.18/47.24	c nbDecision=82500 #constraints=11764
48.07/48.13	c nbDecision=83000 #constraints=11844
48.57/48.68	c nbDecision=83500 #constraints=11892
49.07/49.19	c nbDecision=84000 #constraints=11941
49.97/50.01	c nbDecision=84500 #constraints=12029
50.87/50.97	c nbDecision=85000 #constraints=12146
51.67/51.72	c nbDecision=85500 #constraints=12204
52.07/52.16	c nbDecision=86000 #constraints=12273
52.37/52.41	c nbDecision=86500 #constraints=12297
52.87/52.96	c nbDecision=87000 #constraints=12342
53.77/53.81	c nbDecision=87500 #constraints=12396
54.37/54.48	c nbDecision=88000 #constraints=12463
55.27/55.32	c nbDecision=88500 #constraints=12533
55.57/55.62	c nbDecision=89000 #constraints=12569
55.97/56.03	c nbDecision=89500 #constraints=12618
56.67/56.79	c nbDecision=90000 #constraints=12693
57.97/58.09	c nbDecision=90500 #constraints=12820
58.87/58.94	c nbDecision=91000 #constraints=12909
59.38/59.46	c nbDecision=91500 #constraints=12947
60.17/60.23	c nbDecision=92000 #constraints=13006
61.07/61.16	c nbDecision=92500 #constraints=13079
61.67/61.72	c nbDecision=93000 #constraints=13112
62.27/62.35	c nbDecision=93500 #constraints=13169
62.67/62.76	c nbDecision=94000 #constraints=13208
63.07/63.16	c nbDecision=94500 #constraints=13233
63.37/63.47	c nbDecision=95000 #constraints=13257
63.77/63.82	c nbDecision=95500 #constraints=13304
64.07/64.14	c nbDecision=96000 #constraints=13325
64.27/64.34	c nbDecision=96500 #constraints=13340
64.47/64.59	c nbDecision=97000 #constraints=13354
64.77/64.88	c nbDecision=97500 #constraints=13369
65.47/65.57	c nbDecision=98000 #constraints=13428
66.37/66.45	c nbDecision=98500 #constraints=13486
66.97/67.10	c nbDecision=99000 #constraints=13556
68.76/68.89	c nbDecision=99500 #constraints=13753
69.66/69.73	c nbDecision=100000 #constraints=13830
70.27/70.34	c nbDecision=100500 #constraints=13885
70.76/70.86	c nbDecision=101000 #constraints=13932
71.66/71.76	c nbDecision=101500 #constraints=14018
72.26/72.36	c nbDecision=102000 #constraints=14084
73.16/73.26	c restart after 102401 decisions
73.46/73.52	c nbDecision=102500 #constraints=14176
74.16/74.29	c nbDecision=103000 #constraints=14235
75.07/75.19	c nbDecision=103500 #constraints=14310
75.97/76.09	c nbDecision=104000 #constraints=14391
76.57/76.66	c nbDecision=104500 #constraints=14433
77.56/77.61	c nbDecision=105000 #constraints=14490
78.26/78.31	c nbDecision=105500 #constraints=14554
79.07/79.13	c nbDecision=106000 #constraints=14628
80.06/80.17	c nbDecision=106500 #constraints=14741
80.66/80.75	c nbDecision=107000 #constraints=14793
81.06/81.18	c nbDecision=107500 #constraints=14856
81.56/81.64	c nbDecision=108000 #constraints=14927
82.16/82.27	c nbDecision=108500 #constraints=14991
83.06/83.10	c nbDecision=109000 #constraints=15071
83.76/83.80	c nbDecision=109500 #constraints=15135
84.36/84.44	c nbDecision=110000 #constraints=15180
84.96/85.07	c nbDecision=110500 #constraints=15238
85.46/85.60	c nbDecision=111000 #constraints=15273
86.46/86.57	c nbDecision=111500 #constraints=15338
87.26/87.31	c nbDecision=112000 #constraints=15410
87.56/87.63	c nbDecision=112500 #constraints=15430
88.26/88.35	c nbDecision=113000 #constraints=15489
89.16/89.22	c nbDecision=113500 #constraints=15567
90.16/90.25	c nbDecision=114000 #constraints=15641
90.86/90.92	c nbDecision=114500 #constraints=15689
91.56/91.62	c nbDecision=115000 #constraints=15747
92.06/92.19	c nbDecision=115500 #constraints=15786
93.15/93.27	c nbDecision=116000 #constraints=15846
94.56/94.63	c nbDecision=116500 #constraints=15961
97.26/97.34	c nbDecision=117000 #constraints=16221
100.56/100.60	c nbDecision=117500 #constraints=16513
104.36/104.45	c nbDecision=118000 #constraints=16840
106.25/106.33	c nbDecision=118500 #constraints=16999
106.95/107.05	c nbDecision=119000 #constraints=17042
107.75/107.84	c nbDecision=119500 #constraints=17105
108.75/108.83	c nbDecision=120000 #constraints=17166
109.75/109.82	c nbDecision=120500 #constraints=17231
110.56/110.69	c nbDecision=121000 #constraints=17287
111.46/111.51	c nbDecision=121500 #constraints=17354
112.25/112.36	c nbDecision=122000 #constraints=17409
112.85/112.92	c nbDecision=122500 #constraints=17440
113.45/113.58	c nbDecision=123000 #constraints=17485
114.15/114.22	c nbDecision=123500 #constraints=17529
115.05/115.13	c nbDecision=124000 #constraints=17588
115.75/115.80	c nbDecision=124500 #constraints=17642
117.25/117.32	c nbDecision=125000 #constraints=17727
118.45/118.50	c nbDecision=125500 #constraints=17789
119.75/119.85	c nbDecision=126000 #constraints=17857
121.05/121.13	c nbDecision=126500 #constraints=17944
121.95/122.09	c nbDecision=127000 #constraints=17999
122.95/123.07	c nbDecision=127500 #constraints=18047
124.15/124.22	c nbDecision=128000 #constraints=18114
124.74/124.88	c nbDecision=128500 #constraints=18152
126.35/126.43	c nbDecision=129000 #constraints=18248
127.94/128.05	c nbDecision=129500 #constraints=18330
128.84/128.98	c nbDecision=130000 #constraints=18415
131.05/131.13	c nbDecision=130500 #constraints=18554
131.65/131.78	c nbDecision=131000 #constraints=18607
132.85/132.92	c nbDecision=131500 #constraints=18663
133.95/134.06	c nbDecision=132000 #constraints=18713
134.95/135.08	c nbDecision=132500 #constraints=18788
136.14/136.27	c nbDecision=133000 #constraints=18845
136.94/137.04	c nbDecision=133500 #constraints=18886
140.94/141.08	c nbDecision=134000 #constraints=19134
145.74/145.86	c nbDecision=134500 #constraints=19430
150.94/151.06	c nbDecision=135000 #constraints=19742
156.04/156.16	c nbDecision=135500 #constraints=20032
161.54/161.68	c nbDecision=136000 #constraints=20334
165.03/165.20	c nbDecision=136500 #constraints=20537
166.63/166.72	c nbDecision=137000 #constraints=20615
169.03/169.13	c nbDecision=137500 #constraints=20731
169.73/169.85	c nbDecision=138000 #constraints=20750
170.53/170.66	c nbDecision=138500 #constraints=20789
171.53/171.62	c nbDecision=139000 #constraints=20839
172.33/172.47	c nbDecision=139500 #constraints=20882
173.33/173.49	c nbDecision=140000 #constraints=20943
173.93/174.08	c nbDecision=140500 #constraints=20978
175.73/175.86	c nbDecision=141000 #constraints=21044
178.22/178.30	c nbDecision=141500 #constraints=21159
179.02/179.15	c nbDecision=142000 #constraints=21187
180.02/180.14	c nbDecision=142500 #constraints=21255
181.22/181.34	c nbDecision=143000 #constraints=21311
181.82/181.91	c nbDecision=143500 #constraints=21351
182.82/182.95	c nbDecision=144000 #constraints=21404
184.42/184.59	c nbDecision=144500 #constraints=21495
185.33/185.44	c nbDecision=145000 #constraints=21523
186.43/186.59	c nbDecision=145500 #constraints=21580
188.33/188.47	c nbDecision=146000 #constraints=21678
189.83/189.99	c nbDecision=146500 #constraints=21746
191.73/191.88	c nbDecision=147000 #constraints=21836
193.03/193.16	c nbDecision=147500 #constraints=21891
195.12/195.27	c nbDecision=148000 #constraints=22002
197.02/197.17	c nbDecision=148500 #constraints=22102
197.62/197.72	c nbDecision=149000 #constraints=22144
199.22/199.35	c nbDecision=149500 #constraints=22215
200.13/200.30	c nbDecision=150000 #constraints=22249
200.82/200.96	c nbDecision=150500 #constraints=22279
202.12/202.25	c nbDecision=151000 #constraints=22334
203.82/203.98	c nbDecision=151500 #constraints=22431
205.82/205.94	c nbDecision=152000 #constraints=22537
208.12/208.29	c nbDecision=152500 #constraints=22647
209.52/209.67	c nbDecision=153000 #constraints=22721
210.22/210.39	c nbDecision=153500 #constraints=22765
212.01/212.18	c nbDecision=154000 #constraints=22841
213.71/213.86	c nbDecision=154500 #constraints=22914
215.31/215.46	c nbDecision=155000 #constraints=22996
216.91/217.03	c nbDecision=155500 #constraints=23089
217.51/217.66	c nbDecision=156000 #constraints=23163
217.91/218.08	c nbDecision=156500 #constraints=23202
218.52/218.64	c nbDecision=157000 #constraints=23258
220.22/220.39	c nbDecision=157500 #constraints=23337
222.41/222.56	c nbDecision=158000 #constraints=23411
222.82/222.95	c nbDecision=158500 #constraints=23427
223.22/223.33	c nbDecision=159000 #constraints=23439
224.11/224.21	c nbDecision=159500 #constraints=23488
225.01/225.12	c nbDecision=160000 #constraints=23531
226.81/226.93	c nbDecision=160500 #constraints=23620
227.62/227.77	c nbDecision=161000 #constraints=23653
228.72/228.81	c nbDecision=161500 #constraints=23689
229.51/229.68	c nbDecision=162000 #constraints=23722
231.01/231.14	c nbDecision=162500 #constraints=23776
231.81/231.99	c nbDecision=163000 #constraints=23813
233.31/233.44	c nbDecision=163500 #constraints=23882
233.61/233.80	c nbDecision=164000 #constraints=23902
234.71/234.83	c nbDecision=164500 #constraints=23964
236.50/236.61	c nbDecision=165000 #constraints=24037
237.70/237.85	c nbDecision=165500 #constraints=24100
239.20/239.31	c nbDecision=166000 #constraints=24155
240.81/240.98	c nbDecision=166500 #constraints=24225
241.50/241.64	c nbDecision=167000 #constraints=24260
242.21/242.34	c nbDecision=167500 #constraints=24289
243.71/243.82	c nbDecision=168000 #constraints=24356
245.41/245.56	c nbDecision=168500 #constraints=24418
246.61/246.77	c nbDecision=169000 #constraints=24464
248.61/248.75	c nbDecision=169500 #constraints=24562
249.51/249.66	c nbDecision=170000 #constraints=24594
251.60/251.70	c nbDecision=170500 #constraints=24657
252.91/253.06	c nbDecision=171000 #constraints=24712
255.01/255.19	c nbDecision=171500 #constraints=24809
257.80/257.92	c nbDecision=172000 #constraints=24906
259.10/259.29	c nbDecision=172500 #constraints=24957
260.80/260.93	c nbDecision=173000 #constraints=25022
261.50/261.67	c nbDecision=173500 #constraints=25055
263.20/263.34	c nbDecision=174000 #constraints=25146
265.10/265.22	c nbDecision=174500 #constraints=25233
266.90/267.08	c nbDecision=175000 #constraints=25300
268.89/269.01	c nbDecision=175500 #constraints=25379
270.40/270.58	c nbDecision=176000 #constraints=25434
271.99/272.12	c nbDecision=176500 #constraints=25484
272.49/272.63	c nbDecision=177000 #constraints=25521
273.59/273.76	c nbDecision=177500 #constraints=25564
274.69/274.82	c nbDecision=178000 #constraints=25593
279.99/280.12	c nbDecision=178500 #constraints=25800
287.69/287.80	c nbDecision=179000 #constraints=26117
296.28/296.50	c nbDecision=179500 #constraints=26444
305.89/306.03	c nbDecision=180000 #constraints=26788
316.18/316.37	c nbDecision=180500 #constraints=27136
326.67/326.86	c nbDecision=181000 #constraints=27476
336.97/337.14	c nbDecision=181500 #constraints=27815
347.17/347.31	c nbDecision=182000 #constraints=28141
352.47/352.68	c nbDecision=182500 #constraints=28320
354.27/354.47	c nbDecision=183000 #constraints=28374
355.57/355.77	c nbDecision=183500 #constraints=28416
358.07/358.25	c nbDecision=184000 #constraints=28481
362.16/362.39	c nbDecision=184500 #constraints=28578
376.75/376.95	c nbDecision=185000 #constraints=28896
387.66/387.87	c nbDecision=185500 #constraints=29202
398.45/398.70	c nbDecision=186000 #constraints=29517
409.84/410.03	c nbDecision=186500 #constraints=29810
412.84/413.03	c nbDecision=187000 #constraints=29890
415.74/415.99	c nbDecision=187500 #constraints=29929
418.55/418.76	c nbDecision=188000 #constraints=30002
421.44/421.65	c nbDecision=188500 #constraints=30094
423.64/423.88	c nbDecision=189000 #constraints=30164
425.55/425.73	c nbDecision=189500 #constraints=30204
427.65/427.84	c nbDecision=190000 #constraints=30267
429.74/429.94	c nbDecision=190500 #constraints=30333
431.74/431.93	c nbDecision=191000 #constraints=30403
433.34/433.50	c nbDecision=191500 #constraints=30475
436.54/436.73	c nbDecision=192000 #constraints=30555
438.93/439.11	c nbDecision=192500 #constraints=30620
442.23/442.42	c nbDecision=193000 #constraints=30704
443.84/444.05	c nbDecision=193500 #constraints=30772
453.04/453.26	c nbDecision=194000 #constraints=30972
465.82/466.00	c nbDecision=194500 #constraints=31262
470.93/471.16	c nbDecision=195000 #constraints=31391
472.83/473.02	c nbDecision=195500 #constraints=31448
474.33/474.59	c nbDecision=196000 #constraints=31498
483.72/483.92	c nbDecision=196500 #constraints=31680
497.12/497.38	c nbDecision=197000 #constraints=31962
506.12/506.33	c nbDecision=197500 #constraints=32180
509.81/510.05	c nbDecision=198000 #constraints=32273
512.81/513.08	c nbDecision=198500 #constraints=32345
517.81/518.03	c nbDecision=199000 #constraints=32449
519.31/519.57	c nbDecision=199500 #constraints=32502
521.01/521.21	c nbDecision=200000 #constraints=32552
524.21/524.46	c nbDecision=200500 #constraints=32652
527.51/527.72	c nbDecision=201000 #constraints=32762
530.10/530.35	c nbDecision=201500 #constraints=32838
533.40/533.62	c nbDecision=202000 #constraints=32939
536.00/536.24	c nbDecision=202500 #constraints=32999
539.30/539.57	c nbDecision=203000 #constraints=33069
541.80/542.09	c nbDecision=203500 #constraints=33149
543.90/544.11	c nbDecision=204000 #constraints=33224
547.39/547.63	c nbDecision=204500 #constraints=33308
548.70/548.99	c restart after 204801 decisions
550.29/550.56	c nbDecision=205000 #constraints=33345
553.39/553.66	c nbDecision=205500 #constraints=33428
555.59/555.89	c nbDecision=206000 #constraints=33496
558.60/558.84	c nbDecision=206500 #constraints=33624
560.70/560.94	c nbDecision=207000 #constraints=33682
562.30/562.56	c nbDecision=207500 #constraints=33760
563.00/563.27	c nbDecision=208000 #constraints=33801
565.60/565.88	c nbDecision=208500 #constraints=33907
566.39/566.68	c nbDecision=209000 #constraints=33957
568.10/568.38	c nbDecision=209500 #constraints=34012
570.09/570.34	c nbDecision=210000 #constraints=34102
571.89/572.15	c nbDecision=210500 #constraints=34141
574.49/574.79	c nbDecision=211000 #constraints=34210
576.89/577.16	c nbDecision=211500 #constraints=34255
580.39/580.64	c nbDecision=212000 #constraints=34324
581.59/581.88	c nbDecision=212500 #constraints=34371
582.99/583.23	c nbDecision=213000 #constraints=34409
584.39/584.60	c nbDecision=213500 #constraints=34474
585.59/585.81	c nbDecision=214000 #constraints=34515
587.09/587.32	c nbDecision=214500 #constraints=34567
588.29/588.55	c nbDecision=215000 #constraints=34616
589.89/590.12	c nbDecision=215500 #constraints=34667
590.59/590.85	c nbDecision=216000 #constraints=34686
591.88/592.15	c nbDecision=216500 #constraints=34715
593.08/593.31	c nbDecision=217000 #constraints=34748
595.99/596.26	c nbDecision=217500 #constraints=34838
597.98/598.28	c nbDecision=218000 #constraints=34905
601.18/601.44	c nbDecision=218500 #constraints=35007
605.08/605.30	c nbDecision=219000 #constraints=35073
606.18/606.45	c nbDecision=219500 #constraints=35111
609.98/610.27	c nbDecision=220000 #constraints=35179
611.58/611.82	c nbDecision=220500 #constraints=35215
615.28/615.51	c nbDecision=221000 #constraints=35345
616.28/616.58	c nbDecision=221500 #constraints=35380
618.48/618.72	c nbDecision=222000 #constraints=35441
619.37/619.67	c nbDecision=222500 #constraints=35514
620.08/620.37	c nbDecision=223000 #constraints=35558
621.77/622.06	c nbDecision=223500 #constraints=35591
623.57/623.87	c nbDecision=224000 #constraints=35646
640.27/640.52	c nbDecision=224500 #constraints=35927
652.07/652.35	c nbDecision=225000 #constraints=36172
661.76/662.04	c nbDecision=225500 #constraints=36335
667.96/668.21	c nbDecision=226000 #constraints=36487
668.96/669.21	c nbDecision=226500 #constraints=36555
669.86/670.10	c nbDecision=227000 #constraints=36625
671.76/672.01	c nbDecision=227500 #constraints=36678
673.85/674.12	c nbDecision=228000 #constraints=36717
676.16/676.49	c nbDecision=228500 #constraints=36790
678.95/679.27	c nbDecision=229000 #constraints=36876
680.95/681.24	c nbDecision=229500 #constraints=36928
682.75/683.03	c nbDecision=230000 #constraints=36973
685.75/686.05	c nbDecision=230500 #constraints=37064
686.75/687.02	c nbDecision=231000 #constraints=37109
689.45/689.75	c nbDecision=231500 #constraints=37178
691.44/691.71	c nbDecision=232000 #constraints=37242
694.24/694.52	c nbDecision=232500 #constraints=37275
696.95/697.20	c nbDecision=233000 #constraints=37344
701.75/702.01	c nbDecision=233500 #constraints=37455
705.75/706.04	c nbDecision=234000 #constraints=37569
708.55/708.85	c nbDecision=234500 #constraints=37624
711.14/711.44	c nbDecision=235000 #constraints=37684
715.34/715.65	c nbDecision=235500 #constraints=37779
718.44/718.75	c nbDecision=236000 #constraints=37857
727.94/728.25	c nbDecision=236500 #constraints=38019
744.23/744.55	c nbDecision=237000 #constraints=38304
748.74/749.06	c nbDecision=237500 #constraints=38389
751.73/752.02	c nbDecision=238000 #constraints=38469
754.53/754.80	c nbDecision=238500 #constraints=38557
756.93/757.24	c nbDecision=239000 #constraints=38618
760.62/760.96	c nbDecision=239500 #constraints=38708
763.13/763.44	c nbDecision=240000 #constraints=38748
765.82/766.10	c nbDecision=240500 #constraints=38802
769.02/769.38	c nbDecision=241000 #constraints=38880
771.62/771.91	c nbDecision=241500 #constraints=38963
775.12/775.44	c nbDecision=242000 #constraints=39031
779.52/779.87	c nbDecision=242500 #constraints=39145
795.62/795.91	c nbDecision=243000 #constraints=39424
814.41/814.75	c nbDecision=243500 #constraints=39765
817.51/817.85	c nbDecision=244000 #constraints=39829
831.60/831.94	c nbDecision=244500 #constraints=40034
849.29/849.67	c nbDecision=245000 #constraints=40323
865.69/866.01	c nbDecision=245500 #constraints=40607
884.78/885.15	c nbDecision=246000 #constraints=40937
892.27/892.69	c nbDecision=246500 #constraints=41096
894.67/895.03	c nbDecision=247000 #constraints=41144
898.38/898.78	c nbDecision=247500 #constraints=41216
902.78/903.16	c nbDecision=248000 #constraints=41285
904.98/905.39	c nbDecision=248500 #constraints=41339
908.38/908.78	c nbDecision=249000 #constraints=41397
913.08/913.42	c nbDecision=249500 #constraints=41485
914.78/915.14	c nbDecision=250000 #constraints=41518
917.77/918.13	c nbDecision=250500 #constraints=41562
920.07/920.48	c nbDecision=251000 #constraints=41637
921.67/922.02	c nbDecision=251500 #constraints=41697
924.17/924.53	c nbDecision=252000 #constraints=41773
928.76/929.17	c nbDecision=252500 #constraints=41857
931.76/932.18	c nbDecision=253000 #constraints=41913
933.76/934.14	c nbDecision=253500 #constraints=41956
938.46/938.87	c nbDecision=254000 #constraints=42062
942.36/942.73	c nbDecision=254500 #constraints=42131
945.16/945.58	c nbDecision=255000 #constraints=42170
947.86/948.27	c nbDecision=255500 #constraints=42243
950.76/951.18	c nbDecision=256000 #constraints=42276
964.15/964.56	c nbDecision=256500 #constraints=42485
971.65/972.02	c nbDecision=257000 #constraints=42639
975.55/975.99	c nbDecision=257500 #constraints=42737
980.05/980.43	c nbDecision=258000 #constraints=42789
982.65/983.07	c nbDecision=258500 #constraints=42843
987.35/987.78	c nbDecision=259000 #constraints=42902
1010.74/1011.17	c nbDecision=259500 #constraints=43244
1033.03/1033.49	c nbDecision=260000 #constraints=43591
1053.72/1054.15	c nbDecision=260500 #constraints=43921
1060.82/1061.25	c nbDecision=261000 #constraints=44029
1065.12/1065.53	c nbDecision=261500 #constraints=44100
1068.22/1068.61	c nbDecision=262000 #constraints=44159
1069.42/1069.88	c nbDecision=262500 #constraints=44194
1072.52/1072.97	c nbDecision=263000 #constraints=44242
1075.61/1076.06	c nbDecision=263500 #constraints=44280
1078.51/1078.98	c nbDecision=264000 #constraints=44346
1082.41/1082.87	c nbDecision=264500 #constraints=44437
1104.61/1105.03	c nbDecision=265000 #constraints=44691
1126.79/1127.20	c nbDecision=265500 #constraints=44995
1137.09/1137.55	c nbDecision=266000 #constraints=45186
1141.99/1142.41	c nbDecision=266500 #constraints=45247
1143.69/1144.11	c nbDecision=267000 #constraints=45263
1147.89/1148.34	c nbDecision=267500 #constraints=45347
1150.99/1151.49	c nbDecision=268000 #constraints=45401
1154.39/1154.88	c nbDecision=268500 #constraints=45462
1156.69/1157.12	c nbDecision=269000 #constraints=45505
1158.89/1159.31	c nbDecision=269500 #constraints=45527
1162.58/1163.01	c nbDecision=270000 #constraints=45586
1165.28/1165.76	c nbDecision=270500 #constraints=45624
1167.08/1167.51	c nbDecision=271000 #constraints=45661
1170.78/1171.28	c nbDecision=271500 #constraints=45710
1173.37/1173.88	c nbDecision=272000 #constraints=45762
1175.87/1176.39	c nbDecision=272500 #constraints=45805
1181.17/1181.63	c nbDecision=273000 #constraints=45886
1185.67/1186.13	c nbDecision=273500 #constraints=45931
1190.28/1190.74	c nbDecision=274000 #constraints=45992
1193.08/1193.55	c nbDecision=274500 #constraints=46049
1197.18/1197.68	c nbDecision=275000 #constraints=46110
1199.08/1199.54	c nbDecision=275500 #constraints=46125
1202.37/1202.88	c nbDecision=276000 #constraints=46180
1204.97/1205.41	c nbDecision=276500 #constraints=46207
1208.07/1208.52	c nbDecision=277000 #constraints=46270
1211.67/1212.19	c nbDecision=277500 #constraints=46354
1216.17/1216.66	c nbDecision=278000 #constraints=46419
1219.57/1220.02	c nbDecision=278500 #constraints=46468
1226.36/1226.86	c nbDecision=279000 #constraints=46548
1228.86/1229.34	c nbDecision=279500 #constraints=46584
1231.86/1232.37	c nbDecision=280000 #constraints=46614
1236.36/1236.87	c nbDecision=280500 #constraints=46685
1238.96/1239.47	c nbDecision=281000 #constraints=46756
1244.25/1244.79	c nbDecision=281500 #constraints=46833
1247.65/1248.12	c nbDecision=282000 #constraints=46879
1254.45/1254.97	c nbDecision=282500 #constraints=46955
1270.44/1270.91	c nbDecision=283000 #constraints=47134
1287.94/1288.40	c nbDecision=283500 #constraints=47339
1290.64/1291.14	c nbDecision=284000 #constraints=47377
1293.44/1293.94	c nbDecision=284500 #constraints=47416
1296.64/1297.11	c nbDecision=285000 #constraints=47463
1302.04/1302.53	c nbDecision=285500 #constraints=47565
1305.74/1306.21	c nbDecision=286000 #constraints=47609
1307.74/1308.20	c nbDecision=286500 #constraints=47637
1310.24/1310.73	c nbDecision=287000 #constraints=47691
1314.83/1315.34	c nbDecision=287500 #constraints=47761
1317.93/1318.49	c nbDecision=288000 #constraints=47823
1334.73/1335.21	c nbDecision=288500 #constraints=47997
1363.31/1363.84	c nbDecision=289000 #constraints=48315
1391.90/1392.47	c nbDecision=289500 #constraints=48661
1394.90/1395.47	c nbDecision=290000 #constraints=48704
1408.39/1408.92	c nbDecision=290500 #constraints=48893
1429.19/1429.79	c nbDecision=291000 #constraints=49208
1449.28/1449.89	c nbDecision=291500 #constraints=49519
1459.58/1460.11	c nbDecision=292000 #constraints=49733
1461.78/1462.32	c nbDecision=292500 #constraints=49762
1463.28/1463.87	c nbDecision=293000 #constraints=49799
1465.88/1466.44	c nbDecision=293500 #constraints=49859
1466.98/1467.50	c nbDecision=294000 #constraints=49926
1467.98/1468.51	c nbDecision=294500 #constraints=49971
1468.78/1469.39	c nbDecision=295000 #constraints=50017
1472.18/1472.76	c nbDecision=295500 #constraints=50100
1474.58/1475.15	c nbDecision=296000 #constraints=50155
1475.08/1475.61	c nbDecision=296500 #constraints=50165
1476.18/1476.74	c nbDecision=297000 #constraints=50195
1478.28/1478.80	c nbDecision=297500 #constraints=50223
1482.57/1483.15	c nbDecision=298000 #constraints=50287
1484.77/1485.33	c nbDecision=298500 #constraints=50327
1488.07/1488.63	c nbDecision=299000 #constraints=50378
1492.07/1492.69	c nbDecision=299500 #constraints=50467
1493.87/1494.48	c nbDecision=300000 #constraints=50534
1497.47/1498.05	c nbDecision=300500 #constraints=50591
1498.27/1498.89	c nbDecision=301000 #constraints=50612
1502.76/1503.31	c nbDecision=301500 #constraints=50682
1506.96/1507.51	c nbDecision=302000 #constraints=50748
1510.16/1510.78	c nbDecision=302500 #constraints=50797
1512.16/1512.71	c nbDecision=303000 #constraints=50816
1515.36/1515.98	c nbDecision=303500 #constraints=50853
1519.76/1520.34	c nbDecision=304000 #constraints=50917
1522.35/1522.96	c nbDecision=304500 #constraints=50972
1526.35/1526.92	c nbDecision=305000 #constraints=51029
1529.85/1530.46	c nbDecision=305500 #constraints=51090
1534.25/1534.86	c nbDecision=306000 #constraints=51147
1535.06/1535.61	c nbDecision=306500 #constraints=51164
1536.46/1537.04	c nbDecision=307000 #constraints=51175
1539.76/1540.38	c nbDecision=307500 #constraints=51238
1544.86/1545.49	c nbDecision=308000 #constraints=51287
1546.65/1547.21	c nbDecision=308500 #constraints=51307
1551.56/1552.14	c nbDecision=309000 #constraints=51386
1560.65/1561.23	c nbDecision=309500 #constraints=51477
1579.14/1579.79	c nbDecision=310000 #constraints=51635
1584.44/1585.03	c nbDecision=310500 #constraints=51700
1588.94/1589.54	c nbDecision=311000 #constraints=51747
1591.63/1592.24	c nbDecision=311500 #constraints=51773
1595.33/1595.94	c nbDecision=312000 #constraints=51826
1597.03/1597.66	c nbDecision=312500 #constraints=51842
1601.23/1601.89	c nbDecision=313000 #constraints=51916
1605.73/1606.35	c nbDecision=313500 #constraints=51974
1609.92/1610.55	c nbDecision=314000 #constraints=52028
1614.22/1614.83	c nbDecision=314500 #constraints=52066
1617.02/1617.69	c nbDecision=315000 #constraints=52112
1621.72/1622.39	c nbDecision=315500 #constraints=52143
1626.03/1626.67	c nbDecision=316000 #constraints=52177
1628.43/1629.10	c nbDecision=316500 #constraints=52205
1632.22/1632.83	c nbDecision=317000 #constraints=52248
1634.03/1634.68	c nbDecision=317500 #constraints=52280
1640.42/1641.02	c nbDecision=318000 #constraints=52352
1648.61/1649.21	c nbDecision=318500 #constraints=52467
1652.21/1652.82	c nbDecision=319000 #constraints=52517
1653.71/1654.35	c nbDecision=319500 #constraints=52553
1656.51/1657.11	c nbDecision=320000 #constraints=52602
1661.71/1662.40	c nbDecision=320500 #constraints=52667
1682.41/1683.01	c nbDecision=321000 #constraints=52909
1686.50/1687.16	c nbDecision=321500 #constraints=52988
1690.60/1691.27	c nbDecision=322000 #constraints=53031
1708.19/1708.80	c nbDecision=322500 #constraints=53188
1747.29/1747.97	c nbDecision=323000 #constraints=53529
1787.27/1787.99	c nbDecision=323500 #constraints=53876
1800.07/1800.70	Received signal 15
1800.07/1800.78	
1800.07/1800.78	s UNKNOWN
1800.07/1800.78	
1800.07/1800.78	c user time= 1799.7 s
1800.07/1800.78	c system time= 0.45493 s
1800.07/1800.78	c wall clock time=1800.78

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/node25/watcher-357026-1176852094 -o ROOT/results/node25/solver-357026-1176852094 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357026-1176852094/instance-357026-1176852094.opb mod 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16382
/proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=1468 CPUtime=0
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 178 0 0 0 0 0 0 0 18 0 1 0 133126505 1503232 160 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712548 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 367 160 127 317 0 46 0

[startup+0.0366571 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16382
/proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=2176 CPUtime=0.03
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 368 0 0 0 3 0 0 0 18 0 1 0 133126505 2228224 350 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 544 350 137 317 0 223 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 2176

[startup+0.101667 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16382
/proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=2320 CPUtime=0.09
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 388 0 0 0 9 0 0 0 18 0 1 0 133126505 2375680 370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134596304 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 580 370 139 317 0 259 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 2320

[startup+0.301701 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16382
/proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=3112 CPUtime=0.29
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 587 0 0 0 29 0 0 0 19 0 1 0 133126505 3186688 569 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384579 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 778 569 139 317 0 457 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3112

[startup+0.701769 s]
/proc/loadavg: 1.00 1.00 1.00 3/64 16382
/proc/meminfo: memFree=1776776/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=4192 CPUtime=0.69
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 901 0 0 0 69 0 0 0 22 0 1 0 133126505 4292608 883 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 1048 883 170 317 0 727 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 4192

[startup+1.50191 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1773184/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=5956 CPUtime=1.49
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 1322 0 0 0 149 0 0 0 25 0 1 0 133126505 6098944 1304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 1489 1304 170 317 0 1168 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5956

[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1771072/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=8196 CPUtime=3.09
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 1878 0 0 0 309 0 0 0 25 0 1 0 133126505 8392704 1860 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718344 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 2049 1860 170 317 0 1728 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8196

[startup+6.30173 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1766848/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=11988 CPUtime=6.29
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 2823 0 0 0 628 1 0 0 25 0 1 0 133126505 12275712 2805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746931 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 2997 2805 170 317 0 2676 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11988

[startup+12.7018 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1760960/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=17432 CPUtime=12.69
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 4189 0 0 0 1267 2 0 0 25 0 1 0 133126505 17850368 4171 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 4358 4171 170 317 0 4037 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 17432

[startup+25.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1753344/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=25032 CPUtime=25.49
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 6028 0 0 0 2546 3 0 0 25 0 1 0 133126505 25632768 5952 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 6258 5952 170 317 0 5937 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 25032

[startup+51.1014 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1744320/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=34144 CPUtime=51.07
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 8293 0 0 0 5103 4 0 0 25 0 1 0 133126505 34963456 8217 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 8536 8217 170 317 0 8215 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 34144

[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1727168/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=51612 CPUtime=102.26
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 12560 0 0 0 10218 8 0 0 25 0 1 0 133126505 52850688 12484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 12903 12484 170 317 0 12582 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 51612

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1708736/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=71336 CPUtime=162.23
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 17297 0 0 0 16211 12 0 0 25 0 1 0 133126505 73048064 17107 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 17834 17107 170 317 0 17513 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 71336

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1697984/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=82020 CPUtime=222.21
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 19931 0 0 0 22207 14 0 0 25 0 1 0 133126505 83988480 19741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 20505 19741 170 317 0 20184 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 82020

[startup+282.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1688896/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=91464 CPUtime=282.19
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 22225 0 0 0 28204 15 0 0 25 0 1 0 133126505 93659136 22035 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 22866 22035 170 317 0 22545 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 91464

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1674368/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=106736 CPUtime=342.17
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 25817 0 0 0 34199 18 0 0 25 0 1 0 133126505 109297664 25627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 26684 25627 170 317 0 26363 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 106736

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1664896/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=116276 CPUtime=402.15
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 28158 0 0 0 40196 19 0 0 25 0 1 0 133126505 119066624 27968 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 29069 27968 170 317 0 28748 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 116276

[startup+462.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1656768/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=125832 CPUtime=462.13
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 30451 0 0 0 46192 21 0 0 25 0 1 0 133126505 128851968 29997 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 31458 29997 170 317 0 31137 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 125832

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1647808/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=135256 CPUtime=522.11
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 32672 0 0 0 52188 23 0 0 25 0 1 0 133126505 138502144 32218 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718428 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 33814 32218 170 317 0 33493 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 135256

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1641792/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=142076 CPUtime=582.09
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 34481 0 0 0 58185 24 0 0 25 0 1 0 133126505 145485824 33734 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604218 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 35519 33734 170 317 0 35198 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 142076

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1635392/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=148476 CPUtime=642.07
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 36051 0 0 0 64181 26 0 0 25 0 1 0 133126505 152039424 35304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 37119 35304 170 317 0 36798 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 148476


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1610304/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=174680 CPUtime=881.98
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 42699 0 0 0 88167 31 0 0 25 0 1 0 133126505 178872320 41556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 43670 41556 170 317 0 43349 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 174680

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16383
/proc/meminfo: memFree=1605696/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=180624 CPUtime=941.96
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 44146 0 0 0 94164 32 0 0 25 0 1 0 133126505 184958976 42706 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 45156 42706 170 317 0 44835 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 180624

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1600448/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=185484 CPUtime=1001.93
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 45462 0 0 0 100160 33 0 0 25 0 1 0 133126505 189935616 44022 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 46371 44022 170 317 0 46050 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 185484

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1594560/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=190932 CPUtime=1061.92
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 46936 0 0 0 106157 35 0 0 25 0 1 0 133126505 195514368 45496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 47733 45496 170 317 0 47412 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 190932

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1589248/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=196228 CPUtime=1121.9
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 48326 0 0 0 112154 36 0 0 25 0 1 0 133126505 200937472 46820 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563796 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 49057 46820 170 317 0 48736 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 196228

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1585088/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=200724 CPUtime=1181.87
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 49456 0 0 0 118151 36 0 0 25 0 1 0 133126505 205541376 47851 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 50181 47851 170 317 0 49860 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 200724

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1581504/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=204700 CPUtime=1241.86
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 50370 0 0 0 124149 37 0 0 25 0 1 0 133126505 209612800 48732 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 51175 48732 170 317 0 50854 0
Current children cumulated CPU time (s) 1241.86
Current children cumulated vsize (KiB) 204700

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1577216/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=209028 CPUtime=1301.84
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 51530 0 0 0 130146 38 0 0 25 0 1 0 133126505 214044672 49794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 52257 49794 170 317 0 51936 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 209028

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1571840/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=215384 CPUtime=1361.81
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 52902 0 0 0 136143 38 0 0 25 0 1 0 133126505 220553216 51133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 53846 51133 170 317 0 53525 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 215384

[startup+1422.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1565952/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=223076 CPUtime=1421.8
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 54857 0 0 0 142140 40 0 0 25 0 1 0 133126505 228429824 52593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 55769 52593 170 317 0 55448 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 223076

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1560192/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=229088 CPUtime=1481.77
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 56287 0 0 0 148136 41 0 0 25 0 1 0 133126505 234586112 54023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 57272 54023 170 317 0 56951 0
Current children cumulated CPU time (s) 1481.77
Current children cumulated vsize (KiB) 229088

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1556928/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=232296 CPUtime=1541.76
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 57100 0 0 0 154134 42 0 0 25 0 1 0 133126505 237871104 54836 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 58074 54836 170 317 0 57753 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 232296

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1553856/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=235192 CPUtime=1601.73
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 57892 0 0 0 160131 42 0 0 25 0 1 0 133126505 240836608 55595 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 58798 55595 170 317 0 58477 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 235192

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1551040/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=240032 CPUtime=1661.71
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 59145 0 0 0 166128 43 0 0 25 0 1 0 133126505 245792768 56328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 60008 56328 170 317 0 59687 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 240032

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1547776/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=243696 CPUtime=1721.68
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 60146 0 0 0 172124 44 0 0 25 0 1 0 133126505 249544704 57166 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 60924 57166 170 317 0 60603 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 243696

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1544320/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=246756 CPUtime=1781.67
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 60993 0 0 0 178122 45 0 0 25 0 1 0 133126505 252678144 58013 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712504 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 61689 58013 170 317 0 61368 0
Current children cumulated CPU time (s) 1781.67
Current children cumulated vsize (KiB) 246756



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1543232/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=247676 CPUtime=1800.07
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194304 61249 0 0 0 179962 45 0 0 25 0 1 0 133126505 253620224 58269 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 61919 58269 170 317 0 61598 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 247676

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

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

[startup+1800.81 s]
/proc/loadavg: 1.00 1.00 1.00 2/65 16385
/proc/meminfo: memFree=1543232/2055920 swapFree=4166424/4192956
[pid=16382] ppid=16380 vsize=0 CPUtime=1800.16
/proc/16382/stat : 16382 (oree) R 16380 16382 15798 0 -1 4194308 61267 0 0 0 179970 46 0 0 25 0 1 0 133126505 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/16382/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.83
CPU time (s): 1800.2
CPU user time (s): 1799.71
CPU system time (s): 0.494924
CPU usage (%): 99.965
Max. virtual memory (cumulated for all children) (KiB): 247676

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

runsolver used 1.34979 second user time and 3.60345 second system time

The end

Launcher Data (download as text)

Begin job on node25 on Tue Apr 17 23:21:34 UTC 2007

IDJOB= 357026
IDBENCH= 1791
IDSOLVER= 172
FILE ID= node25/357026-1176852094

PBS_JOBID= 4590194

Free space on /tmp= 66480 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-fiber.opb
COMMAND LINE= oree /tmp/evaluation/357026-1176852094/instance-357026-1176852094.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node25/watcher-357026-1176852094 -o ROOT/results/node25/solver-357026-1176852094 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/357026-1176852094/instance-357026-1176852094.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  32662df0ae948242aace0258625ea4cc

RANDOM SEED= 935585519

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node25.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.261
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.261
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:       1777184 kB
Buffers:         23220 kB
Cached:         186988 kB
SwapCached:      20788 kB
Active:          35588 kB
Inactive:       201112 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1777184 kB
SwapTotal:     4192956 kB
SwapFree:      4166424 kB
Dirty:            1348 kB
Writeback:           0 kB
Mapped:          15420 kB
Slab:            28072 kB
Committed_AS:  2111744 kB
PageTables:       1472 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= 66480 MiB

End job on node25 on Tue Apr 17 23:51:40 UTC 2007