Trace number 365388

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.09 1800.56

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/
pub/milp/normalized-mps-v2-20-10-neos20.opb
MD5SUMd5ea3d9967a24b7bed67317421f8b87e
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-468992
Best CPU time to get the best result obtained on this benchmark4.34934
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -468992
Optimality of the best value was proved YES
Number of variables8411
Total number of constraints2456
Number of constraints which are clauses412
Number of constraints which are cardinality constraints (but not clauses)426
Number of constraints which are nor clauses,nor cardinality constraints1618
Minimum length of a constraint2
Maximum length of a constraint270
Number of terms in the objective function 150
Biggest coefficient in the objective function 536870912
Number of bits for the biggest coefficient in the objective function 30
Sum of the numbers in the objective function 5368709115
Number of bits of the sum of numbers in the objective function 33
Biggest number in a constraint 171798691840
Number of bits of the biggest number in a constraint 38
Biggest sum of numbers in a constraint 344670818303
Number of bits of the biggest sum of numbers39
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.09/0.12	c ...done
0.09/0.12	c #vars=8411 #constraints=3210 hasObjective=yes
0.09/0.14	c res. mode=mod
0.09/0.14	c VSIDS like heuristics
0.09/0.14	c complete search running
0.19/0.25	c restart after 401 decisions
0.19/0.28	c nbDecision=500 #constraints=3260
0.29/0.36	c restart after 801 decisions
0.39/0.41	c nbDecision=1000 #constraints=3283
0.49/0.54	c nbDecision=1500 #constraints=3307
0.49/0.56	c restart after 1601 decisions
0.59/0.66	c nbDecision=2000 #constraints=3329
0.69/0.78	c nbDecision=2500 #constraints=3352
0.89/0.97	c nbDecision=3000 #constraints=3386
0.99/1.03	c restart after 3201 decisions
1.29/1.32	c nbDecision=3500 #constraints=3417
1.59/1.68	c nbDecision=4000 #constraints=3449
2.39/2.47	c nbDecision=4500 #constraints=3490
2.89/2.98	c nbDecision=5000 #constraints=3517
3.09/3.19	c nbDecision=5500 #constraints=3538
3.39/3.43	c nbDecision=6000 #constraints=3563
3.69/3.78	c restart after 6401 decisions
3.79/3.83	c nbDecision=6500 #constraints=3605
5.49/5.57	c nbDecision=7000 #constraints=3675
6.29/6.32	c nbDecision=7500 #constraints=3724
7.39/7.46	c nbDecision=8000 #constraints=3785
8.29/8.31	c nbDecision=8500 #constraints=3829
9.29/9.30	c nbDecision=9000 #constraints=3879
9.99/10.01	c nbDecision=9500 #constraints=3925
10.59/10.63	c nbDecision=10000 #constraints=3951
11.09/11.19	c nbDecision=10500 #constraints=3991
12.10/12.13	c nbDecision=11000 #constraints=4037
13.59/13.67	c nbDecision=11500 #constraints=4083
14.69/14.78	c nbDecision=12000 #constraints=4136
15.99/16.07	c nbDecision=12500 #constraints=4204
17.08/17.16	c restart after 12801 decisions
17.38/17.49	c nbDecision=13000 #constraints=4266
20.48/20.57	c nbDecision=13500 #constraints=4342
21.78/21.85	c nbDecision=14000 #constraints=4403
23.59/23.66	c nbDecision=14500 #constraints=4467
24.89/24.97	c nbDecision=15000 #constraints=4532
26.69/26.74	c nbDecision=15500 #constraints=4591
28.49/28.51	c nbDecision=16000 #constraints=4645
30.18/30.25	c nbDecision=16500 #constraints=4700
31.79/31.80	c nbDecision=17000 #constraints=4757
34.58/34.61	c nbDecision=17500 #constraints=4828
36.88/36.95	c nbDecision=18000 #constraints=4887
38.88/38.94	c nbDecision=18500 #constraints=4941
43.18/43.23	c nbDecision=19000 #constraints=5065
45.48/45.57	c nbDecision=19500 #constraints=5142
47.78/47.80	c nbDecision=20000 #constraints=5242
52.78/52.86	c nbDecision=20500 #constraints=5356
55.68/55.71	c nbDecision=21000 #constraints=5450
59.38/59.44	c nbDecision=21500 #constraints=5531
61.98/62.01	c nbDecision=22000 #constraints=5626
63.68/63.70	c nbDecision=22500 #constraints=5689
63.68/63.79	c nbDecision=23000 #constraints=5736
63.78/63.88	c nbDecision=23500 #constraints=5780
63.87/63.97	c nbDecision=24000 #constraints=5822
63.97/64.06	c nbDecision=24500 #constraints=5869
64.07/64.16	c nbDecision=25000 #constraints=5921
64.17/64.26	c nbDecision=25500 #constraints=5975
64.17/64.28	c restart after 25601 decisions
64.37/64.44	c nbDecision=26000 #constraints=6008
64.47/64.52	c nbDecision=26500 #constraints=6034
64.47/64.59	c nbDecision=27000 #constraints=6064
64.57/64.65	c nbDecision=27500 #constraints=6083
64.67/64.72	c nbDecision=28000 #constraints=6104
64.67/64.77	c nbDecision=28500 #constraints=6119
64.78/64.86	c nbDecision=29000 #constraints=6153
64.88/64.96	c nbDecision=29500 #constraints=6195
64.97/65.05	c nbDecision=30000 #constraints=6236
65.07/65.13	c nbDecision=30500 #constraints=6265
65.17/65.21	c nbDecision=31000 #constraints=6291
65.17/65.29	c nbDecision=31500 #constraints=6310
65.27/65.36	c nbDecision=32000 #constraints=6331
65.37/65.47	c nbDecision=32500 #constraints=6366
65.47/65.56	c nbDecision=33000 #constraints=6389
65.57/65.63	c nbDecision=33500 #constraints=6410
65.67/65.70	c nbDecision=34000 #constraints=6433
65.67/65.79	c nbDecision=34500 #constraints=6465
65.77/65.87	c nbDecision=35000 #constraints=6487
65.88/65.97	c nbDecision=35500 #constraints=6530
65.98/66.08	c nbDecision=36000 #constraints=6568
66.07/66.18	c nbDecision=36500 #constraints=6602
66.17/66.26	c nbDecision=37000 #constraints=6628
66.27/66.36	c nbDecision=37500 #constraints=6650
66.37/66.47	c nbDecision=38000 #constraints=6688
66.57/66.60	c nbDecision=38500 #constraints=6740
66.67/66.75	c nbDecision=39000 #constraints=6786
66.77/66.83	c nbDecision=39500 #constraints=6808
66.87/66.94	c nbDecision=40000 #constraints=6843
66.97/67.04	c nbDecision=40500 #constraints=6872
67.07/67.13	c nbDecision=41000 #constraints=6895
67.17/67.23	c nbDecision=41500 #constraints=6931
67.27/67.35	c nbDecision=42000 #constraints=6970
67.37/67.46	c nbDecision=42500 #constraints=6998
67.47/67.56	c nbDecision=43000 #constraints=7029
67.57/67.68	c nbDecision=43500 #constraints=7064
67.67/67.79	c nbDecision=44000 #constraints=7093
67.87/67.90	c nbDecision=44500 #constraints=7126
67.97/68.04	c nbDecision=45000 #constraints=7166
68.07/68.17	c nbDecision=45500 #constraints=7203
68.27/68.30	c nbDecision=46000 #constraints=7239
68.37/68.45	c nbDecision=46500 #constraints=7276
68.47/68.58	c nbDecision=47000 #constraints=7311
68.67/68.73	c nbDecision=47500 #constraints=7349
68.77/68.86	c nbDecision=48000 #constraints=7381
68.87/68.98	c nbDecision=48500 #constraints=7410
69.07/69.14	c nbDecision=49000 #constraints=7449
69.27/69.33	c nbDecision=49500 #constraints=7498
69.47/69.53	c nbDecision=50000 #constraints=7544
69.67/69.71	c nbDecision=50500 #constraints=7587
69.87/69.95	c nbDecision=51000 #constraints=7645
69.87/69.98	c restart after 51201 decisions
70.07/70.18	c nbDecision=51500 #constraints=7672
70.27/70.38	c nbDecision=52000 #constraints=7730
70.58/70.60	c nbDecision=52500 #constraints=7792
70.78/70.85	c nbDecision=53000 #constraints=7857
70.98/71.05	c nbDecision=53500 #constraints=7904
71.17/71.21	c nbDecision=54000 #constraints=7941
71.27/71.39	c nbDecision=54500 #constraints=7978
71.48/71.55	c nbDecision=55000 #constraints=8008
71.97/72.10	c nbDecision=55500 #constraints=8051
72.27/72.30	c nbDecision=56000 #constraints=8093
72.37/72.49	c nbDecision=56500 #constraints=8138
72.67/72.72	c nbDecision=57000 #constraints=8185
72.97/73.00	c nbDecision=57500 #constraints=8235
73.17/73.26	c nbDecision=58000 #constraints=8279
73.47/73.53	c nbDecision=58500 #constraints=8332
73.67/73.75	c nbDecision=59000 #constraints=8375
73.97/74.01	c nbDecision=59500 #constraints=8426
74.07/74.16	c nbDecision=60000 #constraints=8452
74.27/74.38	c nbDecision=60500 #constraints=8491
74.47/74.59	c nbDecision=61000 #constraints=8523
74.87/74.90	c nbDecision=61500 #constraints=8569
75.17/75.23	c nbDecision=62000 #constraints=8629
75.47/75.53	c nbDecision=62500 #constraints=8683
75.77/75.81	c nbDecision=63000 #constraints=8730
76.07/76.11	c nbDecision=63500 #constraints=8780
76.37/76.43	c nbDecision=64000 #constraints=8839
76.67/76.78	c nbDecision=64500 #constraints=8905
77.07/77.18	c nbDecision=65000 #constraints=8976
77.37/77.49	c nbDecision=65500 #constraints=9021
77.88/77.92	c nbDecision=66000 #constraints=9096
78.18/78.25	c nbDecision=66500 #constraints=9144
78.48/78.59	c nbDecision=67000 #constraints=9198
78.88/78.95	c nbDecision=67500 #constraints=9250
79.27/79.34	c nbDecision=68000 #constraints=9312
79.67/79.76	c nbDecision=68500 #constraints=9376
80.07/80.12	c nbDecision=69000 #constraints=9428
80.47/80.55	c nbDecision=69500 #constraints=9499
80.87/80.97	c nbDecision=70000 #constraints=9559
81.28/81.35	c nbDecision=70500 #constraints=9611
81.77/81.80	c nbDecision=71000 #constraints=9668
82.07/82.15	c nbDecision=71500 #constraints=9712
82.48/82.52	c nbDecision=72000 #constraints=9761
82.97/83.02	c nbDecision=72500 #constraints=9824
83.57/83.60	c nbDecision=73000 #constraints=9890
84.07/84.19	c nbDecision=73500 #constraints=9966
84.77/84.81	c nbDecision=74000 #constraints=10049
85.27/85.38	c nbDecision=74500 #constraints=10117
85.77/85.85	c nbDecision=75000 #constraints=10161
86.27/86.36	c nbDecision=75500 #constraints=10209
86.77/86.81	c nbDecision=76000 #constraints=10256
87.27/87.39	c nbDecision=76500 #constraints=10320
87.87/87.91	c nbDecision=77000 #constraints=10374
88.37/88.42	c nbDecision=77500 #constraints=10428
88.98/89.07	c nbDecision=78000 #constraints=10510
89.57/89.64	c nbDecision=78500 #constraints=10561
90.08/90.15	c nbDecision=79000 #constraints=10612
90.57/90.65	c nbDecision=79500 #constraints=10659
91.07/91.15	c nbDecision=80000 #constraints=10706
91.87/91.98	c nbDecision=80500 #constraints=10775
92.47/92.58	c nbDecision=81000 #constraints=10827
93.07/93.14	c nbDecision=81500 #constraints=10883
93.47/93.59	c nbDecision=82000 #constraints=10923
94.07/94.14	c nbDecision=82500 #constraints=10977
94.57/94.64	c nbDecision=83000 #constraints=11025
95.17/95.22	c nbDecision=83500 #constraints=11072
95.67/95.80	c nbDecision=84000 #constraints=11117
96.27/96.36	c nbDecision=84500 #constraints=11165
96.96/97.02	c nbDecision=85000 #constraints=11221
98.36/98.40	c nbDecision=85500 #constraints=11325
99.16/99.27	c nbDecision=86000 #constraints=11392
99.76/99.83	c nbDecision=86500 #constraints=11439
100.46/100.53	c nbDecision=87000 #constraints=11496
101.07/101.20	c nbDecision=87500 #constraints=11562
101.66/101.74	c nbDecision=88000 #constraints=11610
102.17/102.30	c nbDecision=88500 #constraints=11662
102.76/102.89	c nbDecision=89000 #constraints=11715
103.37/103.41	c nbDecision=89500 #constraints=11754
104.17/104.22	c nbDecision=90000 #constraints=11805
104.97/105.04	c nbDecision=90500 #constraints=11869
105.96/106.10	c nbDecision=91000 #constraints=11945
107.46/107.59	c nbDecision=91500 #constraints=12049
108.66/108.79	c nbDecision=92000 #constraints=12126
110.77/110.86	c nbDecision=92500 #constraints=12239
112.17/112.22	c nbDecision=93000 #constraints=12326
113.06/113.14	c nbDecision=93500 #constraints=12393
113.96/114.09	c nbDecision=94000 #constraints=12459
114.96/115.04	c nbDecision=94500 #constraints=12520
115.76/115.85	c nbDecision=95000 #constraints=12576
116.56/116.69	c nbDecision=95500 #constraints=12646
117.56/117.63	c nbDecision=96000 #constraints=12708
118.66/118.71	c nbDecision=96500 #constraints=12781
119.36/119.44	c nbDecision=97000 #constraints=12832
120.36/120.40	c nbDecision=97500 #constraints=12895
121.46/121.56	c nbDecision=98000 #constraints=12954
122.46/122.51	c nbDecision=98500 #constraints=13005
123.96/124.06	c nbDecision=99000 #constraints=13096
124.96/125.08	c nbDecision=99500 #constraints=13156
126.56/126.65	c nbDecision=100000 #constraints=13245
127.96/128.09	c nbDecision=100500 #constraints=13317
129.16/129.29	c nbDecision=101000 #constraints=13391
130.05/130.16	c nbDecision=101500 #constraints=13449
130.65/130.75	c nbDecision=102000 #constraints=13483
131.35/131.47	c restart after 102401 decisions
131.86/131.99	c nbDecision=102500 #constraints=13545
132.85/132.99	c nbDecision=103000 #constraints=13604
133.66/133.79	c nbDecision=103500 #constraints=13649
134.76/134.84	c nbDecision=104000 #constraints=13703
136.36/136.44	c nbDecision=104500 #constraints=13786
137.26/137.37	c nbDecision=105000 #constraints=13836
138.26/138.37	c nbDecision=105500 #constraints=13894
139.36/139.49	c nbDecision=106000 #constraints=13954
140.36/140.44	c nbDecision=106500 #constraints=14004
141.66/141.76	c nbDecision=107000 #constraints=14075
142.56/142.62	c nbDecision=107500 #constraints=14122
144.26/144.31	c nbDecision=108000 #constraints=14204
145.06/145.16	c nbDecision=108500 #constraints=14247
146.26/146.38	c nbDecision=109000 #constraints=14307
147.15/147.29	c nbDecision=109500 #constraints=14354
148.25/148.40	c nbDecision=110000 #constraints=14406
149.35/149.40	c nbDecision=110500 #constraints=14457
150.75/150.83	c nbDecision=111000 #constraints=14511
152.95/153.04	c nbDecision=111500 #constraints=14610
155.55/155.64	c nbDecision=112000 #constraints=14713
158.15/158.22	c nbDecision=112500 #constraints=14806
159.25/159.35	c nbDecision=113000 #constraints=14849
162.05/162.15	c nbDecision=113500 #constraints=14947
164.45/164.56	c nbDecision=114000 #constraints=15039
165.75/165.82	c nbDecision=114500 #constraints=15101
167.15/167.29	c nbDecision=115000 #constraints=15161
168.45/168.50	c nbDecision=115500 #constraints=15209
170.45/170.53	c nbDecision=116000 #constraints=15278
171.85/171.93	c nbDecision=116500 #constraints=15344
173.25/173.39	c nbDecision=117000 #constraints=15409
175.15/175.22	c nbDecision=117500 #constraints=15486
178.05/178.12	c nbDecision=118000 #constraints=15594
181.45/181.54	c nbDecision=118500 #constraints=15713
184.14/184.24	c nbDecision=119000 #constraints=15819
187.54/187.62	c nbDecision=119500 #constraints=15928
190.34/190.44	c nbDecision=120000 #constraints=16035
192.24/192.33	c nbDecision=120500 #constraints=16105
195.34/195.43	c nbDecision=121000 #constraints=16218
200.54/200.69	c nbDecision=121500 #constraints=16378
203.44/203.52	c nbDecision=122000 #constraints=16471
206.34/206.46	c nbDecision=122500 #constraints=16569
209.54/209.68	c nbDecision=123000 #constraints=16694
211.94/212.06	c nbDecision=123500 #constraints=16782
216.23/216.38	c nbDecision=124000 #constraints=16911
220.43/220.53	c nbDecision=124500 #constraints=17034
222.43/222.52	c nbDecision=125000 #constraints=17105
226.03/226.13	c nbDecision=125500 #constraints=17213
230.33/230.42	c nbDecision=126000 #constraints=17347
234.03/234.12	c nbDecision=126500 #constraints=17486
238.03/238.15	c nbDecision=127000 #constraints=17611
242.83/242.97	c nbDecision=127500 #constraints=17741
247.02/247.18	c nbDecision=128000 #constraints=17854
252.32/252.47	c nbDecision=128500 #constraints=17972
254.73/254.88	c nbDecision=129000 #constraints=18030
257.53/257.69	c nbDecision=129500 #constraints=18100
263.53/263.64	c nbDecision=130000 #constraints=18230
266.72/266.89	c nbDecision=130500 #constraints=18310
269.82/269.94	c nbDecision=131000 #constraints=18380
275.82/275.95	c nbDecision=131500 #constraints=18502
279.52/279.60	c nbDecision=132000 #constraints=18583
281.32/281.48	c nbDecision=132500 #constraints=18649
283.51/283.69	c nbDecision=133000 #constraints=18721
285.42/285.53	c nbDecision=133500 #constraints=18794
287.02/287.16	c nbDecision=134000 #constraints=18851
290.02/290.12	c nbDecision=134500 #constraints=18917
291.82/291.90	c nbDecision=135000 #constraints=18970
294.22/294.39	c nbDecision=135500 #constraints=19041
296.52/296.61	c nbDecision=136000 #constraints=19113
300.12/300.25	c nbDecision=136500 #constraints=19198
302.42/302.57	c nbDecision=137000 #constraints=19263
304.11/304.24	c nbDecision=137500 #constraints=19319
306.11/306.27	c nbDecision=138000 #constraints=19389
307.72/307.82	c nbDecision=138500 #constraints=19442
309.42/309.56	c nbDecision=139000 #constraints=19494
311.31/311.45	c nbDecision=139500 #constraints=19554
314.52/314.64	c nbDecision=140000 #constraints=19635
318.51/318.68	c nbDecision=140500 #constraints=19747
320.11/320.29	c nbDecision=141000 #constraints=19798
322.01/322.11	c nbDecision=141500 #constraints=19853
325.41/325.52	c nbDecision=142000 #constraints=19943
330.11/330.25	c nbDecision=142500 #constraints=20048
333.60/333.77	c nbDecision=143000 #constraints=20132
340.10/340.26	c nbDecision=143500 #constraints=20299
347.81/347.96	c nbDecision=144000 #constraints=20471
354.50/354.63	c nbDecision=144500 #constraints=20601
360.90/361.08	c nbDecision=145000 #constraints=20720
366.20/366.33	c nbDecision=145500 #constraints=20848
372.09/372.26	c nbDecision=146000 #constraints=20972
378.00/378.17	c nbDecision=146500 #constraints=21091
384.19/384.39	c nbDecision=147000 #constraints=21221
391.19/391.37	c nbDecision=147500 #constraints=21336
396.49/396.60	c nbDecision=148000 #constraints=21445
402.28/402.42	c nbDecision=148500 #constraints=21564
408.89/409.03	c nbDecision=149000 #constraints=21694
418.08/418.24	c nbDecision=149500 #constraints=21862
426.28/426.46	c nbDecision=150000 #constraints=22036
436.78/436.93	c nbDecision=150500 #constraints=22260
439.17/439.30	c nbDecision=151000 #constraints=22303
440.77/440.91	c nbDecision=151500 #constraints=22342
442.57/442.80	c nbDecision=152000 #constraints=22396
445.97/446.18	c nbDecision=152500 #constraints=22473
447.48/447.64	c nbDecision=153000 #constraints=22521
449.07/449.28	c nbDecision=153500 #constraints=22550
450.77/450.98	c nbDecision=154000 #constraints=22593
453.07/453.24	c nbDecision=154500 #constraints=22650
455.27/455.41	c nbDecision=155000 #constraints=22708
457.37/457.51	c nbDecision=155500 #constraints=22765
458.77/458.97	c nbDecision=156000 #constraints=22809
461.17/461.38	c nbDecision=156500 #constraints=22883
463.07/463.27	c nbDecision=157000 #constraints=22946
464.88/465.02	c nbDecision=157500 #constraints=23009
468.48/468.68	c nbDecision=158000 #constraints=23100
475.46/475.60	c nbDecision=158500 #constraints=23238
479.96/480.11	c nbDecision=159000 #constraints=23330
482.57/482.76	c nbDecision=159500 #constraints=23390
484.67/484.84	c nbDecision=160000 #constraints=23447
486.37/486.52	c nbDecision=160500 #constraints=23492
488.17/488.35	c nbDecision=161000 #constraints=23540
489.97/490.18	c nbDecision=161500 #constraints=23592
491.87/492.00	c nbDecision=162000 #constraints=23640
493.67/493.84	c nbDecision=162500 #constraints=23688
495.87/496.06	c nbDecision=163000 #constraints=23766
497.86/498.02	c nbDecision=163500 #constraints=23832
499.86/500.07	c nbDecision=164000 #constraints=23895
501.76/501.93	c nbDecision=164500 #constraints=23952
506.06/506.28	c nbDecision=165000 #constraints=24041
514.06/514.24	c nbDecision=165500 #constraints=24181
522.05/522.24	c nbDecision=166000 #constraints=24321
528.76/528.94	c nbDecision=166500 #constraints=24422
531.06/531.22	c nbDecision=167000 #constraints=24494
533.66/533.80	c nbDecision=167500 #constraints=24570
540.96/541.12	c nbDecision=168000 #constraints=24700
551.65/551.87	c nbDecision=168500 #constraints=24899
563.05/563.23	c nbDecision=169000 #constraints=25095
572.65/572.83	c nbDecision=169500 #constraints=25242
578.15/578.38	c nbDecision=170000 #constraints=25312
586.15/586.30	c nbDecision=170500 #constraints=25434
594.04/594.23	c nbDecision=171000 #constraints=25554
604.63/604.82	c nbDecision=171500 #constraints=25727
611.34/611.51	c nbDecision=172000 #constraints=25856
616.94/617.11	c nbDecision=172500 #constraints=25941
622.94/623.13	c nbDecision=173000 #constraints=26034
628.53/628.78	c nbDecision=173500 #constraints=26115
635.03/635.29	c nbDecision=174000 #constraints=26207
641.93/642.12	c nbDecision=174500 #constraints=26311
649.42/649.60	c nbDecision=175000 #constraints=26429
655.32/655.57	c nbDecision=175500 #constraints=26509
660.32/660.59	c nbDecision=176000 #constraints=26585
663.83/664.04	c nbDecision=176500 #constraints=26663
669.22/669.41	c nbDecision=177000 #constraints=26765
675.02/675.23	c nbDecision=177500 #constraints=26867
682.42/682.69	c nbDecision=178000 #constraints=26992
691.41/691.60	c nbDecision=178500 #constraints=27126
705.31/705.55	c nbDecision=179000 #constraints=27328
715.71/715.95	c nbDecision=179500 #constraints=27481
726.70/726.91	c nbDecision=180000 #constraints=27619
740.21/740.45	c nbDecision=180500 #constraints=27805
755.80/756.02	c nbDecision=181000 #constraints=28017
772.89/773.12	c nbDecision=181500 #constraints=28277
786.09/786.32	c nbDecision=182000 #constraints=28499
797.49/797.72	c nbDecision=182500 #constraints=28705
808.99/809.26	c nbDecision=183000 #constraints=28877
820.88/821.16	c nbDecision=183500 #constraints=29043
830.58/830.83	c nbDecision=184000 #constraints=29184
840.98/841.28	c nbDecision=184500 #constraints=29310
849.78/850.04	c nbDecision=185000 #constraints=29420
859.47/859.77	c nbDecision=185500 #constraints=29537
864.67/864.99	c nbDecision=186000 #constraints=29621
868.57/868.86	c nbDecision=186500 #constraints=29693
875.46/875.71	c nbDecision=187000 #constraints=29795
888.57/888.81	c nbDecision=187500 #constraints=29969
896.36/896.65	c nbDecision=188000 #constraints=30074
903.66/903.93	c nbDecision=188500 #constraints=30178
908.27/908.55	c nbDecision=189000 #constraints=30260
923.16/923.44	c nbDecision=189500 #constraints=30407
933.66/933.93	c nbDecision=190000 #constraints=30540
944.56/944.89	c nbDecision=190500 #constraints=30666
959.24/959.50	c nbDecision=191000 #constraints=30836
971.05/971.32	c nbDecision=191500 #constraints=30977
982.14/982.48	c nbDecision=192000 #constraints=31111
993.54/993.89	c nbDecision=192500 #constraints=31249
1004.63/1004.95	c nbDecision=193000 #constraints=31396
1012.54/1012.82	c nbDecision=193500 #constraints=31514
1026.83/1027.13	c nbDecision=194000 #constraints=31697
1043.12/1043.48	c nbDecision=194500 #constraints=31871
1052.52/1052.89	c nbDecision=195000 #constraints=31998
1065.33/1065.63	c nbDecision=195500 #constraints=32164
1079.72/1080.03	c nbDecision=196000 #constraints=32353
1093.02/1093.39	c nbDecision=196500 #constraints=32508
1103.71/1104.00	c nbDecision=197000 #constraints=32632
1106.21/1106.53	c nbDecision=197500 #constraints=32694
1112.51/1112.81	c nbDecision=198000 #constraints=32797
1118.91/1119.21	c nbDecision=198500 #constraints=32892
1125.31/1125.61	c nbDecision=199000 #constraints=32987
1129.81/1130.15	c nbDecision=199500 #constraints=33063
1145.81/1146.11	c nbDecision=200000 #constraints=33244
1159.30/1159.69	c nbDecision=200500 #constraints=33419
1162.00/1162.37	c nbDecision=201000 #constraints=33470
1170.29/1170.65	c nbDecision=201500 #constraints=33606
1178.89/1179.26	c nbDecision=202000 #constraints=33719
1181.79/1182.12	c nbDecision=202500 #constraints=33779
1192.79/1193.12	c nbDecision=203000 #constraints=33893
1205.59/1205.94	c nbDecision=203500 #constraints=34041
1209.69/1210.03	c nbDecision=204000 #constraints=34121
1212.99/1213.39	c nbDecision=204500 #constraints=34201
1215.38/1215.73	c restart after 204801 decisions
1217.98/1218.33	c nbDecision=205000 #constraints=34269
1220.48/1220.88	c nbDecision=205500 #constraints=34298
1223.48/1223.81	c nbDecision=206000 #constraints=34324
1226.78/1227.11	c nbDecision=206500 #constraints=34355
1230.38/1230.70	c nbDecision=207000 #constraints=34394
1233.38/1233.72	c nbDecision=207500 #constraints=34427
1235.58/1235.98	c nbDecision=208000 #constraints=34448
1238.07/1238.49	c nbDecision=208500 #constraints=34472
1241.77/1242.15	c nbDecision=209000 #constraints=34509
1244.17/1244.50	c nbDecision=209500 #constraints=34536
1245.67/1246.06	c nbDecision=210000 #constraints=34574
1248.38/1248.77	c nbDecision=210500 #constraints=34632
1250.88/1251.29	c nbDecision=211000 #constraints=34669
1253.28/1253.62	c nbDecision=211500 #constraints=34723
1255.18/1255.57	c nbDecision=212000 #constraints=34758
1258.17/1258.50	c nbDecision=212500 #constraints=34804
1260.87/1261.28	c nbDecision=213000 #constraints=34838
1264.17/1264.50	c nbDecision=213500 #constraints=34886
1266.57/1266.92	c nbDecision=214000 #constraints=34922
1269.67/1270.02	c nbDecision=214500 #constraints=34970
1272.47/1272.89	c nbDecision=215000 #constraints=35009
1275.87/1276.29	c nbDecision=215500 #constraints=35048
1278.36/1278.79	c nbDecision=216000 #constraints=35099
1281.26/1281.69	c nbDecision=216500 #constraints=35145
1284.66/1285.01	c nbDecision=217000 #constraints=35232
1287.66/1288.06	c nbDecision=217500 #constraints=35298
1290.06/1290.43	c nbDecision=218000 #constraints=35338
1292.47/1292.89	c nbDecision=218500 #constraints=35381
1294.97/1295.34	c nbDecision=219000 #constraints=35435
1298.17/1298.54	c nbDecision=219500 #constraints=35492
1301.46/1301.82	c nbDecision=220000 #constraints=35555
1304.36/1304.78	c nbDecision=220500 #constraints=35598
1307.26/1307.67	c nbDecision=221000 #constraints=35653
1310.56/1310.91	c nbDecision=221500 #constraints=35695
1312.96/1313.32	c nbDecision=222000 #constraints=35729
1317.06/1317.40	c nbDecision=222500 #constraints=35780
1322.86/1323.29	c nbDecision=223000 #constraints=35841
1326.75/1327.10	c nbDecision=223500 #constraints=35882
1329.25/1329.68	c nbDecision=224000 #constraints=35921
1332.95/1333.35	c nbDecision=224500 #constraints=35968
1336.15/1336.58	c nbDecision=225000 #constraints=36024
1341.15/1341.52	c nbDecision=225500 #constraints=36082
1344.75/1345.18	c nbDecision=226000 #constraints=36128
1349.25/1349.62	c nbDecision=226500 #constraints=36182
1352.35/1352.73	c nbDecision=227000 #constraints=36225
1356.34/1356.77	c nbDecision=227500 #constraints=36305
1360.35/1360.71	c nbDecision=228000 #constraints=36363
1363.14/1363.56	c nbDecision=228500 #constraints=36415
1367.55/1367.97	c nbDecision=229000 #constraints=36479
1370.55/1370.98	c nbDecision=229500 #constraints=36549
1374.24/1374.65	c nbDecision=230000 #constraints=36635
1377.44/1377.81	c nbDecision=230500 #constraints=36693
1381.54/1381.99	c nbDecision=231000 #constraints=36773
1385.74/1386.15	c nbDecision=231500 #constraints=36848
1388.74/1389.15	c nbDecision=232000 #constraints=36922
1391.24/1391.61	c nbDecision=232500 #constraints=36979
1394.34/1394.80	c nbDecision=233000 #constraints=37026
1397.93/1398.34	c nbDecision=233500 #constraints=37067
1401.53/1401.90	c nbDecision=234000 #constraints=37120
1406.33/1406.78	c nbDecision=234500 #constraints=37231
1410.84/1411.26	c nbDecision=235000 #constraints=37327
1414.84/1415.23	c nbDecision=235500 #constraints=37400
1418.54/1418.95	c nbDecision=236000 #constraints=37456
1423.73/1424.13	c nbDecision=236500 #constraints=37556
1427.53/1427.91	c nbDecision=237000 #constraints=37628
1431.73/1432.14	c nbDecision=237500 #constraints=37696
1435.13/1435.59	c nbDecision=238000 #constraints=37732
1438.33/1438.80	c nbDecision=238500 #constraints=37784
1443.13/1443.57	c nbDecision=239000 #constraints=37848
1446.93/1447.33	c nbDecision=239500 #constraints=37924
1450.63/1451.03	c nbDecision=240000 #constraints=37980
1457.03/1457.49	c nbDecision=240500 #constraints=38047
1464.92/1465.37	c nbDecision=241000 #constraints=38120
1471.72/1472.19	c nbDecision=241500 #constraints=38176
1476.71/1477.18	c nbDecision=242000 #constraints=38258
1483.52/1483.98	c nbDecision=242500 #constraints=38341
1486.51/1486.97	c nbDecision=243000 #constraints=38373
1490.61/1491.10	c nbDecision=243500 #constraints=38417
1494.11/1494.53	c nbDecision=244000 #constraints=38462
1497.71/1498.18	c nbDecision=244500 #constraints=38509
1503.11/1503.59	c nbDecision=245000 #constraints=38566
1507.30/1507.72	c nbDecision=245500 #constraints=38624
1511.41/1511.89	c nbDecision=246000 #constraints=38683
1519.31/1519.72	c nbDecision=246500 #constraints=38750
1525.31/1525.76	c nbDecision=247000 #constraints=38793
1529.20/1529.67	c nbDecision=247500 #constraints=38845
1533.60/1534.09	c nbDecision=248000 #constraints=38929
1538.70/1539.17	c nbDecision=248500 #constraints=39006
1542.91/1543.33	c nbDecision=249000 #constraints=39059
1546.50/1546.98	c nbDecision=249500 #constraints=39106
1550.70/1551.16	c nbDecision=250000 #constraints=39171
1556.59/1557.00	c nbDecision=250500 #constraints=39317
1561.79/1562.28	c nbDecision=251000 #constraints=39442
1565.40/1565.88	c nbDecision=251500 #constraints=39497
1569.09/1569.53	c nbDecision=252000 #constraints=39555
1573.69/1574.19	c nbDecision=252500 #constraints=39649
1578.99/1579.45	c nbDecision=253000 #constraints=39717
1583.18/1583.60	c nbDecision=253500 #constraints=39778
1586.89/1587.35	c nbDecision=254000 #constraints=39833
1590.09/1590.56	c nbDecision=254500 #constraints=39887
1593.48/1593.99	c nbDecision=255000 #constraints=39931
1597.18/1597.63	c nbDecision=255500 #constraints=39982
1600.48/1600.95	c nbDecision=256000 #constraints=40037
1604.08/1604.53	c nbDecision=256500 #constraints=40079
1607.58/1608.01	c nbDecision=257000 #constraints=40118
1611.98/1612.49	c nbDecision=257500 #constraints=40200
1615.08/1615.50	c nbDecision=258000 #constraints=40238
1619.78/1620.21	c nbDecision=258500 #constraints=40296
1626.17/1626.68	c nbDecision=259000 #constraints=40408
1633.88/1634.38	c nbDecision=259500 #constraints=40577
1638.08/1638.52	c nbDecision=260000 #constraints=40640
1642.38/1642.84	c nbDecision=260500 #constraints=40688
1646.07/1646.59	c nbDecision=261000 #constraints=40748
1650.87/1651.38	c nbDecision=261500 #constraints=40811
1655.97/1656.44	c nbDecision=262000 #constraints=40893
1659.27/1659.79	c nbDecision=262500 #constraints=40958
1663.36/1663.82	c nbDecision=263000 #constraints=41042
1667.77/1668.27	c nbDecision=263500 #constraints=41116
1671.27/1671.75	c nbDecision=264000 #constraints=41149
1674.37/1674.88	c nbDecision=264500 #constraints=41183
1677.97/1678.48	c nbDecision=265000 #constraints=41229
1682.47/1682.95	c nbDecision=265500 #constraints=41288
1685.96/1686.49	c nbDecision=266000 #constraints=41367
1689.56/1690.09	c nbDecision=266500 #constraints=41430
1693.36/1693.86	c nbDecision=267000 #constraints=41505
1697.66/1698.13	c nbDecision=267500 #constraints=41580
1700.95/1701.46	c nbDecision=268000 #constraints=41646
1705.85/1706.30	c nbDecision=268500 #constraints=41722
1710.26/1710.72	c nbDecision=269000 #constraints=41787
1714.86/1715.35	c nbDecision=269500 #constraints=41843
1717.66/1718.18	c nbDecision=270000 #constraints=41878
1719.65/1720.19	c nbDecision=270500 #constraints=41918
1722.35/1722.88	c nbDecision=271000 #constraints=41955
1724.95/1725.44	c nbDecision=271500 #constraints=41994
1727.35/1727.85	c nbDecision=272000 #constraints=42030
1730.15/1730.62	c nbDecision=272500 #constraints=42072
1732.94/1733.45	c nbDecision=273000 #constraints=42131
1736.54/1737.00	c nbDecision=273500 #constraints=42198
1739.54/1740.10	c nbDecision=274000 #constraints=42257
1742.94/1743.40	c nbDecision=274500 #constraints=42314
1746.65/1747.17	c nbDecision=275000 #constraints=42390
1750.94/1751.47	c nbDecision=275500 #constraints=42475
1755.15/1755.65	c nbDecision=276000 #constraints=42531
1758.04/1758.58	c nbDecision=276500 #constraints=42585
1761.24/1761.76	c nbDecision=277000 #constraints=42635
1764.24/1764.75	c nbDecision=277500 #constraints=42679
1767.84/1768.35	c nbDecision=278000 #constraints=42724
1771.24/1771.75	c nbDecision=278500 #constraints=42767
1774.54/1775.09	c nbDecision=279000 #constraints=42813
1778.93/1779.48	c nbDecision=279500 #constraints=42884
1783.74/1784.29	c nbDecision=280000 #constraints=42950
1788.04/1788.58	c nbDecision=280500 #constraints=43005
1795.03/1795.58	c nbDecision=281000 #constraints=43079
1798.13/1798.68	c nbDecision=281500 #constraints=43123
1800.03/1800.50	Received signal 15
1800.03/1800.50	
1800.03/1800.50	s UNKNOWN
1800.03/1800.50	
1800.03/1800.50	c user time= 1799.54 s
1800.03/1800.50	c system time= 0.509922 s
1800.03/1800.50	c wall clock time=1800.51

Verifier Data (download as text)

ERROR: no interpretation found !

Watcher Data (download as text)

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

command line: runsolver --timestamp -w ROOT/results/node26/watcher-365388-1176992634 -o ROOT/results/node26/solver-365388-1176992634 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/365388-1176992634/instance-365388-1176992634.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: 1.00 1.00 1.00 3/77 28018
/proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=1468 CPUtime=0
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 180 0 0 0 0 0 0 0 19 0 1 0 147180269 1503232 162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 367 162 131 317 0 46 0

[startup+0.0592901 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28018
/proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=2528 CPUtime=0.05
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 445 0 0 0 5 0 0 0 19 0 1 0 147180269 2588672 427 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 632 428 131 317 0 311 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2528

[startup+0.101293 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28018
/proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=3320 CPUtime=0.09
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 645 0 0 0 9 0 0 0 20 0 1 0 147180269 3399680 627 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 830 627 131 317 0 509 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3320

[startup+0.301311 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28018
/proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=5416 CPUtime=0.29
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1149 0 0 0 29 0 0 0 22 0 1 0 147180269 5545984 1131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606732 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 1354 1131 139 317 0 1033 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5416

[startup+0.70135 s]
/proc/loadavg: 1.00 1.00 1.00 3/77 28018
/proc/meminfo: memFree=1810360/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=5416 CPUtime=0.69
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1149 0 0 0 69 0 0 0 25 0 1 0 147180269 5545984 1131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385221 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 1354 1131 139 317 0 1033 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5416

[startup+1.50142 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1806256/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=5820 CPUtime=1.49
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1245 0 0 0 149 0 0 0 25 0 1 0 147180269 5959680 1227 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606721 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 1455 1227 139 317 0 1134 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 5820

[startup+3.10257 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1805296/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=6768 CPUtime=3.09
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1479 0 0 0 309 0 0 0 25 0 1 0 147180269 6930432 1461 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606880 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 1692 1461 139 317 0 1371 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 6768

[startup+6.30187 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1803632/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=8324 CPUtime=6.29
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 1911 0 0 0 628 1 0 0 25 0 1 0 147180269 8523776 1893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 2081 1893 170 317 0 1760 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 8324

[startup+12.7015 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1800176/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=11496 CPUtime=12.69
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 2686 0 0 0 1268 1 0 0 25 0 1 0 147180269 11771904 2668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135271347 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 2874 2668 170 317 0 2553 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 11496

[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1794096/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=17644 CPUtime=25.49
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 4222 0 0 0 2547 2 0 0 25 0 1 0 147180269 18067456 4204 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 4411 4204 170 317 0 4090 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 17644

[startup+51.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1782960/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=28924 CPUtime=51.08
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 6966 0 0 0 5105 3 0 0 25 0 1 0 147180269 29618176 6948 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712551 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 7231 6948 170 317 0 6910 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 28924

[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 3/78 28019
/proc/meminfo: memFree=1757232/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=55292 CPUtime=102.27
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 13431 0 0 0 10220 7 0 0 25 0 1 0 147180269 56619008 13369 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563383 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 13823 13369 170 317 0 13502 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 55292

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1741808/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=71628 CPUtime=162.25
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 17332 0 0 0 16213 12 0 0 25 0 1 0 147180269 73347072 17184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 17907 17184 170 317 0 17586 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 71628

[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1732336/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=81096 CPUtime=222.23
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 19656 0 0 0 22210 13 0 0 25 0 1 0 147180269 83042304 19508 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 20274 19508 170 317 0 19953 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 81096

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1725872/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=87188 CPUtime=282.22
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 21310 0 0 0 28207 15 0 0 25 0 1 0 147180269 89280512 21162 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 21797 21162 170 317 0 21476 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 87188

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1717360/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=97496 CPUtime=342.2
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 23405 0 0 0 34203 17 0 0 25 0 1 0 147180269 99835904 23257 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 24374 23257 170 317 0 24053 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 97496

[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1712048/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=102888 CPUtime=402.18
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 24752 0 0 0 40199 19 0 0 25 0 1 0 147180269 105357312 24604 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716150 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 25722 24604 170 317 0 25401 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 102888

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1706288/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=108196 CPUtime=462.17
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 26162 0 0 0 46197 20 0 0 25 0 1 0 147180269 110792704 26014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716193 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 27049 26014 170 317 0 26728 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 108196

[startup+522.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1699888/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=114184 CPUtime=522.15
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 27761 0 0 0 52193 22 0 0 25 0 1 0 147180269 116924416 27613 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 28546 27613 170 317 0 28225 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 114184

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1695152/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=119700 CPUtime=582.14
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 29249 0 0 0 58190 24 0 0 25 0 1 0 147180269 122572800 28766 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 29925 28766 170 317 0 29604 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 119700

[startup+642.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28019
/proc/meminfo: memFree=1691184/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=123540 CPUtime=642.13
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 30267 0 0 0 64188 25 0 0 25 0 1 0 147180269 126504960 29784 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 30885 29784 170 317 0 30564 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 123540


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

[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1673776/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=146164 CPUtime=882.07
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 35735 0 0 0 88177 30 0 0 25 0 1 0 147180269 149671936 34097 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 36541 34097 170 317 0 36220 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 146164

[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1670320/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=149572 CPUtime=942.05
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 36630 0 0 0 94174 31 0 0 25 0 1 0 147180269 153161728 34959 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 37393 34959 170 317 0 37072 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 149572

[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1666800/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=152984 CPUtime=1002.03
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 37588 0 0 0 100171 32 0 0 25 0 1 0 147180269 156655616 35818 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 38246 35818 170 317 0 37925 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 152984

[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1663344/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=156380 CPUtime=1062.02
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 38539 0 0 0 106169 33 0 0 25 0 1 0 147180269 160133120 36703 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 39095 36703 170 317 0 38774 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 156380

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1659184/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=160304 CPUtime=1122.01
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 39610 0 0 0 112166 35 0 0 25 0 1 0 147180269 164151296 37741 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 40076 37741 170 317 0 39755 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 160304

[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1655280/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=164228 CPUtime=1181.99
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 40657 0 0 0 118163 36 0 0 25 0 1 0 147180269 168169472 38722 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 41057 38722 170 317 0 40736 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 164228

[startup+1242.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1652400/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=166852 CPUtime=1241.97
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 41369 0 0 0 124160 37 0 0 25 0 1 0 147180269 170856448 39434 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 41713 39434 170 317 0 41392 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 166852

[startup+1302.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1650096/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=168952 CPUtime=1301.97
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 41925 0 0 0 130158 39 0 0 25 0 1 0 147180269 173006848 39990 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 42238 39990 170 317 0 41917 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 168952

[startup+1362.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1648368/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=170748 CPUtime=1361.94
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 42359 0 0 0 136155 39 0 0 25 0 1 0 147180269 174845952 40424 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 42687 40424 170 317 0 42366 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 170748

[startup+1422.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1644144/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=175528 CPUtime=1421.94
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 43413 0 0 0 142153 41 0 0 25 0 1 0 147180269 179740672 41478 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 43882 41478 170 317 0 43561 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 175528

[startup+1482.3 s]
/proc/loadavg: 1.06 1.02 1.00 2/78 28021
/proc/meminfo: memFree=1638448/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=181332 CPUtime=1481.91
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 44917 0 0 0 148149 42 0 0 25 0 1 0 147180269 185683968 42916 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 45333 42916 170 317 0 45012 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 181332

[startup+1542.3 s]
/proc/loadavg: 1.02 1.01 1.00 2/78 28021
/proc/meminfo: memFree=1635632/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=183828 CPUtime=1541.9
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 45609 0 0 0 154147 43 0 0 25 0 1 0 147180269 188239872 43608 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 45957 43608 170 317 0 45636 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 183828

[startup+1602.3 s]
/proc/loadavg: 1.01 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1628016/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=191444 CPUtime=1601.88
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 47498 0 0 0 160144 44 0 0 25 0 1 0 147180269 196038656 45497 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 47861 45497 170 317 0 47540 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 191444

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1618096/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=201856 CPUtime=1661.87
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 50009 0 0 0 166141 46 0 0 25 0 1 0 147180269 206700544 48008 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710752 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 50464 48008 170 317 0 50143 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 201856

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1609264/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=210872 CPUtime=1721.85
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 52209 0 0 0 172137 48 0 0 25 0 1 0 147180269 215932928 50208 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 52718 50208 170 317 0 52397 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 210872

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1602160/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=218068 CPUtime=1781.83
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 54097 0 0 0 178134 49 0 0 25 0 1 0 147180269 223301632 51965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 54517 51965 170 317 0 54196 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 218068



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1600240/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=220016 CPUtime=1800.03
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 54562 0 0 0 179953 50 0 0 25 0 1 0 147180269 225296384 52430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 55004 52430 170 317 0 54683 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 220016

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

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

[startup+1800.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/78 28021
/proc/meminfo: memFree=1600240/2055920 swapFree=4170240/4192956
[pid=28018] ppid=28016 vsize=220016 CPUtime=1800.03
/proc/28018/stat : 28018 (oree) R 28016 28018 27675 0 -1 4194304 54562 0 0 0 179953 50 0 0 25 0 1 0 147180269 225296384 52430 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/28018/statm: 55004 52430 170 317 0 54683 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 220016

Child status: 0
Real time (s): 1800.56
CPU time (s): 1800.09
CPU user time (s): 1799.55
CPU system time (s): 0.546916
CPU usage (%): 99.9744
Max. virtual memory (cumulated for all children) (KiB): 220016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 0.546916
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54578
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= 7
involuntary context switches= 4173

runsolver used 2.15667 second user time and 4.41433 second system time

The end

Launcher Data (download as text)

Begin job on node26 on Thu Apr 19 14:23:55 UTC 2007

IDJOB= 365388
IDBENCH= 2321
IDSOLVER= 172
FILE ID= node26/365388-1176992634

PBS_JOBID= 4630461

Free space on /tmp= 66435 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos20.opb
COMMAND LINE= oree /tmp/evaluation/365388-1176992634/instance-365388-1176992634.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node26/watcher-365388-1176992634 -o ROOT/results/node26/solver-365388-1176992634 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/365388-1176992634/instance-365388-1176992634.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  d5ea3d9967a24b7bed67317421f8b87e

RANDOM SEED= 86908949

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node26.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.213
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.213
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:       1810832 kB
Buffers:         31332 kB
Cached:         127108 kB
SwapCached:       3128 kB
Active:          83424 kB
Inactive:        97944 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1810832 kB
SwapTotal:     4192956 kB
SwapFree:      4170240 kB
Dirty:            1748 kB
Writeback:           0 kB
Mapped:          30480 kB
Slab:            49320 kB
Committed_AS:  1029104 kB
PageTables:       1716 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= 66435 MiB

End job on node26 on Thu Apr 19 14:53:57 UTC 2007