Trace number 356969

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.17 1800.77

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/
ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb
MD5SUM2fc9de6105f21066ef788431e0787cd8
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables9060
Total number of constraints429
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 constraints429
Minimum length of a constraint30
Maximum length of a constraint1440
Number of terms in the objective function 6930
Biggest coefficient in the objective function 3308
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 529735
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262145
Number of bits of the biggest number in a constraint 19
Biggest sum of numbers in a constraint 529735
Number of bits of the biggest sum of numbers20
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data (download as text)

0.00/0.00	c This is oree version 0.1.2 alpha
0.00/0.00	c (c) roussel@cril.univ-artois.fr
0.00/0.00	c using __gmp_expr<__gmpz_value, __gmpz_value>
0.00/0.00	c parsing...
0.19/0.25	c ...done
0.19/0.25	c #vars=9060 #constraints=490 hasObjective=yes
0.29/0.35	c res. mode=mod
0.29/0.35	c VSIDS like heuristics
0.29/0.35	c complete search running
0.29/0.39	c restart after 401 decisions
0.39/0.40	c nbDecision=500 #constraints=490
0.39/0.43	c restart after 801 decisions
0.39/0.44	c nbDecision=1000 #constraints=490
0.39/0.49	c nbDecision=1500 #constraints=490
0.49/0.50	c restart after 1601 decisions
0.49/0.53	c nbDecision=2000 #constraints=490
0.49/0.58	c nbDecision=2500 #constraints=490
0.59/0.62	c nbDecision=3000 #constraints=490
0.59/0.64	c restart after 3201 decisions
0.59/0.67	c nbDecision=3500 #constraints=491
0.69/0.71	c nbDecision=4000 #constraints=491
0.69/0.75	c nbDecision=4500 #constraints=491
0.79/0.81	c nbDecision=5000 #constraints=516
0.89/0.99	c nbDecision=5500 #constraints=652
1.09/1.18	c nbDecision=6000 #constraints=752
1.29/1.35	c restart after 6401 decisions
1.29/1.37	c nbDecision=6500 #constraints=819
1.39/1.42	c nbDecision=7000 #constraints=819
1.39/1.46	c nbDecision=7500 #constraints=819
1.49/1.50	c nbDecision=8000 #constraints=819
1.49/1.58	c nbDecision=8500 #constraints=856
1.69/1.73	c nbDecision=9000 #constraints=959
1.89/1.96	c nbDecision=9500 #constraints=1087
2.20/2.22	c nbDecision=10000 #constraints=1194
2.39/2.49	c nbDecision=10500 #constraints=1264
2.69/2.75	c nbDecision=11000 #constraints=1343
2.99/3.06	c nbDecision=11500 #constraints=1413
3.29/3.36	c nbDecision=12000 #constraints=1475
3.59/3.65	c nbDecision=12500 #constraints=1542
3.79/3.81	c restart after 12801 decisions
3.79/3.85	c nbDecision=13000 #constraints=1579
3.79/3.89	c nbDecision=13500 #constraints=1579
3.89/3.93	c nbDecision=14000 #constraints=1579
3.89/3.98	c nbDecision=14500 #constraints=1579
4.09/4.17	c nbDecision=15000 #constraints=1679
4.40/4.41	c nbDecision=15500 #constraints=1772
4.59/4.67	c nbDecision=16000 #constraints=1886
4.89/4.96	c nbDecision=16500 #constraints=1999
5.39/5.43	c nbDecision=17000 #constraints=2186
5.59/5.68	c nbDecision=17500 #constraints=2240
5.89/5.96	c nbDecision=18000 #constraints=2330
6.19/6.21	c nbDecision=18500 #constraints=2371
6.39/6.49	c nbDecision=19000 #constraints=2419
6.69/6.78	c nbDecision=19500 #constraints=2475
6.99/7.05	c nbDecision=20000 #constraints=2521
7.29/7.34	c nbDecision=20500 #constraints=2560
7.59/7.65	c nbDecision=21000 #constraints=2616
7.88/7.98	c nbDecision=21500 #constraints=2669
8.18/8.29	c nbDecision=22000 #constraints=2724
8.69/8.73	c nbDecision=22500 #constraints=2827
8.98/9.05	c nbDecision=23000 #constraints=2864
9.38/9.42	c nbDecision=23500 #constraints=2911
9.68/9.75	c nbDecision=24000 #constraints=2953
10.08/10.13	c nbDecision=24500 #constraints=3004
10.48/10.56	c nbDecision=25000 #constraints=3074
10.89/10.93	c nbDecision=25500 #constraints=3119
10.89/10.98	c restart after 25601 decisions
10.99/11.08	c nbDecision=26000 #constraints=3122
11.08/11.12	c nbDecision=26500 #constraints=3122
11.18/11.21	c nbDecision=27000 #constraints=3122
11.28/11.34	c nbDecision=27500 #constraints=3172
11.68/11.71	c nbDecision=28000 #constraints=3237
12.10/12.17	c nbDecision=28500 #constraints=3307
12.59/12.61	c nbDecision=29000 #constraints=3352
12.89/12.99	c nbDecision=29500 #constraints=3382
13.29/13.38	c nbDecision=30000 #constraints=3414
13.69/13.80	c nbDecision=30500 #constraints=3454
14.19/14.26	c nbDecision=31000 #constraints=3495
14.79/14.88	c nbDecision=31500 #constraints=3553
15.58/15.68	c nbDecision=32000 #constraints=3620
16.08/16.11	c nbDecision=32500 #constraints=3652
16.58/16.67	c nbDecision=33000 #constraints=3698
17.08/17.12	c nbDecision=33500 #constraints=3738
17.59/17.62	c nbDecision=34000 #constraints=3794
17.98/18.09	c nbDecision=34500 #constraints=3836
18.38/18.48	c nbDecision=35000 #constraints=3865
18.99/19.03	c nbDecision=35500 #constraints=3907
19.39/19.50	c nbDecision=36000 #constraints=3942
19.89/19.96	c nbDecision=36500 #constraints=3983
20.49/20.50	c nbDecision=37000 #constraints=4020
20.99/21.01	c nbDecision=37500 #constraints=4057
21.39/21.49	c nbDecision=38000 #constraints=4089
21.99/22.05	c nbDecision=38500 #constraints=4132
22.48/22.56	c nbDecision=39000 #constraints=4165
23.08/23.19	c nbDecision=39500 #constraints=4209
23.69/23.71	c nbDecision=40000 #constraints=4242
24.19/24.29	c nbDecision=40500 #constraints=4284
24.69/24.71	c nbDecision=41000 #constraints=4315
25.19/25.21	c nbDecision=41500 #constraints=4344
25.68/25.78	c nbDecision=42000 #constraints=4384
26.28/26.35	c nbDecision=42500 #constraints=4421
26.89/26.93	c nbDecision=43000 #constraints=4457
27.29/27.40	c nbDecision=43500 #constraints=4487
27.88/27.92	c nbDecision=44000 #constraints=4529
28.49/28.51	c nbDecision=44500 #constraints=4570
29.28/29.34	c nbDecision=45000 #constraints=4628
29.98/30.01	c nbDecision=45500 #constraints=4672
30.58/30.61	c nbDecision=46000 #constraints=4701
31.19/31.22	c nbDecision=46500 #constraints=4745
31.79/31.83	c nbDecision=47000 #constraints=4782
32.39/32.40	c nbDecision=47500 #constraints=4811
33.18/33.21	c nbDecision=48000 #constraints=4863
33.99/34.08	c nbDecision=48500 #constraints=4912
34.78/34.83	c nbDecision=49000 #constraints=4952
35.28/35.38	c nbDecision=49500 #constraints=4981
35.88/35.96	c nbDecision=50000 #constraints=5016
36.48/36.57	c nbDecision=50500 #constraints=5050
37.18/37.22	c nbDecision=51000 #constraints=5078
37.48/37.52	c restart after 51201 decisions
37.68/37.77	c nbDecision=51500 #constraints=5098
37.78/37.82	c nbDecision=52000 #constraints=5098
37.88/37.93	c nbDecision=52500 #constraints=5098
38.07/38.10	c nbDecision=53000 #constraints=5114
38.88/38.95	c nbDecision=53500 #constraints=5229
39.78/39.81	c nbDecision=54000 #constraints=5325
40.68/40.74	c nbDecision=54500 #constraints=5420
41.57/41.68	c nbDecision=55000 #constraints=5531
42.47/42.53	c nbDecision=55500 #constraints=5596
43.47/43.55	c nbDecision=56000 #constraints=5679
44.47/44.51	c nbDecision=56500 #constraints=5747
45.47/45.56	c nbDecision=57000 #constraints=5820
46.28/46.31	c nbDecision=57500 #constraints=5875
47.18/47.25	c nbDecision=58000 #constraints=5939
48.18/48.23	c nbDecision=58500 #constraints=6000
49.08/49.18	c nbDecision=59000 #constraints=6076
50.08/50.14	c nbDecision=59500 #constraints=6148
51.28/51.35	c nbDecision=60000 #constraints=6221
52.28/52.34	c nbDecision=60500 #constraints=6275
53.27/53.32	c nbDecision=61000 #constraints=6317
54.07/54.18	c nbDecision=61500 #constraints=6356
54.88/55.00	c nbDecision=62000 #constraints=6402
55.77/55.87	c nbDecision=62500 #constraints=6437
56.77/56.86	c nbDecision=63000 #constraints=6499
57.67/57.78	c nbDecision=63500 #constraints=6546
58.87/58.96	c nbDecision=64000 #constraints=6600
60.07/60.16	c nbDecision=64500 #constraints=6651
61.37/61.48	c nbDecision=65000 #constraints=6713
62.47/62.53	c nbDecision=65500 #constraints=6757
63.48/63.55	c nbDecision=66000 #constraints=6800
64.48/64.53	c nbDecision=66500 #constraints=6838
65.67/65.73	c nbDecision=67000 #constraints=6890
66.87/66.93	c nbDecision=67500 #constraints=6949
67.87/67.93	c nbDecision=68000 #constraints=6985
68.87/68.95	c nbDecision=68500 #constraints=7020
69.87/69.97	c nbDecision=69000 #constraints=7080
70.77/70.89	c nbDecision=69500 #constraints=7123
71.97/72.08	c nbDecision=70000 #constraints=7191
72.87/72.97	c nbDecision=70500 #constraints=7227
73.87/73.97	c nbDecision=71000 #constraints=7273
74.87/74.98	c nbDecision=71500 #constraints=7312
75.87/75.92	c nbDecision=72000 #constraints=7351
76.98/77.03	c nbDecision=72500 #constraints=7406
78.08/78.16	c nbDecision=73000 #constraints=7471
78.87/78.97	c nbDecision=73500 #constraints=7517
80.07/80.16	c nbDecision=74000 #constraints=7573
81.07/81.16	c nbDecision=74500 #constraints=7613
81.97/82.10	c nbDecision=75000 #constraints=7654
83.06/83.12	c nbDecision=75500 #constraints=7703
84.06/84.11	c nbDecision=76000 #constraints=7745
84.96/85.05	c nbDecision=76500 #constraints=7791
85.86/85.92	c nbDecision=77000 #constraints=7828
86.87/86.92	c nbDecision=77500 #constraints=7865
87.86/87.97	c nbDecision=78000 #constraints=7903
88.97/89.01	c nbDecision=78500 #constraints=7940
89.87/89.99	c nbDecision=79000 #constraints=7978
90.87/90.98	c nbDecision=79500 #constraints=8014
91.87/91.91	c nbDecision=80000 #constraints=8046
92.76/92.83	c nbDecision=80500 #constraints=8088
93.76/93.85	c nbDecision=81000 #constraints=8128
95.16/95.26	c nbDecision=81500 #constraints=8178
96.36/96.49	c nbDecision=82000 #constraints=8219
97.66/97.75	c nbDecision=82500 #constraints=8264
98.66/98.78	c nbDecision=83000 #constraints=8302
99.56/99.61	c nbDecision=83500 #constraints=8334
100.46/100.59	c nbDecision=84000 #constraints=8371
101.56/101.66	c nbDecision=84500 #constraints=8410
102.66/102.71	c nbDecision=85000 #constraints=8456
103.76/103.88	c nbDecision=85500 #constraints=8507
104.86/104.93	c nbDecision=86000 #constraints=8546
106.26/106.35	c nbDecision=86500 #constraints=8597
107.36/107.46	c nbDecision=87000 #constraints=8634
108.76/108.87	c nbDecision=87500 #constraints=8682
110.06/110.13	c nbDecision=88000 #constraints=8722
111.16/111.21	c nbDecision=88500 #constraints=8763
112.35/112.46	c nbDecision=89000 #constraints=8799
113.66/113.71	c nbDecision=89500 #constraints=8843
114.76/114.84	c nbDecision=90000 #constraints=8876
116.16/116.21	c nbDecision=90500 #constraints=8913
117.66/117.74	c nbDecision=91000 #constraints=8967
119.06/119.18	c nbDecision=91500 #constraints=9017
120.46/120.54	c nbDecision=92000 #constraints=9060
121.66/121.77	c nbDecision=92500 #constraints=9100
122.85/122.98	c nbDecision=93000 #constraints=9139
123.95/124.01	c nbDecision=93500 #constraints=9177
125.05/125.13	c nbDecision=94000 #constraints=9220
126.16/126.23	c nbDecision=94500 #constraints=9258
127.26/127.38	c nbDecision=95000 #constraints=9300
128.46/128.54	c nbDecision=95500 #constraints=9337
129.76/129.81	c nbDecision=96000 #constraints=9378
130.76/130.81	c nbDecision=96500 #constraints=9413
131.96/132.08	c nbDecision=97000 #constraints=9463
133.15/133.27	c nbDecision=97500 #constraints=9498
134.45/134.50	c nbDecision=98000 #constraints=9540
135.85/135.95	c nbDecision=98500 #constraints=9587
136.85/136.93	c nbDecision=99000 #constraints=9614
137.95/138.04	c nbDecision=99500 #constraints=9648
139.05/139.17	c nbDecision=100000 #constraints=9685
140.55/140.66	c nbDecision=100500 #constraints=9734
141.85/141.93	c nbDecision=101000 #constraints=9768
142.85/142.99	c nbDecision=101500 #constraints=9798
144.26/144.36	c nbDecision=102000 #constraints=9843
145.45/145.52	c restart after 102401 decisions
145.95/146.08	c nbDecision=102500 #constraints=9881
146.05/146.13	c nbDecision=103000 #constraints=9881
146.05/146.18	c nbDecision=103500 #constraints=9881
146.55/146.60	c nbDecision=104000 #constraints=9881
146.75/146.89	c nbDecision=104500 #constraints=9913
148.05/148.19	c nbDecision=105000 #constraints=9961
149.35/149.45	c nbDecision=105500 #constraints=10001
150.55/150.65	c nbDecision=106000 #constraints=10045
151.95/152.06	c nbDecision=106500 #constraints=10089
153.25/153.36	c nbDecision=107000 #constraints=10133
154.75/154.81	c nbDecision=107500 #constraints=10181
156.45/156.54	c nbDecision=108000 #constraints=10231
158.04/158.17	c nbDecision=108500 #constraints=10275
159.54/159.61	c nbDecision=109000 #constraints=10318
160.84/160.97	c nbDecision=109500 #constraints=10363
162.84/162.97	c nbDecision=110000 #constraints=10416
164.64/164.77	c nbDecision=110500 #constraints=10478
166.44/166.51	c nbDecision=111000 #constraints=10533
167.74/167.88	c nbDecision=111500 #constraints=10579
169.05/169.13	c nbDecision=112000 #constraints=10634
170.65/170.71	c nbDecision=112500 #constraints=10687
172.35/172.45	c nbDecision=113000 #constraints=10738
173.95/174.04	c nbDecision=113500 #constraints=10776
175.54/175.66	c nbDecision=114000 #constraints=10825
178.14/178.29	c nbDecision=114500 #constraints=10900
179.74/179.87	c nbDecision=115000 #constraints=10935
181.34/181.47	c nbDecision=115500 #constraints=10984
183.34/183.43	c nbDecision=116000 #constraints=11032
185.24/185.36	c nbDecision=116500 #constraints=11079
187.44/187.51	c nbDecision=117000 #constraints=11127
189.84/189.92	c nbDecision=117500 #constraints=11180
192.03/192.15	c nbDecision=118000 #constraints=11231
194.04/194.15	c nbDecision=118500 #constraints=11274
196.14/196.23	c nbDecision=119000 #constraints=11319
198.04/198.12	c nbDecision=119500 #constraints=11363
199.84/199.93	c nbDecision=120000 #constraints=11418
202.04/202.19	c nbDecision=120500 #constraints=11469
203.34/203.45	c nbDecision=121000 #constraints=11506
205.23/205.31	c nbDecision=121500 #constraints=11546
207.43/207.54	c nbDecision=122000 #constraints=11590
209.43/209.60	c nbDecision=122500 #constraints=11633
211.53/211.61	c nbDecision=123000 #constraints=11674
213.43/213.57	c nbDecision=123500 #constraints=11717
214.83/214.91	c nbDecision=124000 #constraints=11747
216.43/216.55	c nbDecision=124500 #constraints=11785
219.13/219.28	c nbDecision=125000 #constraints=11842
221.33/221.41	c nbDecision=125500 #constraints=11898
223.13/223.20	c nbDecision=126000 #constraints=11937
225.13/225.30	c nbDecision=126500 #constraints=11983
227.53/227.69	c nbDecision=127000 #constraints=12030
229.83/229.93	c nbDecision=127500 #constraints=12079
231.72/231.84	c nbDecision=128000 #constraints=12122
233.52/233.63	c nbDecision=128500 #constraints=12166
235.42/235.53	c nbDecision=129000 #constraints=12213
237.32/237.44	c nbDecision=129500 #constraints=12254
239.83/239.90	c nbDecision=130000 #constraints=12303
241.43/241.51	c nbDecision=130500 #constraints=12342
243.33/243.47	c nbDecision=131000 #constraints=12378
245.23/245.37	c nbDecision=131500 #constraints=12418
247.53/247.63	c nbDecision=132000 #constraints=12467
249.43/249.51	c nbDecision=132500 #constraints=12508
251.62/251.75	c nbDecision=133000 #constraints=12555
253.52/253.61	c nbDecision=133500 #constraints=12595
255.52/255.64	c nbDecision=134000 #constraints=12636
257.42/257.58	c nbDecision=134500 #constraints=12679
259.52/259.65	c nbDecision=135000 #constraints=12728
261.12/261.23	c nbDecision=135500 #constraints=12767
263.12/263.28	c nbDecision=136000 #constraints=12809
264.82/264.99	c nbDecision=136500 #constraints=12846
267.12/267.23	c nbDecision=137000 #constraints=12889
269.12/269.28	c nbDecision=137500 #constraints=12930
271.01/271.15	c nbDecision=138000 #constraints=12971
272.81/272.93	c nbDecision=138500 #constraints=13018
275.01/275.18	c nbDecision=139000 #constraints=13075
276.92/277.05	c nbDecision=139500 #constraints=13119
278.32/278.49	c nbDecision=140000 #constraints=13152
280.62/280.79	c nbDecision=140500 #constraints=13216
282.91/283.05	c nbDecision=141000 #constraints=13266
284.72/284.82	c nbDecision=141500 #constraints=13308
286.61/286.72	c nbDecision=142000 #constraints=13362
288.31/288.49	c nbDecision=142500 #constraints=13406
290.21/290.36	c nbDecision=143000 #constraints=13456
292.21/292.38	c nbDecision=143500 #constraints=13510
294.00/294.15	c nbDecision=144000 #constraints=13549
295.60/295.74	c nbDecision=144500 #constraints=13585
297.50/297.66	c nbDecision=145000 #constraints=13622
299.30/299.41	c nbDecision=145500 #constraints=13659
301.41/301.59	c nbDecision=146000 #constraints=13712
303.61/303.76	c nbDecision=146500 #constraints=13760
305.51/305.66	c nbDecision=147000 #constraints=13804
307.71/307.86	c nbDecision=147500 #constraints=13852
309.81/309.96	c nbDecision=148000 #constraints=13900
311.91/312.07	c nbDecision=148500 #constraints=13947
313.41/313.58	c nbDecision=149000 #constraints=13979
315.40/315.59	c nbDecision=149500 #constraints=14028
317.30/317.46	c nbDecision=150000 #constraints=14066
319.20/319.34	c nbDecision=150500 #constraints=14114
321.80/321.95	c nbDecision=151000 #constraints=14167
323.90/324.07	c nbDecision=151500 #constraints=14218
326.10/326.22	c nbDecision=152000 #constraints=14267
328.10/328.28	c nbDecision=152500 #constraints=14305
330.50/330.67	c nbDecision=153000 #constraints=14356
332.30/332.45	c nbDecision=153500 #constraints=14394
334.09/334.26	c nbDecision=154000 #constraints=14435
336.69/336.81	c nbDecision=154500 #constraints=14485
338.99/339.19	c nbDecision=155000 #constraints=14533
341.50/341.69	c nbDecision=155500 #constraints=14585
343.80/343.99	c nbDecision=156000 #constraints=14638
346.50/346.61	c nbDecision=156500 #constraints=14689
348.60/348.77	c nbDecision=157000 #constraints=14744
350.59/350.71	c nbDecision=157500 #constraints=14793
353.59/353.75	c nbDecision=158000 #constraints=14856
356.09/356.26	c nbDecision=158500 #constraints=14911
358.39/358.54	c nbDecision=159000 #constraints=14967
360.19/360.37	c nbDecision=159500 #constraints=15003
362.29/362.43	c nbDecision=160000 #constraints=15044
364.79/364.98	c nbDecision=160500 #constraints=15097
367.69/367.85	c nbDecision=161000 #constraints=15161
369.79/369.96	c nbDecision=161500 #constraints=15208
371.69/371.88	c nbDecision=162000 #constraints=15243
373.99/374.13	c nbDecision=162500 #constraints=15284
376.79/376.97	c nbDecision=163000 #constraints=15334
378.99/379.12	c nbDecision=163500 #constraints=15373
380.79/380.92	c nbDecision=164000 #constraints=15405
382.98/383.11	c nbDecision=164500 #constraints=15444
384.89/385.02	c nbDecision=165000 #constraints=15481
387.38/387.59	c nbDecision=165500 #constraints=15535
389.08/389.20	c nbDecision=166000 #constraints=15564
391.28/391.44	c nbDecision=166500 #constraints=15604
393.29/393.46	c nbDecision=167000 #constraints=15637
395.49/395.70	c nbDecision=167500 #constraints=15677
397.68/397.85	c nbDecision=168000 #constraints=15715
400.08/400.26	c nbDecision=168500 #constraints=15763
402.39/402.53	c nbDecision=169000 #constraints=15801
404.69/404.82	c nbDecision=169500 #constraints=15843
407.18/407.37	c nbDecision=170000 #constraints=15892
409.88/410.01	c nbDecision=170500 #constraints=15943
411.98/412.17	c nbDecision=171000 #constraints=15980
413.88/414.03	c nbDecision=171500 #constraints=16015
416.68/416.81	c nbDecision=172000 #constraints=16065
419.07/419.21	c nbDecision=172500 #constraints=16107
421.27/421.47	c nbDecision=173000 #constraints=16145
423.57/423.71	c nbDecision=173500 #constraints=16185
426.18/426.32	c nbDecision=174000 #constraints=16232
428.68/428.84	c nbDecision=174500 #constraints=16279
430.98/431.12	c nbDecision=175000 #constraints=16320
433.67/433.82	c nbDecision=175500 #constraints=16371
436.48/436.61	c nbDecision=176000 #constraints=16425
438.47/438.65	c nbDecision=176500 #constraints=16467
441.17/441.34	c nbDecision=177000 #constraints=16521
443.17/443.32	c nbDecision=177500 #constraints=16560
446.17/446.36	c nbDecision=178000 #constraints=16620
449.16/449.31	c nbDecision=178500 #constraints=16666
451.56/451.76	c nbDecision=179000 #constraints=16708
454.17/454.35	c nbDecision=179500 #constraints=16751
457.06/457.29	c nbDecision=180000 #constraints=16802
459.16/459.33	c nbDecision=180500 #constraints=16842
461.16/461.37	c nbDecision=181000 #constraints=16874
463.36/463.59	c nbDecision=181500 #constraints=16913
466.07/466.25	c nbDecision=182000 #constraints=16953
468.56/468.70	c nbDecision=182500 #constraints=16991
470.96/471.12	c nbDecision=183000 #constraints=17035
472.96/473.19	c nbDecision=183500 #constraints=17075
475.76/475.90	c nbDecision=184000 #constraints=17116
478.16/478.40	c nbDecision=184500 #constraints=17154
480.57/480.71	c nbDecision=185000 #constraints=17190
482.96/483.15	c nbDecision=185500 #constraints=17230
485.26/485.41	c nbDecision=186000 #constraints=17264
487.36/487.55	c nbDecision=186500 #constraints=17297
489.76/489.96	c nbDecision=187000 #constraints=17341
491.86/492.01	c nbDecision=187500 #constraints=17373
494.15/494.38	c nbDecision=188000 #constraints=17422
496.55/496.74	c nbDecision=188500 #constraints=17465
499.26/499.49	c nbDecision=189000 #constraints=17510
501.05/501.25	c nbDecision=189500 #constraints=17544
503.45/503.69	c nbDecision=190000 #constraints=17583
505.85/506.08	c nbDecision=190500 #constraints=17624
508.05/508.26	c nbDecision=191000 #constraints=17662
510.65/510.87	c nbDecision=191500 #constraints=17707
512.95/513.17	c nbDecision=192000 #constraints=17751
516.55/516.79	c nbDecision=192500 #constraints=17814
519.55/519.74	c nbDecision=193000 #constraints=17859
521.95/522.16	c nbDecision=193500 #constraints=17893
524.45/524.66	c nbDecision=194000 #constraints=17928
526.95/527.11	c nbDecision=194500 #constraints=17964
529.65/529.87	c nbDecision=195000 #constraints=18010
532.45/532.60	c nbDecision=195500 #constraints=18050
535.34/535.51	c nbDecision=196000 #constraints=18088
538.44/538.60	c nbDecision=196500 #constraints=18137
540.14/540.30	c nbDecision=197000 #constraints=18164
543.14/543.33	c nbDecision=197500 #constraints=18223
545.54/545.74	c nbDecision=198000 #constraints=18262
548.54/548.73	c nbDecision=198500 #constraints=18304
551.64/551.88	c nbDecision=199000 #constraints=18359
554.64/554.85	c nbDecision=199500 #constraints=18403
557.63/557.84	c nbDecision=200000 #constraints=18449
560.93/561.19	c nbDecision=200500 #constraints=18496
563.93/564.13	c nbDecision=201000 #constraints=18539
567.33/567.56	c nbDecision=201500 #constraints=18592
569.33/569.50	c nbDecision=202000 #constraints=18623
572.04/572.21	c nbDecision=202500 #constraints=18666
575.14/575.31	c nbDecision=203000 #constraints=18717
578.03/578.24	c nbDecision=203500 #constraints=18760
580.03/580.25	c nbDecision=204000 #constraints=18791
582.73/582.93	c nbDecision=204500 #constraints=18842
583.93/584.12	c restart after 204801 decisions
585.13/585.34	c nbDecision=205000 #constraints=18861
585.13/585.38	c nbDecision=205500 #constraints=18861
585.53/585.74	c nbDecision=206000 #constraints=18861
586.13/586.30	c nbDecision=206500 #constraints=18861
588.43/588.67	c nbDecision=207000 #constraints=18954
590.53/590.79	c nbDecision=207500 #constraints=19022
592.63/592.83	c nbDecision=208000 #constraints=19068
594.93/595.11	c nbDecision=208500 #constraints=19182
597.22/597.42	c nbDecision=209000 #constraints=19246
599.42/599.62	c nbDecision=209500 #constraints=19312
601.43/601.67	c nbDecision=210000 #constraints=19358
604.02/604.26	c nbDecision=210500 #constraints=19442
605.82/606.07	c nbDecision=211000 #constraints=19549
607.52/607.76	c nbDecision=211500 #constraints=20030
609.61/609.84	c nbDecision=212000 #constraints=20462
611.72/611.93	c nbDecision=212500 #constraints=20623
614.62/614.81	c nbDecision=213000 #constraints=20848
616.62/616.85	c nbDecision=213500 #constraints=21110
618.71/618.96	c nbDecision=214000 #constraints=21419
620.62/620.89	c nbDecision=214500 #constraints=21704
624.92/625.18	c nbDecision=215000 #constraints=22100
628.32/628.57	c nbDecision=215500 #constraints=22419
632.81/633.08	c nbDecision=216000 #constraints=22766
637.51/637.72	c nbDecision=216500 #constraints=23098
642.31/642.59	c nbDecision=217000 #constraints=23408
647.21/647.45	c nbDecision=217500 #constraints=23689
652.30/652.58	c nbDecision=218000 #constraints=23974
658.10/658.31	c nbDecision=218500 #constraints=24264
662.80/663.00	c nbDecision=219000 #constraints=24538
666.91/667.13	c nbDecision=219500 #constraints=24766
668.51/668.75	c nbDecision=220000 #constraints=24946
670.30/670.53	c nbDecision=220500 #constraints=25129
672.20/672.42	c nbDecision=221000 #constraints=25340
676.40/676.66	c nbDecision=221500 #constraints=25475
681.80/682.02	c nbDecision=222000 #constraints=25639
686.10/686.35	c nbDecision=222500 #constraints=25853
689.90/690.19	c nbDecision=223000 #constraints=26063
694.39/694.64	c nbDecision=223500 #constraints=26265
698.80/699.00	c nbDecision=224000 #constraints=26475
702.70/702.99	c nbDecision=224500 #constraints=26668
707.29/707.57	c nbDecision=225000 #constraints=26847
711.99/712.25	c nbDecision=225500 #constraints=27029
716.18/716.43	c nbDecision=226000 #constraints=27214
721.57/721.86	c nbDecision=226500 #constraints=27443
724.87/725.16	c nbDecision=227000 #constraints=27589
728.36/728.68	c nbDecision=227500 #constraints=27741
732.54/732.80	c nbDecision=228000 #constraints=27907
736.64/736.95	c nbDecision=228500 #constraints=28069
742.72/743.09	c nbDecision=229000 #constraints=28276
747.01/747.34	c nbDecision=229500 #constraints=28438
753.80/754.16	c nbDecision=230000 #constraints=28657
758.40/758.74	c nbDecision=230500 #constraints=28818
763.20/763.56	c nbDecision=231000 #constraints=28983
768.09/768.49	c nbDecision=231500 #constraints=29147
774.99/775.38	c nbDecision=232000 #constraints=29346
779.98/780.31	c nbDecision=232500 #constraints=29510
786.39/786.71	c nbDecision=233000 #constraints=29701
791.49/791.84	c nbDecision=233500 #constraints=29858
796.28/796.66	c nbDecision=234000 #constraints=30019
800.68/801.01	c nbDecision=234500 #constraints=30168
805.07/805.46	c nbDecision=235000 #constraints=30332
810.68/811.04	c nbDecision=235500 #constraints=30514
815.67/816.01	c nbDecision=236000 #constraints=30679
821.07/821.41	c nbDecision=236500 #constraints=30840
825.68/826.09	c nbDecision=237000 #constraints=31014
830.27/830.69	c nbDecision=237500 #constraints=31181
835.97/836.31	c nbDecision=238000 #constraints=31348
843.07/843.43	c nbDecision=238500 #constraints=31543
848.07/848.44	c nbDecision=239000 #constraints=31696
852.77/853.12	c nbDecision=239500 #constraints=31869
858.16/858.55	c nbDecision=240000 #constraints=32031
862.36/862.77	c nbDecision=240500 #constraints=32171
867.76/868.13	c nbDecision=241000 #constraints=32342
873.46/873.84	c nbDecision=241500 #constraints=32510
880.16/880.54	c nbDecision=242000 #constraints=32703
885.06/885.49	c nbDecision=242500 #constraints=32865
891.25/891.67	c nbDecision=243000 #constraints=33031
897.76/898.16	c nbDecision=243500 #constraints=33220
902.45/902.80	c nbDecision=244000 #constraints=33373
908.05/908.42	c nbDecision=244500 #constraints=33549
914.24/914.62	c nbDecision=245000 #constraints=33723
919.95/920.35	c nbDecision=245500 #constraints=33881
925.75/926.13	c nbDecision=246000 #constraints=34037
932.95/933.34	c nbDecision=246500 #constraints=34227
939.54/939.96	c nbDecision=247000 #constraints=34377
946.14/946.50	c nbDecision=247500 #constraints=34545
953.94/954.36	c nbDecision=248000 #constraints=34709
960.54/960.90	c nbDecision=248500 #constraints=34865
968.13/968.56	c nbDecision=249000 #constraints=35038
975.73/976.19	c nbDecision=249500 #constraints=35209
982.43/982.85	c nbDecision=250000 #constraints=35363
988.43/988.81	c nbDecision=250500 #constraints=35508
995.13/995.58	c nbDecision=251000 #constraints=35672
1003.02/1003.41	c nbDecision=251500 #constraints=35857
1009.82/1010.22	c nbDecision=252000 #constraints=36005
1018.52/1018.98	c nbDecision=252500 #constraints=36180
1025.82/1026.26	c nbDecision=253000 #constraints=36343
1034.72/1035.16	c nbDecision=253500 #constraints=36512
1042.71/1043.17	c nbDecision=254000 #constraints=36669
1051.51/1051.99	c nbDecision=254500 #constraints=36848
1061.11/1061.50	c nbDecision=255000 #constraints=37031
1070.70/1071.18	c nbDecision=255500 #constraints=37237
1079.59/1080.02	c nbDecision=256000 #constraints=37398
1088.20/1088.68	c nbDecision=256500 #constraints=37562
1096.09/1096.50	c nbDecision=257000 #constraints=37726
1106.89/1107.35	c nbDecision=257500 #constraints=37910
1116.19/1116.60	c nbDecision=258000 #constraints=38103
1124.79/1125.29	c nbDecision=258500 #constraints=38265
1134.89/1135.30	c nbDecision=259000 #constraints=38445
1145.68/1146.14	c nbDecision=259500 #constraints=38622
1156.68/1157.18	c nbDecision=260000 #constraints=38815
1167.47/1167.92	c nbDecision=260500 #constraints=38996
1177.37/1177.80	c nbDecision=261000 #constraints=39166
1185.77/1186.29	c nbDecision=261500 #constraints=39316
1193.17/1193.60	c nbDecision=262000 #constraints=39467
1202.86/1203.35	c nbDecision=262500 #constraints=39632
1213.26/1213.71	c nbDecision=263000 #constraints=39820
1222.36/1222.84	c nbDecision=263500 #constraints=39979
1232.05/1232.50	c nbDecision=264000 #constraints=40145
1241.55/1242.08	c nbDecision=264500 #constraints=40307
1252.35/1252.81	c nbDecision=265000 #constraints=40503
1263.35/1263.83	c nbDecision=265500 #constraints=40694
1271.84/1272.36	c nbDecision=266000 #constraints=40853
1280.43/1280.90	c nbDecision=266500 #constraints=41015
1289.24/1289.73	c nbDecision=267000 #constraints=41192
1300.44/1300.91	c nbDecision=267500 #constraints=41360
1313.03/1313.51	c nbDecision=268000 #constraints=41526
1327.53/1328.07	c nbDecision=268500 #constraints=41712
1340.03/1340.51	c nbDecision=269000 #constraints=41883
1354.12/1354.67	c nbDecision=269500 #constraints=42075
1364.52/1365.02	c nbDecision=270000 #constraints=42228
1375.91/1376.43	c nbDecision=270500 #constraints=42385
1386.11/1386.62	c nbDecision=271000 #constraints=42532
1399.41/1399.94	c nbDecision=271500 #constraints=42717
1411.71/1412.20	c nbDecision=272000 #constraints=42883
1425.01/1425.55	c nbDecision=272500 #constraints=43051
1435.80/1436.36	c nbDecision=273000 #constraints=43209
1447.00/1447.56	c nbDecision=273500 #constraints=43354
1459.39/1459.99	c nbDecision=274000 #constraints=43534
1469.89/1470.49	c nbDecision=274500 #constraints=43685
1480.08/1480.62	c nbDecision=275000 #constraints=43842
1490.78/1491.36	c nbDecision=275500 #constraints=44001
1502.68/1503.23	c nbDecision=276000 #constraints=44162
1515.57/1516.19	c nbDecision=276500 #constraints=44329
1526.58/1527.16	c nbDecision=277000 #constraints=44477
1538.77/1539.39	c nbDecision=277500 #constraints=44655
1553.17/1553.73	c nbDecision=278000 #constraints=44824
1567.06/1567.61	c nbDecision=278500 #constraints=44991
1579.26/1579.90	c nbDecision=279000 #constraints=45152
1590.25/1590.84	c nbDecision=279500 #constraints=45305
1602.85/1603.47	c nbDecision=280000 #constraints=45471
1613.65/1614.25	c nbDecision=280500 #constraints=45610
1625.74/1626.30	c nbDecision=281000 #constraints=45764
1638.24/1638.82	c nbDecision=281500 #constraints=45927
1650.84/1651.40	c nbDecision=282000 #constraints=46094
1664.83/1665.41	c nbDecision=282500 #constraints=46260
1678.43/1679.05	c nbDecision=283000 #constraints=46429
1689.82/1690.41	c nbDecision=283500 #constraints=46575
1701.23/1701.87	c nbDecision=284000 #constraints=46729
1715.12/1715.73	c nbDecision=284500 #constraints=46909
1726.32/1726.94	c nbDecision=285000 #constraints=47080
1739.01/1739.61	c nbDecision=285500 #constraints=47226
1750.41/1751.06	c nbDecision=286000 #constraints=47396
1763.51/1764.17	c nbDecision=286500 #constraints=47580
1778.20/1778.88	c nbDecision=287000 #constraints=47758
1794.30/1794.93	c nbDecision=287500 #constraints=47929
1800.00/1800.60	Received signal 15
1800.00/1800.68	
1800.00/1800.68	s UNKNOWN
1800.00/1800.68	
1800.00/1800.68	c user time= 1799.26 s
1800.00/1800.68	c system time= 0.826874 s
1800.00/1800.68	c wall clock time=1800.69

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/node61/watcher-356969-1176850145 -o ROOT/results/node61/solver-356969-1176850145 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356969-1176850145/instance-356969-1176850145.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.92 0.97 0.95 3/64 12219
/proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=1620 CPUtime=0
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 183 0 0 0 0 0 0 0 18 0 1 0 96978105 1658880 165 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134540728 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 405 167 126 317 0 84 0

[startup+0.0551249 s]
/proc/loadavg: 0.92 0.97 0.95 3/64 12219
/proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=2280 CPUtime=0.05
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 388 0 0 0 5 0 0 0 18 0 1 0 96978105 2334720 370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 570 370 131 317 0 249 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 2280

[startup+0.101129 s]
/proc/loadavg: 0.92 0.97 0.95 3/64 12219
/proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=3080 CPUtime=0.09
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 584 0 0 0 9 0 0 0 18 0 1 0 96978105 3153920 566 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 770 567 131 317 0 449 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3080

[startup+0.301148 s]
/proc/loadavg: 0.92 0.97 0.95 3/64 12219
/proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=7492 CPUtime=0.29
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 1666 0 0 0 29 0 0 0 19 0 1 0 96978105 7671808 1648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 1873 1648 137 317 0 1552 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 7492

[startup+0.701186 s]
/proc/loadavg: 0.92 0.97 0.95 3/64 12219
/proc/meminfo: memFree=1801408/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=8044 CPUtime=0.69
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 1800 0 0 0 69 0 0 0 22 0 1 0 96978105 8237056 1782 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 2011 1782 139 317 0 1690 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 8044

[startup+1.50126 s]
/proc/loadavg: 0.92 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1793848/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=10272 CPUtime=1.49
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 2401 0 0 0 149 0 0 0 25 0 1 0 96978105 10518528 2383 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 2568 2383 170 317 0 2247 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10272

[startup+3.10142 s]
/proc/loadavg: 0.92 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1790264/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=14992 CPUtime=3.09
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 3565 0 0 0 308 1 0 0 25 0 1 0 96978105 15351808 3547 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135278973 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 3748 3547 170 317 0 3427 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14992

[startup+6.30272 s]
/proc/loadavg: 0.93 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1781560/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=23600 CPUtime=6.29
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 5700 0 0 0 627 2 0 0 25 0 1 0 96978105 24166400 5682 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718560 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 5900 5682 170 317 0 5579 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 23600

[startup+12.7013 s]
/proc/loadavg: 0.93 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1769784/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=33396 CPUtime=12.69
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 8156 0 0 0 1266 3 0 0 25 0 1 0 96978105 34197504 8138 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 8349 8138 170 317 0 8028 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 33396

[startup+25.5015 s]
/proc/loadavg: 0.95 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1758520/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=45708 CPUtime=25.48
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 10897 0 0 0 2543 5 0 0 25 0 1 0 96978105 46804992 10879 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 11427 10879 170 317 0 11106 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 45708

[startup+51.102 s]
/proc/loadavg: 0.96 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1742200/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=61804 CPUtime=51.08
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 14964 0 0 0 5099 9 0 0 25 0 1 0 96978105 63287296 14946 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715652 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 15451 14946 170 317 0 15130 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 61804

[startup+102.306 s]
/proc/loadavg: 0.98 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1719992/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=84972 CPUtime=102.26
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 20437 0 0 0 10214 12 0 0 25 0 1 0 96978105 87011328 20419 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134562678 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 21243 20419 170 317 0 20922 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 84972

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1701752/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=101756 CPUtime=162.24
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 25059 0 0 0 16209 15 0 0 25 0 1 0 96978105 104198144 24983 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 25439 24983 170 317 0 25118 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 101756

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1685048/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=121556 CPUtime=222.23
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 29207 0 0 0 22205 18 0 0 25 0 1 0 96978105 124473344 29131 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 30389 29131 170 317 0 30068 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 121556

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1669240/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=140680 CPUtime=282.22
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 33194 0 0 0 28202 20 0 0 25 0 1 0 96978105 144056320 33118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 35170 33118 170 317 0 34849 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 140680

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1656056/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=152472 CPUtime=342.2
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 36433 0 0 0 34198 22 0 0 25 0 1 0 96978105 156131328 36357 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 38118 36357 170 317 0 37797 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 152472

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1644472/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=163244 CPUtime=402.18
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 39338 0 0 0 40194 24 0 0 25 0 1 0 96978105 167161856 39262 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563813 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 40811 39262 170 317 0 40490 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 163244

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1633848/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=173140 CPUtime=462.16
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 42097 0 0 0 46191 25 0 0 25 0 1 0 96978105 177295360 41906 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 43285 41906 170 317 0 42964 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 173140

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1624312/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=181780 CPUtime=522.15
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 44498 0 0 0 52187 28 0 0 25 0 1 0 96978105 186142720 44307 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 45445 44307 170 317 0 45124 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 181780

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1614968/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=190028 CPUtime=582.13
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 46808 0 0 0 58184 29 0 0 25 0 1 0 96978105 194588672 46617 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 47507 46617 170 317 0 47186 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 190028

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12220
/proc/meminfo: memFree=1578680/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=233244 CPUtime=642.11
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 57443 0 0 0 64175 36 0 0 25 0 1 0 96978105 238841856 55635 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 58311 55635 170 317 0 57990 0
Current children cumulated CPU time (s) 642.11
Current children cumulated vsize (KiB) 233244


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1504952/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=303308 CPUtime=881.95
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 76437 0 0 0 88141 54 0 0 25 0 1 0 96978105 310587392 74002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 75827 74002 170 317 0 75506 0
Current children cumulated CPU time (s) 881.95
Current children cumulated vsize (KiB) 303308

[startup+942.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1491896/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=316000 CPUtime=941.94
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 79965 0 0 0 94137 57 0 0 25 0 1 0 96978105 323584000 77270 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563659 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 79000 77270 170 317 0 78679 0
Current children cumulated CPU time (s) 941.94
Current children cumulated vsize (KiB) 316000

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1480568/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=327988 CPUtime=1001.92
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 83194 0 0 0 100133 59 0 0 25 0 1 0 96978105 335859712 80070 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 81997 80070 170 317 0 81676 0
Current children cumulated CPU time (s) 1001.92
Current children cumulated vsize (KiB) 327988

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1470264/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=352964 CPUtime=1061.9
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 89103 0 0 0 106128 62 0 0 25 0 1 0 96978105 361435136 82664 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 88241 82664 170 317 0 87920 0
Current children cumulated CPU time (s) 1061.9
Current children cumulated vsize (KiB) 352964

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1460984/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=366220 CPUtime=1121.89
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 92575 0 0 0 112125 64 0 0 25 0 1 0 96978105 375009280 84964 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 91555 84964 170 317 0 91234 0
Current children cumulated CPU time (s) 1121.89
Current children cumulated vsize (KiB) 366220

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1452920/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=373720 CPUtime=1181.87
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 94703 0 0 0 118120 67 0 0 25 0 1 0 96978105 382689280 86993 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 93430 86993 170 317 0 93109 0
Current children cumulated CPU time (s) 1181.87
Current children cumulated vsize (KiB) 373720

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1444408/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=381804 CPUtime=1241.85
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 96955 0 0 0 124117 68 0 0 25 0 1 0 96978105 390967296 89115 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 95451 89115 170 317 0 95130 0
Current children cumulated CPU time (s) 1241.85
Current children cumulated vsize (KiB) 381804

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1435768/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=389908 CPUtime=1301.84
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 99274 0 0 0 130114 70 0 0 25 0 1 0 96978105 399265792 91238 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 97477 91238 170 317 0 97156 0
Current children cumulated CPU time (s) 1301.84
Current children cumulated vsize (KiB) 389908

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1429240/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=395940 CPUtime=1361.81
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 100975 0 0 0 136110 71 0 0 25 0 1 0 96978105 405442560 92874 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 98985 92874 170 317 0 98664 0
Current children cumulated CPU time (s) 1361.81
Current children cumulated vsize (KiB) 395940

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1422520/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=401856 CPUtime=1421.81
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 102686 0 0 0 142108 73 0 0 25 0 1 0 96978105 411500544 94520 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 100464 94520 170 317 0 100143 0
Current children cumulated CPU time (s) 1421.81
Current children cumulated vsize (KiB) 401856

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1415928/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=408028 CPUtime=1481.78
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 104350 0 0 0 148104 74 0 0 25 0 1 0 96978105 417820672 96184 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712511 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 102007 96184 170 317 0 101686 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 408028

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1408952/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=414244 CPUtime=1541.76
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 106195 0 0 0 154100 76 0 0 25 0 1 0 96978105 424185856 97899 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 103561 97899 170 317 0 103240 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 414244

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1403192/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=420392 CPUtime=1601.75
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 107846 0 0 0 160097 78 0 0 25 0 1 0 96978105 430481408 99355 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564043 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 105098 99355 170 317 0 104777 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 420392

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1396856/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=426736 CPUtime=1661.73
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 109669 0 0 0 166094 79 0 0 25 0 1 0 96978105 436977664 100918 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563639 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 106684 100918 170 317 0 106363 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 426736

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1390776/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=432760 CPUtime=1721.72
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 111321 0 0 0 172091 81 0 0 25 0 1 0 96978105 443146240 102440 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 108190 102440 170 317 0 107869 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 432760

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1384312/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=439040 CPUtime=1781.7
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 113160 0 0 0 178088 82 0 0 25 0 1 0 96978105 449576960 104051 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 109760 104051 170 317 0 109439 0
Current children cumulated CPU time (s) 1781.7
Current children cumulated vsize (KiB) 439040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1382712/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=440588 CPUtime=1800
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194304 113544 0 0 0 179918 82 0 0 25 0 1 0 96978105 451162112 104435 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604115 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 110147 104435 170 317 0 109826 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 440588

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

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

[startup+1800.71 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 12418
/proc/meminfo: memFree=1382712/2055920 swapFree=4181928/4192956
[pid=12219] ppid=12217 vsize=0 CPUtime=1800.1
/proc/12219/stat : 12219 (oree) R 12217 12219 11876 0 -1 4194308 113560 0 0 0 179927 83 0 0 25 0 1 0 96978105 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/12219/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.77
CPU time (s): 1800.17
CPU user time (s): 1799.28
CPU system time (s): 0.890864
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 440588

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

runsolver used 1.37779 second user time and 3.64345 second system time

The end

Launcher Data (download as text)

Begin job on node61 on Tue Apr 17 22:49:05 UTC 2007

IDJOB= 356969
IDBENCH= 1706
IDSOLVER= 172
FILE ID= node61/356969-1176850145

PBS_JOBID= 4590191

Free space on /tmp= 66509 MiB

SOLVER NAME= oree 0.1.2 alpha
BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-reduced-mps-v2-20-10-agg3.opb
COMMAND LINE= oree /tmp/evaluation/356969-1176850145/instance-356969-1176850145.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node61/watcher-356969-1176850145 -o ROOT/results/node61/solver-356969-1176850145 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356969-1176850145/instance-356969-1176850145.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  2fc9de6105f21066ef788431e0787cd8

RANDOM SEED= 382373456

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node61.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.240
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.240
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:       1801880 kB
Buffers:         20568 kB
Cached:         192240 kB
SwapCached:       5336 kB
Active:         105848 kB
Inactive:       119060 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1801880 kB
SwapTotal:     4192956 kB
SwapFree:      4181928 kB
Dirty:            2196 kB
Writeback:           0 kB
Mapped:          15336 kB
Slab:            15220 kB
Committed_AS:   779404 kB
PageTables:       1388 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= 66509 MiB

End job on node61 on Tue Apr 17 23:19:07 UTC 2007