Trace number 357393

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerObjective functionCPU timeWall clock time
oree 0.1.2 alpha? (TO) 1800.45 1801.15

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/
MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM707da2ebfa2e9fe97fe57c41e089cde1
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark304897224
Best CPU time to get the best result obtained on this benchmark1801.14
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 304897224
Optimality of the best value was proved NO
Number of variables21960
Total number of constraints750
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 constraints750
Minimum length of a constraint31
Maximum length of a constraint372
Number of terms in the objective function 11160
Biggest coefficient in the objective function 2147483648
Number of bits for the biggest coefficient in the objective function 32
Sum of the numbers in the objective function 869952060630
Number of bits of the sum of numbers in the objective function 40
Biggest number in a constraint 2147483648
Number of bits of the biggest number in a constraint 32
Biggest sum of numbers in a constraint 869952060630
Number of bits of the biggest sum of numbers40
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.19/0.23	c ...done
0.19/0.23	c #vars=21960 #constraints=1111 hasObjective=yes
0.29/0.33	c res. mode=mod
0.29/0.33	c VSIDS like heuristics
0.29/0.33	c complete search running
0.49/0.51	c restart after 401 decisions
0.49/0.56	c nbDecision=500 #constraints=1112
0.59/0.68	c restart after 801 decisions
0.69/0.77	c nbDecision=1000 #constraints=1112
0.89/0.98	c nbDecision=1500 #constraints=1113
0.99/1.02	c restart after 1601 decisions
1.09/1.19	c nbDecision=2000 #constraints=1113
1.29/1.38	c nbDecision=2500 #constraints=1115
1.49/1.57	c nbDecision=3000 #constraints=1116
1.59/1.64	c restart after 3201 decisions
1.69/1.77	c nbDecision=3500 #constraints=1117
1.89/1.95	c nbDecision=4000 #constraints=1118
2.09/2.13	c nbDecision=4500 #constraints=1119
2.29/2.32	c nbDecision=5000 #constraints=1125
2.49/2.50	c nbDecision=5500 #constraints=1127
2.59/2.68	c nbDecision=6000 #constraints=1128
2.79/2.82	c restart after 6401 decisions
2.79/2.87	c nbDecision=6500 #constraints=1129
2.99/3.06	c nbDecision=7000 #constraints=1130
3.19/3.22	c nbDecision=7500 #constraints=1130
3.49/3.58	c nbDecision=8000 #constraints=1155
3.89/3.92	c nbDecision=8500 #constraints=1173
4.09/4.12	c nbDecision=9000 #constraints=1183
4.39/4.47	c nbDecision=9500 #constraints=1207
4.69/4.71	c nbDecision=10000 #constraints=1219
5.09/5.15	c nbDecision=10500 #constraints=1260
5.29/5.35	c nbDecision=11000 #constraints=1263
5.49/5.53	c nbDecision=11500 #constraints=1264
5.69/5.72	c nbDecision=12000 #constraints=1266
5.88/5.90	c nbDecision=12500 #constraints=1267
5.98/6.00	c restart after 12801 decisions
6.08/6.10	c nbDecision=13000 #constraints=1268
6.18/6.28	c nbDecision=13500 #constraints=1268
6.38/6.47	c nbDecision=14000 #constraints=1271
6.59/6.67	c nbDecision=14500 #constraints=1272
6.78/6.87	c nbDecision=15000 #constraints=1273
6.98/7.08	c nbDecision=15500 #constraints=1274
7.18/7.27	c nbDecision=16000 #constraints=1275
7.38/7.45	c nbDecision=16500 #constraints=1277
7.59/7.64	c nbDecision=17000 #constraints=1278
7.78/7.82	c nbDecision=17500 #constraints=1279
7.98/8.00	c nbDecision=18000 #constraints=1280
8.08/8.18	c nbDecision=18500 #constraints=1282
8.28/8.36	c nbDecision=19000 #constraints=1284
8.48/8.59	c nbDecision=19500 #constraints=1293
8.98/9.02	c nbDecision=20000 #constraints=1330
9.18/9.27	c nbDecision=20500 #constraints=1342
9.49/9.58	c nbDecision=21000 #constraints=1357
9.69/9.77	c nbDecision=21500 #constraints=1363
9.99/10.04	c nbDecision=22000 #constraints=1378
10.19/10.25	c nbDecision=22500 #constraints=1385
10.49/10.55	c nbDecision=23000 #constraints=1400
10.69/10.78	c nbDecision=23500 #constraints=1409
10.99/11.02	c nbDecision=24000 #constraints=1419
11.29/11.32	c nbDecision=24500 #constraints=1435
11.59/11.63	c nbDecision=25000 #constraints=1451
11.89/11.92	c nbDecision=25500 #constraints=1466
11.99/12.06	c restart after 25601 decisions
12.19/12.25	c nbDecision=26000 #constraints=1477
12.39/12.44	c nbDecision=26500 #constraints=1478
12.59/12.65	c nbDecision=27000 #constraints=1481
12.79/12.84	c nbDecision=27500 #constraints=1482
12.99/13.03	c nbDecision=28000 #constraints=1484
13.09/13.20	c nbDecision=28500 #constraints=1486
13.39/13.45	c nbDecision=29000 #constraints=1496
13.68/13.76	c nbDecision=29500 #constraints=1510
13.88/13.98	c nbDecision=30000 #constraints=1520
14.19/14.27	c nbDecision=30500 #constraints=1534
14.58/14.62	c nbDecision=31000 #constraints=1557
14.78/14.80	c nbDecision=31500 #constraints=1561
14.98/15.09	c nbDecision=32000 #constraints=1574
15.29/15.36	c nbDecision=32500 #constraints=1585
15.58/15.60	c nbDecision=33000 #constraints=1593
15.78/15.83	c nbDecision=33500 #constraints=1601
15.98/16.04	c nbDecision=34000 #constraints=1609
16.18/16.29	c nbDecision=34500 #constraints=1619
16.48/16.54	c nbDecision=35000 #constraints=1630
16.88/16.92	c nbDecision=35500 #constraints=1665
17.08/17.12	c nbDecision=36000 #constraints=1672
17.28/17.36	c nbDecision=36500 #constraints=1680
17.58/17.64	c nbDecision=37000 #constraints=1692
17.88/17.94	c nbDecision=37500 #constraints=1707
18.08/18.15	c nbDecision=38000 #constraints=1713
18.38/18.45	c nbDecision=38500 #constraints=1730
18.68/18.72	c nbDecision=39000 #constraints=1741
18.88/18.97	c nbDecision=39500 #constraints=1753
19.18/19.22	c nbDecision=40000 #constraints=1761
19.38/19.50	c nbDecision=40500 #constraints=1772
19.68/19.71	c nbDecision=41000 #constraints=1778
19.98/20.03	c nbDecision=41500 #constraints=1794
20.28/20.34	c nbDecision=42000 #constraints=1808
20.69/20.71	c nbDecision=42500 #constraints=1822
21.29/21.39	c nbDecision=43000 #constraints=1895
21.69/21.77	c nbDecision=43500 #constraints=1919
21.99/22.04	c nbDecision=44000 #constraints=1927
22.39/22.46	c nbDecision=44500 #constraints=1944
22.69/22.77	c nbDecision=45000 #constraints=1955
22.89/22.95	c nbDecision=45500 #constraints=1958
23.19/23.21	c nbDecision=46000 #constraints=1966
23.49/23.51	c nbDecision=46500 #constraints=1976
23.69/23.79	c nbDecision=47000 #constraints=1985
24.09/24.18	c nbDecision=47500 #constraints=2004
24.39/24.48	c nbDecision=48000 #constraints=2015
24.78/24.84	c nbDecision=48500 #constraints=2029
25.38/25.48	c nbDecision=49000 #constraints=2062
25.98/26.08	c nbDecision=49500 #constraints=2082
26.48/26.58	c nbDecision=50000 #constraints=2097
27.98/28.01	c nbDecision=50500 #constraints=2187
28.28/28.33	c nbDecision=51000 #constraints=2193
28.28/28.39	c restart after 51201 decisions
28.48/28.57	c nbDecision=51500 #constraints=2193
28.98/29.07	c nbDecision=52000 #constraints=2209
29.28/29.34	c nbDecision=52500 #constraints=2211
29.98/30.05	c nbDecision=53000 #constraints=2241
30.58/30.65	c nbDecision=53500 #constraints=2258
31.28/31.32	c nbDecision=54000 #constraints=2285
31.48/31.58	c nbDecision=54500 #constraints=2295
32.07/32.11	c nbDecision=55000 #constraints=2315
32.47/32.51	c nbDecision=55500 #constraints=2328
32.99/33.03	c nbDecision=56000 #constraints=2344
33.58/33.60	c nbDecision=56500 #constraints=2360
33.88/33.98	c nbDecision=57000 #constraints=2371
34.28/34.30	c nbDecision=57500 #constraints=2380
34.98/35.01	c nbDecision=58000 #constraints=2412
35.67/35.74	c nbDecision=58500 #constraints=2434
35.97/36.07	c nbDecision=59000 #constraints=2442
36.47/36.51	c nbDecision=59500 #constraints=2457
36.77/36.86	c nbDecision=60000 #constraints=2467
37.28/37.34	c nbDecision=60500 #constraints=2480
37.67/37.70	c nbDecision=61000 #constraints=2488
38.07/38.10	c nbDecision=61500 #constraints=2499
38.78/38.81	c nbDecision=62000 #constraints=2523
39.08/39.14	c nbDecision=62500 #constraints=2529
39.48/39.59	c nbDecision=63000 #constraints=2540
40.08/40.11	c nbDecision=63500 #constraints=2553
40.48/40.51	c nbDecision=64000 #constraints=2562
40.98/41.04	c nbDecision=64500 #constraints=2576
41.48/41.54	c nbDecision=65000 #constraints=2589
41.97/42.01	c nbDecision=65500 #constraints=2601
42.38/42.47	c nbDecision=66000 #constraints=2612
43.07/43.15	c nbDecision=66500 #constraints=2630
43.57/43.64	c nbDecision=67000 #constraints=2644
43.98/44.04	c nbDecision=67500 #constraints=2654
44.37/44.43	c nbDecision=68000 #constraints=2663
44.87/44.90	c nbDecision=68500 #constraints=2674
45.37/45.43	c nbDecision=69000 #constraints=2687
45.77/45.84	c nbDecision=69500 #constraints=2697
46.37/46.44	c nbDecision=70000 #constraints=2714
46.87/46.97	c nbDecision=70500 #constraints=2728
47.47/47.52	c nbDecision=71000 #constraints=2745
48.07/48.13	c nbDecision=71500 #constraints=2763
48.47/48.54	c nbDecision=72000 #constraints=2773
48.77/48.88	c nbDecision=72500 #constraints=2780
49.37/49.41	c nbDecision=73000 #constraints=2793
49.77/49.81	c nbDecision=73500 #constraints=2803
50.27/50.32	c nbDecision=74000 #constraints=2816
50.57/50.69	c nbDecision=74500 #constraints=2828
51.18/51.25	c nbDecision=75000 #constraints=2846
51.77/51.88	c nbDecision=75500 #constraints=2863
52.37/52.43	c nbDecision=76000 #constraints=2878
52.78/52.81	c nbDecision=76500 #constraints=2888
53.27/53.39	c nbDecision=77000 #constraints=2905
54.07/54.16	c nbDecision=77500 #constraints=2930
54.77/54.84	c nbDecision=78000 #constraints=2954
55.47/55.55	c nbDecision=78500 #constraints=2974
56.37/56.43	c nbDecision=79000 #constraints=3000
56.97/57.06	c nbDecision=79500 #constraints=3015
57.57/57.64	c nbDecision=80000 #constraints=3030
58.07/58.14	c nbDecision=80500 #constraints=3042
58.96/59.03	c nbDecision=81000 #constraints=3066
59.37/59.48	c nbDecision=81500 #constraints=3076
60.06/60.15	c nbDecision=82000 #constraints=3095
60.56/60.69	c nbDecision=82500 #constraints=3105
61.36/61.41	c nbDecision=83000 #constraints=3127
61.86/61.91	c nbDecision=83500 #constraints=3138
62.56/62.68	c nbDecision=84000 #constraints=3159
63.06/63.12	c nbDecision=84500 #constraints=3170
63.46/63.59	c nbDecision=85000 #constraints=3181
64.06/64.10	c nbDecision=85500 #constraints=3196
64.37/64.45	c nbDecision=86000 #constraints=3202
64.77/64.88	c nbDecision=86500 #constraints=3211
65.57/65.65	c nbDecision=87000 #constraints=3231
66.07/66.19	c nbDecision=87500 #constraints=3241
66.57/66.67	c nbDecision=88000 #constraints=3251
67.17/67.21	c nbDecision=88500 #constraints=3264
67.47/67.58	c nbDecision=89000 #constraints=3272
68.07/68.14	c nbDecision=89500 #constraints=3286
68.57/68.61	c nbDecision=90000 #constraints=3299
69.27/69.38	c nbDecision=90500 #constraints=3321
70.07/70.13	c nbDecision=91000 #constraints=3339
70.67/70.78	c nbDecision=91500 #constraints=3358
71.07/71.17	c nbDecision=92000 #constraints=3366
71.66/71.75	c nbDecision=92500 #constraints=3379
72.16/72.29	c nbDecision=93000 #constraints=3392
72.86/72.99	c nbDecision=93500 #constraints=3412
73.36/73.44	c nbDecision=94000 #constraints=3423
73.76/73.89	c nbDecision=94500 #constraints=3436
74.36/74.46	c nbDecision=95000 #constraints=3451
74.76/74.82	c nbDecision=95500 #constraints=3460
75.26/75.37	c nbDecision=96000 #constraints=3473
75.77/75.83	c nbDecision=96500 #constraints=3485
76.16/76.25	c nbDecision=97000 #constraints=3495
76.76/76.85	c nbDecision=97500 #constraints=3512
77.56/77.64	c nbDecision=98000 #constraints=3537
77.96/78.05	c nbDecision=98500 #constraints=3548
78.66/78.75	c nbDecision=99000 #constraints=3568
79.46/79.56	c nbDecision=99500 #constraints=3585
79.96/80.02	c nbDecision=100000 #constraints=3596
80.26/80.35	c nbDecision=100500 #constraints=3602
80.95/81.07	c nbDecision=101000 #constraints=3620
81.45/81.53	c nbDecision=101500 #constraints=3630
81.85/81.99	c nbDecision=102000 #constraints=3640
82.47/82.57	c restart after 102401 decisions
82.76/82.85	c nbDecision=102500 #constraints=3654
83.16/83.28	c nbDecision=103000 #constraints=3655
83.76/83.90	c nbDecision=103500 #constraints=3657
84.57/84.63	c nbDecision=104000 #constraints=3663
85.26/85.37	c nbDecision=104500 #constraints=3665
85.96/86.08	c nbDecision=105000 #constraints=3688
86.36/86.45	c nbDecision=105500 #constraints=3697
87.16/87.21	c nbDecision=106000 #constraints=3718
87.76/87.87	c nbDecision=106500 #constraints=3738
88.36/88.49	c nbDecision=107000 #constraints=3758
89.06/89.12	c nbDecision=107500 #constraints=3773
89.66/89.76	c nbDecision=108000 #constraints=3791
90.46/90.57	c nbDecision=108500 #constraints=3812
91.05/91.19	c nbDecision=109000 #constraints=3827
91.95/92.06	c nbDecision=109500 #constraints=3850
92.55/92.67	c nbDecision=110000 #constraints=3865
93.36/93.46	c nbDecision=110500 #constraints=3893
93.65/93.79	c nbDecision=111000 #constraints=3901
94.05/94.13	c nbDecision=111500 #constraints=3908
94.65/94.79	c nbDecision=112000 #constraints=3923
95.35/95.47	c nbDecision=112500 #constraints=3939
95.85/95.97	c nbDecision=113000 #constraints=3949
96.35/96.41	c nbDecision=113500 #constraints=3958
96.85/96.90	c nbDecision=114000 #constraints=3970
97.35/97.40	c nbDecision=114500 #constraints=3982
98.15/98.25	c nbDecision=115000 #constraints=4003
99.16/99.25	c nbDecision=115500 #constraints=4025
100.25/100.31	c nbDecision=116000 #constraints=4047
101.45/101.56	c nbDecision=116500 #constraints=4067
102.55/102.69	c nbDecision=117000 #constraints=4085
103.36/103.48	c nbDecision=117500 #constraints=4112
104.25/104.31	c nbDecision=118000 #constraints=4135
104.85/104.91	c nbDecision=118500 #constraints=4151
105.65/105.70	c nbDecision=119000 #constraints=4169
106.15/106.21	c nbDecision=119500 #constraints=4179
106.56/106.69	c nbDecision=120000 #constraints=4188
107.55/107.64	c nbDecision=120500 #constraints=4217
108.05/108.14	c nbDecision=121000 #constraints=4230
108.65/108.70	c nbDecision=121500 #constraints=4239
109.15/109.29	c nbDecision=122000 #constraints=4248
110.25/110.33	c nbDecision=122500 #constraints=4271
111.55/111.66	c nbDecision=123000 #constraints=4304
113.05/113.13	c nbDecision=123500 #constraints=4327
113.65/113.70	c nbDecision=124000 #constraints=4336
114.74/114.84	c nbDecision=124500 #constraints=4359
116.04/116.11	c nbDecision=125000 #constraints=4385
116.84/116.90	c nbDecision=125500 #constraints=4400
117.14/117.29	c nbDecision=126000 #constraints=4405
117.94/118.03	c nbDecision=126500 #constraints=4418
118.54/118.68	c nbDecision=127000 #constraints=4432
119.04/119.12	c nbDecision=127500 #constraints=4440
119.84/119.95	c nbDecision=128000 #constraints=4455
122.55/122.64	c nbDecision=128500 #constraints=4572
123.24/123.36	c nbDecision=129000 #constraints=4584
123.65/123.77	c nbDecision=129500 #constraints=4590
124.15/124.28	c nbDecision=130000 #constraints=4599
124.84/124.96	c nbDecision=130500 #constraints=4612
125.74/125.80	c nbDecision=131000 #constraints=4623
126.74/126.80	c nbDecision=131500 #constraints=4643
127.55/127.67	c nbDecision=132000 #constraints=4659
128.44/128.58	c nbDecision=132500 #constraints=4677
129.24/129.36	c nbDecision=133000 #constraints=4690
130.54/130.61	c nbDecision=133500 #constraints=4710
131.64/131.74	c nbDecision=134000 #constraints=4727
132.63/132.78	c nbDecision=134500 #constraints=4743
133.74/133.85	c nbDecision=135000 #constraints=4759
134.83/134.92	c nbDecision=135500 #constraints=4778
135.63/135.71	c nbDecision=136000 #constraints=4788
136.24/136.38	c nbDecision=136500 #constraints=4803
136.94/137.01	c nbDecision=137000 #constraints=4816
137.64/137.72	c nbDecision=137500 #constraints=4831
138.24/138.33	c nbDecision=138000 #constraints=4842
139.04/139.15	c nbDecision=138500 #constraints=4858
139.64/139.76	c nbDecision=139000 #constraints=4869
140.24/140.37	c nbDecision=139500 #constraints=4879
140.84/140.94	c nbDecision=140000 #constraints=4890
141.64/141.73	c nbDecision=140500 #constraints=4906
142.24/142.39	c nbDecision=141000 #constraints=4918
142.64/142.78	c nbDecision=141500 #constraints=4925
143.34/143.48	c nbDecision=142000 #constraints=4939
143.84/143.98	c nbDecision=142500 #constraints=4948
144.24/144.40	c nbDecision=143000 #constraints=4955
144.84/144.97	c nbDecision=143500 #constraints=4965
145.74/145.85	c nbDecision=144000 #constraints=4981
146.24/146.33	c nbDecision=144500 #constraints=4988
146.93/147.00	c nbDecision=145000 #constraints=4997
147.53/147.64	c nbDecision=145500 #constraints=5006
148.23/148.34	c nbDecision=146000 #constraints=5016
148.93/149.07	c nbDecision=146500 #constraints=5028
149.44/149.58	c nbDecision=147000 #constraints=5036
150.33/150.43	c nbDecision=147500 #constraints=5048
150.93/151.07	c nbDecision=148000 #constraints=5060
151.63/151.78	c nbDecision=148500 #constraints=5073
152.33/152.49	c nbDecision=149000 #constraints=5086
153.03/153.12	c nbDecision=149500 #constraints=5095
153.73/153.87	c nbDecision=150000 #constraints=5111
154.43/154.52	c nbDecision=150500 #constraints=5121
155.13/155.21	c nbDecision=151000 #constraints=5133
155.92/156.01	c nbDecision=151500 #constraints=5147
157.83/157.98	c nbDecision=152000 #constraints=5175
158.93/159.08	c nbDecision=152500 #constraints=5216
161.42/161.53	c nbDecision=153000 #constraints=5262
162.22/162.32	c nbDecision=153500 #constraints=5275
163.22/163.37	c nbDecision=154000 #constraints=5291
164.32/164.44	c nbDecision=154500 #constraints=5306
165.62/165.79	c nbDecision=155000 #constraints=5324
167.12/167.25	c nbDecision=155500 #constraints=5352
168.12/168.28	c nbDecision=156000 #constraints=5382
169.12/169.21	c nbDecision=156500 #constraints=5397
170.22/170.36	c nbDecision=157000 #constraints=5418
171.33/171.41	c nbDecision=157500 #constraints=5436
172.53/172.63	c nbDecision=158000 #constraints=5452
173.63/173.74	c nbDecision=158500 #constraints=5469
174.33/174.49	c nbDecision=159000 #constraints=5480
175.02/175.11	c nbDecision=159500 #constraints=5490
175.83/175.95	c nbDecision=160000 #constraints=5505
177.32/177.46	c nbDecision=160500 #constraints=5527
178.72/178.83	c nbDecision=161000 #constraints=5546
179.42/179.54	c nbDecision=161500 #constraints=5555
180.62/180.76	c nbDecision=162000 #constraints=5569
181.62/181.72	c nbDecision=162500 #constraints=5582
182.52/182.62	c nbDecision=163000 #constraints=5594
182.92/183.08	c nbDecision=163500 #constraints=5603
183.92/184.03	c nbDecision=164000 #constraints=5616
184.82/184.93	c nbDecision=164500 #constraints=5631
185.52/185.62	c nbDecision=165000 #constraints=5642
186.51/186.63	c nbDecision=165500 #constraints=5657
187.81/187.94	c nbDecision=166000 #constraints=5676
189.41/189.58	c nbDecision=166500 #constraints=5696
190.01/190.15	c nbDecision=167000 #constraints=5703
191.01/191.10	c nbDecision=167500 #constraints=5718
191.71/191.80	c nbDecision=168000 #constraints=5729
192.21/192.37	c nbDecision=168500 #constraints=5737
193.12/193.26	c nbDecision=169000 #constraints=5751
194.52/194.63	c nbDecision=169500 #constraints=5773
195.12/195.29	c nbDecision=170000 #constraints=5780
195.82/195.93	c nbDecision=170500 #constraints=5788
196.42/196.54	c nbDecision=171000 #constraints=5795
197.31/197.44	c nbDecision=171500 #constraints=5808
198.01/198.15	c nbDecision=172000 #constraints=5817
198.61/198.74	c nbDecision=172500 #constraints=5828
199.91/200.03	c nbDecision=173000 #constraints=5852
200.71/200.80	c nbDecision=173500 #constraints=5869
202.21/202.34	c nbDecision=174000 #constraints=5896
203.31/203.41	c nbDecision=174500 #constraints=5913
204.01/204.17	c nbDecision=175000 #constraints=5926
205.01/205.13	c nbDecision=175500 #constraints=5941
205.71/205.85	c nbDecision=176000 #constraints=5955
206.31/206.43	c nbDecision=176500 #constraints=5964
206.91/207.05	c nbDecision=177000 #constraints=5974
209.61/209.77	c nbDecision=177500 #constraints=6031
210.51/210.62	c nbDecision=178000 #constraints=6043
210.90/211.03	c nbDecision=178500 #constraints=6051
212.40/212.50	c nbDecision=179000 #constraints=6071
212.70/212.82	c nbDecision=179500 #constraints=6076
215.70/215.85	c nbDecision=180000 #constraints=6152
217.70/217.88	c nbDecision=180500 #constraints=6194
218.41/218.57	c nbDecision=181000 #constraints=6204
219.61/219.70	c nbDecision=181500 #constraints=6224
220.51/220.60	c nbDecision=182000 #constraints=6238
221.81/221.95	c nbDecision=182500 #constraints=6258
223.11/223.23	c nbDecision=183000 #constraints=6280
223.90/224.06	c nbDecision=183500 #constraints=6290
224.70/224.88	c nbDecision=184000 #constraints=6302
226.00/226.16	c nbDecision=184500 #constraints=6320
227.20/227.36	c nbDecision=185000 #constraints=6339
227.90/228.02	c nbDecision=185500 #constraints=6349
228.50/228.63	c nbDecision=186000 #constraints=6357
229.70/229.88	c nbDecision=186500 #constraints=6376
231.00/231.11	c nbDecision=187000 #constraints=6395
231.60/231.75	c nbDecision=187500 #constraints=6404
232.70/232.89	c nbDecision=188000 #constraints=6419
233.40/233.58	c nbDecision=188500 #constraints=6430
234.10/234.28	c nbDecision=189000 #constraints=6439
234.80/234.96	c nbDecision=189500 #constraints=6448
235.50/235.66	c nbDecision=190000 #constraints=6458
236.70/236.83	c nbDecision=190500 #constraints=6477
237.40/237.57	c nbDecision=191000 #constraints=6487
238.29/238.45	c nbDecision=191500 #constraints=6500
239.19/239.31	c nbDecision=192000 #constraints=6512
240.29/240.47	c nbDecision=192500 #constraints=6527
241.29/241.40	c nbDecision=193000 #constraints=6540
242.70/242.83	c nbDecision=193500 #constraints=6568
243.40/243.59	c nbDecision=194000 #constraints=6577
244.10/244.26	c nbDecision=194500 #constraints=6585
244.90/245.09	c nbDecision=195000 #constraints=6597
245.70/245.89	c nbDecision=195500 #constraints=6607
246.60/246.71	c nbDecision=196000 #constraints=6619
247.70/247.88	c nbDecision=196500 #constraints=6634
248.80/248.98	c nbDecision=197000 #constraints=6652
249.60/249.75	c nbDecision=197500 #constraints=6663
250.29/250.41	c nbDecision=198000 #constraints=6673
251.29/251.42	c nbDecision=198500 #constraints=6691
252.19/252.33	c nbDecision=199000 #constraints=6704
253.49/253.61	c nbDecision=199500 #constraints=6723
254.89/255.09	c nbDecision=200000 #constraints=6744
256.10/256.22	c nbDecision=200500 #constraints=6759
257.39/257.59	c nbDecision=201000 #constraints=6784
258.89/259.03	c nbDecision=201500 #constraints=6807
259.69/259.80	c nbDecision=202000 #constraints=6817
260.89/261.00	c nbDecision=202500 #constraints=6838
261.59/261.77	c nbDecision=203000 #constraints=6848
262.99/263.13	c nbDecision=203500 #constraints=6871
263.79/263.93	c nbDecision=204000 #constraints=6884
264.79/264.98	c nbDecision=204500 #constraints=6898
265.49/265.69	c restart after 204801 decisions
266.59/266.73	c nbDecision=205000 #constraints=6910
267.49/267.66	c nbDecision=205500 #constraints=6915
269.98/270.10	c nbDecision=206000 #constraints=6924
282.78/282.92	c nbDecision=206500 #constraints=7255
299.37/299.57	c nbDecision=207000 #constraints=7739
320.66/320.80	c nbDecision=207500 #constraints=8197
346.05/346.28	c nbDecision=208000 #constraints=8654
383.84/384.08	c nbDecision=208500 #constraints=9135
426.22/426.41	c nbDecision=209000 #constraints=9618
477.90/478.17	c nbDecision=209500 #constraints=10097
530.68/530.97	c nbDecision=210000 #constraints=10587
593.96/594.24	c nbDecision=210500 #constraints=11070
657.73/658.07	c nbDecision=211000 #constraints=11488
732.80/733.18	c nbDecision=211500 #constraints=11964
809.07/809.46	c nbDecision=212000 #constraints=12441
897.74/898.11	c nbDecision=212500 #constraints=12923
943.53/943.93	c nbDecision=213000 #constraints=13353
974.81/975.23	c nbDecision=213500 #constraints=13721
1009.20/1009.66	c nbDecision=214000 #constraints=14022
1075.07/1075.51	c nbDecision=214500 #constraints=14468
1142.84/1143.36	c nbDecision=215000 #constraints=14926
1202.22/1202.73	c nbDecision=215500 #constraints=15335
1267.40/1267.91	c nbDecision=216000 #constraints=15761
1330.37/1330.93	c nbDecision=216500 #constraints=16140
1375.46/1376.01	c nbDecision=217000 #constraints=16549
1411.53/1412.19	c nbDecision=217500 #constraints=16966
1439.93/1440.58	c nbDecision=218000 #constraints=17375
1466.92/1467.56	c nbDecision=218500 #constraints=17649
1535.59/1536.28	c nbDecision=219000 #constraints=18069
1564.38/1565.01	c nbDecision=219500 #constraints=18259
1641.35/1642.00	c nbDecision=220000 #constraints=18707
1687.43/1688.19	c nbDecision=220500 #constraints=18964
1731.21/1731.90	c nbDecision=221000 #constraints=19223
1767.20/1767.99	c nbDecision=221500 #constraints=19435
1793.19/1793.93	c nbDecision=222000 #constraints=19579
1800.09/1800.80	Received signal 15
1800.29/1801.07	
1800.29/1801.07	s UNKNOWN
1800.29/1801.07	
1800.29/1801.07	c user time= 1799.65 s
1800.29/1801.07	c system time= 0.723889 s
1800.29/1801.07	c wall clock time=1801.07

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/node13/watcher-357393-1176996636 -o ROOT/results/node13/solver-357393-1176996636 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/357393-1176996636/instance-357393-1176996636.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.93 1.01 0.99 3/77 11304
/proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=1468 CPUtime=0
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 147581463 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134541358 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 367 161 127 317 0 46 0

[startup+0.0197991 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 11304
/proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=1752 CPUtime=0.01
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 240 0 0 0 1 0 0 0 18 0 1 0 147581463 1794048 222 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 438 222 127 317 0 117 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 1752

[startup+0.101816 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 11304
/proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=3224 CPUtime=0.09
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 630 0 0 0 9 0 0 0 18 0 1 0 147581463 3301376 579 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 806 579 131 317 0 485 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3224

[startup+0.301859 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 11304
/proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=7968 CPUtime=0.29
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1833 0 0 0 29 0 0 0 19 0 1 0 147581463 8159232 1782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 1992 1782 137 317 0 1671 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7968

[startup+0.701944 s]
/proc/loadavg: 0.93 1.01 0.99 3/77 11304
/proc/meminfo: memFree=1632760/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=8496 CPUtime=0.69
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1953 0 0 0 69 0 0 0 23 0 1 0 147581463 8699904 1902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606682 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 2124 1902 139 317 0 1803 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8496

[startup+1.50212 s]
/proc/loadavg: 0.93 1.01 0.99 2/78 11305
/proc/meminfo: memFree=1625648/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=8496 CPUtime=1.49
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1953 0 0 0 149 0 0 0 25 0 1 0 147581463 8699904 1902 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606688 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 2124 1902 139 317 0 1803 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8496

[startup+3.10146 s]
/proc/loadavg: 0.93 1.01 0.99 2/78 11305
/proc/meminfo: memFree=1625520/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=8496 CPUtime=3.09
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 1991 0 0 0 309 0 0 0 25 0 1 0 147581463 8699904 1940 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606871 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 2124 1940 170 317 0 1803 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 8496

[startup+6.30114 s]
/proc/loadavg: 0.94 1.01 0.99 2/78 11305
/proc/meminfo: memFree=1624496/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=9408 CPUtime=6.28
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 2214 0 0 0 628 0 0 0 25 0 1 0 147581463 9633792 2163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 2352 2163 170 317 0 2031 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 9408

[startup+12.7015 s]
/proc/loadavg: 0.94 1.01 0.99 2/78 11305
/proc/meminfo: memFree=1621360/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=12600 CPUtime=12.69
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 2997 0 0 0 1268 1 0 0 25 0 1 0 147581463 12902400 2946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 3150 2946 170 317 0 2829 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 12600

[startup+25.5012 s]
/proc/loadavg: 0.96 1.01 0.99 2/78 11305
/proc/meminfo: memFree=1612400/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=21664 CPUtime=25.48
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 5292 0 0 0 2546 2 0 0 25 0 1 0 147581463 22183936 5241 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606847 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 5416 5241 170 317 0 5095 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21664

[startup+51.1017 s]
/proc/loadavg: 0.97 1.00 0.99 2/78 11305
/proc/meminfo: memFree=1596784/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=37408 CPUtime=51.07
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 9206 0 0 0 5102 5 0 0 25 0 1 0 147581463 38305792 9155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 9352 9155 170 317 0 9031 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 37408

[startup+102.306 s]
/proc/loadavg: 0.98 1.00 0.99 2/78 11305
/proc/meminfo: memFree=1571120/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=64044 CPUtime=102.26
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 15516 0 0 0 10217 9 0 0 25 0 1 0 147581463 65581056 15465 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 16011 15465 170 317 0 15690 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 64044

[startup+162.301 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 11305
/proc/meminfo: memFree=1549232/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=85348 CPUtime=162.22
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 21016 0 0 0 16210 12 0 0 25 0 1 0 147581463 87396352 20965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563527 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 21337 20965 170 317 0 21016 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 85348

[startup+222.301 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 11305
/proc/meminfo: memFree=1526448/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=111248 CPUtime=222.2
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 26647 0 0 0 22204 16 0 0 25 0 1 0 147581463 113917952 26596 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 27812 26596 170 317 0 27491 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 111248

[startup+282.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 11305
/proc/meminfo: memFree=1508272/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=130056 CPUtime=282.18
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 31298 0 0 0 28199 19 0 0 25 0 1 0 147581463 133177344 31247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 32514 31247 170 317 0 32193 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 130056

[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11305
/proc/meminfo: memFree=1483184/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=154576 CPUtime=342.16
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 37509 0 0 0 34193 23 0 0 25 0 1 0 147581463 158285824 37401 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 38644 37401 170 317 0 38323 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 154576

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11305
/proc/meminfo: memFree=1467248/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=170884 CPUtime=402.13
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 41512 0 0 0 40187 26 0 0 25 0 1 0 147581463 174985216 41404 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 42721 41404 170 317 0 42400 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 170884

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11305
/proc/meminfo: memFree=1450480/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=192808 CPUtime=462.11
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 45664 0 0 0 46182 29 0 0 25 0 1 0 147581463 197435392 45556 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563634 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 48202 45556 170 317 0 47881 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 192808

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1435056/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=212312 CPUtime=522.08
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 49521 0 0 0 52178 30 0 0 25 0 1 0 147581463 217407488 49413 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 53078 49413 170 317 0 52757 0
Current children cumulated CPU time (s) 522.08
Current children cumulated vsize (KiB) 212312

[startup+582.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1422768/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=226416 CPUtime=582.06
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 52587 0 0 0 58174 32 0 0 25 0 1 0 147581463 231849984 52479 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 56604 52479 170 317 0 56283 0
Current children cumulated CPU time (s) 582.06
Current children cumulated vsize (KiB) 226416

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1414640/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=234060 CPUtime=642.04
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 54581 0 0 0 64170 34 0 0 25 0 1 0 147581463 239677440 54473 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 58515 54473 170 317 0 58194 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 234060


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

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1369392/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=280872 CPUtime=941.93
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 65898 0 0 0 94151 42 0 0 25 0 1 0 147581463 287612928 65790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 70218 65790 170 317 0 69897 0
Current children cumulated CPU time (s) 941.93
Current children cumulated vsize (KiB) 280872

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1356592/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=293996 CPUtime=1001.9
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 69094 0 0 0 100145 45 0 0 25 0 1 0 147581463 301051904 68986 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 73499 68986 170 317 0 73178 0
Current children cumulated CPU time (s) 1001.9
Current children cumulated vsize (KiB) 293996

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1346800/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=304432 CPUtime=1061.88
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 71535 0 0 0 106141 47 0 0 25 0 1 0 147581463 311738368 71427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 76108 71427 170 317 0 75787 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 304432

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1335344/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=317764 CPUtime=1121.85
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 74388 0 0 0 112137 48 0 0 25 0 1 0 147581463 325390336 74280 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 79441 74280 170 317 0 79120 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 317764

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1325616/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=327840 CPUtime=1181.83
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 76846 0 0 0 118133 50 0 0 25 0 1 0 147581463 335708160 76738 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 81960 76738 170 317 0 81639 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 327840

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1314928/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=339424 CPUtime=1241.8
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 79473 0 0 0 124128 52 0 0 25 0 1 0 147581463 347570176 79365 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 84856 79365 170 317 0 84535 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 339424

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1305456/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=349464 CPUtime=1301.79
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 81828 0 0 0 130125 54 0 0 25 0 1 0 147581463 357851136 81720 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 87366 81720 170 317 0 87045 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 349464

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1293872/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=362100 CPUtime=1361.76
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 84732 0 0 0 136120 56 0 0 25 0 1 0 147581463 370790400 84624 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 90525 84624 170 317 0 90204 0
Current children cumulated CPU time (s) 1361.76
Current children cumulated vsize (KiB) 362100

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1281584/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=374224 CPUtime=1421.74
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 87937 0 0 0 142116 58 0 0 25 0 1 0 147581463 383205376 87715 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271379 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 93556 87715 170 317 0 93235 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 374224

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1268528/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=387104 CPUtime=1481.71
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 91214 0 0 0 148110 61 0 0 25 0 1 0 147581463 396394496 90992 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712496 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 96776 90992 170 317 0 96455 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 387104

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1258608/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=399724 CPUtime=1541.69
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 94093 0 0 0 154106 63 0 0 25 0 1 0 147581463 409317376 93442 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 99931 93442 170 317 0 99610 0
Current children cumulated CPU time (s) 1541.69
Current children cumulated vsize (KiB) 399724

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1244848/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=431484 CPUtime=1601.66
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 100766 0 0 0 160100 66 0 0 25 0 1 0 147581463 441839616 96848 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 107871 96848 170 317 0 107550 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 431484

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1235440/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=445280 CPUtime=1661.64
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 103860 0 0 0 166096 68 0 0 25 0 1 0 147581463 455966720 99216 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564002 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 111320 99216 170 317 0 110999 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 445280

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1224304/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=462092 CPUtime=1721.62
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 107381 0 0 0 172092 70 0 0 25 0 1 0 147581463 473182208 102011 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 115523 102011 170 317 0 115202 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 462092

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1214768/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=471428 CPUtime=1781.6
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 109722 0 0 0 178089 71 0 0 25 0 1 0 147581463 482742272 104352 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 117857 104352 170 317 0 117536 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 471428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.8 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1211888/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=474936 CPUtime=1800.09
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 110433 0 0 0 179937 72 0 0 25 0 1 0 147581463 486334464 105063 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 118734 105063 170 317 0 118413 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 474936

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

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

[startup+1801 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1211888/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=474936 CPUtime=1800.29
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194304 110445 0 0 0 179957 72 0 0 25 0 1 0 147581463 486334464 105075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 118734 105075 170 317 0 118413 0
Current children cumulated CPU time (s) 1800.29
Current children cumulated vsize (KiB) 474936

[startup+1801.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 11307
/proc/meminfo: memFree=1211888/2055920 swapFree=4159420/4192956
[pid=11304] ppid=11302 vsize=0 CPUtime=1800.39
/proc/11304/stat : 11304 (oree) R 11302 11304 10675 0 -1 4194308 110461 0 0 0 179965 74 0 0 25 0 1 0 147581463 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/11304/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.39
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1801.15
CPU time (s): 1800.45
CPU user time (s): 1799.65
CPU system time (s): 0.794879
CPU usage (%): 99.9608
Max. virtual memory (cumulated for all children) (KiB): 474936

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

runsolver used 2.04269 second user time and 4.52331 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Thu Apr 19 15:30:36 UTC 2007

IDJOB= 357393
IDBENCH= 2514
IDSOLVER= 172
FILE ID= node13/357393-1176996636

PBS_JOBID= 4630468

Free space on /tmp= 66319 MiB

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

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  707da2ebfa2e9fe97fe57c41e089cde1

RANDOM SEED= 346449014

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.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.259
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.259
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:       1633168 kB
Buffers:         37088 kB
Cached:         320840 kB
SwapCached:      12740 kB
Active:          77136 kB
Inactive:       304020 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1633168 kB
SwapTotal:     4192956 kB
SwapFree:      4159420 kB
Dirty:            2188 kB
Writeback:           0 kB
Mapped:          30156 kB
Slab:            27048 kB
Committed_AS:  6648344 kB
PageTables:       1872 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= 66319 MiB

End job on node13 on Thu Apr 19 16:00:39 UTC 2007