Trace number 356953

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.21 1800.76

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-recipe.opb
MD5SUMafb312a519ee7dfceb0c5aec9cb860b5
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-111787
Best CPU time to get the best result obtained on this benchmark1800.47
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -118677
Optimality of the best value was proved NO
Number of variables3671
Total number of constraints159
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 constraints159
Minimum length of a constraint10
Maximum length of a constraint420
Number of terms in the objective function 1055
Biggest coefficient in the objective function 58802
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 524960
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 262113
Number of bits of the biggest number in a constraint 18
Biggest sum of numbers in a constraint 524960
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.00/0.05	c ...done
0.00/0.05	c #vars=3671 #constraints=224 hasObjective=yes
0.00/0.07	c res. mode=mod
0.00/0.07	c VSIDS like heuristics
0.00/0.07	c complete search running
0.09/0.11	c restart after 401 decisions
0.09/0.12	c nbDecision=500 #constraints=224
0.09/0.15	c restart after 801 decisions
0.09/0.17	c nbDecision=1000 #constraints=224
0.19/0.22	c nbDecision=1500 #constraints=224
0.19/0.23	c restart after 1601 decisions
0.19/0.27	c nbDecision=2000 #constraints=224
0.29/0.31	c nbDecision=2500 #constraints=227
0.39/0.44	c nbDecision=3000 #constraints=341
0.49/0.54	c restart after 3201 decisions
0.49/0.58	c nbDecision=3500 #constraints=407
0.59/0.63	c nbDecision=4000 #constraints=407
0.79/0.83	c nbDecision=4500 #constraints=552
1.00/1.05	c nbDecision=5000 #constraints=700
1.19/1.26	c nbDecision=5500 #constraints=817
1.39/1.46	c nbDecision=6000 #constraints=918
1.49/1.58	c restart after 6401 decisions
1.59/1.61	c nbDecision=6500 #constraints=956
1.59/1.66	c nbDecision=7000 #constraints=956
1.79/1.83	c nbDecision=7500 #constraints=1036
1.99/2.07	c nbDecision=8000 #constraints=1172
2.19/2.24	c nbDecision=8500 #constraints=1256
2.49/2.53	c nbDecision=9000 #constraints=1411
2.79/2.80	c nbDecision=9500 #constraints=1523
2.99/3.06	c nbDecision=10000 #constraints=1645
3.19/3.29	c nbDecision=10500 #constraints=1705
3.59/3.61	c nbDecision=11000 #constraints=1817
3.79/3.90	c nbDecision=11500 #constraints=1966
3.99/4.07	c nbDecision=12000 #constraints=2015
4.39/4.42	c nbDecision=12500 #constraints=2142
4.59/4.65	c restart after 12801 decisions
4.69/4.76	c nbDecision=13000 #constraints=2219
4.79/4.81	c nbDecision=13500 #constraints=2219
5.09/5.12	c nbDecision=14000 #constraints=2312
5.39/5.49	c nbDecision=14500 #constraints=2424
5.88/5.93	c nbDecision=15000 #constraints=2587
6.19/6.29	c nbDecision=15500 #constraints=2723
6.60/6.62	c nbDecision=16000 #constraints=2833
6.99/7.01	c nbDecision=16500 #constraints=2922
7.19/7.28	c nbDecision=17000 #constraints=2989
7.69/7.71	c nbDecision=17500 #constraints=3085
8.19/8.20	c nbDecision=18000 #constraints=3184
8.58/8.65	c nbDecision=18500 #constraints=3305
8.89/9.00	c nbDecision=19000 #constraints=3383
9.29/9.38	c nbDecision=19500 #constraints=3460
9.68/9.73	c nbDecision=20000 #constraints=3535
9.99/10.03	c nbDecision=20500 #constraints=3587
10.39/10.41	c nbDecision=21000 #constraints=3658
10.69/10.75	c nbDecision=21500 #constraints=3710
11.29/11.32	c nbDecision=22000 #constraints=3816
11.88/11.99	c nbDecision=22500 #constraints=3940
12.58/12.67	c nbDecision=23000 #constraints=4069
13.20/13.20	c nbDecision=23500 #constraints=4157
13.78/13.90	c nbDecision=24000 #constraints=4273
14.59/14.60	c nbDecision=24500 #constraints=4379
15.29/15.38	c nbDecision=25000 #constraints=4493
15.89/15.99	c nbDecision=25500 #constraints=4589
15.99/16.05	c restart after 25601 decisions
16.49/16.53	c nbDecision=26000 #constraints=4601
16.99/17.00	c nbDecision=26500 #constraints=4601
17.79/17.88	c nbDecision=27000 #constraints=4722
19.09/19.12	c nbDecision=27500 #constraints=4852
19.89/19.97	c nbDecision=28000 #constraints=4923
20.98/21.09	c nbDecision=28500 #constraints=5056
21.79/21.83	c nbDecision=29000 #constraints=5144
22.79/22.83	c nbDecision=29500 #constraints=5249
23.69/23.75	c nbDecision=30000 #constraints=5336
24.59/24.60	c nbDecision=30500 #constraints=5417
25.49/25.59	c nbDecision=31000 #constraints=5506
26.88/26.99	c nbDecision=31500 #constraints=5634
27.88/27.91	c nbDecision=32000 #constraints=5710
29.09/29.12	c nbDecision=32500 #constraints=5812
29.88/30.00	c nbDecision=33000 #constraints=5890
30.78/30.89	c nbDecision=33500 #constraints=5971
31.58/31.64	c nbDecision=34000 #constraints=6037
32.49/32.52	c nbDecision=34500 #constraints=6115
33.08/33.12	c nbDecision=35000 #constraints=6166
33.78/33.85	c nbDecision=35500 #constraints=6218
34.78/34.88	c nbDecision=36000 #constraints=6312
35.58/35.68	c nbDecision=36500 #constraints=6374
36.68/36.78	c nbDecision=37000 #constraints=6460
37.58/37.61	c nbDecision=37500 #constraints=6509
38.18/38.29	c nbDecision=38000 #constraints=6542
38.88/38.96	c nbDecision=38500 #constraints=6580
39.49/39.54	c nbDecision=39000 #constraints=6609
40.08/40.19	c nbDecision=39500 #constraints=6644
40.98/41.03	c nbDecision=40000 #constraints=6703
41.88/41.97	c nbDecision=40500 #constraints=6783
42.48/42.55	c nbDecision=41000 #constraints=6813
43.48/43.51	c nbDecision=41500 #constraints=6865
44.18/44.29	c nbDecision=42000 #constraints=6908
44.88/44.95	c nbDecision=42500 #constraints=6942
45.68/45.74	c nbDecision=43000 #constraints=6982
46.68/46.78	c nbDecision=43500 #constraints=7049
47.98/48.07	c nbDecision=44000 #constraints=7139
49.08/49.11	c nbDecision=44500 #constraints=7192
50.68/50.73	c nbDecision=45000 #constraints=7291
51.97/52.08	c nbDecision=45500 #constraints=7387
53.28/53.32	c nbDecision=46000 #constraints=7496
54.48/54.57	c nbDecision=46500 #constraints=7582
56.48/56.52	c nbDecision=47000 #constraints=7727
58.18/58.30	c nbDecision=47500 #constraints=7838
59.28/59.31	c nbDecision=48000 #constraints=7896
60.88/60.91	c nbDecision=48500 #constraints=8006
61.98/62.08	c nbDecision=49000 #constraints=8072
63.28/63.37	c nbDecision=49500 #constraints=8159
64.47/64.54	c nbDecision=50000 #constraints=8233
65.77/65.80	c nbDecision=50500 #constraints=8302
66.68/66.73	c nbDecision=51000 #constraints=8349
67.78/67.85	c restart after 51201 decisions
68.68/68.77	c nbDecision=51500 #constraints=8410
69.48/69.59	c nbDecision=52000 #constraints=8410
71.58/71.66	c nbDecision=52500 #constraints=8564
72.87/72.99	c nbDecision=53000 #constraints=8691
74.47/74.54	c nbDecision=53500 #constraints=8797
76.47/76.57	c nbDecision=54000 #constraints=8948
77.87/77.97	c nbDecision=54500 #constraints=9030
79.17/79.22	c nbDecision=55000 #constraints=9097
80.57/80.62	c nbDecision=55500 #constraints=9185
82.27/82.36	c nbDecision=56000 #constraints=9295
84.07/84.17	c nbDecision=56500 #constraints=9417
86.17/86.22	c nbDecision=57000 #constraints=9526
88.17/88.22	c nbDecision=57500 #constraints=9640
89.47/89.55	c nbDecision=58000 #constraints=9699
91.07/91.10	c nbDecision=58500 #constraints=9788
92.77/92.83	c nbDecision=59000 #constraints=9895
94.48/94.55	c nbDecision=59500 #constraints=9989
96.27/96.36	c nbDecision=60000 #constraints=10112
97.96/98.09	c nbDecision=60500 #constraints=10226
99.57/99.68	c nbDecision=61000 #constraints=10322
101.37/101.47	c nbDecision=61500 #constraints=10430
102.87/102.91	c nbDecision=62000 #constraints=10508
104.06/104.12	c nbDecision=62500 #constraints=10578
105.97/106.09	c nbDecision=63000 #constraints=10702
108.16/108.23	c nbDecision=63500 #constraints=10820
110.07/110.14	c nbDecision=64000 #constraints=10926
111.47/111.53	c nbDecision=64500 #constraints=11007
112.87/112.93	c nbDecision=65000 #constraints=11098
114.37/114.44	c nbDecision=65500 #constraints=11176
116.16/116.28	c nbDecision=66000 #constraints=11258
118.16/118.23	c nbDecision=66500 #constraints=11361
119.36/119.41	c nbDecision=67000 #constraints=11405
121.36/121.42	c nbDecision=67500 #constraints=11525
123.17/123.23	c nbDecision=68000 #constraints=11628
124.56/124.66	c nbDecision=68500 #constraints=11715
125.76/125.80	c nbDecision=69000 #constraints=11787
127.26/127.37	c nbDecision=69500 #constraints=11875
128.96/129.05	c nbDecision=70000 #constraints=11971
130.05/130.17	c nbDecision=70500 #constraints=12007
131.56/131.60	c nbDecision=71000 #constraints=12073
133.56/133.62	c nbDecision=71500 #constraints=12187
134.96/135.05	c nbDecision=72000 #constraints=12254
136.66/136.80	c nbDecision=72500 #constraints=12335
137.56/137.69	c nbDecision=73000 #constraints=12366
138.86/138.96	c nbDecision=73500 #constraints=12432
140.06/140.14	c nbDecision=74000 #constraints=12492
141.16/141.20	c nbDecision=74500 #constraints=12533
142.56/142.65	c nbDecision=75000 #constraints=12590
144.15/144.24	c nbDecision=75500 #constraints=12664
145.45/145.58	c nbDecision=76000 #constraints=12715
147.46/147.56	c nbDecision=76500 #constraints=12817
148.76/148.82	c nbDecision=77000 #constraints=12868
150.56/150.65	c nbDecision=77500 #constraints=12949
151.66/151.75	c nbDecision=78000 #constraints=12995
153.15/153.27	c nbDecision=78500 #constraints=13060
154.85/155.00	c nbDecision=79000 #constraints=13142
157.45/157.56	c nbDecision=79500 #constraints=13253
159.35/159.46	c nbDecision=80000 #constraints=13338
160.86/160.99	c nbDecision=80500 #constraints=13408
162.45/162.60	c nbDecision=81000 #constraints=13491
164.45/164.54	c nbDecision=81500 #constraints=13593
166.06/166.19	c nbDecision=82000 #constraints=13659
167.85/167.93	c nbDecision=82500 #constraints=13730
169.75/169.84	c nbDecision=83000 #constraints=13805
171.55/171.63	c nbDecision=83500 #constraints=13887
172.74/172.80	c nbDecision=84000 #constraints=13925
174.45/174.59	c nbDecision=84500 #constraints=13991
176.45/176.52	c nbDecision=85000 #constraints=14065
177.95/178.06	c nbDecision=85500 #constraints=14119
179.35/179.48	c nbDecision=86000 #constraints=14171
181.05/181.18	c nbDecision=86500 #constraints=14234
182.64/182.78	c nbDecision=87000 #constraints=14295
184.64/184.72	c nbDecision=87500 #constraints=14387
186.05/186.16	c nbDecision=88000 #constraints=14441
187.45/187.50	c nbDecision=88500 #constraints=14479
188.65/188.72	c nbDecision=89000 #constraints=14507
190.35/190.44	c nbDecision=89500 #constraints=14565
191.65/191.76	c nbDecision=90000 #constraints=14600
193.64/193.75	c nbDecision=90500 #constraints=14677
195.84/195.90	c nbDecision=91000 #constraints=14742
197.84/198.00	c nbDecision=91500 #constraints=14805
199.25/199.38	c nbDecision=92000 #constraints=14847
200.74/200.88	c nbDecision=92500 #constraints=14894
202.84/202.96	c nbDecision=93000 #constraints=14970
204.45/204.50	c nbDecision=93500 #constraints=15019
205.74/205.83	c nbDecision=94000 #constraints=15055
207.64/207.71	c nbDecision=94500 #constraints=15109
209.54/209.60	c nbDecision=95000 #constraints=15172
211.34/211.50	c nbDecision=95500 #constraints=15237
213.25/213.33	c nbDecision=96000 #constraints=15296
215.14/215.27	c nbDecision=96500 #constraints=15355
216.74/216.87	c nbDecision=97000 #constraints=15402
218.33/218.48	c nbDecision=97500 #constraints=15457
220.03/220.11	c nbDecision=98000 #constraints=15515
221.53/221.62	c nbDecision=98500 #constraints=15556
223.63/223.78	c nbDecision=99000 #constraints=15624
224.84/224.97	c nbDecision=99500 #constraints=15660
226.94/227.05	c nbDecision=100000 #constraints=15746
228.34/228.46	c nbDecision=100500 #constraints=15800
229.64/229.75	c nbDecision=101000 #constraints=15861
231.43/231.51	c nbDecision=101500 #constraints=15908
232.83/232.91	c nbDecision=102000 #constraints=15964
234.03/234.14	c restart after 102401 decisions
235.93/236.04	c nbDecision=102500 #constraints=16013
235.93/236.09	c nbDecision=103000 #constraints=16013
238.93/239.07	c nbDecision=103500 #constraints=16065
240.73/240.87	c nbDecision=104000 #constraints=16144
242.83/242.92	c nbDecision=104500 #constraints=16223
244.73/244.81	c nbDecision=105000 #constraints=16304
246.93/247.05	c nbDecision=105500 #constraints=16417
249.13/249.25	c nbDecision=106000 #constraints=16496
251.03/251.12	c nbDecision=106500 #constraints=16547
253.12/253.30	c nbDecision=107000 #constraints=16648
255.23/255.36	c nbDecision=107500 #constraints=16728
256.93/257.09	c nbDecision=108000 #constraints=16809
258.53/258.69	c nbDecision=108500 #constraints=16854
259.73/259.86	c nbDecision=109000 #constraints=16869
261.33/261.41	c nbDecision=109500 #constraints=16916
263.23/263.34	c nbDecision=110000 #constraints=16983
264.93/265.04	c nbDecision=110500 #constraints=17039
266.92/267.09	c nbDecision=111000 #constraints=17114
269.33/269.42	c nbDecision=111500 #constraints=17192
271.42/271.53	c nbDecision=112000 #constraints=17262
273.53/273.60	c nbDecision=112500 #constraints=17337
275.82/275.95	c nbDecision=113000 #constraints=17425
278.02/278.13	c nbDecision=113500 #constraints=17507
280.22/280.32	c nbDecision=114000 #constraints=17589
282.22/282.39	c nbDecision=114500 #constraints=17663
283.72/283.83	c nbDecision=115000 #constraints=17706
285.62/285.73	c nbDecision=115500 #constraints=17770
287.21/287.38	c nbDecision=116000 #constraints=17821
289.23/289.31	c nbDecision=116500 #constraints=17885
290.62/290.75	c nbDecision=117000 #constraints=17917
292.52/292.67	c nbDecision=117500 #constraints=17981
294.91/295.04	c nbDecision=118000 #constraints=18064
297.01/297.16	c nbDecision=118500 #constraints=18123
299.32/299.50	c nbDecision=119000 #constraints=18189
301.22/301.34	c nbDecision=119500 #constraints=18243
302.72/302.80	c nbDecision=120000 #constraints=18273
304.12/304.29	c nbDecision=120500 #constraints=18306
305.62/305.77	c nbDecision=121000 #constraints=18341
307.82/307.98	c nbDecision=121500 #constraints=18413
310.61/310.72	c nbDecision=122000 #constraints=18500
313.21/313.33	c nbDecision=122500 #constraints=18589
315.91/316.06	c nbDecision=123000 #constraints=18675
318.41/318.50	c nbDecision=123500 #constraints=18761
322.11/322.28	c nbDecision=124000 #constraints=18896
324.90/325.01	c nbDecision=124500 #constraints=19003
327.51/327.68	c nbDecision=125000 #constraints=19077
330.10/330.20	c nbDecision=125500 #constraints=19154
332.51/332.68	c nbDecision=126000 #constraints=19249
334.91/335.02	c nbDecision=126500 #constraints=19325
337.70/337.83	c nbDecision=127000 #constraints=19426
339.90/340.01	c nbDecision=127500 #constraints=19489
341.91/342.02	c nbDecision=128000 #constraints=19539
344.41/344.54	c nbDecision=128500 #constraints=19614
347.11/347.26	c nbDecision=129000 #constraints=19724
350.10/350.27	c nbDecision=129500 #constraints=19818
352.80/352.90	c nbDecision=130000 #constraints=19909
354.70/354.84	c nbDecision=130500 #constraints=19958
357.40/357.58	c nbDecision=131000 #constraints=20047
359.20/359.36	c nbDecision=131500 #constraints=20084
361.90/362.04	c nbDecision=132000 #constraints=20169
364.00/364.18	c nbDecision=132500 #constraints=20221
366.30/366.46	c nbDecision=133000 #constraints=20287
369.30/369.41	c nbDecision=133500 #constraints=20377
372.30/372.46	c nbDecision=134000 #constraints=20475
374.80/374.97	c nbDecision=134500 #constraints=20554
377.20/377.32	c nbDecision=135000 #constraints=20624
380.39/380.57	c nbDecision=135500 #constraints=20740
382.39/382.53	c nbDecision=136000 #constraints=20785
384.39/384.52	c nbDecision=136500 #constraints=20830
386.80/386.99	c nbDecision=137000 #constraints=20895
389.09/389.28	c nbDecision=137500 #constraints=20973
392.49/392.61	c nbDecision=138000 #constraints=21084
395.39/395.53	c nbDecision=138500 #constraints=21160
397.29/397.43	c nbDecision=139000 #constraints=21198
399.79/399.90	c nbDecision=139500 #constraints=21224
403.18/403.31	c nbDecision=140000 #constraints=21405
406.59/406.71	c nbDecision=140500 #constraints=21552
408.99/409.15	c nbDecision=141000 #constraints=21641
412.59/412.75	c nbDecision=141500 #constraints=21779
415.09/415.22	c nbDecision=142000 #constraints=21851
417.99/418.17	c nbDecision=142500 #constraints=21923
421.38/421.55	c nbDecision=143000 #constraints=22053
425.68/425.80	c nbDecision=143500 #constraints=22213
429.28/429.40	c nbDecision=144000 #constraints=22340
431.88/432.06	c nbDecision=144500 #constraints=22422
435.08/435.22	c nbDecision=145000 #constraints=22531
438.78/438.99	c nbDecision=145500 #constraints=22645
441.98/442.13	c nbDecision=146000 #constraints=22741
445.17/445.30	c nbDecision=146500 #constraints=22848
447.88/448.01	c nbDecision=147000 #constraints=22948
451.57/451.75	c nbDecision=147500 #constraints=23061
454.48/454.61	c nbDecision=148000 #constraints=23151
457.38/457.51	c nbDecision=148500 #constraints=23234
459.87/460.02	c nbDecision=149000 #constraints=23281
463.17/463.35	c nbDecision=149500 #constraints=23381
466.07/466.21	c nbDecision=150000 #constraints=23447
469.48/469.67	c nbDecision=150500 #constraints=23541
472.57/472.73	c nbDecision=151000 #constraints=23613
475.97/476.12	c nbDecision=151500 #constraints=23694
478.96/479.10	c nbDecision=152000 #constraints=23784
482.87/483.03	c nbDecision=152500 #constraints=23890
486.27/486.45	c nbDecision=153000 #constraints=23986
490.47/490.62	c nbDecision=153500 #constraints=24105
492.57/492.72	c nbDecision=154000 #constraints=24169
494.66/494.86	c nbDecision=154500 #constraints=24232
498.96/499.12	c nbDecision=155000 #constraints=24353
501.96/502.11	c nbDecision=155500 #constraints=24431
505.06/505.25	c nbDecision=156000 #constraints=24497
507.77/507.97	c nbDecision=156500 #constraints=24563
510.47/510.65	c nbDecision=157000 #constraints=24638
512.56/512.73	c nbDecision=157500 #constraints=24682
514.57/514.76	c nbDecision=158000 #constraints=24713
517.26/517.49	c nbDecision=158500 #constraints=24776
519.56/519.72	c nbDecision=159000 #constraints=24822
522.76/522.92	c nbDecision=159500 #constraints=24894
525.16/525.35	c nbDecision=160000 #constraints=24925
527.35/527.59	c nbDecision=160500 #constraints=24972
530.16/530.34	c nbDecision=161000 #constraints=25038
532.36/532.56	c nbDecision=161500 #constraints=25082
534.96/535.11	c nbDecision=162000 #constraints=25158
537.26/537.45	c nbDecision=162500 #constraints=25220
540.15/540.31	c nbDecision=163000 #constraints=25266
543.05/543.27	c nbDecision=163500 #constraints=25336
546.16/546.33	c nbDecision=164000 #constraints=25404
548.16/548.32	c nbDecision=164500 #constraints=25434
551.75/551.95	c nbDecision=165000 #constraints=25497
555.45/555.66	c nbDecision=165500 #constraints=25577
559.05/559.29	c nbDecision=166000 #constraints=25660
562.45/562.61	c nbDecision=166500 #constraints=25721
565.45/565.69	c nbDecision=167000 #constraints=25778
567.95/568.11	c nbDecision=167500 #constraints=25822
570.65/570.85	c nbDecision=168000 #constraints=25879
573.54/573.74	c nbDecision=168500 #constraints=25923
577.04/577.28	c nbDecision=169000 #constraints=25996
579.94/580.12	c nbDecision=169500 #constraints=26048
583.34/583.50	c nbDecision=170000 #constraints=26112
586.54/586.77	c nbDecision=170500 #constraints=26178
590.64/590.82	c nbDecision=171000 #constraints=26264
593.54/593.79	c nbDecision=171500 #constraints=26330
596.74/596.98	c nbDecision=172000 #constraints=26380
599.74/599.90	c nbDecision=172500 #constraints=26425
602.65/602.88	c nbDecision=173000 #constraints=26484
605.24/605.42	c nbDecision=173500 #constraints=26529
607.84/608.09	c nbDecision=174000 #constraints=26591
610.74/610.93	c nbDecision=174500 #constraints=26646
613.64/613.82	c nbDecision=175000 #constraints=26694
617.14/617.35	c nbDecision=175500 #constraints=26762
619.43/619.64	c nbDecision=176000 #constraints=26809
622.23/622.45	c nbDecision=176500 #constraints=26865
625.23/625.44	c nbDecision=177000 #constraints=26911
628.03/628.28	c nbDecision=177500 #constraints=26947
632.03/632.29	c nbDecision=178000 #constraints=27035
638.33/638.55	c nbDecision=178500 #constraints=27122
643.62/643.87	c nbDecision=179000 #constraints=27280
647.33/647.51	c nbDecision=179500 #constraints=27371
651.52/651.79	c nbDecision=180000 #constraints=27486
656.32/656.50	c nbDecision=180500 #constraints=27611
660.32/660.56	c nbDecision=181000 #constraints=27701
664.53/664.78	c nbDecision=181500 #constraints=27806
667.62/667.85	c nbDecision=182000 #constraints=27860
671.72/671.95	c nbDecision=182500 #constraints=27953
675.22/675.44	c nbDecision=183000 #constraints=28017
679.52/679.76	c nbDecision=183500 #constraints=28127
683.32/683.60	c nbDecision=184000 #constraints=28226
687.22/687.50	c nbDecision=184500 #constraints=28307
690.62/690.87	c nbDecision=185000 #constraints=28379
695.52/695.77	c nbDecision=185500 #constraints=28484
701.71/701.96	c nbDecision=186000 #constraints=28648
706.41/706.68	c nbDecision=186500 #constraints=28761
710.01/710.21	c nbDecision=187000 #constraints=28837
714.51/714.71	c nbDecision=187500 #constraints=28940
718.01/718.25	c nbDecision=188000 #constraints=29007
721.60/721.86	c nbDecision=188500 #constraints=29078
725.30/725.58	c nbDecision=189000 #constraints=29139
729.81/730.09	c nbDecision=189500 #constraints=29235
733.90/734.15	c nbDecision=190000 #constraints=29326
737.80/738.10	c nbDecision=190500 #constraints=29403
742.70/742.90	c nbDecision=191000 #constraints=29490
746.10/746.36	c nbDecision=191500 #constraints=29553
750.90/751.10	c nbDecision=192000 #constraints=29660
755.10/755.40	c nbDecision=192500 #constraints=29743
758.89/759.18	c nbDecision=193000 #constraints=29822
763.39/763.62	c nbDecision=193500 #constraints=29909
768.30/768.57	c nbDecision=194000 #constraints=30022
771.79/772.06	c nbDecision=194500 #constraints=30076
775.69/775.95	c nbDecision=195000 #constraints=30157
779.39/779.68	c nbDecision=195500 #constraints=30212
782.59/782.87	c nbDecision=196000 #constraints=30270
785.39/785.67	c nbDecision=196500 #constraints=30298
789.88/790.14	c nbDecision=197000 #constraints=30390
794.08/794.32	c nbDecision=197500 #constraints=30469
797.49/797.70	c nbDecision=198000 #constraints=30509
800.59/800.85	c nbDecision=198500 #constraints=30545
804.98/805.25	c nbDecision=199000 #constraints=30626
809.38/809.63	c nbDecision=199500 #constraints=30699
813.69/813.99	c nbDecision=200000 #constraints=30776
817.58/817.87	c nbDecision=200500 #constraints=30839
821.78/822.05	c nbDecision=201000 #constraints=30914
824.98/825.25	c nbDecision=201500 #constraints=30973
829.38/829.62	c nbDecision=202000 #constraints=31054
833.98/834.28	c nbDecision=202500 #constraints=31144
837.47/837.74	c nbDecision=203000 #constraints=31191
841.57/841.83	c nbDecision=203500 #constraints=31265
845.87/846.19	c nbDecision=204000 #constraints=31336
850.67/850.91	c nbDecision=204500 #constraints=31423
853.58/853.89	c restart after 204801 decisions
857.87/858.18	c nbDecision=205000 #constraints=31479
857.97/858.22	c nbDecision=205500 #constraints=31479
864.37/864.63	c nbDecision=206000 #constraints=31538
871.36/871.60	c nbDecision=206500 #constraints=31648
876.87/877.13	c nbDecision=207000 #constraints=31755
881.77/882.01	c nbDecision=207500 #constraints=31835
886.17/886.45	c nbDecision=208000 #constraints=31899
891.77/892.04	c nbDecision=208500 #constraints=31975
896.26/896.52	c nbDecision=209000 #constraints=32048
902.66/902.97	c nbDecision=209500 #constraints=32153
906.95/907.29	c nbDecision=210000 #constraints=32218
911.66/911.91	c nbDecision=210500 #constraints=32292
918.16/918.49	c nbDecision=211000 #constraints=32404
923.35/923.69	c nbDecision=211500 #constraints=32481
928.15/928.45	c nbDecision=212000 #constraints=32558
934.76/935.01	c nbDecision=212500 #constraints=32666
939.16/939.49	c nbDecision=213000 #constraints=32717
942.75/943.01	c nbDecision=213500 #constraints=32750
946.35/946.61	c nbDecision=214000 #constraints=32792
951.05/951.33	c nbDecision=214500 #constraints=32845
956.24/956.56	c nbDecision=215000 #constraints=32924
960.64/960.99	c nbDecision=215500 #constraints=32974
966.85/967.11	c nbDecision=216000 #constraints=33065
971.05/971.37	c nbDecision=216500 #constraints=33120
975.35/975.62	c nbDecision=217000 #constraints=33175
979.85/980.18	c nbDecision=217500 #constraints=33236
985.04/985.39	c nbDecision=218000 #constraints=33307
988.34/988.66	c nbDecision=218500 #constraints=33353
992.24/992.56	c nbDecision=219000 #constraints=33398
996.14/996.41	c nbDecision=219500 #constraints=33444
999.14/999.48	c nbDecision=220000 #constraints=33474
1004.04/1004.31	c nbDecision=220500 #constraints=33527
1008.63/1008.98	c nbDecision=221000 #constraints=33582
1012.83/1013.18	c nbDecision=221500 #constraints=33629
1019.23/1019.58	c nbDecision=222000 #constraints=33708
1023.53/1023.84	c nbDecision=222500 #constraints=33763
1035.43/1035.72	c nbDecision=223000 #constraints=33886
1042.22/1042.58	c nbDecision=223500 #constraints=33962
1050.72/1051.01	c nbDecision=224000 #constraints=34064
1058.42/1058.71	c nbDecision=224500 #constraints=34151
1062.42/1062.70	c nbDecision=225000 #constraints=34190
1067.41/1067.76	c nbDecision=225500 #constraints=34257
1071.02/1071.36	c nbDecision=226000 #constraints=34299
1074.92/1075.20	c nbDecision=226500 #constraints=34344
1080.62/1080.92	c nbDecision=227000 #constraints=34413
1086.82/1087.14	c nbDecision=227500 #constraints=34503
1091.11/1091.46	c nbDecision=228000 #constraints=34559
1095.41/1095.76	c nbDecision=228500 #constraints=34616
1098.91/1099.20	c nbDecision=229000 #constraints=34650
1103.11/1103.46	c nbDecision=229500 #constraints=34701
1107.41/1107.76	c nbDecision=230000 #constraints=34750
1113.00/1113.35	c nbDecision=230500 #constraints=34834
1117.80/1118.12	c nbDecision=231000 #constraints=34891
1122.01/1122.32	c nbDecision=231500 #constraints=34929
1126.81/1127.17	c nbDecision=232000 #constraints=34991
1132.11/1132.40	c nbDecision=232500 #constraints=35061
1136.60/1136.99	c nbDecision=233000 #constraints=35120
1141.20/1141.55	c nbDecision=233500 #constraints=35181
1144.60/1144.99	c nbDecision=234000 #constraints=35212
1150.69/1151.04	c nbDecision=234500 #constraints=35286
1155.29/1155.70	c nbDecision=235000 #constraints=35339
1159.89/1160.27	c nbDecision=235500 #constraints=35391
1164.80/1165.12	c nbDecision=236000 #constraints=35445
1167.99/1168.36	c nbDecision=236500 #constraints=35475
1172.39/1172.70	c nbDecision=237000 #constraints=35519
1177.19/1177.51	c nbDecision=237500 #constraints=35574
1180.69/1181.02	c nbDecision=238000 #constraints=35610
1183.99/1184.39	c nbDecision=238500 #constraints=35643
1188.59/1188.94	c nbDecision=239000 #constraints=35700
1191.88/1192.29	c nbDecision=239500 #constraints=35736
1195.18/1195.52	c nbDecision=240000 #constraints=35757
1198.38/1198.71	c nbDecision=240500 #constraints=35784
1202.68/1203.05	c nbDecision=241000 #constraints=35832
1206.18/1206.53	c nbDecision=241500 #constraints=35866
1209.48/1209.81	c nbDecision=242000 #constraints=35900
1212.68/1213.07	c nbDecision=242500 #constraints=35926
1217.68/1218.04	c nbDecision=243000 #constraints=35992
1224.18/1224.58	c nbDecision=243500 #constraints=36101
1229.88/1230.24	c nbDecision=244000 #constraints=36196
1234.28/1234.62	c nbDecision=244500 #constraints=36269
1239.57/1239.97	c nbDecision=245000 #constraints=36340
1246.47/1246.81	c nbDecision=245500 #constraints=36467
1251.67/1252.05	c nbDecision=246000 #constraints=36538
1256.77/1257.20	c nbDecision=246500 #constraints=36612
1262.07/1262.49	c nbDecision=247000 #constraints=36683
1267.77/1268.18	c nbDecision=247500 #constraints=36778
1272.16/1272.52	c nbDecision=248000 #constraints=36824
1277.66/1278.01	c nbDecision=248500 #constraints=36905
1284.66/1285.04	c nbDecision=249000 #constraints=37024
1291.66/1292.02	c nbDecision=249500 #constraints=37131
1298.56/1298.93	c nbDecision=250000 #constraints=37242
1305.16/1305.54	c nbDecision=250500 #constraints=37351
1312.25/1312.69	c nbDecision=251000 #constraints=37477
1319.76/1320.14	c nbDecision=251500 #constraints=37603
1325.35/1325.71	c nbDecision=252000 #constraints=37687
1329.95/1330.32	c nbDecision=252500 #constraints=37754
1337.45/1337.80	c nbDecision=253000 #constraints=37879
1343.45/1343.84	c nbDecision=253500 #constraints=37965
1350.95/1351.31	c nbDecision=254000 #constraints=38080
1357.44/1357.82	c nbDecision=254500 #constraints=38178
1364.65/1365.07	c nbDecision=255000 #constraints=38293
1371.74/1372.14	c nbDecision=255500 #constraints=38402
1378.24/1378.64	c nbDecision=256000 #constraints=38486
1385.13/1385.54	c nbDecision=256500 #constraints=38584
1390.64/1391.09	c nbDecision=257000 #constraints=38659
1397.24/1397.62	c nbDecision=257500 #constraints=38749
1404.83/1405.25	c nbDecision=258000 #constraints=38855
1412.33/1412.76	c nbDecision=258500 #constraints=38963
1417.33/1417.77	c nbDecision=259000 #constraints=39046
1424.43/1424.80	c nbDecision=259500 #constraints=39139
1431.32/1431.71	c nbDecision=260000 #constraints=39248
1438.43/1438.89	c nbDecision=260500 #constraints=39355
1445.33/1445.72	c nbDecision=261000 #constraints=39446
1451.23/1451.62	c nbDecision=261500 #constraints=39508
1458.42/1458.87	c nbDecision=262000 #constraints=39627
1464.72/1465.14	c nbDecision=262500 #constraints=39720
1471.11/1471.52	c nbDecision=263000 #constraints=39818
1475.83/1476.26	c nbDecision=263500 #constraints=39880
1481.12/1481.56	c nbDecision=264000 #constraints=39942
1488.62/1489.04	c nbDecision=264500 #constraints=40053
1495.52/1495.99	c nbDecision=265000 #constraints=40147
1501.61/1502.02	c nbDecision=265500 #constraints=40239
1506.11/1506.53	c nbDecision=266000 #constraints=40303
1513.30/1513.73	c nbDecision=266500 #constraints=40405
1520.91/1521.40	c nbDecision=267000 #constraints=40519
1526.41/1526.82	c nbDecision=267500 #constraints=40588
1532.41/1532.81	c nbDecision=268000 #constraints=40662
1537.90/1538.36	c nbDecision=268500 #constraints=40738
1545.50/1545.90	c nbDecision=269000 #constraints=40838
1552.09/1552.55	c nbDecision=269500 #constraints=40923
1559.80/1560.29	c nbDecision=270000 #constraints=41037
1569.20/1569.68	c nbDecision=270500 #constraints=41170
1576.69/1577.10	c nbDecision=271000 #constraints=41261
1583.89/1584.39	c nbDecision=271500 #constraints=41346
1590.49/1590.92	c nbDecision=272000 #constraints=41425
1595.48/1595.93	c nbDecision=272500 #constraints=41468
1600.58/1601.05	c nbDecision=273000 #constraints=41530
1607.09/1607.57	c nbDecision=273500 #constraints=41607
1612.88/1613.34	c nbDecision=274000 #constraints=41682
1617.48/1617.98	c nbDecision=274500 #constraints=41733
1622.28/1622.77	c nbDecision=275000 #constraints=41775
1628.08/1628.52	c nbDecision=275500 #constraints=41854
1634.88/1635.31	c nbDecision=276000 #constraints=41938
1640.57/1641.03	c nbDecision=276500 #constraints=42003
1646.78/1647.27	c nbDecision=277000 #constraints=42079
1653.75/1654.25	c nbDecision=277500 #constraints=42191
1658.25/1658.77	c nbDecision=278000 #constraints=42243
1665.32/1665.82	c nbDecision=278500 #constraints=42333
1670.22/1670.77	c nbDecision=279000 #constraints=42391
1676.00/1676.60	c nbDecision=279500 #constraints=42467
1682.39/1682.94	c nbDecision=280000 #constraints=42554
1688.08/1688.63	c nbDecision=280500 #constraints=42625
1692.98/1693.54	c nbDecision=281000 #constraints=42680
1699.58/1700.14	c nbDecision=281500 #constraints=42768
1704.47/1705.03	c nbDecision=282000 #constraints=42828
1709.66/1710.25	c nbDecision=282500 #constraints=42886
1714.37/1714.91	c nbDecision=283000 #constraints=42933
1719.56/1720.13	c nbDecision=283500 #constraints=42989
1725.56/1726.18	c nbDecision=284000 #constraints=43059
1732.15/1732.77	c nbDecision=284500 #constraints=43149
1737.15/1737.74	c nbDecision=285000 #constraints=43201
1743.35/1743.98	c nbDecision=285500 #constraints=43275
1750.35/1750.90	c nbDecision=286000 #constraints=43359
1756.75/1757.37	c nbDecision=286500 #constraints=43441
1765.64/1766.25	c nbDecision=287000 #constraints=43565
1772.84/1773.43	c nbDecision=287500 #constraints=43667
1779.65/1780.22	c nbDecision=288000 #constraints=43765
1788.84/1789.45	c nbDecision=288500 #constraints=43888
1799.83/1800.48	c nbDecision=289000 #constraints=44030
1800.04/1800.61	Received signal 15
1800.04/1800.64	
1800.04/1800.64	s UNKNOWN
1800.04/1800.64	
1800.04/1800.64	c user time= 1799.09 s
1800.04/1800.64	c system time= 0.999848 s
1800.04/1800.64	c wall clock time=1800.64

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/node57/watcher-356953-1176849211 -o ROOT/results/node57/solver-356953-1176849211 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356953-1176849211/instance-356953-1176849211.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.99 0.97 0.95 3/64 5724
/proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=1468 CPUtime=0
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 182 0 0 0 0 0 0 0 18 0 1 0 126057044 1503232 164 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134828791 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 367 164 131 317 0 46 0

[startup+0.088772 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5724
/proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=3068 CPUtime=0.08
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 589 0 0 0 8 0 0 0 18 0 1 0 126057044 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 767 571 138 317 0 446 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 3068

[startup+0.101771 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5724
/proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=3068 CPUtime=0.09
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 589 0 0 0 9 0 0 0 18 0 1 0 126057044 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 767 571 138 317 0 446 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 3068

[startup+0.301789 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5724
/proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=3068 CPUtime=0.29
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 589 0 0 0 29 0 0 0 19 0 1 0 126057044 3141632 571 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606670 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 767 571 138 317 0 446 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 3068

[startup+0.701823 s]
/proc/loadavg: 0.99 0.97 0.95 3/64 5724
/proc/meminfo: memFree=1600200/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=5564 CPUtime=0.69
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 1232 0 0 0 69 0 0 0 22 0 1 0 126057044 5697536 1214 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 1391 1214 170 317 0 1070 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 5564

[startup+1.50189 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1593088/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=12536 CPUtime=1.49
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 2983 0 0 0 148 1 0 0 25 0 1 0 126057044 12836864 2965 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 3134 2965 170 317 0 2813 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12536

[startup+3.10103 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1585664/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=22152 CPUtime=3.09
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 5322 0 0 0 308 1 0 0 25 0 1 0 126057044 22683648 5304 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266092 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 5538 5304 170 317 0 5217 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 22152

[startup+6.30131 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1569344/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=37196 CPUtime=6.29
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 9049 0 0 0 626 3 0 0 25 0 1 0 126057044 38088704 9031 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 9299 9032 170 317 0 8978 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 37196

[startup+12.7019 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1543488/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=60440 CPUtime=12.68
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 14702 0 0 0 1263 5 0 0 25 0 1 0 126057044 61890560 14684 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602404 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 15110 14684 170 317 0 14789 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 60440

[startup+25.502 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1520640/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=82648 CPUtime=25.49
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 20033 0 0 0 2540 9 0 0 25 0 1 0 126057044 84631552 20015 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 20662 20015 170 317 0 20341 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82648

[startup+51.1012 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1494080/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=110636 CPUtime=51.08
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 26685 0 0 0 5095 13 0 0 25 0 1 0 126057044 113291264 26667 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564046 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 27659 26667 170 317 0 27338 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 110636

[startup+102.305 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1445824/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=159688 CPUtime=102.27
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 38724 0 0 0 10206 21 0 0 25 0 1 0 126057044 163520512 38648 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 39922 38648 170 317 0 39601 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 159688

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1400704/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=208720 CPUtime=162.25
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 50032 0 0 0 16197 28 0 0 25 0 1 0 126057044 213729280 49956 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 52180 49956 170 317 0 51859 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 208720

[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1369152/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=238740 CPUtime=222.23
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 57840 0 0 0 22191 32 0 0 25 0 1 0 126057044 244469760 57764 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 59685 57764 170 317 0 59364 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 238740

[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1338944/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=270048 CPUtime=282.22
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 65527 0 0 0 28186 36 0 0 25 0 1 0 126057044 276529152 65337 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 67512 65337 170 317 0 67191 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 270048

[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1307584/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=307492 CPUtime=342.2
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 74752 0 0 0 34179 41 0 0 25 0 1 0 126057044 314871808 73110 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 76873 73110 170 317 0 76552 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 307492

[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1277760/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=343348 CPUtime=402.18
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 83728 0 0 0 40173 45 0 0 25 0 1 0 126057044 351588352 80733 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563957 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 85837 80733 170 317 0 85516 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 343348

[startup+462.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1245184/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=381772 CPUtime=462.17
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 93343 0 0 0 46167 50 0 0 25 0 1 0 126057044 390934528 88698 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 95443 88698 170 317 0 95122 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 381772

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1220544/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=405356 CPUtime=522.16
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 99735 0 0 0 52162 54 0 0 25 0 1 0 126057044 415084544 94892 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 101339 94892 170 317 0 101018 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 405356

[startup+582.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1200960/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=426316 CPUtime=582.14
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 105071 0 0 0 58158 56 0 0 25 0 1 0 126057044 436547584 99700 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 106579 99700 170 317 0 106258 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 426316

[startup+642.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1182720/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=445092 CPUtime=642.13
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 109982 0 0 0 64155 58 0 0 25 0 1 0 126057044 455774208 104215 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 111273 104215 170 317 0 110952 0
Current children cumulated CPU time (s) 642.13
Current children cumulated vsize (KiB) 445092


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

[startup+882.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1105408/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=514124 CPUtime=882.07
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 129503 0 0 0 88137 70 0 0 25 0 1 0 126057044 526462976 123505 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718431 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 128531 123505 170 317 0 128210 0
Current children cumulated CPU time (s) 882.07
Current children cumulated vsize (KiB) 514124

[startup+942.301 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1094656/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=524036 CPUtime=942.05
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 132205 0 0 0 94133 72 0 0 25 0 1 0 126057044 536612864 126207 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 131009 126207 170 317 0 130688 0
Current children cumulated CPU time (s) 942.05
Current children cumulated vsize (KiB) 524036

[startup+1002.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1084608/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=535252 CPUtime=1002.03
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 134957 0 0 0 100130 73 0 0 25 0 1 0 126057044 548098048 128699 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 133813 128699 170 317 0 133492 0
Current children cumulated CPU time (s) 1002.03
Current children cumulated vsize (KiB) 535252

[startup+1062.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1076352/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=544112 CPUtime=1062.02
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 137347 0 0 0 106128 74 0 0 25 0 1 0 126057044 557170688 130792 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 136028 130792 170 317 0 135707 0
Current children cumulated CPU time (s) 1062.02
Current children cumulated vsize (KiB) 544112

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1067520/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=551844 CPUtime=1122.01
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 139517 0 0 0 112125 76 0 0 25 0 1 0 126057044 565088256 132962 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563656 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 137961 132962 170 317 0 137640 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 551844

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1059456/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=562284 CPUtime=1181.99
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 142282 0 0 0 118122 77 0 0 25 0 1 0 126057044 575778816 134979 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 140571 134979 170 317 0 140250 0
Current children cumulated CPU time (s) 1181.99
Current children cumulated vsize (KiB) 562284

[startup+1242.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1050240/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=570412 CPUtime=1241.97
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 144594 0 0 0 124119 78 0 0 25 0 1 0 126057044 584101888 137291 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 142603 137291 170 317 0 142282 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 570412

[startup+1302.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1037568/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=581572 CPUtime=1301.96
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 147729 0 0 0 130116 80 0 0 25 0 1 0 126057044 595529728 140426 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 145393 140426 170 317 0 145072 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 581572

[startup+1362.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1023936/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=607644 CPUtime=1361.94
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 154223 0 0 0 136111 83 0 0 25 0 1 0 126057044 622227456 143864 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 151911 143864 170 317 0 151590 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 607644

[startup+1422.31 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=1011712/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=618476 CPUtime=1421.93
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 157291 0 0 0 142107 86 0 0 25 0 1 0 126057044 633319424 146867 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 154619 146867 170 317 0 154298 0
Current children cumulated CPU time (s) 1421.93
Current children cumulated vsize (KiB) 618476

[startup+1482.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=998912/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=646012 CPUtime=1481.92
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 164030 0 0 0 148103 89 0 0 25 0 1 0 126057044 661516288 150096 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 161503 150096 170 317 0 161182 0
Current children cumulated CPU time (s) 1481.92
Current children cumulated vsize (KiB) 646012

[startup+1542.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=987072/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=656660 CPUtime=1541.9
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 167001 0 0 0 154100 90 0 0 25 0 1 0 126057044 672419840 153002 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712513 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 164165 153002 170 317 0 163844 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 656660

[startup+1602.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5725
/proc/meminfo: memFree=976128/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=666548 CPUtime=1601.88
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 169874 0 0 0 160097 91 0 0 25 0 1 0 126057044 682545152 155777 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 166637 155777 170 317 0 166316 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 666548

[startup+1662.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/71 5807
/proc/meminfo: memFree=964296/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=677620 CPUtime=1661.84
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 172816 0 0 0 166089 95 0 0 25 0 1 0 126057044 693882880 158358 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 169405 158358 170 317 0 169084 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 677620

[startup+1722.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5923
/proc/meminfo: memFree=954624/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=688272 CPUtime=1721.76
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 175663 0 0 0 172080 96 0 0 25 0 1 0 126057044 704790528 161075 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 172068 161075 170 317 0 171747 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 688272

[startup+1782.3 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5923
/proc/meminfo: memFree=941632/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=717536 CPUtime=1781.75
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 182846 0 0 0 178076 99 0 0 25 0 1 0 126057044 734756864 164293 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 179384 164293 170 317 0 179063 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 717536



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 0.99 0.97 0.95 2/65 5923
/proc/meminfo: memFree=937728/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=720660 CPUtime=1800.04
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194304 183802 0 0 0 179905 99 0 0 25 0 1 0 126057044 737955840 165249 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563631 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 180165 165249 170 317 0 179844 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 720660

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 5923
/proc/meminfo: memFree=937728/2055920 swapFree=4174180/4192956
[pid=5724] ppid=5722 vsize=0 CPUtime=1800.14
/proc/5724/stat : 5724 (oree) R 5722 5724 5623 0 -1 4194308 183827 0 0 0 179909 105 0 0 25 0 1 0 126057044 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0
/proc/5724/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.14
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 1800.76
CPU time (s): 1800.21
CPU user time (s): 1799.1
CPU system time (s): 1.10583
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 720660

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

runsolver used 1.3128 second user time and 3.70844 second system time

The end

Launcher Data (download as text)

Begin job on node57 on Tue Apr 17 22:33:31 UTC 2007

IDJOB= 356953
IDBENCH= 1683
IDSOLVER= 172
FILE ID= node57/356953-1176849211

PBS_JOBID= 4590226

Free space on /tmp= 66511 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-recipe.opb
COMMAND LINE= oree /tmp/evaluation/356953-1176849211/instance-356953-1176849211.opb mod           
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node57/watcher-356953-1176849211 -o ROOT/results/node57/solver-356953-1176849211 -C 1800 -W 3600 -M 1800 --output-limit 1,15  oree /tmp/evaluation/356953-1176849211/instance-356953-1176849211.opb mod           

META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b
MD5SUM BENCH=  afb312a519ee7dfceb0c5aec9cb860b5

RANDOM SEED= 797621274

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node57.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.239
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.239
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:       1600608 kB
Buffers:         26232 kB
Cached:         368920 kB
SwapCached:      13052 kB
Active:         303016 kB
Inactive:       110872 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1600608 kB
SwapTotal:     4192956 kB
SwapFree:      4174180 kB
Dirty:            1472 kB
Writeback:           0 kB
Mapped:          15304 kB
Slab:            27512 kB
Committed_AS:   837916 kB
PageTables:       1408 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= 66511 MiB

End job on node57 on Tue Apr 17 23:03:34 UTC 2007