Trace number 420473

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 NameAnswerCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.19 1800.73

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/
contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb
MD5SUMe6fa7dd6dacda5f2ff8523ce05dc4471
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark9.10462
Has Objective FunctionNO
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 0
Optimality of the best value was proved NO
Number of variables4970
Total number of constraints9731
Number of constraints which are clauses9731
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 7
Number of bits of the biggest sum of numbers3
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.10/0.11	c ...done
0.10/0.11	c #vars=4970 #constraints=9731 hasObjective=no
0.10/0.13	c res. mode=mod
0.10/0.13	c VSIDS like heuristics
0.10/0.13	c complete search running
0.19/0.22	c restart after 401 decisions
0.19/0.24	c nbDecision=500 #constraints=9731
0.29/0.30	c restart after 801 decisions
0.29/0.35	c nbDecision=1000 #constraints=9731
0.39/0.44	c nbDecision=1500 #constraints=9731
0.39/0.46	c restart after 1601 decisions
0.49/0.55	c nbDecision=2000 #constraints=9731
0.59/0.65	c nbDecision=2500 #constraints=9732
0.69/0.74	c nbDecision=3000 #constraints=9733
0.69/0.77	c restart after 3201 decisions
0.79/0.84	c nbDecision=3500 #constraints=9733
0.89/0.94	c nbDecision=4000 #constraints=9733
1.00/1.02	c nbDecision=4500 #constraints=9733
1.10/1.12	c nbDecision=5000 #constraints=9747
1.19/1.20	c nbDecision=5500 #constraints=9750
1.19/1.28	c nbDecision=6000 #constraints=9751
1.29/1.37	c restart after 6401 decisions
1.29/1.38	c nbDecision=6500 #constraints=9782
1.39/1.49	c nbDecision=7000 #constraints=9782
1.49/1.58	c nbDecision=7500 #constraints=9782
1.59/1.66	c nbDecision=8000 #constraints=9783
1.69/1.75	c nbDecision=8500 #constraints=9783
1.79/1.83	c nbDecision=9000 #constraints=9784
1.89/1.91	c nbDecision=9500 #constraints=9786
1.89/1.99	c nbDecision=10000 #constraints=9786
1.99/2.07	c nbDecision=10500 #constraints=9788
2.10/2.16	c nbDecision=11000 #constraints=9795
2.20/2.24	c nbDecision=11500 #constraints=9795
2.29/2.31	c nbDecision=12000 #constraints=9796
2.29/2.38	c nbDecision=12500 #constraints=9796
2.39/2.44	c restart after 12801 decisions
2.39/2.46	c nbDecision=13000 #constraints=9803
2.49/2.56	c nbDecision=13500 #constraints=9803
2.59/2.65	c nbDecision=14000 #constraints=9804
2.69/2.74	c nbDecision=14500 #constraints=9805
2.79/2.82	c nbDecision=15000 #constraints=9805
2.89/2.91	c nbDecision=15500 #constraints=9808
2.89/2.98	c nbDecision=16000 #constraints=9808
2.99/3.07	c nbDecision=16500 #constraints=9810
3.09/3.14	c nbDecision=17000 #constraints=9810
3.20/3.22	c nbDecision=17500 #constraints=9814
3.20/3.29	c nbDecision=18000 #constraints=9814
3.30/3.36	c nbDecision=18500 #constraints=9818
3.39/3.43	c nbDecision=19000 #constraints=9819
3.49/3.50	c nbDecision=19500 #constraints=9820
3.49/3.57	c nbDecision=20000 #constraints=9824
3.59/3.65	c nbDecision=20500 #constraints=9842
3.69/3.73	c nbDecision=21000 #constraints=9845
3.79/3.81	c nbDecision=21500 #constraints=9845
3.79/3.88	c nbDecision=22000 #constraints=9849
3.89/3.95	c nbDecision=22500 #constraints=9849
3.99/4.02	c nbDecision=23000 #constraints=9850
3.99/4.09	c nbDecision=23500 #constraints=9861
4.09/4.16	c nbDecision=24000 #constraints=9864
4.19/4.23	c nbDecision=24500 #constraints=9871
4.19/4.29	c nbDecision=25000 #constraints=9871
4.29/4.36	c nbDecision=25500 #constraints=9875
4.29/4.37	c restart after 25601 decisions
4.39/4.41	c nbDecision=26000 #constraints=9875
4.49/4.51	c nbDecision=26500 #constraints=9875
4.49/4.60	c nbDecision=27000 #constraints=9878
4.59/4.68	c nbDecision=27500 #constraints=9878
4.69/4.76	c nbDecision=28000 #constraints=9879
4.79/4.83	c nbDecision=28500 #constraints=9879
4.79/4.90	c nbDecision=29000 #constraints=9881
4.89/4.97	c nbDecision=29500 #constraints=9891
4.99/5.07	c nbDecision=30000 #constraints=9891
5.09/5.15	c nbDecision=30500 #constraints=9891
5.19/5.22	c nbDecision=31000 #constraints=9891
5.29/5.30	c nbDecision=31500 #constraints=9900
5.29/5.38	c nbDecision=32000 #constraints=9900
5.39/5.44	c nbDecision=32500 #constraints=9900
5.49/5.52	c nbDecision=33000 #constraints=9901
5.49/5.59	c nbDecision=33500 #constraints=9901
5.59/5.66	c nbDecision=34000 #constraints=9909
5.69/5.72	c nbDecision=34500 #constraints=9910
5.69/5.78	c nbDecision=35000 #constraints=9914
5.79/5.85	c nbDecision=35500 #constraints=9925
5.89/5.93	c nbDecision=36000 #constraints=9925
5.89/5.99	c nbDecision=36500 #constraints=9925
5.99/6.06	c nbDecision=37000 #constraints=9933
6.09/6.14	c nbDecision=37500 #constraints=9945
6.19/6.20	c nbDecision=38000 #constraints=9945
6.19/6.26	c nbDecision=38500 #constraints=9952
6.29/6.35	c nbDecision=39000 #constraints=9988
6.39/6.42	c nbDecision=39500 #constraints=9988
6.49/6.50	c nbDecision=40000 #constraints=10000
6.49/6.56	c nbDecision=40500 #constraints=10000
6.59/6.63	c nbDecision=41000 #constraints=10009
6.59/6.69	c nbDecision=41500 #constraints=10009
6.69/6.75	c nbDecision=42000 #constraints=10013
6.79/6.81	c nbDecision=42500 #constraints=10014
6.79/6.86	c nbDecision=43000 #constraints=10016
6.89/6.92	c nbDecision=43500 #constraints=10023
6.89/6.98	c nbDecision=44000 #constraints=10027
6.99/7.04	c nbDecision=44500 #constraints=10038
7.09/7.11	c nbDecision=45000 #constraints=10045
7.09/7.19	c nbDecision=45500 #constraints=10061
7.19/7.24	c nbDecision=46000 #constraints=10069
7.29/7.32	c nbDecision=46500 #constraints=10075
7.39/7.40	c nbDecision=47000 #constraints=10077
7.39/7.45	c nbDecision=47500 #constraints=10081
7.49/7.53	c nbDecision=48000 #constraints=10081
7.49/7.59	c nbDecision=48500 #constraints=10085
7.59/7.67	c nbDecision=49000 #constraints=10085
7.69/7.74	c nbDecision=49500 #constraints=10086
7.79/7.80	c nbDecision=50000 #constraints=10096
7.79/7.86	c nbDecision=50500 #constraints=10098
7.89/7.94	c nbDecision=51000 #constraints=10098
7.89/7.96	c restart after 51201 decisions
7.89/7.99	c nbDecision=51500 #constraints=10098
7.99/8.02	c nbDecision=52000 #constraints=10101
8.09/8.11	c nbDecision=52500 #constraints=10101
8.09/8.19	c nbDecision=53000 #constraints=10101
8.19/8.27	c nbDecision=53500 #constraints=10103
8.29/8.37	c nbDecision=54000 #constraints=10112
8.39/8.45	c nbDecision=54500 #constraints=10113
8.49/8.53	c nbDecision=55000 #constraints=10122
8.59/8.62	c nbDecision=55500 #constraints=10140
8.69/8.70	c nbDecision=56000 #constraints=10140
8.69/8.76	c nbDecision=56500 #constraints=10140
8.79/8.84	c nbDecision=57000 #constraints=10141
8.89/8.90	c nbDecision=57500 #constraints=10141
8.89/8.97	c nbDecision=58000 #constraints=10142
8.99/9.03	c nbDecision=58500 #constraints=10142
8.99/9.09	c nbDecision=59000 #constraints=10145
9.09/9.14	c nbDecision=59500 #constraints=10149
9.09/9.19	c nbDecision=60000 #constraints=10150
9.19/9.26	c nbDecision=60500 #constraints=10157
9.29/9.34	c nbDecision=61000 #constraints=10182
9.39/9.41	c nbDecision=61500 #constraints=10182
9.39/9.46	c nbDecision=62000 #constraints=10182
9.49/9.51	c nbDecision=62500 #constraints=10183
9.49/9.56	c nbDecision=63000 #constraints=10186
9.49/9.59	c nbDecision=63500 #constraints=10186
9.59/9.61	c nbDecision=64000 #constraints=10190
9.59/9.68	c nbDecision=64500 #constraints=10202
9.69/9.75	c nbDecision=65000 #constraints=10203
9.69/9.80	c nbDecision=65500 #constraints=10203
9.79/9.85	c nbDecision=66000 #constraints=10205
9.89/9.91	c nbDecision=66500 #constraints=10205
9.89/9.96	c nbDecision=67000 #constraints=10205
9.99/10.01	c nbDecision=67500 #constraints=10206
9.99/10.06	c nbDecision=68000 #constraints=10206
9.99/10.09	c nbDecision=68500 #constraints=10206
10.09/10.13	c nbDecision=69000 #constraints=10213
10.19/10.20	c nbDecision=69500 #constraints=10213
10.19/10.26	c nbDecision=70000 #constraints=10214
10.29/10.33	c nbDecision=70500 #constraints=10214
10.29/10.39	c nbDecision=71000 #constraints=10214
10.39/10.46	c nbDecision=71500 #constraints=10235
10.49/10.54	c nbDecision=72000 #constraints=10236
10.59/10.62	c nbDecision=72500 #constraints=10236
10.59/10.68	c nbDecision=73000 #constraints=10237
10.69/10.72	c nbDecision=73500 #constraints=10237
10.69/10.78	c nbDecision=74000 #constraints=10243
10.79/10.82	c nbDecision=74500 #constraints=10243
10.79/10.84	c nbDecision=75000 #constraints=10243
10.89/10.92	c nbDecision=75500 #constraints=10245
10.89/11.00	c nbDecision=76000 #constraints=10245
10.99/11.06	c nbDecision=76500 #constraints=10245
11.09/11.13	c nbDecision=77000 #constraints=10246
11.19/11.20	c nbDecision=77500 #constraints=10246
11.19/11.25	c nbDecision=78000 #constraints=10246
11.19/11.29	c nbDecision=78500 #constraints=10246
11.29/11.31	c nbDecision=79000 #constraints=10246
11.29/11.36	c nbDecision=79500 #constraints=10248
11.49/11.52	c nbDecision=80000 #constraints=10344
11.69/11.70	c nbDecision=80500 #constraints=10454
12.09/12.17	c nbDecision=81000 #constraints=10805
12.29/12.31	c nbDecision=81500 #constraints=10887
12.29/12.34	c nbDecision=82000 #constraints=10893
12.29/12.39	c nbDecision=82500 #constraints=10903
12.39/12.48	c nbDecision=83000 #constraints=10937
12.49/12.57	c nbDecision=83500 #constraints=10940
12.69/12.70	c nbDecision=84000 #constraints=10999
12.79/12.83	c nbDecision=84500 #constraints=11054
12.89/12.91	c nbDecision=85000 #constraints=11055
12.89/12.99	c nbDecision=85500 #constraints=11057
12.99/13.05	c nbDecision=86000 #constraints=11058
13.09/13.13	c nbDecision=86500 #constraints=11058
13.19/13.20	c nbDecision=87000 #constraints=11059
13.19/13.27	c nbDecision=87500 #constraints=11062
13.29/13.38	c nbDecision=88000 #constraints=11105
13.39/13.44	c nbDecision=88500 #constraints=11128
13.39/13.48	c nbDecision=89000 #constraints=11133
13.49/13.52	c nbDecision=89500 #constraints=11139
13.68/13.75	c nbDecision=90000 #constraints=11285
14.08/14.20	c nbDecision=90500 #constraints=11564
14.78/14.83	c nbDecision=91000 #constraints=11892
14.98/15.06	c nbDecision=91500 #constraints=12029
15.28/15.31	c nbDecision=92000 #constraints=12196
15.28/15.36	c nbDecision=92500 #constraints=12203
15.38/15.43	c nbDecision=93000 #constraints=12203
15.48/15.51	c nbDecision=93500 #constraints=12203
15.48/15.59	c nbDecision=94000 #constraints=12217
15.58/15.65	c nbDecision=94500 #constraints=12217
15.68/15.72	c nbDecision=95000 #constraints=12221
15.68/15.79	c nbDecision=95500 #constraints=12221
15.78/15.87	c nbDecision=96000 #constraints=12245
16.08/16.11	c nbDecision=96500 #constraints=12423
16.18/16.24	c nbDecision=97000 #constraints=12479
16.79/16.80	c nbDecision=97500 #constraints=12867
17.49/17.53	c nbDecision=98000 #constraints=13258
18.39/18.48	c nbDecision=98500 #constraints=13640
19.48/19.55	c nbDecision=99000 #constraints=14045
20.68/20.74	c nbDecision=99500 #constraints=14408
21.48/21.59	c nbDecision=100000 #constraints=14622
21.58/21.62	c nbDecision=100500 #constraints=14624
21.58/21.66	c nbDecision=101000 #constraints=14626
21.68/21.70	c nbDecision=101500 #constraints=14628
21.68/21.76	c nbDecision=102000 #constraints=14647
21.68/21.79	c restart after 102401 decisions
21.78/21.86	c nbDecision=102500 #constraints=14658
21.99/22.05	c nbDecision=103000 #constraints=14734
22.38/22.41	c nbDecision=103500 #constraints=14927
22.78/22.83	c nbDecision=104000 #constraints=15157
23.58/23.69	c nbDecision=104500 #constraints=15554
24.58/24.64	c nbDecision=105000 #constraints=15932
25.48/25.57	c nbDecision=105500 #constraints=16260
26.39/26.43	c nbDecision=106000 #constraints=16536
28.18/28.22	c nbDecision=106500 #constraints=16968
29.88/29.99	c nbDecision=107000 #constraints=17353
31.78/31.89	c nbDecision=107500 #constraints=17715
33.68/33.80	c nbDecision=108000 #constraints=18091
36.38/36.48	c nbDecision=108500 #constraints=18473
39.27/39.33	c nbDecision=109000 #constraints=18842
43.07/43.16	c nbDecision=109500 #constraints=19232
46.77/46.89	c nbDecision=110000 #constraints=19602
50.98/51.04	c nbDecision=110500 #constraints=19980
55.67/55.78	c nbDecision=111000 #constraints=20361
62.47/62.50	c nbDecision=111500 #constraints=20786
68.27/68.32	c nbDecision=112000 #constraints=21153
73.76/73.84	c nbDecision=112500 #constraints=21500
81.66/81.73	c nbDecision=113000 #constraints=21904
87.57/87.63	c nbDecision=113500 #constraints=22266
94.16/94.23	c nbDecision=114000 #constraints=22658
101.46/101.53	c nbDecision=114500 #constraints=23005
110.05/110.17	c nbDecision=115000 #constraints=23393
121.06/121.14	c nbDecision=115500 #constraints=23789
130.86/130.92	c nbDecision=116000 #constraints=24171
139.85/139.92	c nbDecision=116500 #constraints=24531
148.95/149.02	c nbDecision=117000 #constraints=24881
160.55/160.62	c nbDecision=117500 #constraints=25232
172.85/172.91	c nbDecision=118000 #constraints=25626
184.44/184.57	c nbDecision=118500 #constraints=26006
194.74/194.84	c nbDecision=119000 #constraints=26370
205.04/205.16	c nbDecision=119500 #constraints=26736
217.04/217.14	c nbDecision=120000 #constraints=27133
230.63/230.70	c nbDecision=120500 #constraints=27546
245.63/245.78	c nbDecision=121000 #constraints=27915
262.52/262.66	c nbDecision=121500 #constraints=28323
276.91/277.01	c nbDecision=122000 #constraints=28715
291.92/292.09	c nbDecision=122500 #constraints=29112
306.91/307.08	c nbDecision=123000 #constraints=29525
324.00/324.15	c nbDecision=123500 #constraints=29969
341.51/341.66	c nbDecision=124000 #constraints=30401
359.20/359.40	c nbDecision=124500 #constraints=30833
375.00/375.16	c nbDecision=125000 #constraints=31234
392.89/393.00	c nbDecision=125500 #constraints=31628
412.88/413.09	c nbDecision=126000 #constraints=32042
436.49/436.70	c nbDecision=126500 #constraints=32474
456.67/456.83	c nbDecision=127000 #constraints=32889
478.96/479.15	c nbDecision=127500 #constraints=33309
503.16/503.36	c nbDecision=128000 #constraints=33738
526.55/526.74	c nbDecision=128500 #constraints=34156
549.15/549.35	c nbDecision=129000 #constraints=34572
575.05/575.23	c nbDecision=129500 #constraints=35039
601.84/602.01	c nbDecision=130000 #constraints=35486
624.43/624.60	c nbDecision=130500 #constraints=35897
645.13/645.32	c nbDecision=131000 #constraints=36300
664.82/665.00	c nbDecision=131500 #constraints=36664
686.62/686.87	c nbDecision=132000 #constraints=37025
711.01/711.26	c nbDecision=132500 #constraints=37426
735.91/736.12	c nbDecision=133000 #constraints=37848
763.20/763.43	c nbDecision=133500 #constraints=38264
789.79/790.08	c nbDecision=134000 #constraints=38695
815.69/815.98	c nbDecision=134500 #constraints=39099
843.08/843.32	c nbDecision=135000 #constraints=39511
878.37/878.64	c nbDecision=135500 #constraints=39970
912.46/912.74	c nbDecision=136000 #constraints=40404
942.46/942.76	c nbDecision=136500 #constraints=40828
972.15/972.46	c nbDecision=137000 #constraints=41261
1006.64/1006.92	c nbDecision=137500 #constraints=41720
1040.83/1041.17	c nbDecision=138000 #constraints=42199
1064.72/1065.07	c nbDecision=138500 #constraints=42588
1089.42/1089.71	c nbDecision=139000 #constraints=42983
1114.51/1114.81	c nbDecision=139500 #constraints=43359
1142.20/1142.51	c nbDecision=140000 #constraints=43765
1167.89/1168.26	c nbDecision=140500 #constraints=44168
1196.39/1196.75	c nbDecision=141000 #constraints=44573
1224.18/1224.54	c nbDecision=141500 #constraints=44992
1252.78/1253.12	c nbDecision=142000 #constraints=45403
1281.37/1281.71	c nbDecision=142500 #constraints=45803
1311.46/1311.84	c nbDecision=143000 #constraints=46193
1345.15/1345.57	c nbDecision=143500 #constraints=46630
1380.24/1380.64	c nbDecision=144000 #constraints=47069
1414.53/1414.98	c nbDecision=144500 #constraints=47487
1453.63/1454.10	c nbDecision=145000 #constraints=47918
1488.92/1489.32	c nbDecision=145500 #constraints=48323
1520.41/1520.82	c nbDecision=146000 #constraints=48688
1554.19/1554.65	c nbDecision=146500 #constraints=49093
1590.42/1590.93	c nbDecision=147000 #constraints=49480
1633.09/1633.66	c nbDecision=147500 #constraints=49904
1669.59/1670.11	c nbDecision=148000 #constraints=50313
1710.07/1710.67	c nbDecision=148500 #constraints=50706
1749.67/1750.23	c nbDecision=149000 #constraints=51094
1786.06/1786.67	c nbDecision=149500 #constraints=51476
1800.06/1800.61	Received signal 15
1800.16/1800.71	
1800.16/1800.71	s UNKNOWN
1800.16/1800.71	
1800.16/1800.71	c user time= 1799.85 s
1800.16/1800.71	c system time= 0.328949 s
1800.16/1800.71	c wall clock time=1800.71

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node4/watcher-420473-1177425307 -o ROOT/results/node4/solver-420473-1177425307 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420473-1177425307/instance-420473-1177425307.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.78 0.95 0.98 3/77 17472
/proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=1468 CPUtime=0
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 218568434 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 367 163 130 317 0 46 0

[startup+0.0686941 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 17472
/proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=2684 CPUtime=0.06
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 486 0 0 0 6 0 0 0 18 0 1 0 218568434 2748416 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 671 469 130 317 0 350 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 2684

[startup+0.102697 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 17472
/proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=3364 CPUtime=0.1
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 647 0 0 0 10 0 0 0 18 0 1 0 218568434 3444736 630 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 841 630 130 317 0 520 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 3364

[startup+0.302716 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 17472
/proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=4908 CPUtime=0.29
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1054 0 0 0 29 0 0 0 19 0 1 0 218568434 5025792 1037 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 1227 1037 138 317 0 906 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 4908

[startup+0.701754 s]
/proc/loadavg: 0.78 0.95 0.98 3/77 17472
/proc/meminfo: memFree=1900120/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=5436 CPUtime=0.69
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 69 0 0 0 23 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385343 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 1359 1096 139 317 0 1038 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5436

[startup+1.50183 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 17473
/proc/meminfo: memFree=1896080/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=5436 CPUtime=1.49
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 149 0 0 0 25 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 1359 1096 139 317 0 1038 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5436

[startup+3.10198 s]
/proc/loadavg: 0.78 0.95 0.98 2/78 17473
/proc/meminfo: memFree=1895952/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=5436 CPUtime=3.09
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 309 0 0 0 25 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 1359 1096 139 317 0 1038 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 5436

[startup+6.30129 s]
/proc/loadavg: 0.80 0.95 0.98 2/78 17473
/proc/meminfo: memFree=1895888/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=5436 CPUtime=6.29
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1180 0 0 0 629 0 0 0 25 0 1 0 218568434 5566464 1096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 1359 1096 139 317 0 1038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 5436

[startup+12.7019 s]
/proc/loadavg: 0.81 0.95 0.98 2/78 17473
/proc/meminfo: memFree=1895696/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=5960 CPUtime=12.69
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 1297 0 0 0 1269 0 0 0 25 0 1 0 218568434 6103040 1213 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 1490 1213 139 317 0 1169 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 5960

[startup+25.5011 s]
/proc/loadavg: 0.85 0.95 0.98 2/78 17473
/proc/meminfo: memFree=1890768/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=10556 CPUtime=25.48
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 2513 0 0 0 2547 1 0 0 25 0 1 0 218568434 10809344 2429 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 2639 2429 139 317 0 2318 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 10556

[startup+51.1016 s]
/proc/loadavg: 0.90 0.96 0.98 2/78 17473
/proc/meminfo: memFree=1886416/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=15368 CPUtime=51.08
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 3700 0 0 0 5105 3 0 0 25 0 1 0 218568434 15736832 3484 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712543 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 3842 3484 139 317 0 3521 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 15368

[startup+102.305 s]
/proc/loadavg: 0.96 0.96 0.98 2/78 17473
/proc/meminfo: memFree=1882896/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=19020 CPUtime=102.26
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 4564 0 0 0 10222 4 0 0 25 0 1 0 218568434 19476480 4348 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 4755 4348 139 317 0 4434 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 19020

[startup+162.301 s]
/proc/loadavg: 0.98 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1880080/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=21736 CPUtime=162.24
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 5245 0 0 0 16219 5 0 0 25 0 1 0 218568434 22257664 5029 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 5434 5029 139 317 0 5113 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 21736

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1877584/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=24484 CPUtime=222.24
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 5862 0 0 0 22217 7 0 0 25 0 1 0 218568434 25071616 5646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 6121 5646 139 317 0 5800 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 24484

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1875600/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=26344 CPUtime=282.22
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 6350 0 0 0 28214 8 0 0 25 0 1 0 218568434 26976256 6134 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 6586 6134 139 317 0 6265 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 26344

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1873424/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=28388 CPUtime=342.21
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 6868 0 0 0 34212 9 0 0 25 0 1 0 218568434 29069312 6652 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 7097 6652 139 317 0 6776 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 28388

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1871440/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=30268 CPUtime=402.18
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 7349 0 0 0 40209 9 0 0 25 0 1 0 218568434 30994432 7133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 7567 7133 139 317 0 7246 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 30268

[startup+462.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1869904/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=31960 CPUtime=462.17
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 7755 0 0 0 46207 10 0 0 25 0 1 0 218568434 32727040 7506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 7990 7506 139 317 0 7669 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 31960

[startup+522.303 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1868432/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=33532 CPUtime=522.15
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 8176 0 0 0 52204 11 0 0 25 0 1 0 218568434 34336768 7861 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 8383 7861 139 317 0 8062 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 33532

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1866832/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=35232 CPUtime=582.14
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 8613 0 0 0 58202 12 0 0 25 0 1 0 218568434 36077568 8232 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 8808 8232 139 317 0 8487 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 35232

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1865296/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=36576 CPUtime=642.13
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 8964 0 0 0 64200 13 0 0 25 0 1 0 218568434 37453824 8583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 9144 8583 139 317 0 8823 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 36576


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1860240/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=42236 CPUtime=882.07
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 10481 0 0 0 88190 17 0 0 25 0 1 0 218568434 43249664 9805 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 10559 9805 139 317 0 10238 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 42236

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1858896/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=43760 CPUtime=942.05
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 10786 0 0 0 94188 17 0 0 25 0 1 0 218568434 44810240 10110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 10940 10110 139 317 0 10619 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 43760

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1857616/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=45208 CPUtime=1002.04
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11073 0 0 0 100186 18 0 0 25 0 1 0 218568434 46292992 10397 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 11302 10397 139 317 0 10981 0
Current children cumulated CPU time (s) 1002.04
Current children cumulated vsize (KiB) 45208

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1856528/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=46396 CPUtime=1062.02
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11369 0 0 0 106184 18 0 0 25 0 1 0 218568434 47509504 10660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 11599 10660 139 317 0 11278 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 46396

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1855440/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=47448 CPUtime=1122.01
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11635 0 0 0 112182 19 0 0 25 0 1 0 218568434 48586752 10926 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 11862 10926 139 317 0 11541 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 47448

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1854416/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=48228 CPUtime=1181.99
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 11879 0 0 0 118179 20 0 0 25 0 1 0 218568434 49385472 11170 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 12057 11170 139 317 0 11736 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 48228

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1853072/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=49404 CPUtime=1241.97
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12185 0 0 0 124177 20 0 0 25 0 1 0 218568434 50589696 11443 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 12351 11443 139 317 0 12030 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 49404

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1852240/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=50308 CPUtime=1301.96
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12449 0 0 0 130175 21 0 0 25 0 1 0 218568434 51515392 11674 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 12577 11674 139 317 0 12256 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 50308

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.98 2/78 17473
/proc/meminfo: memFree=1851280/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=51244 CPUtime=1361.95
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12693 0 0 0 136173 22 0 0 25 0 1 0 218568434 52473856 11918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 12811 11918 139 317 0 12490 0
Current children cumulated CPU time (s) 1361.95
Current children cumulated vsize (KiB) 51244

[startup+1422.31 s]
/proc/loadavg: 1.04 0.99 0.99 2/78 17473
/proc/meminfo: memFree=1850256/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=52292 CPUtime=1421.94
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 12970 0 0 0 142171 23 0 0 25 0 1 0 218568434 53547008 12162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 13073 12162 139 317 0 12752 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 52292

[startup+1482.3 s]
/proc/loadavg: 1.06 1.00 0.99 2/78 17473
/proc/meminfo: memFree=1849360/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=53392 CPUtime=1481.92
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13204 0 0 0 148169 23 0 0 25 0 1 0 218568434 54673408 12396 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 13348 12396 139 317 0 13027 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 53392

[startup+1542.3 s]
/proc/loadavg: 1.06 1.01 1.00 2/78 17473
/proc/meminfo: memFree=1848464/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=54176 CPUtime=1541.9
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13434 0 0 0 154166 24 0 0 25 0 1 0 218568434 55476224 12593 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 13544 12593 139 317 0 13223 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 54176

[startup+1602.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/84 17647
/proc/meminfo: memFree=1846176/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=55276 CPUtime=1601.81
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13698 0 0 0 160151 30 0 0 25 0 1 0 218568434 56602624 12791 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 13819 12791 139 317 0 13498 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 55276

[startup+1662.3 s]
/proc/loadavg: 1.02 1.02 1.00 2/78 17671
/proc/meminfo: memFree=1846544/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=55932 CPUtime=1661.79
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 13890 0 0 0 166148 31 0 0 25 0 1 0 218568434 57274368 12983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604173 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 13983 12983 139 317 0 13662 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 55932

[startup+1722.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17671
/proc/meminfo: memFree=1845776/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=56592 CPUtime=1721.77
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14087 0 0 0 172146 31 0 0 25 0 1 0 218568434 57950208 13180 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 14148 13180 139 317 0 13827 0
Current children cumulated CPU time (s) 1721.77
Current children cumulated vsize (KiB) 56592

[startup+1782.3 s]
/proc/loadavg: 1.00 1.01 1.00 2/78 17671
/proc/meminfo: memFree=1844944/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=57516 CPUtime=1781.76
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14288 0 0 0 178144 32 0 0 25 0 1 0 218568434 58896384 13381 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 14379 13381 139 317 0 14058 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 57516



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17671
/proc/meminfo: memFree=1844688/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=57776 CPUtime=1800.06
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14372 0 0 0 179974 32 0 0 25 0 1 0 218568434 59162624 13432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718446 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 14444 13432 139 317 0 14123 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 57776

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

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

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 17671
/proc/meminfo: memFree=1844688/2055920 swapFree=4141060/4192956
[pid=17472] ppid=17470 vsize=57776 CPUtime=1800.16
/proc/17472/stat : 17472 (oree) R 17470 17472 17413 0 -1 4194304 14372 0 0 0 179984 32 0 0 25 0 1 0 218568434 59162624 13432 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/17472/statm: 14444 13432 139 317 0 14123 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 57776

Child status: 0
Real time (s): 1800.73
CPU time (s): 1800.19
CPU user time (s): 1799.85
CPU system time (s): 0.340948
CPU usage (%): 99.9701
Max. virtual memory (cumulated for all children) (KiB): 57776

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

runsolver used 1.37579 second user time and 4.03839 second system time

The end

Launcher Data (download as text)

Begin job on node4 on Tue Apr 24 14:35:07 UTC 2007

IDJOB= 420473
IDBENCH= 47847
IDSOLVER= 172
FILE ID= node4/420473-1177425307

PBS_JOBID= 4675741

Free space on /tmp= 66477 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/pebbling/sat-grid-pbl-0070.sat05-1334.reshuffled-07.opb
COMMAND LINE= oree /tmp/evaluation/420473-1177425307/instance-420473-1177425307.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node4/watcher-420473-1177425307 -o ROOT/results/node4/solver-420473-1177425307 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/420473-1177425307/instance-420473-1177425307.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  e6fa7dd6dacda5f2ff8523ce05dc4471

RANDOM SEED= 558873851

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node4.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.218
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	: 5931.00
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.218
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:       1900528 kB
Buffers:         21336 kB
Cached:          78156 kB
SwapCached:      15564 kB
Active:          72064 kB
Inactive:        50592 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1900528 kB
SwapTotal:     4192956 kB
SwapFree:      4141060 kB
Dirty:            1900 kB
Writeback:           0 kB
Mapped:          29312 kB
Slab:            18224 kB
Committed_AS:  6271648 kB
PageTables:       1816 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= 66477 MiB

End job on node4 on Tue Apr 24 15:05:10 UTC 2007