Trace number 420445

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.11 1800.53

General information on the benchmark

Namenormalized-PB07/PURE-SAT/SAT07/crafted/Medium/contest05/
pebbling/unsat-grid-pbl-0080.sat05-1344.reshuffled-07.opb
MD5SUM0e4dc07f3154684a7909848699c6c0b7
Bench CategoryPURE-SAT (instances containing only clauses)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark956.227
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables6480
Total number of constraints12722
Number of constraints which are clauses12722
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.09/0.14	c ...done
0.09/0.14	c #vars=6480 #constraints=12722 hasObjective=no
0.09/0.17	c res. mode=mod
0.09/0.17	c VSIDS like heuristics
0.09/0.17	c complete search running
0.19/0.28	c restart after 401 decisions
0.29/0.31	c nbDecision=500 #constraints=12722
0.29/0.39	c restart after 801 decisions
0.39/0.44	c nbDecision=1000 #constraints=12722
0.49/0.57	c nbDecision=1500 #constraints=12722
0.49/0.60	c restart after 1601 decisions
0.69/0.71	c nbDecision=2000 #constraints=12722
0.79/0.83	c nbDecision=2500 #constraints=12722
0.89/0.95	c nbDecision=3000 #constraints=12723
0.89/1.00	c restart after 3201 decisions
1.00/1.08	c nbDecision=3500 #constraints=12723
1.19/1.21	c nbDecision=4000 #constraints=12723
1.29/1.33	c nbDecision=4500 #constraints=12723
1.39/1.44	c nbDecision=5000 #constraints=12724
1.49/1.55	c nbDecision=5500 #constraints=12733
1.59/1.65	c nbDecision=6000 #constraints=12734
1.69/1.73	c restart after 6401 decisions
1.69/1.76	c nbDecision=6500 #constraints=12735
1.79/1.89	c nbDecision=7000 #constraints=12735
1.99/2.01	c nbDecision=7500 #constraints=12735
2.10/2.13	c nbDecision=8000 #constraints=12736
2.20/2.23	c nbDecision=8500 #constraints=12736
2.29/2.33	c nbDecision=9000 #constraints=12737
2.39/2.44	c nbDecision=9500 #constraints=12742
2.49/2.53	c nbDecision=10000 #constraints=12743
2.59/2.63	c nbDecision=10500 #constraints=12746
2.69/2.73	c nbDecision=11000 #constraints=12747
2.79/2.83	c nbDecision=11500 #constraints=12748
2.89/2.92	c nbDecision=12000 #constraints=12749
2.99/3.01	c nbDecision=12500 #constraints=12751
2.99/3.06	c restart after 12801 decisions
3.09/3.10	c nbDecision=13000 #constraints=12751
3.20/3.21	c nbDecision=13500 #constraints=12755
3.30/3.34	c nbDecision=14000 #constraints=12756
3.39/3.46	c nbDecision=14500 #constraints=12756
3.49/3.57	c nbDecision=15000 #constraints=12756
3.59/3.67	c nbDecision=15500 #constraints=12757
3.69/3.76	c nbDecision=16000 #constraints=12757
3.79/3.86	c nbDecision=16500 #constraints=12760
3.89/3.96	c nbDecision=17000 #constraints=12760
3.99/4.04	c nbDecision=17500 #constraints=12760
4.09/4.13	c nbDecision=18000 #constraints=12762
4.19/4.25	c nbDecision=18500 #constraints=12765
4.30/4.37	c nbDecision=19000 #constraints=12765
4.40/4.49	c nbDecision=19500 #constraints=12765
4.49/4.59	c nbDecision=20000 #constraints=12765
4.59/4.68	c nbDecision=20500 #constraints=12765
4.69/4.77	c nbDecision=21000 #constraints=12767
4.79/4.85	c nbDecision=21500 #constraints=12769
4.89/4.94	c nbDecision=22000 #constraints=12770
4.99/5.05	c nbDecision=22500 #constraints=12783
5.09/5.15	c nbDecision=23000 #constraints=12785
5.19/5.25	c nbDecision=23500 #constraints=12785
5.29/5.33	c nbDecision=24000 #constraints=12785
5.40/5.43	c nbDecision=24500 #constraints=12788
5.50/5.52	c nbDecision=25000 #constraints=12788
5.59/5.61	c nbDecision=25500 #constraints=12792
5.59/5.63	c restart after 25601 decisions
5.59/5.69	c nbDecision=26000 #constraints=12812
5.79/5.80	c nbDecision=26500 #constraints=12813
5.89/5.93	c nbDecision=27000 #constraints=12813
5.99/6.05	c nbDecision=27500 #constraints=12813
6.09/6.15	c nbDecision=28000 #constraints=12813
6.19/6.25	c nbDecision=28500 #constraints=12814
6.29/6.36	c nbDecision=29000 #constraints=12826
6.39/6.45	c nbDecision=29500 #constraints=12827
6.50/6.54	c nbDecision=30000 #constraints=12828
6.59/6.62	c nbDecision=30500 #constraints=12829
6.69/6.71	c nbDecision=31000 #constraints=12831
6.69/6.79	c nbDecision=31500 #constraints=12834
6.79/6.87	c nbDecision=32000 #constraints=12840
6.89/6.96	c nbDecision=32500 #constraints=12840
6.99/7.03	c nbDecision=33000 #constraints=12841
7.09/7.15	c nbDecision=33500 #constraints=12862
7.19/7.25	c nbDecision=34000 #constraints=12862
7.29/7.33	c nbDecision=34500 #constraints=12862
7.39/7.42	c nbDecision=35000 #constraints=12870
7.49/7.50	c nbDecision=35500 #constraints=12871
7.49/7.59	c nbDecision=36000 #constraints=12872
7.60/7.67	c nbDecision=36500 #constraints=12873
7.69/7.75	c nbDecision=37000 #constraints=12874
7.79/7.84	c nbDecision=37500 #constraints=12885
7.89/7.95	c nbDecision=38000 #constraints=12885
7.99/8.05	c nbDecision=38500 #constraints=12887
8.09/8.16	c nbDecision=39000 #constraints=12891
8.19/8.26	c nbDecision=39500 #constraints=12891
8.29/8.34	c nbDecision=40000 #constraints=12891
8.39/8.42	c nbDecision=40500 #constraints=12895
8.49/8.51	c nbDecision=41000 #constraints=12899
8.59/8.61	c nbDecision=41500 #constraints=12912
8.59/8.68	c nbDecision=42000 #constraints=12912
8.69/8.76	c nbDecision=42500 #constraints=12917
8.79/8.84	c nbDecision=43000 #constraints=12920
8.89/8.99	c nbDecision=43500 #constraints=12983
8.99/9.08	c nbDecision=44000 #constraints=12989
9.09/9.17	c nbDecision=44500 #constraints=12989
9.19/9.26	c nbDecision=45000 #constraints=12990
9.29/9.36	c nbDecision=45500 #constraints=13002
9.39/9.45	c nbDecision=46000 #constraints=13002
9.49/9.52	c nbDecision=46500 #constraints=13002
9.59/9.61	c nbDecision=47000 #constraints=13012
9.59/9.69	c nbDecision=47500 #constraints=13015
9.69/9.76	c nbDecision=48000 #constraints=13017
9.79/9.84	c nbDecision=48500 #constraints=13020
9.89/9.92	c nbDecision=49000 #constraints=13020
9.89/9.98	c nbDecision=49500 #constraints=13021
9.99/10.09	c nbDecision=50000 #constraints=13038
10.09/10.17	c nbDecision=50500 #constraints=13038
10.19/10.25	c nbDecision=51000 #constraints=13038
10.19/10.27	c restart after 51201 decisions
10.29/10.32	c nbDecision=51500 #constraints=13044
10.29/10.37	c nbDecision=52000 #constraints=13054
10.39/10.47	c nbDecision=52500 #constraints=13054
10.49/10.59	c nbDecision=53000 #constraints=13055
10.69/10.71	c nbDecision=53500 #constraints=13056
10.79/10.83	c nbDecision=54000 #constraints=13056
10.89/10.94	c nbDecision=54500 #constraints=13057
10.99/11.04	c nbDecision=55000 #constraints=13061
11.09/11.13	c nbDecision=55500 #constraints=13061
11.19/11.26	c nbDecision=56000 #constraints=13064
11.29/11.37	c nbDecision=56500 #constraints=13064
11.39/11.47	c nbDecision=57000 #constraints=13064
11.49/11.56	c nbDecision=57500 #constraints=13064
11.59/11.65	c nbDecision=58000 #constraints=13066
11.69/11.75	c nbDecision=58500 #constraints=13067
11.79/11.85	c nbDecision=59000 #constraints=13067
11.89/11.93	c nbDecision=59500 #constraints=13067
11.99/12.02	c nbDecision=60000 #constraints=13069
11.99/12.10	c nbDecision=60500 #constraints=13069
12.09/12.18	c nbDecision=61000 #constraints=13070
12.19/12.25	c nbDecision=61500 #constraints=13073
12.29/12.36	c nbDecision=62000 #constraints=13105
12.39/12.48	c nbDecision=62500 #constraints=13106
12.59/12.62	c nbDecision=63000 #constraints=13136
12.69/12.75	c nbDecision=63500 #constraints=13136
12.79/12.85	c nbDecision=64000 #constraints=13139
12.89/12.96	c nbDecision=64500 #constraints=13139
12.99/13.07	c nbDecision=65000 #constraints=13139
13.09/13.19	c nbDecision=65500 #constraints=13144
13.29/13.31	c nbDecision=66000 #constraints=13144
13.39/13.42	c nbDecision=66500 #constraints=13144
13.49/13.50	c nbDecision=67000 #constraints=13162
13.59/13.63	c nbDecision=67500 #constraints=13162
13.69/13.74	c nbDecision=68000 #constraints=13162
13.79/13.84	c nbDecision=68500 #constraints=13162
13.89/13.92	c nbDecision=69000 #constraints=13162
13.99/14.02	c nbDecision=69500 #constraints=13173
13.99/14.09	c nbDecision=70000 #constraints=13173
14.19/14.20	c nbDecision=70500 #constraints=13177
14.19/14.29	c nbDecision=71000 #constraints=13177
14.29/14.37	c nbDecision=71500 #constraints=13177
14.39/14.47	c nbDecision=72000 #constraints=13190
14.49/14.57	c nbDecision=72500 #constraints=13190
14.59/14.66	c nbDecision=73000 #constraints=13190
14.69/14.73	c nbDecision=73500 #constraints=13190
14.69/14.80	c nbDecision=74000 #constraints=13191
14.79/14.86	c nbDecision=74500 #constraints=13192
14.89/14.93	c nbDecision=75000 #constraints=13194
14.99/15.01	c nbDecision=75500 #constraints=13203
14.99/15.08	c nbDecision=76000 #constraints=13203
15.09/15.15	c nbDecision=76500 #constraints=13204
15.19/15.22	c nbDecision=77000 #constraints=13205
15.29/15.30	c nbDecision=77500 #constraints=13208
15.29/15.39	c nbDecision=78000 #constraints=13208
15.39/15.49	c nbDecision=78500 #constraints=13210
15.49/15.59	c nbDecision=79000 #constraints=13221
15.59/15.69	c nbDecision=79500 #constraints=13224
15.69/15.77	c nbDecision=80000 #constraints=13224
15.79/15.86	c nbDecision=80500 #constraints=13225
15.89/15.96	c nbDecision=81000 #constraints=13235
15.99/16.05	c nbDecision=81500 #constraints=13235
16.09/16.12	c nbDecision=82000 #constraints=13235
16.09/16.19	c nbDecision=82500 #constraints=13236
16.19/16.26	c nbDecision=83000 #constraints=13237
16.29/16.33	c nbDecision=83500 #constraints=13239
16.39/16.41	c nbDecision=84000 #constraints=13239
16.49/16.55	c nbDecision=84500 #constraints=13274
16.59/16.63	c nbDecision=85000 #constraints=13274
16.69/16.70	c nbDecision=85500 #constraints=13274
16.69/16.77	c nbDecision=86000 #constraints=13275
16.89/16.92	c nbDecision=86500 #constraints=13341
16.99/17.00	c nbDecision=87000 #constraints=13341
16.99/17.07	c nbDecision=87500 #constraints=13344
17.09/17.14	c nbDecision=88000 #constraints=13344
17.19/17.21	c nbDecision=88500 #constraints=13346
17.19/17.27	c nbDecision=89000 #constraints=13346
17.29/17.35	c nbDecision=89500 #constraints=13350
17.39/17.44	c nbDecision=90000 #constraints=13357
17.49/17.53	c nbDecision=90500 #constraints=13357
17.59/17.60	c nbDecision=91000 #constraints=13357
17.59/17.67	c nbDecision=91500 #constraints=13360
17.69/17.72	c nbDecision=92000 #constraints=13361
17.69/17.79	c nbDecision=92500 #constraints=13364
17.79/17.85	c nbDecision=93000 #constraints=13364
17.89/17.95	c nbDecision=93500 #constraints=13396
17.99/18.04	c nbDecision=94000 #constraints=13398
18.09/18.14	c nbDecision=94500 #constraints=13401
18.19/18.22	c nbDecision=95000 #constraints=13401
18.29/18.34	c nbDecision=95500 #constraints=13436
18.39/18.44	c nbDecision=96000 #constraints=13451
18.49/18.52	c nbDecision=96500 #constraints=13451
18.59/18.61	c nbDecision=97000 #constraints=13457
18.69/18.70	c nbDecision=97500 #constraints=13457
18.69/18.78	c nbDecision=98000 #constraints=13457
18.79/18.86	c nbDecision=98500 #constraints=13459
18.89/18.94	c nbDecision=99000 #constraints=13460
18.99/19.01	c nbDecision=99500 #constraints=13460
18.99/19.09	c nbDecision=100000 #constraints=13461
19.09/19.18	c nbDecision=100500 #constraints=13461
19.19/19.25	c nbDecision=101000 #constraints=13461
19.29/19.36	c nbDecision=101500 #constraints=13496
19.39/19.45	c nbDecision=102000 #constraints=13497
19.49/19.52	c restart after 102401 decisions
19.49/19.54	c nbDecision=102500 #constraints=13498
19.49/19.58	c nbDecision=103000 #constraints=13499
19.59/19.63	c nbDecision=103500 #constraints=13506
19.69/19.72	c nbDecision=104000 #constraints=13506
19.79/19.83	c nbDecision=104500 #constraints=13509
19.79/19.88	c nbDecision=105000 #constraints=13513
19.89/19.93	c nbDecision=105500 #constraints=13519
19.99/20.03	c nbDecision=106000 #constraints=13520
20.09/20.14	c nbDecision=106500 #constraints=13521
20.19/20.25	c nbDecision=107000 #constraints=13527
20.29/20.36	c nbDecision=107500 #constraints=13527
20.39/20.46	c nbDecision=108000 #constraints=13528
20.49/20.55	c nbDecision=108500 #constraints=13528
20.59/20.63	c nbDecision=109000 #constraints=13529
20.69/20.73	c nbDecision=109500 #constraints=13534
20.79/20.83	c nbDecision=110000 #constraints=13534
20.89/20.91	c nbDecision=110500 #constraints=13534
20.99/21.01	c nbDecision=111000 #constraints=13535
21.09/21.10	c nbDecision=111500 #constraints=13535
21.09/21.18	c nbDecision=112000 #constraints=13535
21.19/21.24	c nbDecision=112500 #constraints=13535
21.29/21.31	c nbDecision=113000 #constraints=13539
21.39/21.44	c nbDecision=113500 #constraints=13589
21.49/21.58	c nbDecision=114000 #constraints=13617
21.59/21.67	c nbDecision=114500 #constraints=13618
21.78/21.88	c nbDecision=115000 #constraints=13711
21.89/21.93	c nbDecision=115500 #constraints=13716
21.89/21.97	c nbDecision=116000 #constraints=13717
21.99/22.08	c nbDecision=116500 #constraints=13717
22.08/22.19	c nbDecision=117000 #constraints=13717
22.18/22.28	c nbDecision=117500 #constraints=13717
22.28/22.37	c nbDecision=118000 #constraints=13719
22.38/22.45	c nbDecision=118500 #constraints=13721
22.48/22.54	c nbDecision=119000 #constraints=13721
22.68/22.72	c nbDecision=119500 #constraints=13799
22.78/22.82	c nbDecision=120000 #constraints=13800
22.88/22.91	c nbDecision=120500 #constraints=13800
22.88/22.99	c nbDecision=121000 #constraints=13801
22.99/23.08	c nbDecision=121500 #constraints=13808
23.09/23.19	c nbDecision=122000 #constraints=13808
23.18/23.27	c nbDecision=122500 #constraints=13808
23.28/23.35	c nbDecision=123000 #constraints=13808
23.38/23.40	c nbDecision=123500 #constraints=13808
23.38/23.47	c nbDecision=124000 #constraints=13809
23.48/23.53	c nbDecision=124500 #constraints=13809
23.68/23.72	c nbDecision=125000 #constraints=13890
23.78/23.83	c nbDecision=125500 #constraints=13890
23.88/23.93	c nbDecision=126000 #constraints=13892
23.98/24.02	c nbDecision=126500 #constraints=13892
24.19/24.23	c nbDecision=127000 #constraints=13974
24.28/24.33	c nbDecision=127500 #constraints=13974
24.38/24.42	c nbDecision=128000 #constraints=13974
24.38/24.49	c nbDecision=128500 #constraints=13974
24.48/24.54	c nbDecision=129000 #constraints=13974
24.58/24.64	c nbDecision=129500 #constraints=13982
24.68/24.71	c nbDecision=130000 #constraints=13982
24.68/24.77	c nbDecision=130500 #constraints=13982
24.78/24.83	c nbDecision=131000 #constraints=13984
24.78/24.87	c nbDecision=131500 #constraints=13984
24.88/24.95	c nbDecision=132000 #constraints=13985
24.88/25.00	c nbDecision=132500 #constraints=13985
24.98/25.05	c nbDecision=133000 #constraints=13987
25.08/25.13	c nbDecision=133500 #constraints=14014
25.19/25.28	c nbDecision=134000 #constraints=14057
25.38/25.41	c nbDecision=134500 #constraints=14084
25.48/25.50	c nbDecision=135000 #constraints=14084
25.48/25.59	c nbDecision=135500 #constraints=14084
25.58/25.65	c nbDecision=136000 #constraints=14084
25.68/25.70	c nbDecision=136500 #constraints=14084
25.68/25.76	c nbDecision=137000 #constraints=14087
25.78/25.82	c nbDecision=137500 #constraints=14087
25.78/25.85	c nbDecision=138000 #constraints=14087
25.78/25.88	c nbDecision=138500 #constraints=14093
25.88/25.97	c nbDecision=139000 #constraints=14101
25.98/26.05	c nbDecision=139500 #constraints=14102
26.08/26.13	c nbDecision=140000 #constraints=14102
26.08/26.19	c nbDecision=140500 #constraints=14103
26.18/26.25	c nbDecision=141000 #constraints=14105
26.29/26.34	c nbDecision=141500 #constraints=14113
26.38/26.42	c nbDecision=142000 #constraints=14113
26.48/26.50	c nbDecision=142500 #constraints=14117
26.48/26.59	c nbDecision=143000 #constraints=14129
26.58/26.67	c nbDecision=143500 #constraints=14129
26.68/26.73	c nbDecision=144000 #constraints=14129
26.68/26.77	c nbDecision=144500 #constraints=14129
26.78/26.80	c nbDecision=145000 #constraints=14129
26.88/26.92	c nbDecision=145500 #constraints=14169
26.98/27.01	c nbDecision=146000 #constraints=14169
26.98/27.07	c nbDecision=146500 #constraints=14169
27.08/27.15	c nbDecision=147000 #constraints=14189
27.18/27.24	c nbDecision=147500 #constraints=14189
27.28/27.31	c nbDecision=148000 #constraints=14189
27.28/27.36	c nbDecision=148500 #constraints=14189
27.28/27.40	c nbDecision=149000 #constraints=14189
27.38/27.45	c nbDecision=149500 #constraints=14198
27.68/27.71	c nbDecision=150000 #constraints=14342
27.88/27.94	c nbDecision=150500 #constraints=14460
28.18/28.25	c nbDecision=151000 #constraints=14628
28.38/28.40	c nbDecision=151500 #constraints=14679
28.48/28.51	c nbDecision=152000 #constraints=14679
28.48/28.60	c nbDecision=152500 #constraints=14680
28.68/28.70	c nbDecision=153000 #constraints=14689
28.78/28.80	c nbDecision=153500 #constraints=14689
28.88/28.90	c nbDecision=154000 #constraints=14699
28.88/28.99	c nbDecision=154500 #constraints=14699
29.09/29.18	c nbDecision=155000 #constraints=14773
29.59/29.69	c nbDecision=155500 #constraints=15061
30.39/30.42	c nbDecision=156000 #constraints=15416
31.39/31.43	c nbDecision=156500 #constraints=15825
32.28/32.38	c nbDecision=157000 #constraints=16160
33.18/33.27	c nbDecision=157500 #constraints=16445
34.48/34.54	c nbDecision=158000 #constraints=16824
35.78/35.81	c nbDecision=158500 #constraints=17150
37.28/37.32	c nbDecision=159000 #constraints=17513
38.78/38.86	c nbDecision=159500 #constraints=17848
40.68/40.77	c nbDecision=160000 #constraints=18203
42.58/42.67	c nbDecision=160500 #constraints=18553
45.08/45.15	c nbDecision=161000 #constraints=18934
47.78/47.87	c nbDecision=161500 #constraints=19309
50.78/50.87	c nbDecision=162000 #constraints=19646
52.88/52.99	c nbDecision=162500 #constraints=19893
56.38/56.42	c nbDecision=163000 #constraints=20264
59.68/59.73	c nbDecision=163500 #constraints=20586
64.57/64.66	c nbDecision=164000 #constraints=20983
67.97/68.04	c nbDecision=164500 #constraints=21294
72.17/72.22	c nbDecision=165000 #constraints=21627
75.58/75.66	c nbDecision=165500 #constraints=21919
79.87/79.96	c nbDecision=166000 #constraints=22240
83.67/83.74	c nbDecision=166500 #constraints=22520
88.57/88.68	c nbDecision=167000 #constraints=22867
94.47/94.56	c nbDecision=167500 #constraints=23212
99.47/99.56	c nbDecision=168000 #constraints=23509
104.47/104.54	c nbDecision=168500 #constraints=23828
112.56/112.60	c nbDecision=169000 #constraints=24241
116.36/116.41	c nbDecision=169500 #constraints=24503
121.46/121.53	c nbDecision=170000 #constraints=24847
129.77/129.84	c nbDecision=170500 #constraints=25245
137.76/137.88	c nbDecision=171000 #constraints=25637
146.66/146.77	c nbDecision=171500 #constraints=26040
154.16/154.25	c nbDecision=172000 #constraints=26363
161.05/161.14	c nbDecision=172500 #constraints=26692
169.35/169.47	c nbDecision=173000 #constraints=27029
178.65/178.77	c nbDecision=173500 #constraints=27427
188.95/189.07	c nbDecision=174000 #constraints=27834
200.15/200.21	c nbDecision=174500 #constraints=28255
213.14/213.27	c nbDecision=175000 #constraints=28696
224.93/225.04	c nbDecision=175500 #constraints=29107
239.44/239.57	c nbDecision=176000 #constraints=29524
249.74/249.86	c nbDecision=176500 #constraints=29910
262.23/262.38	c nbDecision=177000 #constraints=30301
268.23/268.30	c nbDecision=177500 #constraints=30566
279.63/279.77	c nbDecision=178000 #constraints=30920
291.62/291.73	c nbDecision=178500 #constraints=31275
303.82/303.97	c nbDecision=179000 #constraints=31589
313.22/313.39	c nbDecision=179500 #constraints=31900
325.01/325.14	c nbDecision=180000 #constraints=32261
336.41/336.59	c nbDecision=180500 #constraints=32578
348.71/348.82	c nbDecision=181000 #constraints=32920
358.70/358.85	c nbDecision=181500 #constraints=33255
371.31/371.48	c nbDecision=182000 #constraints=33567
382.40/382.56	c nbDecision=182500 #constraints=33859
396.90/397.00	c nbDecision=183000 #constraints=34205
413.19/413.33	c nbDecision=183500 #constraints=34576
427.89/428.04	c nbDecision=184000 #constraints=34938
445.68/445.84	c nbDecision=184500 #constraints=35336
464.68/464.87	c nbDecision=185000 #constraints=35741
479.48/479.67	c nbDecision=185500 #constraints=36098
497.38/497.58	c nbDecision=186000 #constraints=36459
515.77/515.97	c nbDecision=186500 #constraints=36852
533.66/533.81	c nbDecision=187000 #constraints=37206
551.26/551.44	c nbDecision=187500 #constraints=37581
571.76/571.97	c nbDecision=188000 #constraints=37962
587.25/587.47	c nbDecision=188500 #constraints=38306
605.04/605.22	c nbDecision=189000 #constraints=38711
625.74/625.94	c nbDecision=189500 #constraints=39115
644.04/644.28	c nbDecision=190000 #constraints=39492
665.14/665.37	c nbDecision=190500 #constraints=39872
684.53/684.77	c nbDecision=191000 #constraints=40237
699.53/699.78	c nbDecision=191500 #constraints=40563
715.93/716.19	c nbDecision=192000 #constraints=40913
735.52/735.75	c nbDecision=192500 #constraints=41263
759.81/760.03	c nbDecision=193000 #constraints=41654
785.60/785.80	c nbDecision=193500 #constraints=42082
809.10/809.33	c nbDecision=194000 #constraints=42470
833.59/833.87	c nbDecision=194500 #constraints=42863
858.49/858.71	c nbDecision=195000 #constraints=43266
881.99/882.25	c nbDecision=195500 #constraints=43638
906.18/906.43	c nbDecision=196000 #constraints=44022
929.77/930.07	c nbDecision=196500 #constraints=44404
949.57/949.88	c nbDecision=197000 #constraints=44738
971.96/972.24	c nbDecision=197500 #constraints=45091
996.45/996.77	c nbDecision=198000 #constraints=45447
1018.45/1018.70	c nbDecision=198500 #constraints=45751
1034.34/1034.67	c nbDecision=199000 #constraints=46000
1057.24/1057.53	c nbDecision=199500 #constraints=46300
1096.13/1096.49	c nbDecision=200000 #constraints=46732
1122.93/1123.22	c nbDecision=200500 #constraints=47114
1158.32/1158.62	c nbDecision=201000 #constraints=47511
1189.01/1189.38	c nbDecision=201500 #constraints=47900
1217.90/1218.20	c nbDecision=202000 #constraints=48274
1249.30/1249.64	c nbDecision=202500 #constraints=48655
1278.59/1278.95	c nbDecision=203000 #constraints=49008
1302.58/1302.94	c nbDecision=203500 #constraints=49295
1302.68/1303.07	c nbDecision=204000 #constraints=49295
1302.88/1303.20	c nbDecision=204500 #constraints=49296
1302.88/1303.27	c restart after 204801 decisions
1303.48/1303.86	c nbDecision=205000 #constraints=49297
1303.58/1303.99	c nbDecision=205500 #constraints=49297
1303.78/1304.12	c nbDecision=206000 #constraints=49297
1303.88/1304.25	c nbDecision=206500 #constraints=49302
1303.98/1304.36	c nbDecision=207000 #constraints=49302
1304.08/1304.47	c nbDecision=207500 #constraints=49302
1304.29/1304.61	c nbDecision=208000 #constraints=49313
1304.38/1304.73	c nbDecision=208500 #constraints=49313
1304.48/1304.83	c nbDecision=209000 #constraints=49314
1304.58/1304.94	c nbDecision=209500 #constraints=49318
1304.68/1305.04	c nbDecision=210000 #constraints=49318
1304.88/1305.28	c nbDecision=210500 #constraints=49377
1304.98/1305.38	c nbDecision=211000 #constraints=49377
1305.08/1305.48	c nbDecision=211500 #constraints=49379
1305.18/1305.59	c nbDecision=212000 #constraints=49382
1305.98/1306.31	c nbDecision=212500 #constraints=49678
1306.78/1307.14	c nbDecision=213000 #constraints=49988
1307.28/1307.63	c nbDecision=213500 #constraints=50146
1307.38/1307.76	c nbDecision=214000 #constraints=50146
1307.49/1307.87	c nbDecision=214500 #constraints=50146
1307.68/1308.01	c nbDecision=215000 #constraints=50162
1307.78/1308.18	c nbDecision=215500 #constraints=50189
1307.88/1308.29	c nbDecision=216000 #constraints=50189
1307.98/1308.39	c nbDecision=216500 #constraints=50189
1308.08/1308.49	c nbDecision=217000 #constraints=50191
1308.18/1308.59	c nbDecision=217500 #constraints=50193
1308.28/1308.70	c nbDecision=218000 #constraints=50199
1308.48/1308.80	c nbDecision=218500 #constraints=50199
1308.59/1308.91	c nbDecision=219000 #constraints=50200
1308.69/1309.01	c nbDecision=219500 #constraints=50200
1308.78/1309.10	c nbDecision=220000 #constraints=50200
1308.88/1309.21	c nbDecision=220500 #constraints=50203
1308.98/1309.31	c nbDecision=221000 #constraints=50203
1309.08/1309.40	c nbDecision=221500 #constraints=50204
1309.08/1309.49	c nbDecision=222000 #constraints=50204
1309.28/1309.60	c nbDecision=222500 #constraints=50205
1309.28/1309.69	c nbDecision=223000 #constraints=50205
1309.79/1310.17	c nbDecision=223500 #constraints=50244
1312.08/1312.46	c nbDecision=224000 #constraints=50481
1314.18/1314.58	c nbDecision=224500 #constraints=50689
1314.38/1314.76	c nbDecision=225000 #constraints=50690
1314.48/1314.89	c nbDecision=225500 #constraints=50690
1314.68/1315.00	c nbDecision=226000 #constraints=50690
1314.78/1315.11	c nbDecision=226500 #constraints=50690
1315.08/1315.47	c nbDecision=227000 #constraints=50716
1315.68/1316.08	c nbDecision=227500 #constraints=50767
1315.88/1316.21	c nbDecision=228000 #constraints=50767
1315.98/1316.33	c nbDecision=228500 #constraints=50767
1316.08/1316.44	c nbDecision=229000 #constraints=50767
1316.18/1316.53	c nbDecision=229500 #constraints=50767
1316.28/1316.62	c nbDecision=230000 #constraints=50768
1316.38/1316.71	c nbDecision=230500 #constraints=50769
1316.38/1316.80	c nbDecision=231000 #constraints=50770
1316.58/1316.90	c nbDecision=231500 #constraints=50772
1316.58/1316.98	c nbDecision=232000 #constraints=50772
1316.68/1317.09	c nbDecision=232500 #constraints=50779
1316.78/1317.18	c nbDecision=233000 #constraints=50781
1316.88/1317.27	c nbDecision=233500 #constraints=50781
1316.98/1317.37	c nbDecision=234000 #constraints=50784
1317.08/1317.45	c nbDecision=234500 #constraints=50784
1317.18/1317.53	c nbDecision=235000 #constraints=50786
1317.28/1317.62	c nbDecision=235500 #constraints=50787
1317.38/1317.78	c nbDecision=236000 #constraints=50822
1317.48/1317.89	c nbDecision=236500 #constraints=50822
1317.58/1318.00	c nbDecision=237000 #constraints=50825
1317.98/1318.36	c nbDecision=237500 #constraints=50950
1318.18/1318.59	c nbDecision=238000 #constraints=51011
1318.38/1318.70	c nbDecision=238500 #constraints=51011
1318.38/1318.80	c nbDecision=239000 #constraints=51011
1318.48/1318.88	c nbDecision=239500 #constraints=51011
1318.68/1319.01	c nbDecision=240000 #constraints=51017
1318.78/1319.11	c nbDecision=240500 #constraints=51017
1318.88/1319.20	c nbDecision=241000 #constraints=51017
1318.88/1319.28	c nbDecision=241500 #constraints=51017
1319.08/1319.41	c nbDecision=242000 #constraints=51022
1319.08/1319.50	c nbDecision=242500 #constraints=51022
1319.28/1319.62	c nbDecision=243000 #constraints=51042
1319.38/1319.71	c nbDecision=243500 #constraints=51047
1319.48/1319.84	c nbDecision=244000 #constraints=51074
1319.78/1320.12	c nbDecision=244500 #constraints=51174
1319.88/1320.25	c nbDecision=245000 #constraints=51193
1319.98/1320.37	c nbDecision=245500 #constraints=51193
1320.28/1320.61	c nbDecision=246000 #constraints=51251
1320.88/1321.28	c nbDecision=246500 #constraints=51479
1321.79/1322.14	c nbDecision=247000 #constraints=51764
1322.89/1323.25	c nbDecision=247500 #constraints=52106
1323.58/1323.95	c nbDecision=248000 #constraints=52298
1324.68/1325.03	c nbDecision=248500 #constraints=52649
1326.08/1326.45	c nbDecision=249000 #constraints=53015
1327.58/1327.92	c nbDecision=249500 #constraints=53361
1329.28/1329.60	c nbDecision=250000 #constraints=53722
1331.28/1331.62	c nbDecision=250500 #constraints=54130
1333.37/1333.78	c nbDecision=251000 #constraints=54488
1335.67/1336.03	c nbDecision=251500 #constraints=54868
1338.08/1338.41	c nbDecision=252000 #constraints=55200
1341.18/1341.50	c nbDecision=252500 #constraints=55560
1345.27/1345.64	c nbDecision=253000 #constraints=55970
1349.97/1350.36	c nbDecision=253500 #constraints=56371
1354.47/1354.85	c nbDecision=254000 #constraints=56750
1359.47/1359.80	c nbDecision=254500 #constraints=57120
1364.57/1364.91	c nbDecision=255000 #constraints=57529
1370.27/1370.61	c nbDecision=255500 #constraints=57904
1375.67/1376.07	c nbDecision=256000 #constraints=58273
1382.76/1383.15	c nbDecision=256500 #constraints=58682
1391.27/1391.63	c nbDecision=257000 #constraints=59115
1400.46/1400.86	c nbDecision=257500 #constraints=59575
1410.06/1410.45	c nbDecision=258000 #constraints=59979
1420.05/1420.40	c nbDecision=258500 #constraints=60416
1429.16/1429.57	c nbDecision=259000 #constraints=60814
1440.15/1440.56	c nbDecision=259500 #constraints=61234
1446.25/1446.64	c nbDecision=260000 #constraints=61570
1454.65/1455.00	c nbDecision=260500 #constraints=61959
1463.84/1464.26	c nbDecision=261000 #constraints=62322
1475.14/1475.50	c nbDecision=261500 #constraints=62691
1487.14/1487.54	c nbDecision=262000 #constraints=63071
1499.33/1499.74	c nbDecision=262500 #constraints=63451
1506.24/1506.68	c nbDecision=263000 #constraints=63747
1519.54/1519.91	c nbDecision=263500 #constraints=64150
1533.93/1534.31	c nbDecision=264000 #constraints=64588
1549.63/1550.00	c nbDecision=264500 #constraints=65009
1563.52/1563.96	c nbDecision=265000 #constraints=65422
1580.22/1580.67	c nbDecision=265500 #constraints=65872
1595.22/1595.64	c nbDecision=266000 #constraints=66273
1610.71/1611.17	c nbDecision=266500 #constraints=66655
1624.41/1624.89	c nbDecision=267000 #constraints=67050
1640.81/1641.21	c nbDecision=267500 #constraints=67459
1656.40/1656.87	c nbDecision=268000 #constraints=67849
1672.60/1673.06	c nbDecision=268500 #constraints=68238
1689.69/1690.13	c nbDecision=269000 #constraints=68650
1708.69/1709.19	c nbDecision=269500 #constraints=69051
1715.29/1715.80	c nbDecision=270000 #constraints=69431
1725.28/1725.71	c nbDecision=270500 #constraints=69844
1733.68/1734.15	c nbDecision=271000 #constraints=70212
1744.88/1745.34	c nbDecision=271500 #constraints=70609
1758.08/1758.58	c nbDecision=272000 #constraints=71029
1773.07/1773.55	c nbDecision=272500 #constraints=71419
1777.27/1777.70	c nbDecision=273000 #constraints=71494
1777.37/1777.82	c nbDecision=273500 #constraints=71494
1777.47/1777.93	c nbDecision=274000 #constraints=71494
1777.57/1778.05	c nbDecision=274500 #constraints=71496
1777.67/1778.17	c nbDecision=275000 #constraints=71496
1777.77/1778.27	c nbDecision=275500 #constraints=71496
1777.87/1778.37	c nbDecision=276000 #constraints=71498
1777.97/1778.45	c nbDecision=276500 #constraints=71498
1778.07/1778.54	c nbDecision=277000 #constraints=71499
1778.18/1778.68	c nbDecision=277500 #constraints=71519
1778.37/1778.81	c nbDecision=278000 #constraints=71519
1778.47/1778.92	c nbDecision=278500 #constraints=71519
1778.57/1779.03	c nbDecision=279000 #constraints=71520
1778.67/1779.14	c nbDecision=279500 #constraints=71522
1778.77/1779.25	c nbDecision=280000 #constraints=71522
1778.87/1779.36	c nbDecision=280500 #constraints=71523
1778.97/1779.46	c nbDecision=281000 #constraints=71523
1779.17/1779.62	c nbDecision=281500 #constraints=71551
1779.28/1779.72	c nbDecision=282000 #constraints=71551
1779.37/1779.82	c nbDecision=282500 #constraints=71553
1779.67/1780.10	c nbDecision=283000 #constraints=71631
1779.77/1780.21	c nbDecision=283500 #constraints=71631
1779.87/1780.30	c nbDecision=284000 #constraints=71631
1780.07/1780.51	c nbDecision=284500 #constraints=71675
1780.17/1780.62	c nbDecision=285000 #constraints=71675
1780.27/1780.72	c nbDecision=285500 #constraints=71676
1780.37/1780.82	c nbDecision=286000 #constraints=71678
1780.47/1780.90	c nbDecision=286500 #constraints=71678
1780.47/1780.98	c nbDecision=287000 #constraints=71678
1780.57/1781.08	c nbDecision=287500 #constraints=71680
1780.67/1781.17	c nbDecision=288000 #constraints=71680
1780.77/1781.27	c nbDecision=288500 #constraints=71688
1780.87/1781.36	c nbDecision=289000 #constraints=71688
1780.97/1781.45	c nbDecision=289500 #constraints=71689
1781.07/1781.53	c nbDecision=290000 #constraints=71690
1781.17/1781.61	c nbDecision=290500 #constraints=71690
1781.27/1781.71	c nbDecision=291000 #constraints=71699
1781.37/1781.88	c nbDecision=291500 #constraints=71738
1781.67/1782.13	c nbDecision=292000 #constraints=71805
1781.77/1782.24	c nbDecision=292500 #constraints=71805
1781.87/1782.35	c nbDecision=293000 #constraints=71805
1781.97/1782.45	c nbDecision=293500 #constraints=71806
1782.07/1782.57	c nbDecision=294000 #constraints=71807
1782.17/1782.69	c nbDecision=294500 #constraints=71807
1782.27/1782.80	c nbDecision=295000 #constraints=71807
1782.47/1782.96	c nbDecision=295500 #constraints=71825
1782.57/1783.07	c nbDecision=296000 #constraints=71825
1782.67/1783.17	c nbDecision=296500 #constraints=71825
1782.77/1783.26	c nbDecision=297000 #constraints=71825
1782.87/1783.37	c nbDecision=297500 #constraints=71828
1782.97/1783.49	c nbDecision=298000 #constraints=71828
1783.07/1783.59	c nbDecision=298500 #constraints=71828
1783.17/1783.69	c nbDecision=299000 #constraints=71828
1783.27/1783.76	c nbDecision=299500 #constraints=71828
1783.47/1783.91	c nbDecision=300000 #constraints=71844
1783.57/1784.04	c nbDecision=300500 #constraints=71850
1784.07/1784.56	c nbDecision=301000 #constraints=72029
1784.97/1785.44	c nbDecision=301500 #constraints=72314
1786.27/1786.74	c nbDecision=302000 #constraints=72699
1787.67/1788.18	c nbDecision=302500 #constraints=73094
1789.17/1789.69	c nbDecision=303000 #constraints=73459
1790.57/1791.03	c nbDecision=303500 #constraints=73775
1792.37/1792.80	c nbDecision=304000 #constraints=74174
1794.07/1794.52	c nbDecision=304500 #constraints=74513
1795.77/1796.24	c nbDecision=305000 #constraints=74814
1797.77/1798.22	c nbDecision=305500 #constraints=75142
1800.07/1800.50	Received signal 15
1800.07/1800.50	
1800.07/1800.50	s UNKNOWN
1800.07/1800.50	
1800.07/1800.50	c user time= 1799.87 s
1800.07/1800.50	c system time= 0.216967 s
1800.07/1800.50	c wall clock time=1800.51

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/node65/watcher-420445-1177424677 -o ROOT/results/node65/solver-420445-1177424677 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/420445-1177424677/instance-420445-1177424677.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.77 0.93 0.97 3/64 7920
/proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=1468 CPUtime=0
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 218457297 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 367 162 130 317 0 46 0

[startup+0.0919591 s]
/proc/loadavg: 0.77 0.93 0.97 3/64 7920
/proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=3212 CPUtime=0.08
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 600 0 0 0 8 0 0 0 18 0 1 0 218457297 3289088 583 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 803 583 130 317 0 482 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3212

[startup+0.101958 s]
/proc/loadavg: 0.77 0.93 0.97 3/64 7920
/proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=3364 CPUtime=0.09
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 648 0 0 0 9 0 0 0 18 0 1 0 218457297 3444736 631 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 841 631 130 317 0 520 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3364

[startup+0.301976 s]
/proc/loadavg: 0.77 0.93 0.97 3/64 7920
/proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=5968 CPUtime=0.29
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1322 0 0 0 29 0 0 0 19 0 1 0 218457297 6111232 1305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 1492 1305 138 317 0 1171 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5968

[startup+0.702008 s]
/proc/loadavg: 0.77 0.93 0.97 3/64 7920
/proc/meminfo: memFree=1832736/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=6096 CPUtime=0.69
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1323 0 0 0 69 0 0 0 22 0 1 0 218457297 6242304 1306 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 1524 1306 138 317 0 1203 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 6096

[startup+1.50108 s]
/proc/loadavg: 0.77 0.93 0.97 2/65 7921
/proc/meminfo: memFree=1827544/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=6708 CPUtime=1.49
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1489 0 0 0 149 0 0 0 25 0 1 0 218457297 6868992 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 1677 1385 139 317 0 1356 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 6708

[startup+3.10121 s]
/proc/loadavg: 0.77 0.93 0.97 2/65 7921
/proc/meminfo: memFree=1827416/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=6708 CPUtime=3.09
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1489 0 0 0 309 0 0 0 25 0 1 0 218457297 6868992 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134752702 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 1677 1385 139 317 0 1356 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6708

[startup+6.30148 s]
/proc/loadavg: 0.79 0.94 0.97 2/65 7921
/proc/meminfo: memFree=1827352/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=6708 CPUtime=6.29
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1489 0 0 0 629 0 0 0 25 0 1 0 218457297 6868992 1385 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 1677 1385 139 317 0 1356 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 6708

[startup+12.702 s]
/proc/loadavg: 0.81 0.94 0.97 2/65 7921
/proc/meminfo: memFree=1827288/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=6708 CPUtime=12.69
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1492 0 0 0 1269 0 0 0 25 0 1 0 218457297 6868992 1388 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384569 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 1677 1388 139 317 0 1356 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 6708

[startup+25.5011 s]
/proc/loadavg: 0.85 0.94 0.97 2/65 7921
/proc/meminfo: memFree=1826968/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=7236 CPUtime=25.48
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 1628 0 0 0 2548 0 0 0 25 0 1 0 218457297 7409664 1524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606729 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 1809 1524 139 317 0 1488 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 7236

[startup+51.1012 s]
/proc/loadavg: 0.90 0.94 0.97 2/65 7921
/proc/meminfo: memFree=1821784/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=12400 CPUtime=51.08
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 2926 0 0 0 5106 2 0 0 25 0 1 0 218457297 12697600 2822 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 3100 2822 139 317 0 2779 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 12400

[startup+102.304 s]
/proc/loadavg: 0.95 0.95 0.97 2/65 7921
/proc/meminfo: memFree=1817368/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=16840 CPUtime=102.27
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 4022 0 0 0 10224 3 0 0 25 0 1 0 218457297 17244160 3918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562768 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 4210 3918 139 317 0 3889 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 16840

[startup+162.301 s]
/proc/loadavg: 0.98 0.95 0.97 2/65 7921
/proc/meminfo: memFree=1814040/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=20824 CPUtime=162.25
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 5026 0 0 0 16221 4 0 0 25 0 1 0 218457297 21323776 4748 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 5206 4748 139 317 0 4885 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 20824

[startup+222.301 s]
/proc/loadavg: 0.99 0.96 0.97 2/65 7921
/proc/meminfo: memFree=1811480/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=23476 CPUtime=222.23
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 5656 0 0 0 22219 4 0 0 25 0 1 0 218457297 24039424 5378 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 5869 5378 139 317 0 5548 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 23476

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1809368/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=25512 CPUtime=282.23
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 6173 0 0 0 28218 5 0 0 25 0 1 0 218457297 26124288 5895 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 6378 5895 139 317 0 6057 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 25512

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1807704/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=27088 CPUtime=342.21
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 6583 0 0 0 34216 5 0 0 25 0 1 0 218457297 27738112 6305 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 6772 6305 139 317 0 6451 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 27088

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1806232/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=28792 CPUtime=402.19
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 6980 0 0 0 40213 6 0 0 25 0 1 0 218457297 29483008 6669 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 7198 6669 139 317 0 6877 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 28792

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1804824/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=30184 CPUtime=462.18
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 7326 0 0 0 46212 6 0 0 25 0 1 0 218457297 30908416 7015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 7546 7015 139 317 0 7225 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 30184

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1803544/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=31752 CPUtime=522.17
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 7711 0 0 0 52210 7 0 0 25 0 1 0 218457297 32514048 7334 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 7938 7334 139 317 0 7617 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 31752

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1802328/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=32924 CPUtime=582.15
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 8042 0 0 0 58208 7 0 0 25 0 1 0 218457297 33714176 7632 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 8231 7632 139 317 0 7910 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 32924

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1801048/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=34240 CPUtime=642.15
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 8367 0 0 0 64207 8 0 0 25 0 1 0 218457297 35061760 7957 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 8560 7957 139 317 0 8239 0
Current children cumulated CPU time (s) 642.15
Current children cumulated vsize (KiB) 34240


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1796952/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=38068 CPUtime=882.09
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 9390 0 0 0 88200 9 0 0 25 0 1 0 218457297 38981632 8947 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 9517 8947 139 317 0 9196 0
Current children cumulated CPU time (s) 882.09
Current children cumulated vsize (KiB) 38068

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7921
/proc/meminfo: memFree=1796120/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=38888 CPUtime=942.07
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 9605 0 0 0 94198 9 0 0 25 0 1 0 218457297 39821312 9162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 9722 9162 139 317 0 9401 0
Current children cumulated CPU time (s) 942.07
Current children cumulated vsize (KiB) 38888

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1795032/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=40016 CPUtime=1002.05
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 9863 0 0 0 100196 9 0 0 25 0 1 0 218457297 40976384 9387 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 10004 9387 139 317 0 9683 0
Current children cumulated CPU time (s) 1002.05
Current children cumulated vsize (KiB) 40016

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1794392/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=40704 CPUtime=1062.04
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10040 0 0 0 106195 9 0 0 25 0 1 0 218457297 41680896 9564 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 10176 9564 139 317 0 9855 0
Current children cumulated CPU time (s) 1062.04
Current children cumulated vsize (KiB) 40704

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1793688/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=41420 CPUtime=1122.03
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10226 0 0 0 112193 10 0 0 25 0 1 0 218457297 42414080 9717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 10355 9717 139 317 0 10034 0
Current children cumulated CPU time (s) 1122.03
Current children cumulated vsize (KiB) 41420

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1793112/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=42076 CPUtime=1182.01
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10424 0 0 0 118191 10 0 0 25 0 1 0 218457297 43085824 9882 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 10519 9882 139 317 0 10198 0
Current children cumulated CPU time (s) 1182.01
Current children cumulated vsize (KiB) 42076

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1792344/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=42732 CPUtime=1241.99
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10595 0 0 0 124189 10 0 0 25 0 1 0 218457297 43757568 10053 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 10683 10053 139 317 0 10362 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 42732

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1791768/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=43252 CPUtime=1301.99
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 10751 0 0 0 130188 11 0 0 25 0 1 0 218457297 44290048 10209 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 10813 10209 139 317 0 10492 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 43252

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1782232/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=54168 CPUtime=1361.97
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 13482 0 0 0 136183 14 0 0 25 0 1 0 218457297 55468032 12594 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 13542 12594 139 317 0 13221 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 54168

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1777368/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=59004 CPUtime=1421.95
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 14673 0 0 0 142180 15 0 0 25 0 1 0 218457297 60420096 13785 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 14751 13785 139 317 0 14430 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 59004

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1774168/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=62576 CPUtime=1481.94
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 15537 0 0 0 148178 16 0 0 25 0 1 0 218457297 64077824 14584 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 15644 14584 139 317 0 15323 0
Current children cumulated CPU time (s) 1481.94
Current children cumulated vsize (KiB) 62576

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1771608/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=65264 CPUtime=1541.93
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 16177 0 0 0 154176 17 0 0 25 0 1 0 218457297 66830336 15224 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711478 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 16316 15224 139 317 0 15995 0
Current children cumulated CPU time (s) 1541.93
Current children cumulated vsize (KiB) 65264

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1769304/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=68200 CPUtime=1601.92
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 16874 0 0 0 160174 18 0 0 25 0 1 0 218457297 69836800 15823 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 17050 15823 139 317 0 16729 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 68200

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.97 3/65 7923
/proc/meminfo: memFree=1767128/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=70192 CPUtime=1661.9
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 17381 0 0 0 166172 18 0 0 25 0 1 0 218457297 71876608 16330 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 17548 16330 139 317 0 17227 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 70192

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.97 2/65 7923
/proc/meminfo: memFree=1764568/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=72724 CPUtime=1721.88
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 18064 0 0 0 172169 19 0 0 25 0 1 0 218457297 74469376 16980 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 18181 16980 139 317 0 17860 0
Current children cumulated CPU time (s) 1721.88
Current children cumulated vsize (KiB) 72724

[startup+1782.3 s]
/proc/loadavg: 1.04 0.99 0.97 2/65 7923
/proc/meminfo: memFree=1761240/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=76060 CPUtime=1781.87
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 18900 0 0 0 178167 20 0 0 25 0 1 0 218457297 77885440 17783 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 19015 17783 139 317 0 18694 0
Current children cumulated CPU time (s) 1781.87
Current children cumulated vsize (KiB) 76060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.03 0.99 0.97 2/65 7923
/proc/meminfo: memFree=1756824/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=80548 CPUtime=1800.07
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 20008 0 0 0 179986 21 0 0 25 0 1 0 218457297 82481152 18891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 20137 18891 139 317 0 19816 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 80548

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

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

[startup+1800.5 s]
/proc/loadavg: 1.03 0.99 0.97 2/65 7923
/proc/meminfo: memFree=1756824/2055920 swapFree=4184072/4192956
[pid=7920] ppid=7918 vsize=80548 CPUtime=1800.07
/proc/7920/stat : 7920 (oree) R 7918 7920 7861 0 -1 4194304 20008 0 0 0 179986 21 0 0 25 0 1 0 218457297 82481152 18891 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562648 0 0 4096 17474 0 0 0 17 1 0 0
/proc/7920/statm: 20137 18891 139 317 0 19816 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 80548

Child status: 0
Real time (s): 1800.53
CPU time (s): 1800.11
CPU user time (s): 1799.88
CPU system time (s): 0.229965
CPU usage (%): 99.9764
Max. virtual memory (cumulated for all children) (KiB): 80548

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

runsolver used 1.3228 second user time and 3.62145 second system time

The end

Launcher Data (download as text)

Begin job on node65 on Tue Apr 24 14:24:37 UTC 2007

IDJOB= 420445
IDBENCH= 47845
IDSOLVER= 172
FILE ID= node65/420445-1177424677

PBS_JOBID= 4675721

Free space on /tmp= 66400 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  0e4dc07f3154684a7909848699c6c0b7

RANDOM SEED= 157856712

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node65.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.245
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.245
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:       1833208 kB
Buffers:         14672 kB
Cached:         152436 kB
SwapCached:       2824 kB
Active:          56960 kB
Inactive:       119632 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1833208 kB
SwapTotal:     4192956 kB
SwapFree:      4184072 kB
Dirty:            2040 kB
Writeback:           0 kB
Mapped:          15452 kB
Slab:            32084 kB
Committed_AS:  2468780 kB
PageTables:       1456 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= 66400 MiB

End job on node65 on Tue Apr 24 14:54:39 UTC 2007