Trace number 362678

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds, and are wall clock time (not CPU time).

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (MO) 743.885 744.109

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/
pub/unibo/normalized-reduced-mps-v2-20-10-trento1.opb
MD5SUM38efecbab82080ab0719e9bf155a35ec
Bench CategoryOPT-SMALLINT (optimisation, small integers)
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 benchmark1.59576
Has Objective FunctionYES
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables44575
Total number of constraints1264
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1264
Minimum length of a constraint35
Maximum length of a constraint44575
Number of terms in the objective function 44575
Biggest coefficient in the objective function 78668
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 568252
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262143
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 568256
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.59/0.66	c ...done
0.59/0.66	c #vars=44575 #constraints=2513 hasObjective=yes
1.09/1.11	c res. mode=mod
1.09/1.11	c VSIDS like heuristics
1.09/1.11	c complete search running
1.29/1.38	c restart after 401 decisions
1.39/1.44	c nbDecision=500 #constraints=2513
1.59/1.61	c restart after 801 decisions
1.69/1.72	c nbDecision=1000 #constraints=2513
1.99/2.00	c nbDecision=1500 #constraints=2513
1.99/2.06	c restart after 1601 decisions
2.19/2.29	c nbDecision=2000 #constraints=2513
2.49/2.57	c nbDecision=2500 #constraints=2513
2.79/2.84	c nbDecision=3000 #constraints=2513
2.89/2.95	c restart after 3201 decisions
3.09/3.12	c nbDecision=3500 #constraints=2513
3.39/3.41	c nbDecision=4000 #constraints=2513
3.59/3.68	c nbDecision=4500 #constraints=2513
3.89/3.96	c nbDecision=5000 #constraints=2513
4.19/4.23	c nbDecision=5500 #constraints=2513
4.49/4.50	c nbDecision=6000 #constraints=2513
4.69/4.71	c restart after 6401 decisions
4.69/4.77	c nbDecision=6500 #constraints=2513
4.99/5.05	c nbDecision=7000 #constraints=2513
5.29/5.33	c nbDecision=7500 #constraints=2513
5.59/5.60	c nbDecision=8000 #constraints=2513
5.79/5.88	c nbDecision=8500 #constraints=2513
6.09/6.15	c nbDecision=9000 #constraints=2513
6.39/6.42	c nbDecision=9500 #constraints=2513
6.59/6.68	c nbDecision=10000 #constraints=2513
6.89/6.94	c nbDecision=10500 #constraints=2513
7.19/7.20	c nbDecision=11000 #constraints=2513
7.39/7.46	c nbDecision=11500 #constraints=2513
7.69/7.71	c nbDecision=12000 #constraints=2513
7.89/7.96	c nbDecision=12500 #constraints=2513
8.09/8.10	c restart after 12801 decisions
8.19/8.22	c nbDecision=13000 #constraints=2513
8.49/8.50	c nbDecision=13500 #constraints=2513
8.69/8.77	c nbDecision=14000 #constraints=2513
8.99/9.05	c nbDecision=14500 #constraints=2513
9.29/9.32	c nbDecision=15000 #constraints=2513
9.49/9.57	c nbDecision=15500 #constraints=2513
9.79/9.82	c nbDecision=16000 #constraints=2513
9.99/10.08	c nbDecision=16500 #constraints=2513
10.29/10.34	c nbDecision=17000 #constraints=2513
10.49/10.59	c nbDecision=17500 #constraints=2513
10.79/10.85	c nbDecision=18000 #constraints=2513
11.09/11.10	c nbDecision=18500 #constraints=2513
11.29/11.35	c nbDecision=19000 #constraints=2513
11.49/11.58	c nbDecision=19500 #constraints=2513
11.79/11.81	c nbDecision=20000 #constraints=2513
11.99/12.04	c nbDecision=20500 #constraints=2513
12.19/12.28	c nbDecision=21000 #constraints=2513
12.49/12.51	c nbDecision=21500 #constraints=2513
12.69/12.74	c nbDecision=22000 #constraints=2513
12.89/12.97	c nbDecision=22500 #constraints=2513
13.09/13.20	c nbDecision=23000 #constraints=2513
13.39/13.42	c nbDecision=23500 #constraints=2513
13.59/13.64	c nbDecision=24000 #constraints=2513
13.79/13.86	c nbDecision=24500 #constraints=2513
13.99/14.08	c nbDecision=25000 #constraints=2513
14.19/14.29	c nbDecision=25500 #constraints=2513
14.29/14.33	c restart after 25601 decisions
14.49/14.57	c nbDecision=26000 #constraints=2513
14.79/14.84	c nbDecision=26500 #constraints=2513
15.09/15.11	c nbDecision=27000 #constraints=2513
15.29/15.39	c nbDecision=27500 #constraints=2513
15.58/15.65	c nbDecision=28000 #constraints=2513
15.88/15.91	c nbDecision=28500 #constraints=2513
16.08/16.18	c nbDecision=29000 #constraints=2513
16.39/16.44	c nbDecision=29500 #constraints=2513
16.58/16.69	c nbDecision=30000 #constraints=2513
16.88/16.94	c nbDecision=30500 #constraints=2513
17.08/17.18	c nbDecision=31000 #constraints=2513
17.38/17.42	c nbDecision=31500 #constraints=2513
17.59/17.65	c nbDecision=32000 #constraints=2513
17.78/17.88	c nbDecision=32500 #constraints=2513
18.08/18.11	c nbDecision=33000 #constraints=2513
18.28/18.34	c nbDecision=33500 #constraints=2513
18.48/18.56	c nbDecision=34000 #constraints=2513
18.69/18.79	c nbDecision=34500 #constraints=2513
18.98/19.01	c nbDecision=35000 #constraints=2513
19.18/19.23	c nbDecision=35500 #constraints=2513
19.38/19.46	c nbDecision=36000 #constraints=2513
19.58/19.68	c nbDecision=36500 #constraints=2513
19.88/19.90	c nbDecision=37000 #constraints=2513
20.08/20.12	c nbDecision=37500 #constraints=2513
20.28/20.34	c nbDecision=38000 #constraints=2513
20.48/20.56	c nbDecision=38500 #constraints=2513
20.68/20.77	c nbDecision=39000 #constraints=2513
20.89/20.97	c nbDecision=39500 #constraints=2513
21.08/21.17	c nbDecision=40000 #constraints=2513
21.28/21.38	c nbDecision=40500 #constraints=2513
21.48/21.57	c nbDecision=41000 #constraints=2513
21.68/21.77	c nbDecision=41500 #constraints=2513
21.89/21.97	c nbDecision=42000 #constraints=2513
22.08/22.16	c nbDecision=42500 #constraints=2513
22.28/22.35	c nbDecision=43000 #constraints=2513
22.48/22.53	c nbDecision=43500 #constraints=2513
22.68/22.72	c nbDecision=44000 #constraints=2513
22.88/22.90	c nbDecision=44500 #constraints=2513
22.99/23.08	c nbDecision=45000 #constraints=2513
23.18/23.25	c nbDecision=45500 #constraints=2513
23.38/23.42	c nbDecision=46000 #constraints=2513
23.48/23.59	c nbDecision=46500 #constraints=2513
23.68/23.76	c nbDecision=47000 #constraints=2513
23.88/23.93	c nbDecision=47500 #constraints=2513
24.09/24.11	c nbDecision=48000 #constraints=2513
24.19/24.28	c nbDecision=48500 #constraints=2513
24.38/24.45	c nbDecision=49000 #constraints=2513
24.58/24.63	c nbDecision=49500 #constraints=2513
24.78/24.81	c nbDecision=50000 #constraints=2513
24.98/25.07	c nbDecision=50500 #constraints=2532
25.38/25.41	c nbDecision=51000 #constraints=2557
25.59/25.60	c restart after 51201 decisions
25.79/25.81	c nbDecision=51500 #constraints=2573
25.99/26.09	c nbDecision=52000 #constraints=2573
26.29/26.36	c nbDecision=52500 #constraints=2573
26.59/26.64	c nbDecision=53000 #constraints=2573
26.79/26.89	c nbDecision=53500 #constraints=2573
27.09/27.16	c nbDecision=54000 #constraints=2573
27.39/27.42	c nbDecision=54500 #constraints=2573
27.59/27.68	c nbDecision=55000 #constraints=2573
27.89/27.95	c nbDecision=55500 #constraints=2573
28.19/28.21	c nbDecision=56000 #constraints=2573
28.39/28.46	c nbDecision=56500 #constraints=2573
28.69/28.72	c nbDecision=57000 #constraints=2573
28.89/28.96	c nbDecision=57500 #constraints=2573
29.19/29.21	c nbDecision=58000 #constraints=2573
29.39/29.44	c nbDecision=58500 #constraints=2573
29.59/29.67	c nbDecision=59000 #constraints=2573
29.79/29.89	c nbDecision=59500 #constraints=2573
30.09/30.11	c nbDecision=60000 #constraints=2573
30.29/30.33	c nbDecision=60500 #constraints=2573
30.49/30.55	c nbDecision=61000 #constraints=2573
30.69/30.77	c nbDecision=61500 #constraints=2573
30.89/30.98	c nbDecision=62000 #constraints=2573
31.09/31.18	c nbDecision=62500 #constraints=2573
31.29/31.39	c nbDecision=63000 #constraints=2573
31.59/31.60	c nbDecision=63500 #constraints=2573
31.79/31.81	c nbDecision=64000 #constraints=2573
31.99/32.02	c nbDecision=64500 #constraints=2573
32.19/32.23	c nbDecision=65000 #constraints=2573
32.39/32.44	c nbDecision=65500 #constraints=2573
32.58/32.64	c nbDecision=66000 #constraints=2573
32.78/32.84	c nbDecision=66500 #constraints=2573
32.99/33.04	c nbDecision=67000 #constraints=2573
33.18/33.24	c nbDecision=67500 #constraints=2573
33.38/33.43	c nbDecision=68000 #constraints=2573
33.58/33.61	c nbDecision=68500 #constraints=2573
33.68/33.80	c nbDecision=69000 #constraints=2573
33.88/33.98	c nbDecision=69500 #constraints=2573
34.09/34.16	c nbDecision=70000 #constraints=2573
34.28/34.34	c nbDecision=70500 #constraints=2573
34.48/34.51	c nbDecision=71000 #constraints=2573
34.58/34.68	c nbDecision=71500 #constraints=2573
34.78/34.85	c nbDecision=72000 #constraints=2573
34.98/35.01	c nbDecision=72500 #constraints=2573
35.09/35.19	c nbDecision=73000 #constraints=2573
35.28/35.37	c nbDecision=73500 #constraints=2573
35.48/35.54	c nbDecision=74000 #constraints=2573
35.68/35.71	c nbDecision=74500 #constraints=2573
35.78/35.88	c nbDecision=75000 #constraints=2573
35.98/36.07	c nbDecision=75500 #constraints=2573
36.19/36.26	c nbDecision=76000 #constraints=2578
36.38/36.45	c nbDecision=76500 #constraints=2581
36.98/37.03	c nbDecision=77000 #constraints=2616
37.28/37.38	c nbDecision=77500 #constraints=2639
37.58/37.60	c nbDecision=78000 #constraints=2645
38.07/38.15	c nbDecision=78500 #constraints=2691
38.38/38.45	c nbDecision=79000 #constraints=2710
38.78/38.88	c nbDecision=79500 #constraints=2735
39.08/39.18	c nbDecision=80000 #constraints=2755
39.38/39.49	c nbDecision=80500 #constraints=2775
39.68/39.72	c nbDecision=81000 #constraints=2784
40.08/40.10	c nbDecision=81500 #constraints=2806
40.37/40.45	c nbDecision=82000 #constraints=2825
41.38/41.41	c nbDecision=82500 #constraints=2896
41.87/41.95	c nbDecision=83000 #constraints=2931
42.38/42.41	c nbDecision=83500 #constraints=2959
43.18/43.27	c nbDecision=84000 #constraints=3011
44.48/44.53	c nbDecision=84500 #constraints=3082
45.28/45.31	c nbDecision=85000 #constraints=3122
46.28/46.32	c nbDecision=85500 #constraints=3181
47.98/48.07	c nbDecision=86000 #constraints=3269
48.98/49.08	c nbDecision=86500 #constraints=3318
50.18/50.20	c nbDecision=87000 #constraints=3376
51.38/51.41	c nbDecision=87500 #constraints=3425
51.78/51.87	c nbDecision=88000 #constraints=3449
52.37/52.43	c nbDecision=88500 #constraints=3480
53.67/53.70	c nbDecision=89000 #constraints=3539
55.07/55.12	c nbDecision=89500 #constraints=3599
55.98/56.02	c nbDecision=90000 #constraints=3623
56.28/56.36	c nbDecision=90500 #constraints=3649
56.88/56.96	c nbDecision=91000 #constraints=3687
57.28/57.33	c nbDecision=91500 #constraints=3709
57.58/57.70	c nbDecision=92000 #constraints=3731
58.07/58.10	c nbDecision=92500 #constraints=3762
58.37/58.47	c nbDecision=93000 #constraints=3784
58.77/58.87	c nbDecision=93500 #constraints=3810
59.07/59.17	c nbDecision=94000 #constraints=3826
59.38/59.49	c nbDecision=94500 #constraints=3842
59.78/59.85	c nbDecision=95000 #constraints=3861
60.18/60.21	c nbDecision=95500 #constraints=3881
60.48/60.53	c nbDecision=96000 #constraints=3895
60.87/60.99	c nbDecision=96500 #constraints=3920
61.27/61.33	c nbDecision=97000 #constraints=3934
61.67/61.70	c nbDecision=97500 #constraints=3955
61.87/61.99	c nbDecision=98000 #constraints=3966
62.27/62.35	c nbDecision=98500 #constraints=3980
62.58/62.64	c nbDecision=99000 #constraints=3994
63.27/63.36	c nbDecision=99500 #constraints=4038
63.87/63.94	c nbDecision=100000 #constraints=4068
64.98/65.04	c nbDecision=100500 #constraints=4119
66.17/66.26	c nbDecision=101000 #constraints=4176
67.87/67.91	c nbDecision=101500 #constraints=4241
69.67/69.79	c nbDecision=102000 #constraints=4316
69.97/70.08	c restart after 102401 decisions
70.67/70.77	c nbDecision=102500 #constraints=4319
70.97/71.05	c nbDecision=103000 #constraints=4319
71.27/71.33	c nbDecision=103500 #constraints=4319
71.47/71.58	c nbDecision=104000 #constraints=4319
71.77/71.84	c nbDecision=104500 #constraints=4319
72.07/72.11	c nbDecision=105000 #constraints=4319
72.27/72.39	c nbDecision=105500 #constraints=4319
72.67/72.72	c nbDecision=106000 #constraints=4319
72.97/73.00	c nbDecision=106500 #constraints=4319
73.17/73.29	c nbDecision=107000 #constraints=4319
73.47/73.55	c nbDecision=107500 #constraints=4319
73.77/73.83	c nbDecision=108000 #constraints=4319
74.07/74.19	c nbDecision=108500 #constraints=4319
74.37/74.46	c nbDecision=109000 #constraints=4319
74.67/74.73	c nbDecision=109500 #constraints=4319
74.97/75.07	c nbDecision=110000 #constraints=4319
75.27/75.36	c nbDecision=110500 #constraints=4319
75.47/75.59	c nbDecision=111000 #constraints=4319
75.77/75.88	c nbDecision=111500 #constraints=4319
76.07/76.18	c nbDecision=112000 #constraints=4319
76.37/76.40	c nbDecision=112500 #constraints=4319
76.57/76.65	c nbDecision=113000 #constraints=4319
76.87/76.92	c nbDecision=113500 #constraints=4319
77.07/77.18	c nbDecision=114000 #constraints=4319
77.37/77.40	c nbDecision=114500 #constraints=4319
77.57/77.64	c nbDecision=115000 #constraints=4319
77.77/77.88	c nbDecision=115500 #constraints=4319
78.07/78.17	c nbDecision=116000 #constraints=4319
78.27/78.38	c nbDecision=116500 #constraints=4319
78.57/78.60	c nbDecision=117000 #constraints=4319
78.77/78.80	c nbDecision=117500 #constraints=4319
78.87/78.99	c nbDecision=118000 #constraints=4319
79.07/79.19	c nbDecision=118500 #constraints=4319
79.27/79.39	c nbDecision=119000 #constraints=4319
79.47/79.59	c nbDecision=119500 #constraints=4319
79.67/79.79	c nbDecision=120000 #constraints=4319
79.97/80.04	c nbDecision=120500 #constraints=4319
80.17/80.26	c nbDecision=121000 #constraints=4319
80.37/80.45	c nbDecision=121500 #constraints=4319
80.57/80.64	c nbDecision=122000 #constraints=4319
80.77/80.84	c nbDecision=122500 #constraints=4319
80.97/81.01	c nbDecision=123000 #constraints=4319
81.17/81.21	c nbDecision=123500 #constraints=4319
81.37/81.42	c nbDecision=124000 #constraints=4319
81.57/81.69	c nbDecision=124500 #constraints=4319
81.97/82.01	c nbDecision=125000 #constraints=4319
82.17/82.26	c nbDecision=125500 #constraints=4319
82.47/82.52	c nbDecision=126000 #constraints=4319
82.77/82.82	c nbDecision=126500 #constraints=4319
82.97/83.09	c nbDecision=127000 #constraints=4319
83.47/83.59	c nbDecision=127500 #constraints=4344
84.36/84.43	c nbDecision=128000 #constraints=4373
86.17/86.26	c nbDecision=128500 #constraints=4445
87.06/87.11	c nbDecision=129000 #constraints=4477
88.57/88.69	c nbDecision=129500 #constraints=4538
90.07/90.12	c nbDecision=130000 #constraints=4591
92.06/92.14	c nbDecision=130500 #constraints=4654
93.97/94.06	c nbDecision=131000 #constraints=4722
95.26/95.37	c nbDecision=131500 #constraints=4748
95.76/95.82	c nbDecision=132000 #constraints=4769
96.37/96.42	c nbDecision=132500 #constraints=4799
96.77/96.89	c nbDecision=133000 #constraints=4819
97.26/97.32	c nbDecision=133500 #constraints=4842
97.66/97.77	c nbDecision=134000 #constraints=4866
100.07/100.10	c nbDecision=134500 #constraints=4921
100.96/101.10	c nbDecision=135000 #constraints=4941
101.66/101.77	c nbDecision=135500 #constraints=4967
102.66/102.77	c nbDecision=136000 #constraints=5003
103.66/103.75	c nbDecision=136500 #constraints=5034
104.26/104.35	c nbDecision=137000 #constraints=5057
104.76/104.85	c nbDecision=137500 #constraints=5077
107.46/107.53	c nbDecision=138000 #constraints=5137
109.26/109.37	c nbDecision=138500 #constraints=5198
110.96/111.02	c nbDecision=139000 #constraints=5255
114.36/114.46	c nbDecision=139500 #constraints=5341
115.16/115.22	c nbDecision=140000 #constraints=5361
116.06/116.12	c nbDecision=140500 #constraints=5387
116.76/116.88	c nbDecision=141000 #constraints=5422
117.46/117.52	c nbDecision=141500 #constraints=5444
117.96/118.05	c nbDecision=142000 #constraints=5463
119.95/120.03	c nbDecision=142500 #constraints=5543
121.65/121.79	c nbDecision=143000 #constraints=5594
123.45/123.55	c nbDecision=143500 #constraints=5647
124.05/124.14	c nbDecision=144000 #constraints=5664
125.75/125.84	c nbDecision=144500 #constraints=5719
127.75/127.82	c nbDecision=145000 #constraints=5779
130.35/130.41	c nbDecision=145500 #constraints=5843
132.65/132.73	c nbDecision=146000 #constraints=5902
136.26/136.38	c nbDecision=146500 #constraints=5979
139.25/139.34	c nbDecision=147000 #constraints=6060
142.45/142.60	c nbDecision=147500 #constraints=6143
145.75/145.80	c nbDecision=148000 #constraints=6212
151.55/151.65	c nbDecision=148500 #constraints=6295
155.55/155.66	c nbDecision=149000 #constraints=6354
157.34/157.49	c nbDecision=149500 #constraints=6400
160.45/160.58	c nbDecision=150000 #constraints=6479
163.34/163.46	c nbDecision=150500 #constraints=6557
167.24/167.30	c nbDecision=151000 #constraints=6655
169.94/170.00	c nbDecision=151500 #constraints=6721
173.04/173.12	c nbDecision=152000 #constraints=6796
177.43/177.52	c nbDecision=152500 #constraints=6886
181.64/181.75	c nbDecision=153000 #constraints=6959
184.53/184.61	c nbDecision=153500 #constraints=7012
189.73/189.84	c nbDecision=154000 #constraints=7073
200.43/200.56	c nbDecision=154500 #constraints=7179
202.93/203.01	c nbDecision=155000 #constraints=7228
207.13/207.27	c nbDecision=155500 #constraints=7307
210.63/210.71	c nbDecision=156000 #constraints=7377
214.03/214.15	c nbDecision=156500 #constraints=7455
220.72/220.89	c nbDecision=157000 #constraints=7557
224.42/224.58	c nbDecision=157500 #constraints=7606
230.22/230.36	c nbDecision=158000 #constraints=7680
231.61/231.71	c nbDecision=158500 #constraints=7714
233.22/233.39	c nbDecision=159000 #constraints=7747
239.12/239.21	c nbDecision=159500 #constraints=7828
240.61/240.79	c nbDecision=160000 #constraints=7873
243.51/243.62	c nbDecision=160500 #constraints=7936
245.52/245.66	c nbDecision=161000 #constraints=7990
249.02/249.12	c nbDecision=161500 #constraints=8042
256.12/256.21	c nbDecision=162000 #constraints=8134
261.82/261.98	c nbDecision=162500 #constraints=8205
268.91/269.02	c nbDecision=163000 #constraints=8298
279.71/279.88	c nbDecision=163500 #constraints=8386
286.91/287.01	c nbDecision=164000 #constraints=8485
289.21/289.33	c nbDecision=164500 #constraints=8511
293.00/293.12	c nbDecision=165000 #constraints=8600
295.10/295.24	c nbDecision=165500 #constraints=8650
299.00/299.19	c nbDecision=166000 #constraints=8729
301.39/301.52	c nbDecision=166500 #constraints=8767
305.40/305.55	c nbDecision=167000 #constraints=8836
309.99/310.18	c nbDecision=167500 #constraints=8913
314.29/314.45	c nbDecision=168000 #constraints=8985
317.99/318.18	c nbDecision=168500 #constraints=9026
321.39/321.57	c nbDecision=169000 #constraints=9069
326.09/326.20	c nbDecision=169500 #constraints=9101
328.99/329.10	c nbDecision=170000 #constraints=9178
329.69/329.82	c nbDecision=170500 #constraints=9192
331.09/331.24	c nbDecision=171000 #constraints=9232
333.89/334.04	c nbDecision=171500 #constraints=9274
336.49/336.61	c nbDecision=172000 #constraints=9334
341.08/341.29	c nbDecision=172500 #constraints=9427
346.29/346.44	c nbDecision=173000 #constraints=9495
350.79/350.95	c nbDecision=173500 #constraints=9571
356.29/356.46	c nbDecision=174000 #constraints=9620
362.09/362.21	c nbDecision=174500 #constraints=9728
368.88/369.05	c nbDecision=175000 #constraints=9835
375.57/375.71	c nbDecision=175500 #constraints=9895
378.18/378.38	c nbDecision=176000 #constraints=9924
386.38/386.50	c nbDecision=176500 #constraints=10037
390.68/390.89	c nbDecision=177000 #constraints=10076
391.97/392.14	c nbDecision=177500 #constraints=10099
395.07/395.21	c nbDecision=178000 #constraints=10161
409.96/410.16	c nbDecision=178500 #constraints=10296
419.36/419.56	c nbDecision=179000 #constraints=10373
424.86/425.06	c nbDecision=179500 #constraints=10437
440.06/440.23	c nbDecision=180000 #constraints=10539
450.05/450.27	c nbDecision=180500 #constraints=10646
470.35/470.56	c nbDecision=181000 #constraints=10766
477.15/477.36	c nbDecision=181500 #constraints=10870
484.75/484.91	c nbDecision=182000 #constraints=10945
501.94/502.11	c nbDecision=182500 #constraints=11075
505.54/505.76	c nbDecision=183000 #constraints=11099
508.23/508.45	c nbDecision=183500 #constraints=11137
514.54/514.75	c nbDecision=184000 #constraints=11210
515.83/516.06	c nbDecision=184500 #constraints=11230
520.03/520.23	c nbDecision=185000 #constraints=11273
525.23/525.42	c nbDecision=185500 #constraints=11320
529.13/529.31	c nbDecision=186000 #constraints=11352
541.12/541.31	c nbDecision=186500 #constraints=11457
546.22/546.45	c nbDecision=187000 #constraints=11490
555.72/556.00	c nbDecision=187500 #constraints=11557
570.72/570.98	c nbDecision=188000 #constraints=11634
580.81/581.02	c nbDecision=188500 #constraints=11685
592.11/592.33	c nbDecision=189000 #constraints=11769
611.90/612.17	c nbDecision=189500 #constraints=11894
636.19/636.49	c nbDecision=190000 #constraints=12017
642.79/643.00	c nbDecision=190500 #constraints=12065
652.10/652.37	c nbDecision=191000 #constraints=12140
662.29/662.51	c nbDecision=191500 #constraints=12202
671.69/671.94	c nbDecision=192000 #constraints=12268
682.48/682.78	c nbDecision=192500 #constraints=12345
704.28/704.53	c nbDecision=193000 #constraints=12458
727.37/727.66	c nbDecision=193500 #constraints=12584
743.38/743.60	Received signal 15
743.57/743.82	
743.57/743.82	s UNKNOWN
743.57/743.82	
743.57/743.82	c user time= 741.809 s
743.57/743.82	c system time= 1.79673 s
743.57/743.82	c wall clock time=743.828

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node24/watcher-362678-1176847552 -o ROOT/results/node24/solver-362678-1176847552 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/362678-1176847552/instance-362678-1176847552.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.94 0.95 3/77 12340
/proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=1620 CPUtime=0
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 132673239 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 405 175 126 317 0 84 0

[startup+0.092433 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 12340
/proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=3440 CPUtime=0.08
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 818 0 0 0 8 0 0 0 18 0 1 0 132673239 3522560 573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271349 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 860 573 127 317 0 539 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3440

[startup+0.101445 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 12340
/proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=3440 CPUtime=0.09
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 818 0 0 0 9 0 0 0 18 0 1 0 132673239 3522560 573 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135272599 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 860 573 127 317 0 539 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3440

[startup+0.301455 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 12340
/proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=7228 CPUtime=0.29
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 1732 0 0 0 29 0 0 0 19 0 1 0 132673239 7401472 1487 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 1807 1487 131 317 0 1486 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7228

[startup+0.701498 s]
/proc/loadavg: 0.78 0.94 0.95 3/77 12340
/proc/meminfo: memFree=1654344/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=18564 CPUtime=0.69
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 4700 0 0 0 67 2 0 0 22 0 1 0 132673239 19009536 4228 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602691 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 4641 4228 137 317 0 4320 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 18564

[startup+1.50159 s]
/proc/loadavg: 0.78 0.94 0.95 2/78 12341
/proc/meminfo: memFree=1635712/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=21732 CPUtime=1.49
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5495 0 0 0 147 2 0 0 25 0 1 0 132673239 22253568 5023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 5433 5023 138 317 0 5112 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 21732

[startup+3.10176 s]
/proc/loadavg: 0.80 0.94 0.95 2/78 12341
/proc/meminfo: memFree=1634560/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=21732 CPUtime=3.09
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5495 0 0 0 307 2 0 0 25 0 1 0 132673239 22253568 5023 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 5433 5023 138 317 0 5112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 21732

[startup+6.30111 s]
/proc/loadavg: 0.80 0.94 0.95 2/78 12341
/proc/meminfo: memFree=1634432/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=21732 CPUtime=6.29
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5496 0 0 0 627 2 0 0 25 0 1 0 132673239 22253568 5024 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 5433 5024 138 317 0 5112 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 21732

[startup+12.7018 s]
/proc/loadavg: 0.83 0.94 0.95 2/78 12341
/proc/meminfo: memFree=1634432/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=21732 CPUtime=12.69
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5502 0 0 0 1267 2 0 0 25 0 1 0 132673239 22253568 5030 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 5433 5030 138 317 0 5112 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 21732

[startup+25.5012 s]
/proc/loadavg: 0.85 0.94 0.95 2/78 12341
/proc/meminfo: memFree=1633920/2055920 swapFree=4101452/4192956
[pid=12340] ppid=12338 vsize=22820 CPUtime=25.48
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 5723 0 0 0 2546 2 0 0 25 0 1 0 132673239 23367680 5251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712500 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 5705 5251 139 317 0 5384 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 22820

[startup+51.102 s]
/proc/loadavg: 0.90 0.94 0.95 2/78 12341
/proc/meminfo: memFree=1554688/2055920 swapFree=4101516/4192956
[pid=12340] ppid=12338 vsize=114032 CPUtime=51.08
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 26577 0 0 0 5098 10 0 0 25 0 1 0 132673239 116768768 26105 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541595 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 28508 26105 139 317 0 28187 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 114032

[startup+102.306 s]
/proc/loadavg: 0.96 0.95 0.95 2/78 12341
/proc/meminfo: memFree=1411840/2055920 swapFree=4101516/4192956
[pid=12340] ppid=12338 vsize=267376 CPUtime=102.27
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 62129 0 0 0 10203 24 0 0 25 0 1 0 132673239 273793024 60672 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 66844 60672 139 317 0 66523 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 267376

[startup+162.301 s]
/proc/loadavg: 0.98 0.96 0.95 2/78 12341
/proc/meminfo: memFree=1209088/2055920 swapFree=4101516/4192956
[pid=12340] ppid=12338 vsize=496124 CPUtime=162.25
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 116374 0 0 0 16183 42 0 0 25 0 1 0 132673239 508030976 111598 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 124031 111598 139 317 0 123710 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 496124

[startup+222.302 s]
/proc/loadavg: 0.99 0.96 0.95 2/78 12341
/proc/meminfo: memFree=1034624/2055920 swapFree=4101580/4192956
[pid=12340] ppid=12338 vsize=693472 CPUtime=222.22
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 165251 0 0 0 22162 60 0 0 25 0 1 0 132673239 710115328 154967 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 173368 154967 139 317 0 173047 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 693472

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=888320/2055920 swapFree=4101580/4192956
[pid=12340] ppid=12338 vsize=865256 CPUtime=282.2
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 207836 0 0 0 28144 76 0 0 25 0 1 0 132673239 886022144 191448 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 216314 191448 139 317 0 215993 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 865256

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=761792/2055920 swapFree=4101580/4192956
[pid=12340] ppid=12338 vsize=1011656 CPUtime=342.19
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 243307 0 0 0 34129 90 0 0 25 0 1 0 132673239 1035935744 222896 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 252914 222896 139 317 0 252593 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 1011656

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=636352/2055920 swapFree=4101644/4192956
[pid=12340] ppid=12338 vsize=1153408 CPUtime=402.17
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 279972 0 0 0 40112 105 0 0 25 0 1 0 132673239 1181089792 254357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 288352 254357 139 317 0 288031 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 1153408

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=525568/2055920 swapFree=4101644/4192956
[pid=12340] ppid=12338 vsize=1280748 CPUtime=462.15
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 315218 0 0 0 46098 117 0 0 25 0 1 0 132673239 1311485952 281753 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 320187 281753 139 317 0 319866 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 1280748

[startup+522.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=419264/2055920 swapFree=4101644/4192956
[pid=12340] ppid=12338 vsize=1407636 CPUtime=522.13
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 355287 0 0 0 52081 132 0 0 25 0 1 0 132673239 1441419264 308724 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 351909 308724 139 317 0 351588 0
Current children cumulated CPU time (s) 522.13
Current children cumulated vsize (KiB) 1407636

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=332160/2055920 swapFree=4101708/4192956
[pid=12340] ppid=12338 vsize=1517804 CPUtime=582.12
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 381727 0 0 0 58069 143 0 0 25 0 1 0 132673239 1554231296 330298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135284599 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 379451 330298 139 317 0 379130 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 1517804

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=236416/2055920 swapFree=4101708/4192956
[pid=12340] ppid=12338 vsize=1633944 CPUtime=642.1
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 414873 0 0 0 64055 155 0 0 25 0 1 0 132673239 1673158656 353789 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 408486 353789 139 317 0 408165 0
Current children cumulated CPU time (s) 642.1
Current children cumulated vsize (KiB) 1633944

[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=137664/2055920 swapFree=4101772/4192956
[pid=12340] ppid=12338 vsize=1756768 CPUtime=702.08
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 451512 0 0 0 70039 169 0 0 25 0 1 0 132673239 1798930432 378865 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 439192 378865 139 317 0 438871 0
Current children cumulated CPU time (s) 702.08
Current children cumulated vsize (KiB) 1756768



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+743.605 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956
[pid=12340] ppid=12338 vsize=1843252 CPUtime=743.38
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 483235 0 0 0 74159 179 0 0 25 0 1 0 132673239 1887490048 397589 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 460813 397589 139 317 0 460492 0
Current children cumulated CPU time (s) 743.38
Current children cumulated vsize (KiB) 1843252

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

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

[startup+743.801 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956
[pid=12340] ppid=12338 vsize=1843748 CPUtime=743.57
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194304 483392 0 0 0 74178 179 0 0 25 0 1 0 132673239 1887997952 397660 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718667 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 460937 397660 139 317 0 460616 0
Current children cumulated CPU time (s) 743.57
Current children cumulated vsize (KiB) 1843748

[startup+744.001 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956
[pid=12340] ppid=12338 vsize=0 CPUtime=743.77
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194308 483425 0 0 0 74183 194 0 0 25 0 1 0 132673239 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 743.77
Current children cumulated vsize (KiB) 0

[startup+744.101 s]
/proc/loadavg: 0.99 0.97 0.95 2/78 12341
/proc/meminfo: memFree=60800/2055920 swapFree=4101772/4192956
[pid=12340] ppid=12338 vsize=0 CPUtime=743.87
/proc/12340/stat : 12340 (oree) R 12338 12340 12283 0 -1 4194308 483425 0 0 0 74183 204 0 0 25 0 1 0 132673239 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12340/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 743.87
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 744.109
CPU time (s): 743.885
CPU user time (s): 741.83
CPU system time (s): 2.05469
CPU usage (%): 99.9698
Max. virtual memory (cumulated for all children) (KiB): 1843748

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

runsolver used 0.846871 second user time and 1.88571 second system time

The end

Launcher Data (download as text)

Begin job on node24 on Tue Apr 17 22:05:52 UTC 2007

IDJOB= 362678
IDBENCH= 1616
IDSOLVER= 172
FILE ID= node24/362678-1176847552

PBS_JOBID= 4590215

Free space on /tmp= 66493 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  38efecbab82080ab0719e9bf155a35ec

RANDOM SEED= 934752910

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node24.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.238
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.238
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:       1655008 kB
Buffers:         39968 kB
Cached:         227536 kB
SwapCached:      60732 kB
Active:          65144 kB
Inactive:       270748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1655008 kB
SwapTotal:     4192956 kB
SwapFree:      4101452 kB
Dirty:            3556 kB
Writeback:           0 kB
Mapped:          49344 kB
Slab:            50584 kB
Committed_AS:  1811780 kB
PageTables:       1808 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= 66493 MiB

End job on node24 on Tue Apr 17 22:18:18 UTC 2007