Trace number 357006

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.13 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/
miplib2003/normalized-reduced-mps-v2-20-10-gesa2.opb
MD5SUM1f57d7f7253e44124d4d26029bd38b8a
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark493
Best CPU time to get the best result obtained on this benchmark1801.99
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 424
Optimality of the best value was proved NO
Number of variables19344
Total number of constraints1824
Number of constraints which are clauses48
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1776
Minimum length of a constraint2
Maximum length of a constraint309
Number of terms in the objective function 13488
Biggest coefficient in the objective function 1219
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 535560
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262144
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 535560
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.09/0.19	c ...done
0.09/0.19	c #vars=19344 #constraints=1873 hasObjective=yes
0.29/0.31	c res. mode=mod
0.29/0.31	c VSIDS like heuristics
0.29/0.31	c complete search running
0.39/0.44	c restart after 401 decisions
0.39/0.46	c nbDecision=500 #constraints=1915
0.49/0.55	c restart after 801 decisions
0.49/0.60	c nbDecision=1000 #constraints=1934
0.69/0.73	c nbDecision=1500 #constraints=1957
0.69/0.76	c restart after 1601 decisions
0.79/0.88	c nbDecision=2000 #constraints=2012
0.99/1.04	c nbDecision=2500 #constraints=2078
1.09/1.19	c nbDecision=3000 #constraints=2119
1.19/1.24	c restart after 3201 decisions
1.29/1.33	c nbDecision=3500 #constraints=2148
1.39/1.48	c nbDecision=4000 #constraints=2190
1.59/1.63	c nbDecision=4500 #constraints=2281
1.69/1.76	c nbDecision=5000 #constraints=2316
1.89/1.94	c nbDecision=5500 #constraints=2438
1.99/2.08	c nbDecision=6000 #constraints=2483
2.19/2.20	c restart after 6401 decisions
2.19/2.23	c nbDecision=6500 #constraints=2533
2.29/2.37	c nbDecision=7000 #constraints=2591
2.49/2.50	c nbDecision=7500 #constraints=2645
2.59/2.65	c nbDecision=8000 #constraints=2718
2.69/2.76	c nbDecision=8500 #constraints=2743
2.89/2.90	c nbDecision=9000 #constraints=2798
2.99/3.03	c nbDecision=9500 #constraints=2836
3.09/3.16	c nbDecision=10000 #constraints=2891
3.20/3.30	c nbDecision=10500 #constraints=2939
3.39/3.42	c nbDecision=11000 #constraints=2972
3.49/3.55	c nbDecision=11500 #constraints=3016
3.59/3.66	c nbDecision=12000 #constraints=3036
3.79/3.81	c nbDecision=12500 #constraints=3099
3.79/3.87	c restart after 12801 decisions
3.89/3.92	c nbDecision=13000 #constraints=3101
3.99/4.07	c nbDecision=13500 #constraints=3167
4.19/4.21	c nbDecision=14000 #constraints=3223
4.29/4.36	c nbDecision=14500 #constraints=3262
4.49/4.51	c nbDecision=15000 #constraints=3325
4.59/4.63	c nbDecision=15500 #constraints=3348
4.69/4.75	c nbDecision=16000 #constraints=3383
4.79/4.88	c nbDecision=16500 #constraints=3415
4.99/5.02	c nbDecision=17000 #constraints=3468
5.09/5.15	c nbDecision=17500 #constraints=3497
5.19/5.26	c nbDecision=18000 #constraints=3522
5.29/5.38	c nbDecision=18500 #constraints=3547
5.49/5.50	c nbDecision=19000 #constraints=3570
5.59/5.60	c nbDecision=19500 #constraints=3581
5.69/5.72	c nbDecision=20000 #constraints=3597
5.79/5.84	c nbDecision=20500 #constraints=3627
5.89/5.96	c nbDecision=21000 #constraints=3647
5.99/6.08	c nbDecision=21500 #constraints=3674
6.19/6.21	c nbDecision=22000 #constraints=3708
6.29/6.34	c nbDecision=22500 #constraints=3744
6.39/6.45	c nbDecision=23000 #constraints=3759
6.49/6.58	c nbDecision=23500 #constraints=3797
6.68/6.70	c nbDecision=24000 #constraints=3813
6.78/6.81	c nbDecision=24500 #constraints=3834
6.88/6.95	c nbDecision=25000 #constraints=3866
6.98/7.07	c nbDecision=25500 #constraints=3894
6.98/7.09	c restart after 25601 decisions
7.18/7.22	c nbDecision=26000 #constraints=3928
7.28/7.34	c nbDecision=26500 #constraints=3954
7.38/7.45	c nbDecision=27000 #constraints=3971
7.48/7.58	c nbDecision=27500 #constraints=3994
7.59/7.68	c nbDecision=28000 #constraints=4003
7.69/7.79	c nbDecision=28500 #constraints=4022
7.88/7.91	c nbDecision=29000 #constraints=4043
7.98/8.05	c nbDecision=29500 #constraints=4074
8.08/8.16	c nbDecision=30000 #constraints=4090
8.18/8.27	c nbDecision=30500 #constraints=4097
8.28/8.38	c nbDecision=31000 #constraints=4114
8.38/8.49	c nbDecision=31500 #constraints=4130
8.58/8.60	c nbDecision=32000 #constraints=4142
8.69/8.72	c nbDecision=32500 #constraints=4160
8.80/8.84	c nbDecision=33000 #constraints=4184
8.89/8.95	c nbDecision=33500 #constraints=4203
8.99/9.07	c nbDecision=34000 #constraints=4225
9.09/9.18	c nbDecision=34500 #constraints=4240
9.29/9.31	c nbDecision=35000 #constraints=4265
9.39/9.41	c nbDecision=35500 #constraints=4277
9.49/9.53	c nbDecision=36000 #constraints=4286
9.59/9.66	c nbDecision=36500 #constraints=4319
9.69/9.78	c nbDecision=37000 #constraints=4340
9.90/9.92	c nbDecision=37500 #constraints=4375
9.99/10.04	c nbDecision=38000 #constraints=4393
10.09/10.15	c nbDecision=38500 #constraints=4410
10.19/10.27	c nbDecision=39000 #constraints=4431
10.29/10.37	c nbDecision=39500 #constraints=4434
10.39/10.49	c nbDecision=40000 #constraints=4448
10.59/10.61	c nbDecision=40500 #constraints=4467
10.69/10.73	c nbDecision=41000 #constraints=4487
10.79/10.84	c nbDecision=41500 #constraints=4500
10.90/10.95	c nbDecision=42000 #constraints=4511
10.99/11.08	c nbDecision=42500 #constraints=4533
11.19/11.20	c nbDecision=43000 #constraints=4551
11.29/11.31	c nbDecision=43500 #constraints=4556
11.39/11.44	c nbDecision=44000 #constraints=4578
11.49/11.55	c nbDecision=44500 #constraints=4588
11.59/11.66	c nbDecision=45000 #constraints=4604
11.69/11.78	c nbDecision=45500 #constraints=4617
11.79/11.89	c nbDecision=46000 #constraints=4623
11.99/12.00	c nbDecision=46500 #constraints=4628
12.09/12.12	c nbDecision=47000 #constraints=4645
12.19/12.24	c nbDecision=47500 #constraints=4661
12.29/12.37	c nbDecision=48000 #constraints=4681
12.39/12.49	c nbDecision=48500 #constraints=4697
12.59/12.60	c nbDecision=49000 #constraints=4711
12.69/12.71	c nbDecision=49500 #constraints=4714
12.79/12.81	c nbDecision=50000 #constraints=4717
12.89/12.93	c nbDecision=50500 #constraints=4726
12.99/13.05	c nbDecision=51000 #constraints=4749
13.09/13.12	c restart after 51201 decisions
13.19/13.20	c nbDecision=51500 #constraints=4769
13.29/13.35	c nbDecision=52000 #constraints=4808
13.39/13.49	c nbDecision=52500 #constraints=4835
13.59/13.61	c nbDecision=53000 #constraints=4847
13.69/13.72	c nbDecision=53500 #constraints=4853
13.79/13.86	c nbDecision=54000 #constraints=4889
13.89/13.98	c nbDecision=54500 #constraints=4902
14.09/14.11	c nbDecision=55000 #constraints=4929
14.19/14.24	c nbDecision=55500 #constraints=4952
14.29/14.37	c nbDecision=56000 #constraints=4968
14.39/14.49	c nbDecision=56500 #constraints=4980
14.59/14.60	c nbDecision=57000 #constraints=4997
14.69/14.74	c nbDecision=57500 #constraints=5023
14.79/14.88	c nbDecision=58000 #constraints=5049
14.99/15.01	c nbDecision=58500 #constraints=5066
15.09/15.14	c nbDecision=59000 #constraints=5082
15.19/15.26	c nbDecision=59500 #constraints=5099
15.29/15.39	c nbDecision=60000 #constraints=5126
15.49/15.51	c nbDecision=60500 #constraints=5136
15.59/15.64	c nbDecision=61000 #constraints=5162
15.69/15.75	c nbDecision=61500 #constraints=5170
15.79/15.88	c nbDecision=62000 #constraints=5189
15.99/16.00	c nbDecision=62500 #constraints=5197
16.09/16.13	c nbDecision=63000 #constraints=5220
16.19/16.24	c nbDecision=63500 #constraints=5228
16.28/16.38	c nbDecision=64000 #constraints=5252
16.49/16.53	c nbDecision=64500 #constraints=5276
16.58/16.67	c nbDecision=65000 #constraints=5307
16.68/16.79	c nbDecision=65500 #constraints=5319
16.88/16.92	c nbDecision=66000 #constraints=5344
16.98/17.06	c nbDecision=66500 #constraints=5370
17.08/17.18	c nbDecision=67000 #constraints=5384
17.28/17.32	c nbDecision=67500 #constraints=5400
17.38/17.44	c nbDecision=68000 #constraints=5414
17.49/17.57	c nbDecision=68500 #constraints=5432
17.59/17.69	c nbDecision=69000 #constraints=5440
17.68/17.79	c nbDecision=69500 #constraints=5449
17.88/17.94	c nbDecision=70000 #constraints=5475
17.98/18.07	c nbDecision=70500 #constraints=5495
18.08/18.19	c nbDecision=71000 #constraints=5502
18.28/18.34	c nbDecision=71500 #constraints=5531
18.38/18.46	c nbDecision=72000 #constraints=5546
18.48/18.58	c nbDecision=72500 #constraints=5553
18.68/18.72	c nbDecision=73000 #constraints=5578
18.78/18.85	c nbDecision=73500 #constraints=5601
18.88/18.99	c nbDecision=74000 #constraints=5632
19.08/19.10	c nbDecision=74500 #constraints=5638
19.18/19.23	c nbDecision=75000 #constraints=5661
19.28/19.38	c nbDecision=75500 #constraints=5688
19.48/19.52	c nbDecision=76000 #constraints=5702
19.58/19.65	c nbDecision=76500 #constraints=5715
19.68/19.78	c nbDecision=77000 #constraints=5732
19.88/19.94	c nbDecision=77500 #constraints=5767
19.98/20.06	c nbDecision=78000 #constraints=5780
20.08/20.19	c nbDecision=78500 #constraints=5792
20.28/20.31	c nbDecision=79000 #constraints=5801
20.38/20.45	c nbDecision=79500 #constraints=5822
20.48/20.59	c nbDecision=80000 #constraints=5837
20.68/20.70	c nbDecision=80500 #constraints=5845
20.79/20.83	c nbDecision=81000 #constraints=5865
20.89/20.98	c nbDecision=81500 #constraints=5887
21.09/21.12	c nbDecision=82000 #constraints=5899
21.19/21.24	c nbDecision=82500 #constraints=5913
21.29/21.38	c nbDecision=83000 #constraints=5932
21.38/21.48	c nbDecision=83500 #constraints=5936
21.58/21.62	c nbDecision=84000 #constraints=5955
21.68/21.75	c nbDecision=84500 #constraints=5970
21.78/21.88	c nbDecision=85000 #constraints=5981
21.89/21.99	c nbDecision=85500 #constraints=5994
22.08/22.14	c nbDecision=86000 #constraints=6016
22.18/22.26	c nbDecision=86500 #constraints=6024
22.28/22.36	c nbDecision=87000 #constraints=6025
22.38/22.49	c nbDecision=87500 #constraints=6044
22.58/22.61	c nbDecision=88000 #constraints=6051
22.68/22.73	c nbDecision=88500 #constraints=6064
22.78/22.87	c nbDecision=89000 #constraints=6082
22.88/22.97	c nbDecision=89500 #constraints=6086
22.99/23.09	c nbDecision=90000 #constraints=6090
23.18/23.23	c nbDecision=90500 #constraints=6113
23.28/23.35	c nbDecision=91000 #constraints=6118
23.38/23.46	c nbDecision=91500 #constraints=6122
23.48/23.59	c nbDecision=92000 #constraints=6135
23.68/23.71	c nbDecision=92500 #constraints=6144
23.78/23.82	c nbDecision=93000 #constraints=6147
23.88/23.94	c nbDecision=93500 #constraints=6157
23.98/24.07	c nbDecision=94000 #constraints=6171
24.09/24.19	c nbDecision=94500 #constraints=6182
24.28/24.30	c nbDecision=95000 #constraints=6188
24.38/24.42	c nbDecision=95500 #constraints=6195
24.48/24.53	c nbDecision=96000 #constraints=6200
24.58/24.65	c nbDecision=96500 #constraints=6210
24.68/24.78	c nbDecision=97000 #constraints=6223
24.88/24.90	c nbDecision=97500 #constraints=6232
24.98/25.02	c nbDecision=98000 #constraints=6246
25.08/25.18	c nbDecision=98500 #constraints=6270
25.28/25.31	c nbDecision=99000 #constraints=6284
25.38/25.42	c nbDecision=99500 #constraints=6293
25.48/25.56	c nbDecision=100000 #constraints=6311
25.68/25.70	c nbDecision=100500 #constraints=6323
25.78/25.83	c nbDecision=101000 #constraints=6337
25.88/25.95	c nbDecision=101500 #constraints=6346
25.98/26.09	c nbDecision=102000 #constraints=6357
26.08/26.19	c restart after 102401 decisions
26.18/26.22	c nbDecision=102500 #constraints=6364
26.28/26.38	c nbDecision=103000 #constraints=6382
26.48/26.53	c nbDecision=103500 #constraints=6412
26.58/26.66	c nbDecision=104000 #constraints=6421
26.78/26.81	c nbDecision=104500 #constraints=6438
26.88/26.94	c nbDecision=105000 #constraints=6453
26.98/27.08	c nbDecision=105500 #constraints=6469
27.18/27.21	c nbDecision=106000 #constraints=6482
27.28/27.34	c nbDecision=106500 #constraints=6496
27.38/27.50	c nbDecision=107000 #constraints=6524
27.58/27.64	c nbDecision=107500 #constraints=6540
27.68/27.79	c nbDecision=108000 #constraints=6560
27.88/27.92	c nbDecision=108500 #constraints=6578
27.98/28.06	c nbDecision=109000 #constraints=6592
28.08/28.18	c nbDecision=109500 #constraints=6604
28.28/28.32	c nbDecision=110000 #constraints=6618
28.38/28.47	c nbDecision=110500 #constraints=6637
28.48/28.58	c nbDecision=111000 #constraints=6647
28.68/28.73	c nbDecision=111500 #constraints=6674
28.78/28.83	c nbDecision=112000 #constraints=6676
28.88/28.97	c nbDecision=112500 #constraints=6688
28.98/29.09	c nbDecision=113000 #constraints=6695
29.08/29.19	c nbDecision=113500 #constraints=6697
29.28/29.32	c nbDecision=114000 #constraints=6706
29.38/29.44	c nbDecision=114500 #constraints=6717
29.48/29.57	c nbDecision=115000 #constraints=6727
29.58/29.69	c nbDecision=115500 #constraints=6734
29.78/29.83	c nbDecision=116000 #constraints=6748
29.88/29.94	c nbDecision=116500 #constraints=6753
29.98/30.06	c nbDecision=117000 #constraints=6759
30.08/30.19	c nbDecision=117500 #constraints=6772
30.28/30.31	c nbDecision=118000 #constraints=6778
30.38/30.47	c nbDecision=118500 #constraints=6811
30.48/30.59	c nbDecision=119000 #constraints=6821
30.68/30.72	c nbDecision=119500 #constraints=6829
30.78/30.85	c nbDecision=120000 #constraints=6840
30.88/30.96	c nbDecision=120500 #constraints=6846
30.98/31.08	c nbDecision=121000 #constraints=6852
31.18/31.22	c nbDecision=121500 #constraints=6865
31.28/31.33	c nbDecision=122000 #constraints=6868
31.38/31.49	c nbDecision=122500 #constraints=6893
31.58/31.63	c nbDecision=123000 #constraints=6905
31.68/31.74	c nbDecision=123500 #constraints=6908
31.78/31.86	c nbDecision=124000 #constraints=6918
31.97/32.00	c nbDecision=124500 #constraints=6935
32.07/32.14	c nbDecision=125000 #constraints=6945
32.17/32.26	c nbDecision=125500 #constraints=6950
32.38/32.40	c nbDecision=126000 #constraints=6965
32.48/32.52	c nbDecision=126500 #constraints=6972
32.58/32.64	c nbDecision=127000 #constraints=6977
32.68/32.77	c nbDecision=127500 #constraints=6982
32.78/32.90	c nbDecision=128000 #constraints=6995
32.99/33.02	c nbDecision=128500 #constraints=7000
33.08/33.17	c nbDecision=129000 #constraints=7019
33.18/33.28	c nbDecision=129500 #constraints=7020
33.38/33.42	c nbDecision=130000 #constraints=7033
33.48/33.54	c nbDecision=130500 #constraints=7038
33.58/33.68	c nbDecision=131000 #constraints=7061
33.78/33.83	c nbDecision=131500 #constraints=7075
33.88/33.95	c nbDecision=132000 #constraints=7083
33.98/34.08	c nbDecision=132500 #constraints=7092
34.18/34.21	c nbDecision=133000 #constraints=7103
34.28/34.33	c nbDecision=133500 #constraints=7108
34.38/34.45	c nbDecision=134000 #constraints=7116
34.48/34.57	c nbDecision=134500 #constraints=7120
34.58/34.68	c nbDecision=135000 #constraints=7124
34.78/34.81	c nbDecision=135500 #constraints=7131
34.88/34.95	c nbDecision=136000 #constraints=7144
34.98/35.08	c nbDecision=136500 #constraints=7151
35.18/35.21	c nbDecision=137000 #constraints=7168
35.28/35.35	c nbDecision=137500 #constraints=7176
35.38/35.48	c nbDecision=138000 #constraints=7182
35.58/35.61	c nbDecision=138500 #constraints=7194
35.68/35.75	c nbDecision=139000 #constraints=7204
35.78/35.86	c nbDecision=139500 #constraints=7208
35.88/35.98	c nbDecision=140000 #constraints=7210
36.08/36.10	c nbDecision=140500 #constraints=7219
36.18/36.24	c nbDecision=141000 #constraints=7227
36.28/36.36	c nbDecision=141500 #constraints=7240
36.48/36.50	c nbDecision=142000 #constraints=7261
36.58/36.63	c nbDecision=142500 #constraints=7267
36.68/36.75	c nbDecision=143000 #constraints=7270
36.78/36.87	c nbDecision=143500 #constraints=7274
36.98/37.00	c nbDecision=144000 #constraints=7283
37.08/37.11	c nbDecision=144500 #constraints=7286
37.17/37.23	c nbDecision=145000 #constraints=7293
37.28/37.36	c nbDecision=145500 #constraints=7303
37.38/37.49	c nbDecision=146000 #constraints=7317
37.57/37.62	c nbDecision=146500 #constraints=7329
37.67/37.74	c nbDecision=147000 #constraints=7336
37.77/37.87	c nbDecision=147500 #constraints=7346
37.87/37.99	c nbDecision=148000 #constraints=7350
38.07/38.10	c nbDecision=148500 #constraints=7355
38.17/38.22	c nbDecision=149000 #constraints=7360
38.27/38.36	c nbDecision=149500 #constraints=7376
38.48/38.50	c nbDecision=150000 #constraints=7388
38.57/38.63	c nbDecision=150500 #constraints=7403
38.67/38.77	c nbDecision=151000 #constraints=7415
38.77/38.90	c nbDecision=151500 #constraints=7420
38.97/39.02	c nbDecision=152000 #constraints=7425
39.07/39.13	c nbDecision=152500 #constraints=7427
39.17/39.27	c nbDecision=153000 #constraints=7438
39.27/39.39	c nbDecision=153500 #constraints=7447
39.48/39.52	c nbDecision=154000 #constraints=7460
39.57/39.65	c nbDecision=154500 #constraints=7468
39.67/39.78	c nbDecision=155000 #constraints=7476
39.87/39.92	c nbDecision=155500 #constraints=7482
39.97/40.06	c nbDecision=156000 #constraints=7501
40.17/40.20	c nbDecision=156500 #constraints=7523
40.27/40.35	c nbDecision=157000 #constraints=7533
40.37/40.49	c nbDecision=157500 #constraints=7547
40.47/40.60	c nbDecision=158000 #constraints=7548
40.67/40.75	c nbDecision=158500 #constraints=7570
40.77/40.89	c nbDecision=159000 #constraints=7587
40.97/41.04	c nbDecision=159500 #constraints=7602
41.07/41.16	c nbDecision=160000 #constraints=7611
41.17/41.29	c nbDecision=160500 #constraints=7626
41.37/41.43	c nbDecision=161000 #constraints=7635
41.47/41.55	c nbDecision=161500 #constraints=7641
41.57/41.68	c nbDecision=162000 #constraints=7646
41.77/41.81	c nbDecision=162500 #constraints=7657
41.87/41.94	c nbDecision=163000 #constraints=7669
41.97/42.05	c nbDecision=163500 #constraints=7671
42.16/42.20	c nbDecision=164000 #constraints=7690
42.26/42.33	c nbDecision=164500 #constraints=7696
42.36/42.48	c nbDecision=165000 #constraints=7710
42.56/42.60	c nbDecision=165500 #constraints=7715
42.66/42.74	c nbDecision=166000 #constraints=7727
42.77/42.86	c nbDecision=166500 #constraints=7735
42.97/43.01	c nbDecision=167000 #constraints=7755
43.06/43.16	c nbDecision=167500 #constraints=7777
43.16/43.29	c nbDecision=168000 #constraints=7789
43.36/43.43	c nbDecision=168500 #constraints=7801
43.46/43.56	c nbDecision=169000 #constraints=7807
43.56/43.69	c nbDecision=169500 #constraints=7817
43.76/43.82	c nbDecision=170000 #constraints=7830
43.87/43.95	c nbDecision=170500 #constraints=7836
43.97/44.07	c nbDecision=171000 #constraints=7840
44.16/44.20	c nbDecision=171500 #constraints=7852
44.26/44.34	c nbDecision=172000 #constraints=7857
44.36/44.47	c nbDecision=172500 #constraints=7864
44.46/44.60	c nbDecision=173000 #constraints=7873
44.66/44.73	c nbDecision=173500 #constraints=7882
44.76/44.85	c nbDecision=174000 #constraints=7889
44.87/44.97	c nbDecision=174500 #constraints=7894
45.07/45.10	c nbDecision=175000 #constraints=7902
45.17/45.21	c nbDecision=175500 #constraints=7904
45.27/45.34	c nbDecision=176000 #constraints=7914
45.37/45.47	c nbDecision=176500 #constraints=7924
45.57/45.60	c nbDecision=177000 #constraints=7930
45.67/45.71	c nbDecision=177500 #constraints=7932
45.77/45.85	c nbDecision=178000 #constraints=7941
45.87/45.98	c nbDecision=178500 #constraints=7952
45.97/46.09	c nbDecision=179000 #constraints=7954
46.17/46.24	c nbDecision=179500 #constraints=7966
46.27/46.36	c nbDecision=180000 #constraints=7970
46.37/46.48	c nbDecision=180500 #constraints=7976
46.57/46.61	c nbDecision=181000 #constraints=7986
46.67/46.74	c nbDecision=181500 #constraints=7995
46.77/46.86	c nbDecision=182000 #constraints=7998
46.87/46.99	c nbDecision=182500 #constraints=8003
47.07/47.12	c nbDecision=183000 #constraints=8007
47.17/47.23	c nbDecision=183500 #constraints=8009
47.27/47.35	c nbDecision=184000 #constraints=8012
47.47/47.51	c nbDecision=184500 #constraints=8029
47.57/47.63	c nbDecision=185000 #constraints=8036
47.67/47.78	c nbDecision=185500 #constraints=8049
47.87/47.92	c nbDecision=186000 #constraints=8055
47.97/48.05	c nbDecision=186500 #constraints=8062
48.07/48.18	c nbDecision=187000 #constraints=8069
48.27/48.33	c nbDecision=187500 #constraints=8082
48.37/48.48	c nbDecision=188000 #constraints=8100
48.57/48.60	c nbDecision=188500 #constraints=8102
48.67/48.73	c nbDecision=189000 #constraints=8108
48.77/48.84	c nbDecision=189500 #constraints=8116
48.87/48.98	c nbDecision=190000 #constraints=8125
49.07/49.13	c nbDecision=190500 #constraints=8134
49.17/49.26	c nbDecision=191000 #constraints=8142
49.27/49.39	c nbDecision=191500 #constraints=8146
49.47/49.51	c nbDecision=192000 #constraints=8149
49.57/49.64	c nbDecision=192500 #constraints=8155
49.67/49.79	c nbDecision=193000 #constraints=8176
49.87/49.93	c nbDecision=193500 #constraints=8186
49.97/50.06	c nbDecision=194000 #constraints=8192
50.07/50.18	c nbDecision=194500 #constraints=8195
50.27/50.33	c nbDecision=195000 #constraints=8207
50.37/50.46	c nbDecision=195500 #constraints=8222
50.47/50.59	c nbDecision=196000 #constraints=8227
50.67/50.71	c nbDecision=196500 #constraints=8232
50.77/50.85	c nbDecision=197000 #constraints=8245
50.87/50.97	c nbDecision=197500 #constraints=8249
50.97/51.09	c nbDecision=198000 #constraints=8252
51.17/51.22	c nbDecision=198500 #constraints=8256
51.27/51.36	c nbDecision=199000 #constraints=8264
51.36/51.49	c nbDecision=199500 #constraints=8275
51.57/51.62	c nbDecision=200000 #constraints=8279
51.67/51.75	c nbDecision=200500 #constraints=8288
51.76/51.87	c nbDecision=201000 #constraints=8292
51.96/52.00	c nbDecision=201500 #constraints=8297
52.06/52.14	c nbDecision=202000 #constraints=8310
52.16/52.26	c nbDecision=202500 #constraints=8315
52.26/52.39	c nbDecision=203000 #constraints=8323
52.46/52.50	c nbDecision=203500 #constraints=8325
52.56/52.63	c nbDecision=204000 #constraints=8327
52.67/52.74	c nbDecision=204500 #constraints=8334
52.77/52.84	c restart after 204801 decisions
52.86/52.91	c nbDecision=205000 #constraints=8340
52.96/53.06	c nbDecision=205500 #constraints=8366
53.06/53.19	c nbDecision=206000 #constraints=8371
53.26/53.31	c nbDecision=206500 #constraints=8378
53.36/53.46	c nbDecision=207000 #constraints=8424
53.56/53.65	c nbDecision=207500 #constraints=8483
53.66/53.80	c nbDecision=208000 #constraints=8508
53.86/53.93	c nbDecision=208500 #constraints=8520
54.06/54.14	c nbDecision=209000 #constraints=8618
54.16/54.29	c nbDecision=209500 #constraints=8665
54.36/54.46	c nbDecision=210000 #constraints=8706
54.55/54.63	c nbDecision=210500 #constraints=8759
54.75/54.85	c nbDecision=211000 #constraints=8833
54.96/55.05	c nbDecision=211500 #constraints=8906
55.25/55.35	c nbDecision=212000 #constraints=9045
55.35/55.49	c nbDecision=212500 #constraints=9058
56.06/56.11	c nbDecision=213000 #constraints=9369
56.15/56.28	c nbDecision=213500 #constraints=9398
56.45/56.53	c nbDecision=214000 #constraints=9451
56.55/56.65	c nbDecision=214500 #constraints=9455
56.75/56.83	c nbDecision=215000 #constraints=9477
57.06/57.11	c nbDecision=215500 #constraints=9547
57.25/57.38	c nbDecision=216000 #constraints=9614
57.66/57.70	c nbDecision=216500 #constraints=9704
58.06/58.17	c nbDecision=217000 #constraints=9853
58.56/58.66	c nbDecision=217500 #constraints=9966
59.06/59.14	c nbDecision=218000 #constraints=10100
59.45/59.56	c nbDecision=218500 #constraints=10197
59.75/59.86	c nbDecision=219000 #constraints=10248
60.36/60.46	c nbDecision=219500 #constraints=10391
61.35/61.42	c nbDecision=220000 #constraints=10640
61.55/61.62	c nbDecision=220500 #constraints=10651
61.75/61.83	c nbDecision=221000 #constraints=10670
62.76/62.81	c nbDecision=221500 #constraints=10879
63.36/63.41	c nbDecision=222000 #constraints=10999
63.46/63.55	c nbDecision=222500 #constraints=11007
63.66/63.79	c nbDecision=223000 #constraints=11031
65.05/65.13	c nbDecision=223500 #constraints=11308
66.15/66.23	c nbDecision=224000 #constraints=11561
67.35/67.49	c nbDecision=224500 #constraints=11752
68.55/68.60	c nbDecision=225000 #constraints=11911
68.75/68.88	c nbDecision=225500 #constraints=11930
70.06/70.11	c nbDecision=226000 #constraints=12066
70.26/70.32	c nbDecision=226500 #constraints=12073
71.46/71.53	c nbDecision=227000 #constraints=12210
71.65/71.73	c nbDecision=227500 #constraints=12215
71.85/71.92	c nbDecision=228000 #constraints=12224
73.35/73.48	c nbDecision=228500 #constraints=12385
74.76/74.83	c nbDecision=229000 #constraints=12566
76.05/76.20	c nbDecision=229500 #constraints=12684
76.65/76.78	c nbDecision=230000 #constraints=12740
77.25/77.36	c nbDecision=230500 #constraints=12783
79.45/79.52	c nbDecision=231000 #constraints=12968
80.55/80.61	c nbDecision=231500 #constraints=13087
80.75/80.87	c nbDecision=232000 #constraints=13104
83.24/83.30	c nbDecision=232500 #constraints=13310
84.65/84.74	c nbDecision=233000 #constraints=13470
84.94/85.02	c nbDecision=233500 #constraints=13484
85.14/85.22	c nbDecision=234000 #constraints=13490
85.54/85.63	c nbDecision=234500 #constraints=13507
88.85/88.92	c nbDecision=235000 #constraints=13802
93.04/93.11	c nbDecision=235500 #constraints=14266
93.94/94.05	c nbDecision=236000 #constraints=14331
94.14/94.27	c nbDecision=236500 #constraints=14333
96.44/96.59	c nbDecision=237000 #constraints=14484
96.74/96.85	c nbDecision=237500 #constraints=14491
99.54/99.68	c nbDecision=238000 #constraints=14661
101.94/102.03	c nbDecision=238500 #constraints=14848
102.44/102.55	c nbDecision=239000 #constraints=14859
103.54/103.62	c nbDecision=239500 #constraints=14920
107.94/108.05	c nbDecision=240000 #constraints=15210
108.24/108.30	c nbDecision=240500 #constraints=15215
113.84/113.99	c nbDecision=241000 #constraints=15576
118.74/118.81	c nbDecision=241500 #constraints=15966
119.74/119.85	c nbDecision=242000 #constraints=16033
120.03/120.11	c nbDecision=242500 #constraints=16038
120.43/120.52	c nbDecision=243000 #constraints=16046
126.33/126.41	c nbDecision=243500 #constraints=16381
126.83/126.90	c nbDecision=244000 #constraints=16409
127.43/127.56	c nbDecision=244500 #constraints=16422
132.03/132.12	c nbDecision=245000 #constraints=16685
139.53/139.69	c nbDecision=245500 #constraints=17153
141.33/141.41	c nbDecision=246000 #constraints=17257
141.53/141.67	c nbDecision=246500 #constraints=17260
146.62/146.73	c nbDecision=247000 #constraints=17476
154.92/155.06	c nbDecision=247500 #constraints=17941
157.33/157.48	c nbDecision=248000 #constraints=18060
158.02/158.11	c nbDecision=248500 #constraints=18079
160.72/160.90	c nbDecision=249000 #constraints=18160
170.71/170.80	c nbDecision=249500 #constraints=18653
172.72/172.87	c nbDecision=250000 #constraints=18834
179.52/179.65	c nbDecision=250500 #constraints=19256
187.31/187.42	c nbDecision=251000 #constraints=19650
187.51/187.67	c nbDecision=251500 #constraints=19651
188.11/188.24	c nbDecision=252000 #constraints=19659
190.01/190.14	c nbDecision=252500 #constraints=19712
193.70/193.89	c nbDecision=253000 #constraints=19823
195.71/195.83	c nbDecision=253500 #constraints=19882
195.90/196.00	c nbDecision=254000 #constraints=19889
199.90/200.03	c nbDecision=254500 #constraints=19998
200.40/200.51	c nbDecision=255000 #constraints=20008
202.01/202.19	c nbDecision=255500 #constraints=20058
210.61/210.80	c nbDecision=256000 #constraints=20337
213.50/213.61	c nbDecision=256500 #constraints=20428
213.90/214.08	c nbDecision=257000 #constraints=20437
218.90/219.02	c nbDecision=257500 #constraints=20579
219.70/219.84	c nbDecision=258000 #constraints=20602
226.50/226.61	c nbDecision=258500 #constraints=20791
229.99/230.19	c nbDecision=259000 #constraints=20922
231.39/231.53	c nbDecision=259500 #constraints=20969
236.50/236.67	c nbDecision=260000 #constraints=21110
243.39/243.51	c nbDecision=260500 #constraints=21331
244.89/245.07	c nbDecision=261000 #constraints=21362
253.28/253.44	c nbDecision=261500 #constraints=21640
259.28/259.45	c nbDecision=262000 #constraints=21887
268.38/268.58	c nbDecision=262500 #constraints=22168
268.78/268.92	c nbDecision=263000 #constraints=22172
272.58/272.77	c nbDecision=263500 #constraints=22258
275.18/275.36	c nbDecision=264000 #constraints=22327
287.27/287.42	c nbDecision=264500 #constraints=22675
288.87/289.03	c nbDecision=265000 #constraints=22701
289.47/289.69	c nbDecision=265500 #constraints=22719
289.97/290.11	c nbDecision=266000 #constraints=22724
302.38/302.51	c nbDecision=266500 #constraints=23068
303.57/303.74	c nbDecision=267000 #constraints=23096
304.67/304.82	c nbDecision=267500 #constraints=23113
319.46/319.61	c nbDecision=268000 #constraints=23512
330.06/330.26	c nbDecision=268500 #constraints=23852
331.86/332.03	c nbDecision=269000 #constraints=23914
332.76/332.97	c nbDecision=269500 #constraints=23922
333.16/333.31	c nbDecision=270000 #constraints=23926
342.36/342.57	c nbDecision=270500 #constraints=24151
348.56/348.70	c nbDecision=271000 #constraints=24296
348.76/348.91	c nbDecision=271500 #constraints=24305
349.96/350.16	c nbDecision=272000 #constraints=24324
358.45/358.67	c nbDecision=272500 #constraints=24514
365.95/366.16	c nbDecision=273000 #constraints=24705
378.35/378.58	c nbDecision=273500 #constraints=25104
380.95/381.11	c nbDecision=274000 #constraints=25170
390.84/391.05	c nbDecision=274500 #constraints=25413
410.13/410.36	c nbDecision=275000 #constraints=25892
414.33/414.50	c nbDecision=275500 #constraints=26014
415.83/416.04	c nbDecision=276000 #constraints=26044
421.33/421.54	c nbDecision=276500 #constraints=26164
438.43/438.68	c nbDecision=277000 #constraints=26640
457.52/457.72	c nbDecision=277500 #constraints=27127
469.81/470.09	c nbDecision=278000 #constraints=27477
472.31/472.51	c nbDecision=278500 #constraints=27508
476.11/476.34	c nbDecision=279000 #constraints=27678
476.61/476.87	c nbDecision=279500 #constraints=27685
485.20/485.43	c nbDecision=280000 #constraints=27831
486.50/486.70	c nbDecision=280500 #constraints=27848
502.80/503.03	c nbDecision=281000 #constraints=28157
503.61/503.86	c nbDecision=281500 #constraints=28172
506.20/506.43	c nbDecision=282000 #constraints=28200
517.40/517.63	c nbDecision=282500 #constraints=28386
525.40/525.63	c nbDecision=283000 #constraints=28535
538.49/538.78	c nbDecision=283500 #constraints=28789
561.08/561.36	c nbDecision=284000 #constraints=29270
563.88/564.15	c nbDecision=284500 #constraints=29324
566.48/566.72	c nbDecision=285000 #constraints=29380
577.38/577.69	c nbDecision=285500 #constraints=29571
585.67/585.96	c nbDecision=286000 #constraints=29706
587.97/588.29	c nbDecision=286500 #constraints=29733
605.57/605.80	c nbDecision=287000 #constraints=30093
616.36/616.61	c nbDecision=287500 #constraints=30280
623.26/623.59	c nbDecision=288000 #constraints=30410
628.86/629.18	c nbDecision=288500 #constraints=30507
650.55/650.86	c nbDecision=289000 #constraints=30873
653.75/654.01	c nbDecision=289500 #constraints=30910
669.24/669.52	c nbDecision=290000 #constraints=31237
671.64/671.90	c nbDecision=290500 #constraints=31276
690.34/690.62	c nbDecision=291000 #constraints=31620
707.53/707.84	c nbDecision=291500 #constraints=32037
731.73/732.02	c nbDecision=292000 #constraints=32478
745.82/746.11	c nbDecision=292500 #constraints=32765
750.32/750.60	c nbDecision=293000 #constraints=32934
751.02/751.33	c nbDecision=293500 #constraints=32942
752.42/752.75	c nbDecision=294000 #constraints=32952
772.50/772.80	c nbDecision=294500 #constraints=33245
776.50/776.82	c nbDecision=295000 #constraints=33304
779.30/779.66	c nbDecision=295500 #constraints=33331
809.59/809.90	c nbDecision=296000 #constraints=33771
829.78/830.17	c nbDecision=296500 #constraints=34157
832.78/833.18	c nbDecision=297000 #constraints=34214
834.18/834.55	c nbDecision=297500 #constraints=34227
837.58/837.91	c nbDecision=298000 #constraints=34259
870.17/870.50	c nbDecision=298500 #constraints=34747
884.37/884.76	c nbDecision=299000 #constraints=34998
889.57/889.97	c nbDecision=299500 #constraints=35070
890.36/890.71	c nbDecision=300000 #constraints=35075
902.06/902.49	c nbDecision=300500 #constraints=35200
917.86/918.29	c nbDecision=301000 #constraints=35565
927.85/928.25	c nbDecision=301500 #constraints=35769
943.64/944.07	c nbDecision=302000 #constraints=36058
960.05/960.46	c nbDecision=302500 #constraints=36313
983.93/984.38	c nbDecision=303000 #constraints=36657
1015.83/1016.23	c nbDecision=303500 #constraints=37099
1020.12/1020.53	c nbDecision=304000 #constraints=37164
1021.92/1022.39	c nbDecision=304500 #constraints=37177
1045.11/1045.55	c nbDecision=305000 #constraints=37444
1074.90/1075.33	c nbDecision=305500 #constraints=37906
1101.30/1101.72	c nbDecision=306000 #constraints=38367
1121.69/1122.16	c nbDecision=306500 #constraints=38667
1127.58/1128.07	c nbDecision=307000 #constraints=38841
1129.19/1129.67	c nbDecision=307500 #constraints=38849
1149.18/1149.65	c nbDecision=308000 #constraints=39046
1183.96/1184.42	c nbDecision=308500 #constraints=39527
1213.26/1213.76	c nbDecision=309000 #constraints=39994
1232.95/1233.49	c nbDecision=309500 #constraints=40283
1239.74/1240.20	c nbDecision=310000 #constraints=40445
1241.14/1241.68	c nbDecision=310500 #constraints=40468
1244.34/1244.82	c nbDecision=311000 #constraints=40499
1260.84/1261.34	c nbDecision=311500 #constraints=40753
1286.14/1286.62	c nbDecision=312000 #constraints=41210
1318.02/1318.56	c nbDecision=312500 #constraints=41681
1358.61/1359.17	c nbDecision=313000 #constraints=42155
1376.90/1377.42	c nbDecision=313500 #constraints=42598
1392.50/1393.08	c nbDecision=314000 #constraints=42979
1405.39/1405.95	c nbDecision=314500 #constraints=43249
1409.19/1409.73	c nbDecision=315000 #constraints=43499
1414.49/1415.07	c nbDecision=315500 #constraints=43688
1415.98/1416.58	c nbDecision=316000 #constraints=43729
1420.59/1421.14	c nbDecision=316500 #constraints=43764
1423.28/1423.86	c nbDecision=317000 #constraints=43792
1441.37/1441.93	c nbDecision=317500 #constraints=43942
1442.78/1443.35	c nbDecision=318000 #constraints=43961
1458.27/1458.89	c nbDecision=318500 #constraints=44093
1461.07/1461.61	c nbDecision=319000 #constraints=44122
1496.86/1497.46	c nbDecision=319500 #constraints=44454
1499.45/1500.03	c nbDecision=320000 #constraints=44472
1517.95/1518.53	c nbDecision=320500 #constraints=44618
1518.56/1519.13	c nbDecision=321000 #constraints=44626
1532.85/1533.42	c nbDecision=321500 #constraints=44725
1557.34/1557.99	c nbDecision=322000 #constraints=44959
1559.44/1560.03	c nbDecision=322500 #constraints=44970
1563.83/1564.42	c nbDecision=323000 #constraints=45017
1567.73/1568.38	c nbDecision=323500 #constraints=45036
1589.42/1590.07	c nbDecision=324000 #constraints=45231
1608.22/1608.87	c nbDecision=324500 #constraints=45410
1610.72/1611.40	c nbDecision=325000 #constraints=45426
1642.51/1643.18	c nbDecision=325500 #constraints=45732
1661.20/1661.84	c nbDecision=326000 #constraints=45931
1680.30/1680.92	c nbDecision=326500 #constraints=46096
1693.19/1693.86	c nbDecision=327000 #constraints=46235
1694.49/1695.14	c nbDecision=327500 #constraints=46251
1707.59/1708.20	c nbDecision=328000 #constraints=46348
1712.28/1712.98	c nbDecision=328500 #constraints=46397
1725.67/1726.33	c nbDecision=329000 #constraints=46494
1752.97/1753.67	c nbDecision=329500 #constraints=46750
1757.67/1758.39	c nbDecision=330000 #constraints=46777
1788.55/1789.26	c nbDecision=330500 #constraints=47044
1795.66/1796.32	c nbDecision=331000 #constraints=47109
1798.96/1799.69	c nbDecision=331500 #constraints=47129
1800.07/1800.71	Received signal 15
1800.07/1800.73	
1800.07/1800.73	s UNKNOWN
1800.07/1800.73	
1800.07/1800.73	c user time= 1799.64 s
1800.07/1800.73	c system time= 0.451931 s
1800.07/1800.73	c wall clock time=1800.73

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

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


[startup+0 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 29934
/proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=1620 CPUtime=0
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 133043855 1658880 174 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 405 174 126 317 0 84 0

[startup+0.0489021 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 29934
/proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=2180 CPUtime=0.04
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 370 0 0 0 4 0 0 0 18 0 1 0 133043855 2232320 319 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 545 319 131 317 0 224 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 2180

[startup+0.101911 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 29934
/proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=3104 CPUtime=0.09
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 611 0 0 0 9 0 0 0 18 0 1 0 133043855 3178496 560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 776 560 131 317 0 455 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3104

[startup+0.301951 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 29934
/proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=6900 CPUtime=0.29
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 1564 0 0 0 29 0 0 0 19 0 1 0 133043855 7065600 1513 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 1725 1513 137 317 0 1404 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 6900

[startup+0.702029 s]
/proc/loadavg: 0.99 0.97 0.92 3/77 29934
/proc/meminfo: memFree=1455872/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=7068 CPUtime=0.69
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 1581 0 0 0 69 0 0 0 23 0 1 0 133043855 7237632 1530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606697 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 1767 1530 139 317 0 1446 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7068

[startup+1.50118 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1450040/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=7456 CPUtime=1.49
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 1710 0 0 0 149 0 0 0 25 0 1 0 133043855 7634944 1659 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 1864 1659 139 317 0 1543 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7456

[startup+3.10149 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1448760/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=9020 CPUtime=3.09
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 2074 0 0 0 308 1 0 0 25 0 1 0 133043855 9236480 2023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 2255 2023 139 317 0 1934 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 9020

[startup+6.30111 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1446392/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=11172 CPUtime=6.29
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 2633 0 0 0 628 1 0 0 25 0 1 0 133043855 11440128 2582 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 2793 2582 170 317 0 2472 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 11172

[startup+12.7024 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1443960/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=13256 CPUtime=12.69
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 3154 0 0 0 1267 2 0 0 25 0 1 0 133043855 13574144 3103 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 3314 3103 170 317 0 2993 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 13256

[startup+25.5018 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1440248/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=16924 CPUtime=25.48
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 4084 0 0 0 2545 3 0 0 25 0 1 0 133043855 17330176 4033 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 4231 4033 170 317 0 3910 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 16924

[startup+51.1018 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1436024/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=21492 CPUtime=51.07
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 5203 0 0 0 5102 5 0 0 25 0 1 0 133043855 22007808 5102 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 5373 5102 170 317 0 5052 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 21492

[startup+102.306 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1418360/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=40212 CPUtime=102.24
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 9694 0 0 0 10215 9 0 0 25 0 1 0 133043855 41177088 9494 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 10053 9494 170 317 0 9732 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 40212

[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1410104/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=48872 CPUtime=162.22
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 11758 0 0 0 16210 12 0 0 25 0 1 0 133043855 50044928 11558 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718522 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 12218 11558 170 317 0 11897 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 48872

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1404024/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=54224 CPUtime=222.2
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 13270 0 0 0 22206 14 0 0 25 0 1 0 133043855 55525376 13070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 13556 13070 170 317 0 13235 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 54224

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1399544/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=58300 CPUtime=282.18
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 14395 0 0 0 28202 16 0 0 25 0 1 0 133043855 59699200 14195 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712576 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 14575 14195 170 317 0 14254 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 58300

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1394680/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=66876 CPUtime=342.16
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 16388 0 0 0 34198 18 0 0 25 0 1 0 133043855 68481024 15396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718550 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 16719 15396 170 317 0 16398 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 66876

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1390776/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=70668 CPUtime=402.13
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 17421 0 0 0 40194 19 0 0 25 0 1 0 133043855 72364032 16363 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 17667 16363 170 317 0 17346 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 70668

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1386744/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=74496 CPUtime=462.12
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 18439 0 0 0 46191 21 0 0 25 0 1 0 133043855 76283904 17381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 18624 17381 170 317 0 18303 0
Current children cumulated CPU time (s) 462.12
Current children cumulated vsize (KiB) 74496

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1383672/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=77380 CPUtime=522.1
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 19242 0 0 0 52188 22 0 0 25 0 1 0 133043855 79237120 18151 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 19345 18151 170 317 0 19024 0
Current children cumulated CPU time (s) 522.1
Current children cumulated vsize (KiB) 77380

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1380664/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=80928 CPUtime=582.07
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 20183 0 0 0 58184 23 0 0 25 0 1 0 133043855 82870272 18894 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 20232 18894 170 317 0 19911 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 80928

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1377976/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=83164 CPUtime=642.06
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 20848 0 0 0 64182 24 0 0 25 0 1 0 133043855 85159936 19559 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 20791 19559 170 317 0 20470 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 83164


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

[startup+882.302 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1367032/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=92912 CPUtime=881.97
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 23602 0 0 0 88169 28 0 0 25 0 1 0 133043855 95141888 22280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 23228 22280 170 317 0 22907 0
Current children cumulated CPU time (s) 881.97
Current children cumulated vsize (KiB) 92912

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1364344/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=95288 CPUtime=941.94
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 24279 0 0 0 94165 29 0 0 25 0 1 0 133043855 97574912 22957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 23822 22957 170 317 0 23501 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 95288

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1362104/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=97244 CPUtime=1001.93
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 24828 0 0 0 100162 31 0 0 25 0 1 0 133043855 99577856 23506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 24311 23506 170 317 0 23990 0
Current children cumulated CPU time (s) 1001.93
Current children cumulated vsize (KiB) 97244

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1360120/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=98952 CPUtime=1061.9
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 25328 0 0 0 106159 31 0 0 25 0 1 0 133043855 101326848 24006 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 24738 24006 170 317 0 24417 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 98952

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1357560/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=101100 CPUtime=1121.89
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 25957 0 0 0 112156 33 0 0 25 0 1 0 133043855 103526400 24635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718449 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 25275 24635 170 317 0 24954 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 101100

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1355256/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=110368 CPUtime=1181.87
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 28172 0 0 0 118153 34 0 0 25 0 1 0 133043855 113016832 25225 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 27592 25225 170 317 0 27271 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 110368

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1352696/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=114768 CPUtime=1241.84
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 29380 0 0 0 124149 35 0 0 25 0 1 0 133043855 117522432 25847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 28692 25847 170 317 0 28371 0
Current children cumulated CPU time (s) 1241.84
Current children cumulated vsize (KiB) 114768

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1350008/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=117632 CPUtime=1301.83
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 30220 0 0 0 130146 37 0 0 25 0 1 0 133043855 120455168 26491 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 29408 26491 170 317 0 29087 0
Current children cumulated CPU time (s) 1301.83
Current children cumulated vsize (KiB) 117632

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1348152/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=119728 CPUtime=1361.81
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 30799 0 0 0 136143 38 0 0 25 0 1 0 133043855 122601472 26972 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 29932 26972 170 317 0 29611 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 119728

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1344056/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=123400 CPUtime=1421.79
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 31855 0 0 0 142140 39 0 0 25 0 1 0 133043855 126361600 27995 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 30850 27995 170 317 0 30529 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 123400

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1342712/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=124580 CPUtime=1481.76
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 32191 0 0 0 148136 40 0 0 25 0 1 0 133043855 127569920 28331 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 31145 28331 170 317 0 30824 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 124580

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1341368/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=125632 CPUtime=1541.74
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 32516 0 0 0 154133 41 0 0 25 0 1 0 133043855 128647168 28656 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 31408 28656 170 317 0 31087 0
Current children cumulated CPU time (s) 1541.74
Current children cumulated vsize (KiB) 125632

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1339960/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=126952 CPUtime=1601.72
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 32877 0 0 0 160131 41 0 0 25 0 1 0 133043855 129998848 29017 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 31738 29017 170 317 0 31417 0
Current children cumulated CPU time (s) 1601.72
Current children cumulated vsize (KiB) 126952

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1338424/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=128260 CPUtime=1661.71
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 33284 0 0 0 166128 43 0 0 25 0 1 0 133043855 131338240 29391 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134746929 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 32065 29391 170 317 0 31744 0
Current children cumulated CPU time (s) 1661.71
Current children cumulated vsize (KiB) 128260

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1337080/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=129588 CPUtime=1721.68
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 33649 0 0 0 172125 43 0 0 25 0 1 0 133043855 132698112 29756 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 32397 29756 170 317 0 32076 0
Current children cumulated CPU time (s) 1721.68
Current children cumulated vsize (KiB) 129588

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1335672/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=130880 CPUtime=1781.66
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 34020 0 0 0 178122 44 0 0 25 0 1 0 133043855 134021120 30094 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 32720 30094 170 317 0 32399 0
Current children cumulated CPU time (s) 1781.66
Current children cumulated vsize (KiB) 130880



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1335352/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=131144 CPUtime=1800.07
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 34108 0 0 0 179962 45 0 0 25 0 1 0 133043855 134291456 30182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 32786 30182 170 317 0 32465 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 131144

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.92 2/78 29935
/proc/meminfo: memFree=1335352/2055920 swapFree=4169224/4192956
[pid=29934] ppid=29932 vsize=131144 CPUtime=1800.07
/proc/29934/stat : 29934 (oree) R 29932 29934 29591 0 -1 4194304 34108 0 0 0 179962 45 0 0 25 0 1 0 133043855 134291456 30182 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/29934/statm: 32786 30182 170 317 0 32465 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 131144

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.13
CPU user time (s): 1799.66
CPU system time (s): 0.470928
CPU usage (%): 99.9645
Max. virtual memory (cumulated for all children) (KiB): 131144

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

runsolver used 2.10968 second user time and 4.45232 second system time

The end

Launcher Data (download as text)

Begin job on node23 on Tue Apr 17 23:07:47 UTC 2007

IDJOB= 357006
IDBENCH= 1768
IDSOLVER= 172
FILE ID= node23/357006-1176851267

PBS_JOBID= 4590217

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  1f57d7f7253e44124d4d26029bd38b8a

RANDOM SEED= 224801012

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node23.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.276
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.276
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:       1456280 kB
Buffers:         48976 kB
Cached:         435772 kB
SwapCached:       2676 kB
Active:         335280 kB
Inactive:       195220 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1456280 kB
SwapTotal:     4192956 kB
SwapFree:      4169224 kB
Dirty:            2116 kB
Writeback:           0 kB
Mapped:          53204 kB
Slab:            54632 kB
Committed_AS:  2417404 kB
PageTables:       1852 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= 66527 MiB

End job on node23 on Tue Apr 17 23:37:50 UTC 2007