Trace number 3715114

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. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock 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 NameAnswerCPU timeWall clock time
npSolver inc-topDownOPTIMUM 546.544 546.844

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh07_wcsp.wbo
MD5SUM124b6775b7bb4e390bc62510a681a702
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.004998
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
Biggest number in a constraint 9
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 19
Number of bits of the biggest sum of numbers5
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.02	c run usual solver
0.00/0.05	o 7615
0.00/0.05	c fallback to adder encoding
2.46/2.54	o 7607
2.46/2.54	c fallback to adder encoding
3.96/4.09	o 7599
3.96/4.09	c fallback to adder encoding
5.84/5.91	o 7587
5.84/5.91	c fallback to adder encoding
7.36/7.46	o 7584
7.36/7.46	c fallback to adder encoding
8.35/8.42	o 7582
8.35/8.42	c fallback to adder encoding
10.16/10.29	o 7577
10.16/10.29	c fallback to adder encoding
11.36/11.49	o 7569
11.36/11.49	c fallback to adder encoding
12.76/12.87	o 7567
12.76/12.87	c fallback to adder encoding
14.20/14.36	o 7554
14.20/14.36	c fallback to adder encoding
16.03/16.28	o 7553
16.03/16.28	c fallback to adder encoding
16.21/18.65	o 7512
16.21/18.65	c fallback to adder encoding
20.21/20.40	o 7452
20.21/20.40	c fallback to adder encoding
21.75/21.96	o 7449
21.75/21.96	c fallback to adder encoding
23.71/23.91	o 7178
23.71/23.91	c fallback to adder encoding
25.30/25.50	o 7169
25.30/25.50	c fallback to adder encoding
26.92/27.18	o 5446
26.92/27.18	c fallback to adder encoding
28.44/28.67	o 5440
28.44/28.67	c fallback to adder encoding
30.24/30.44	o 5431
30.24/30.44	c fallback to adder encoding
31.46/31.78	o 5429
31.46/31.78	c fallback to adder encoding
33.94/34.23	o 5421
33.94/34.23	c fallback to adder encoding
36.06/36.35	o 5419
36.06/36.35	c fallback to adder encoding
38.13/38.44	o 5418
38.13/38.44	c fallback to adder encoding
41.03/41.34	o 5407
41.03/41.34	c fallback to adder encoding
42.37/42.73	o 5400
42.37/42.73	c fallback to adder encoding
43.36/43.73	o 5392
43.36/43.73	c fallback to adder encoding
45.57/45.94	o 5388
45.57/45.94	c fallback to adder encoding
47.27/47.66	o 5378
47.27/47.66	c fallback to adder encoding
48.47/48.86	o 5376
48.47/48.86	c fallback to adder encoding
51.36/51.73	o 5368
51.36/51.73	c fallback to adder encoding
53.15/53.52	o 5362
53.15/53.52	c fallback to adder encoding
56.18/56.50	o 5358
56.18/56.50	c fallback to adder encoding
57.69/58.08	o 5350
57.69/58.08	c fallback to adder encoding
59.53/59.94	o 5339
59.53/59.94	c fallback to adder encoding
62.34/62.77	o 5325
62.34/62.77	c fallback to adder encoding
63.93/64.36	o 5321
63.93/64.36	c fallback to adder encoding
65.64/66.08	o 5311
65.64/66.08	c fallback to adder encoding
67.42/67.86	o 5303
67.42/67.86	c fallback to adder encoding
68.74/69.18	o 5277
68.74/69.18	c fallback to adder encoding
71.53/71.95	o 5276
71.53/71.95	c fallback to adder encoding
73.92/74.32	o 5270
73.92/74.32	c fallback to adder encoding
75.43/75.83	o 5256
75.43/75.83	c fallback to adder encoding
77.74/78.16	o 5248
77.74/78.16	c fallback to adder encoding
80.38/80.89	o 5245
80.38/80.89	c fallback to adder encoding
82.51/83.02	o 5238
82.51/83.02	c fallback to adder encoding
84.62/85.19	o 5235
84.62/85.19	c fallback to adder encoding
87.72/88.26	o 5229
87.72/88.26	c fallback to adder encoding
88.91/89.45	o 5220
88.91/89.45	c fallback to adder encoding
91.12/91.69	o 5219
91.12/91.69	c fallback to adder encoding
92.93/93.42	o 5207
92.93/93.42	c fallback to adder encoding
93.78/94.30	o 5176
93.78/94.30	c fallback to adder encoding
96.52/97.04	o 5173
96.52/97.04	c fallback to adder encoding
98.66/99.21	o 5166
98.66/99.21	c fallback to adder encoding
100.79/101.37	o 5165
100.79/101.37	c fallback to adder encoding
101.99/102.56	o 5159
101.99/102.56	c fallback to adder encoding
104.08/104.63	o 5145
104.08/104.63	c fallback to adder encoding
105.99/106.56	o 5141
105.99/106.56	c fallback to adder encoding
107.69/108.29	o 5122
107.69/108.29	c fallback to adder encoding
108.79/109.32	o 5120
108.79/109.32	c fallback to adder encoding
109.99/110.53	o 5112
109.99/110.53	c fallback to adder encoding
111.36/111.92	o 5110
111.36/111.92	c fallback to adder encoding
112.55/113.22	o 5076
112.55/113.22	c fallback to adder encoding
114.72/115.41	o 5075
114.72/115.41	c fallback to adder encoding
116.13/116.83	o 5065
116.13/116.83	c fallback to adder encoding
117.13/117.88	o 5047
117.13/117.88	c fallback to adder encoding
119.00/119.71	o 5045
119.00/119.71	c fallback to adder encoding
120.84/121.57	o 5038
120.84/121.57	c fallback to adder encoding
123.64/124.34	o 5031
123.64/124.34	c fallback to adder encoding
125.23/125.95	o 5028
125.23/125.95	c fallback to adder encoding
127.42/128.12	o 5025
127.42/128.12	c fallback to adder encoding
128.33/129.05	o 5018
128.33/129.05	c fallback to adder encoding
129.64/130.34	o 5011
129.64/130.34	c fallback to adder encoding
131.82/132.52	o 4994
131.82/132.52	c fallback to adder encoding
132.94/133.64	o 4992
132.94/133.64	c fallback to adder encoding
135.15/135.89	o 4979
135.15/135.89	c fallback to adder encoding
136.60/137.31	o 4968
136.60/137.31	c fallback to adder encoding
138.21/138.95	o 4957
138.21/138.95	c fallback to adder encoding
140.12/140.88	o 4954
140.12/140.88	c fallback to adder encoding
141.78/142.58	o 4950
141.78/142.58	c fallback to adder encoding
144.37/145.19	o 4940
144.37/145.19	c fallback to adder encoding
146.29/147.08	o 4933
146.29/147.08	c fallback to adder encoding
147.69/148.50	o 4932
147.69/148.50	c fallback to adder encoding
149.34/150.10	o 4656
149.34/150.10	c fallback to adder encoding
150.88/151.68	o 4653
150.88/151.68	c fallback to adder encoding
152.09/152.90	o 4642
152.09/152.90	c fallback to adder encoding
155.58/156.38	o 4637
155.58/156.38	c fallback to adder encoding
157.37/158.12	o 4635
157.37/158.12	c fallback to adder encoding
159.96/160.71	o 4634
159.96/160.71	c fallback to adder encoding
162.30/163.05	o 4632
162.30/163.05	c fallback to adder encoding
164.07/164.83	o 4623
164.07/164.83	c fallback to adder encoding
165.89/166.64	o 4614
165.89/166.64	c fallback to adder encoding
168.16/168.90	o 4611
168.16/168.90	c fallback to adder encoding
170.08/170.86	o 4609
170.08/170.86	c fallback to adder encoding
173.16/173.93	o 4557
173.16/173.93	c fallback to adder encoding
174.66/175.42	o 4556
174.66/175.42	c fallback to adder encoding
176.88/177.67	o 4550
176.88/177.67	c fallback to adder encoding
179.28/180.06	o 4486
179.28/180.06	c fallback to adder encoding
180.68/181.44	o 4485
180.68/181.44	c fallback to adder encoding
183.27/184.05	o 4484
183.27/184.05	c fallback to adder encoding
184.85/185.60	o 4367
184.85/185.60	c fallback to adder encoding
187.56/188.31	o 4359
187.56/188.31	c fallback to adder encoding
190.25/191.04	o 4354
190.25/191.04	c fallback to adder encoding
192.53/193.32	o 4346
192.53/193.32	c fallback to adder encoding
194.25/195.05	o 4325
194.25/195.05	c fallback to adder encoding
196.35/197.17	o 4322
196.35/197.17	c fallback to adder encoding
198.75/199.55	o 4311
198.75/199.55	c fallback to adder encoding
201.44/202.27	o 4306
201.44/202.27	c fallback to adder encoding
203.93/204.72	o 4300
203.93/204.72	c fallback to adder encoding
206.41/207.20	o 4262
206.41/207.20	c fallback to adder encoding
207.91/208.70	o 4261
207.91/208.70	c fallback to adder encoding
209.65/210.48	o 4260
209.65/210.48	c fallback to adder encoding
211.23/212.01	o 4258
211.23/212.01	c fallback to adder encoding
213.91/214.78	o 4238
213.91/214.78	c fallback to adder encoding
215.68/216.51	o 4229
215.68/216.51	c fallback to adder encoding
217.92/218.70	o 4228
217.92/218.70	c fallback to adder encoding
220.00/220.87	o 4215
220.00/220.87	c fallback to adder encoding
221.48/222.31	o 4207
221.48/222.31	c fallback to adder encoding
223.11/223.94	o 4201
223.11/223.94	c fallback to adder encoding
225.10/225.93	o 4192
225.10/225.93	c fallback to adder encoding
227.91/228.79	o 4191
227.91/228.79	c fallback to adder encoding
231.77/232.60	o 4190
231.77/232.60	c fallback to adder encoding
235.49/236.36	o 4187
235.49/236.36	c fallback to adder encoding
238.04/238.91	o 4185
238.04/238.91	c fallback to adder encoding
240.16/241.07	o 4176
240.16/241.07	c fallback to adder encoding
243.64/244.50	o 4173
243.64/244.50	c fallback to adder encoding
246.13/247.07	o 4171
246.13/247.07	c fallback to adder encoding
248.94/249.96	o 4168
248.94/249.96	c fallback to adder encoding
251.76/252.74	o 4164
251.76/252.74	c fallback to adder encoding
253.46/254.40	o 4163
253.46/254.40	c fallback to adder encoding
255.35/256.37	o 4161
255.35/256.37	c fallback to adder encoding
258.57/259.50	o 4160
258.57/259.50	c fallback to adder encoding
260.54/261.57	o 4159
260.54/261.57	c fallback to adder encoding
263.84/264.85	o 4158
263.84/264.85	c fallback to adder encoding
267.03/268.03	o 4153
267.03/268.03	c fallback to adder encoding
268.85/269.88	o 4152
268.85/269.88	c fallback to adder encoding
270.54/271.60	o 4143
270.54/271.60	c fallback to adder encoding
272.15/273.19	o 4136
272.15/273.19	c fallback to adder encoding
274.46/275.44	o 4132
274.46/275.44	c fallback to adder encoding
276.29/277.32	o 4131
276.29/277.32	c fallback to adder encoding
277.99/279.03	o 4128
277.99/279.03	c fallback to adder encoding
281.39/282.48	o 4123
281.39/282.48	c fallback to adder encoding
284.09/285.19	o 4113
284.09/285.19	c fallback to adder encoding
286.27/287.33	o 4109
286.27/287.33	c fallback to adder encoding
288.47/289.53	o 4103
288.47/289.53	c fallback to adder encoding
290.98/292.03	o 4099
290.98/292.03	c fallback to adder encoding
293.27/294.38	o 4098
293.27/294.38	c fallback to adder encoding
295.45/296.59	o 4097
295.45/296.59	c fallback to adder encoding
298.56/299.69	o 4096
298.56/299.69	c fallback to adder encoding
299.55/300.61	o 3831
299.55/300.61	c fallback to adder encoding
300.38/301.49	o 3829
300.38/301.49	c fallback to adder encoding
301.47/302.59	o 3828
301.47/302.59	c fallback to adder encoding
303.06/304.13	o 3800
303.06/304.13	c fallback to adder encoding
304.45/305.59	o 3796
304.45/305.59	c fallback to adder encoding
306.14/307.27	o 3786
306.14/307.27	c fallback to adder encoding
307.23/308.32	o 3777
307.23/308.32	c fallback to adder encoding
308.04/309.13	o 3776
308.04/309.13	c fallback to adder encoding
309.54/310.64	o 3767
309.54/310.64	c fallback to adder encoding
311.80/312.90	o 3747
311.80/312.90	c fallback to adder encoding
313.02/314.15	o 3740
313.02/314.15	c fallback to adder encoding
314.61/315.77	o 3705
314.61/315.77	c fallback to adder encoding
317.10/318.35	o 3703
317.10/318.35	c fallback to adder encoding
318.52/319.73	o 3702
318.52/319.73	c fallback to adder encoding
320.20/321.45	o 3698
320.20/321.45	c fallback to adder encoding
321.51/322.78	o 3694
321.51/322.78	c fallback to adder encoding
323.09/324.33	o 3686
323.09/324.33	c fallback to adder encoding
324.88/326.12	o 3685
324.88/326.12	c fallback to adder encoding
326.08/327.38	o 3669
326.08/327.38	c fallback to adder encoding
327.86/329.11	o 3654
327.86/329.11	c fallback to adder encoding
329.58/330.85	o 3613
329.58/330.85	c fallback to adder encoding
330.78/332.04	o 3612
330.78/332.04	c fallback to adder encoding
332.17/333.43	o 3600
332.17/333.43	c fallback to adder encoding
333.86/335.19	o 3596
333.86/335.19	c fallback to adder encoding
334.67/335.96	o 3586
334.67/335.96	c fallback to adder encoding
335.57/336.84	o 2898
335.57/336.84	c fallback to adder encoding
336.56/337.88	o 2897
336.56/337.88	c fallback to adder encoding
338.36/339.68	o 2889
338.36/339.68	c fallback to adder encoding
339.34/340.63	o 2874
339.34/340.63	c fallback to adder encoding
340.55/341.86	o 2857
340.55/341.86	c fallback to adder encoding
341.66/342.90	o 2438
341.66/342.90	c fallback to adder encoding
342.94/344.24	o 2432
342.94/344.24	c fallback to adder encoding
344.54/345.89	o 2425
344.54/345.89	c fallback to adder encoding
345.92/347.28	o 2410
345.92/347.28	c fallback to adder encoding
347.52/348.84	o 2407
347.52/348.84	c fallback to adder encoding
349.91/351.22	o 2406
349.91/351.22	c fallback to adder encoding
351.42/352.75	o 2403
351.42/352.75	c fallback to adder encoding
353.20/354.59	o 2372
353.20/354.59	c fallback to adder encoding
355.16/356.50	o 2371
355.16/356.50	c fallback to adder encoding
356.95/358.34	o 2368
356.95/358.34	c fallback to adder encoding
358.54/359.94	o 2332
358.54/359.94	c fallback to adder encoding
359.74/361.16	o 2330
359.74/361.16	c fallback to adder encoding
361.43/362.89	o 2326
361.43/362.89	c fallback to adder encoding
363.21/364.62	o 2320
363.21/364.62	c fallback to adder encoding
364.32/365.77	o 2300
364.32/365.77	c fallback to adder encoding
366.03/367.45	o 2294
366.03/367.45	c fallback to adder encoding
367.01/368.48	o 2293
367.01/368.48	c fallback to adder encoding
368.89/370.35	o 2275
368.89/370.35	c fallback to adder encoding
370.65/372.17	o 2272
370.65/372.17	c fallback to adder encoding
373.16/374.66	o 2250
373.16/374.66	c fallback to adder encoding
375.35/376.88	o 2228
375.35/376.88	c fallback to adder encoding
377.44/378.99	o 2219
377.44/378.99	c fallback to adder encoding
378.84/380.36	o 2212
378.84/380.36	c fallback to adder encoding
381.55/383.06	o 2189
381.55/383.06	c fallback to adder encoding
383.83/385.38	o 2188
383.83/385.38	c fallback to adder encoding
386.84/388.37	o 2177
386.84/388.37	c fallback to adder encoding
389.04/390.57	o 2176
389.04/390.57	c fallback to adder encoding
391.01/392.54	o 2167
391.01/392.54	c fallback to adder encoding
393.02/394.54	o 2159
393.02/394.54	c fallback to adder encoding
394.00/395.51	o 2154
394.00/395.51	c fallback to adder encoding
395.43/396.95	o 2146
395.43/396.95	c fallback to adder encoding
397.13/398.64	o 2144
397.13/398.64	c fallback to adder encoding
398.81/400.38	o 2140
398.81/400.38	c fallback to adder encoding
400.46/402.02	o 2135
400.46/402.02	c fallback to adder encoding
402.37/403.96	o 2134
402.37/403.96	c fallback to adder encoding
403.84/405.45	o 2133
403.84/405.45	c fallback to adder encoding
405.45/407.00	o 2127
405.45/407.00	c fallback to adder encoding
406.43/408.08	o 2126
406.43/408.08	c fallback to adder encoding
408.43/410.06	o 2120
408.43/410.06	c fallback to adder encoding
410.93/412.53	o 2114
410.93/412.53	c fallback to adder encoding
412.72/414.33	o 2107
412.72/414.33	c fallback to adder encoding
414.62/416.26	o 2103
414.62/416.26	c fallback to adder encoding
416.59/418.26	o 2098
416.59/418.26	c fallback to adder encoding
418.08/419.78	o 2088
418.08/419.78	c fallback to adder encoding
419.66/421.30	o 2086
419.66/421.30	c fallback to adder encoding
421.74/423.50	o 2085
421.74/423.50	c fallback to adder encoding
424.53/426.21	o 2082
424.53/426.21	c fallback to adder encoding
426.02/427.80	o 2074
426.02/427.80	c fallback to adder encoding
427.61/429.38	o 2072
427.61/429.38	c fallback to adder encoding
429.81/431.51	o 2071
429.81/431.51	c fallback to adder encoding
431.36/433.10	o 2058
431.36/433.10	c fallback to adder encoding
432.70/434.50	o 2057
432.70/434.50	c fallback to adder encoding
434.47/436.23	o 2056
434.47/436.23	c fallback to adder encoding
436.37/438.13	o 2048
436.37/438.13	c fallback to adder encoding
437.36/439.17	o 2022
437.36/439.17	c fallback to adder encoding
438.96/440.75	o 2020
438.96/440.75	c fallback to adder encoding
440.47/442.28	o 2016
440.47/442.28	c fallback to adder encoding
442.15/443.92	o 2015
442.15/443.92	c fallback to adder encoding
443.67/445.42	o 1996
443.67/445.42	c fallback to adder encoding
445.36/447.14	o 1993
445.36/447.14	c fallback to adder encoding
446.95/448.71	o 1981
446.95/448.71	c fallback to adder encoding
448.05/449.87	o 1971
448.05/449.87	c fallback to adder encoding
448.18/450.69	o 1965
448.18/450.69	c fallback to adder encoding
450.53/452.35	o 1926
450.53/452.35	c fallback to adder encoding
451.91/453.72	o 1922
451.91/453.72	c fallback to adder encoding
453.01/454.88	o 1815
453.01/454.88	c fallback to adder encoding
454.42/456.29	o 1810
454.42/456.29	c fallback to adder encoding
455.59/457.41	o 1796
455.59/457.41	c fallback to adder encoding
456.88/458.86	o 1721
456.88/458.86	c fallback to adder encoding
456.98/459.70	o 1706
456.98/459.70	c fallback to adder encoding
459.04/461.06	o 1705
459.04/461.06	c fallback to adder encoding
460.61/462.61	o 1702
460.61/462.61	c fallback to adder encoding
462.03/464.04	o 1686
462.03/464.04	c fallback to adder encoding
463.23/465.20	o 1680
463.23/465.20	c fallback to adder encoding
464.69/466.72	o 1679
464.69/466.72	c fallback to adder encoding
465.60/467.61	o 1538
465.60/467.61	c fallback to adder encoding
465.69/468.46	o 1379
465.69/468.46	c fallback to adder encoding
467.51/469.53	o 1286
467.51/469.53	c fallback to adder encoding
468.81/470.87	o 1285
468.81/470.87	c fallback to adder encoding
470.59/472.61	o 1281
470.59/472.61	c fallback to adder encoding
472.19/474.21	o 1280
472.19/474.21	c fallback to adder encoding
473.21/475.24	o 1279
473.21/475.24	c fallback to adder encoding
474.70/476.73	o 1202
474.70/476.73	c fallback to adder encoding
476.80/478.87	o 1193
476.80/478.87	c fallback to adder encoding
478.18/480.26	o 1192
478.18/480.26	c fallback to adder encoding
479.89/481.99	o 1188
479.89/481.99	c fallback to adder encoding
481.48/483.52	o 1179
481.48/483.52	c fallback to adder encoding
483.58/485.69	o 1178
483.58/485.69	c fallback to adder encoding
484.87/486.94	o 1156
484.87/486.94	c fallback to adder encoding
486.27/488.39	o 1152
486.27/488.39	c fallback to adder encoding
487.47/489.59	o 1151
487.47/489.59	c fallback to adder encoding
488.84/490.98	o 1147
488.84/490.98	c fallback to adder encoding
490.43/492.63	o 1137
490.43/492.63	c fallback to adder encoding
491.34/493.58	o 1106
491.34/493.58	c fallback to adder encoding
492.63/494.83	o 1104
492.63/494.83	c fallback to adder encoding
494.62/496.82	o 1101
494.62/496.82	c fallback to adder encoding
496.02/498.30	o 1100
496.02/498.30	c fallback to adder encoding
497.59/499.81	o 1099
497.59/499.81	c fallback to adder encoding
498.88/501.10	o 1098
498.88/501.10	c fallback to adder encoding
500.31/502.57	o 1097
500.31/502.57	c fallback to adder encoding
500.46/503.69	o 1096
500.46/503.69	c fallback to adder encoding
503.00/505.22	o 1095
503.00/505.22	c fallback to adder encoding
504.40/506.66	o 1092
504.40/506.66	c fallback to adder encoding
505.67/507.92	o 1091
505.67/507.92	c fallback to adder encoding
507.58/509.84	o 1088
507.58/509.84	c fallback to adder encoding
509.18/511.43	o 1084
509.18/511.43	c fallback to adder encoding
510.34/512.61	o 1063
510.34/512.61	c fallback to adder encoding
512.18/514.40	o 1056
512.18/514.40	c fallback to adder encoding
512.94/515.21	o 1050
512.94/515.21	c fallback to adder encoding
514.05/516.36	o 1049
514.05/516.36	c fallback to adder encoding
516.06/518.36	o 1013
516.06/518.36	c fallback to adder encoding
517.44/519.71	o 1009
517.44/519.71	c fallback to adder encoding
518.05/520.36	o 1008
518.05/520.36	c fallback to adder encoding
518.18/520.98	o 1005
518.18/520.98	c fallback to adder encoding
519.55/521.86	o 1001
519.55/521.86	c fallback to adder encoding
520.33/522.68	o 943
520.33/522.68	c fallback to adder encoding
521.23/523.54	o 931
521.23/523.54	c fallback to adder encoding
521.34/524.55	o 929
521.34/524.55	c fallback to adder encoding
522.34/525.59	o 913
522.34/525.59	c fallback to adder encoding
523.91/526.20	o 912
523.91/526.20	c fallback to adder encoding
524.50/526.88	o 911
524.50/526.88	c fallback to adder encoding
525.52/527.80	o 900
525.52/527.80	c fallback to adder encoding
526.59/528.97	o 898
526.59/528.97	c fallback to adder encoding
526.72/529.66	o 897
526.72/529.66	c fallback to adder encoding
528.70/531.06	o 896
528.70/531.06	c fallback to adder encoding
529.55/531.98	o 890
529.55/531.98	c fallback to adder encoding
530.08/532.46	o 883
530.08/532.46	c fallback to adder encoding
530.18/533.19	o 874
530.18/533.19	c fallback to adder encoding
531.36/533.73	o 871
531.36/533.73	c fallback to adder encoding
532.26/534.63	o 864
532.26/534.63	c fallback to adder encoding
532.73/535.11	o 863
532.73/535.11	c fallback to adder encoding
533.54/535.92	o 855
533.54/535.92	c fallback to adder encoding
534.56/536.90	o 851
534.56/536.90	c fallback to adder encoding
535.85/538.24	o 839
535.85/538.24	c fallback to adder encoding
537.24/539.68	o 833
537.24/539.68	c fallback to adder encoding
537.84/540.26	o 498
537.84/540.26	c fallback to adder encoding
537.94/540.59	o 497
537.94/540.59	c fallback to adder encoding
538.26/540.94	o 471
538.26/540.94	c fallback to adder encoding
538.84/541.23	o 464
538.84/541.23	c fallback to adder encoding
539.18/541.65	o 459
539.18/541.65	c fallback to adder encoding
539.23/541.96	o 453
539.23/541.96	c fallback to adder encoding
539.74/542.26	o 421
539.74/542.26	c fallback to adder encoding
539.84/542.62	o 411
539.84/542.62	c fallback to adder encoding
540.53/543.00	o 406
540.53/543.00	c fallback to adder encoding
540.58/543.19	o 403
540.58/543.19	c fallback to adder encoding
541.04/543.51	o 390
541.04/543.51	c fallback to adder encoding
541.07/543.73	o 389
541.07/543.73	c fallback to adder encoding
541.44/543.91	o 349
541.44/543.91	c fallback to adder encoding
541.49/544.06	o 348
541.49/544.06	c fallback to adder encoding
541.63/544.17	o 344
541.63/544.17	c fallback to adder encoding
541.75/544.33	o 343
541.75/544.33	c fallback to adder encoding
542.05/544.55	o 335
542.05/544.55	c fallback to adder encoding
542.10/544.72	o 334
542.10/544.72	c fallback to adder encoding
542.29/544.89	o 330
542.29/544.89	c fallback to adder encoding
542.46/545.05	o 329
542.46/545.05	c fallback to adder encoding
542.62/545.21	o 328
542.62/545.21	c fallback to adder encoding
542.78/545.34	o 325
543.10/545.74	o 224
543.38/545.92	o 220
543.49/546.09	o 202
543.71/546.23	o 197
543.81/546.37	o 191
544.05/546.50	o 187
544.15/546.62	o 161
544.22/546.71	o 142
544.22/546.79	o 109
544.35/546.84	o 0
544.35/546.84	o 0
544.35/546.84	c display solution
544.35/546.84	s OPTIMUM FOUND
544.35/546.84	v x1 -x2 x3 -x4 -x5 x6 x7 -x8 -x9 x10 x11 -x12 -x13 x14 x15 -x16 x17 -x18 x19 -x20 x21 -x22 x23 -x24 -x25 x26 -x27 x28 x29 -x30 -x31 x32 -x33 x34 x35 -x36 x37 -x38 -x39 x40 x41 -x42 -x43 x44 -x45 x46 -x47 x48 -x49 x50 x51 -x52 -x53 x54 x55 -x56 -x57 x58 x59 -x60 -x61 x62 -x63 x64 x65 -x66 -x67 x68 -x69 x70 -x71 x72 x73 -x74 -x75 x76 x77 -x78 x79 -x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 x97 -x98 x99 -x100 -x101 x102 -x103 x104 -x105 x106 -x107 x108 -x109 x110 -x111 x112 -x113 x114 x115 -x116 x117 -x118 x119 -x120 x121 -x122 -x123 x124 -x125 x126 x127 -x128 -x129 x130 -x131 x132 x133 -x134 x135 -x136 x137 -x138 -x139 x140 -x141 x142 x143 -x144 x145 -x146 -x147 x148 -x149 x150 -x151 x152 -x153 x154 x155 -x156 -x157 x158 -x159 x160 x161 -x162 -x163 x164 -x165 x166 x167 -x168 -x169 x170 x171 -x172 -x173 x174 -x175 x176 -x177 x178 -x179 x180 -x181 x182 -x183 x184 x185 -x186 -x187 x188 x189 -x190 -x191 x192 x193 -x194 -x195 x196 -x197 x198 -x199 x200

Verifier Data 

OK	0

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3715114-1338226407/watcher-3715114-1338226407 -o /tmp/evaluation-result-3715114-1338226407/solver-3715114-1338226407 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715114-1338226407.wbo 1243441226 HOME HOME 

running on 4 cores: 1,3,5,7

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): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 21701
/proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0

[startup+0.043946 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 21701
/proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100287 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 21701
/proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300337 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 21701
/proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700327 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 21701
/proc/meminfo: memFree=31241828/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 21732
/proc/meminfo: memFree=31219972/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=7160 CPUtime=0.1 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 2602 5602 0 0 8 0 2 0 20 0 1 0 288767521 7331840 1449 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21702/statm: 1790 1449 166 439 0 1347 0
[pid=21714] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21714/stat : 21714 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288767534 9367552 266 33554432000 4194304 5064252 140735663106960 140735663105872 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21714/statm: 2287 266 226 213 0 72 0
[pid=21715] ppid=21714 vsize=17724 CPUtime=1.36 cores=1,3,5,7
/proc/21715/stat : 21715 (glucose) R 21714 21701 29981 0 -1 4202496 3870 0 0 0 135 1 0 0 20 0 1 0 288767534 18149376 3697 33554432000 4194304 5208918 140734600278272 140734600276024 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21715/statm: 4431 3697 105 248 0 4180 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 43180

[startup+3.10024 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 21750
/proc/meminfo: memFree=31217084/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=2.6 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 4358 12746 0 0 15 1 240 4 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21702/statm: 2813 2441 166 439 0 2370 0
Current children cumulated CPU time (s) 2.6
Current children cumulated vsize (KiB) 20400

[startup+6.30032 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 21813
/proc/meminfo: memFree=31214924/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=5.96 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 7870 26691 0 0 28 3 555 10 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21702/statm: 2813 2441 166 439 0 2370 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 20400

[startup+12.7004 s]
/proc/loadavg: 1.94 1.98 1.99 3/184 22002
/proc/meminfo: memFree=31215436/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=11.54 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 14894 55791 0 0 53 7 1071 23 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21702/statm: 2813 2441 166 439 0 2370 0
[pid=21987] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21987/stat : 21987 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288768678 9367552 266 33554432000 4194304 5064252 140736058027296 140736058026208 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21987/statm: 2287 266 226 213 0 72 0
[pid=21988] ppid=21987 vsize=17728 CPUtime=1.12 cores=1,3,5,7
/proc/21988/stat : 21988 (glucose) R 21987 21701 29981 0 -1 4202496 3720 0 0 0 112 0 0 0 20 0 1 0 288768678 18153472 3627 33554432000 4194304 5208918 140734512749856 140734512747704 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21988/statm: 4432 3627 105 248 0 4181 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 47276

############
# WARNING:
# current cumulated CPU time (16.21 s) is less than in the last sample (18.34 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (2.13 s) to the 'lost time'.

[startup+18.5004 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 22108
/proc/meminfo: memFree=31199876/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=16.21 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 20162 76779 0 0 73 10 1505 33 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21702/statm: 2813 2441 166 439 0 2370 0
[pid=22100] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22100/stat : 22100 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288769156 9367552 266 33554432000 4194304 5064252 140737393114288 140737393113200 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22100/statm: 2287 266 226 213 0 72 0
[pid=22101] ppid=22100 vsize=18160 CPUtime=2.13 cores=1,3,5,7
/proc/22101/stat : 22101 (glucose) R 22100 21701 29981 0 -1 4202496 3965 0 0 0 212 1 0 0 20 0 1 0 288769157 18595840 3864 33554432000 4194304 5208918 140736463947856 140736463945608 4211104 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22101/statm: 4540 3864 105 248 0 4289 0
Current children cumulated CPU time (s) 18.34
Current children cumulated vsize (KiB) 47708

[startup+18.6004 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 22108
/proc/meminfo: memFree=31197520/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=16.21 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 20162 76779 0 0 73 10 1505 33 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21702/statm: 2813 2441 166 439 0 2370 0
Current children cumulated CPU time (s) 16.21
Current children cumulated vsize (KiB) 20400
#
############


[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 22150
/proc/meminfo: memFree=31199388/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=25.3 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 27193 110311 0 0 99 13 2369 49 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830754592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21702/statm: 2813 2441 166 439 0 2370 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 20400

[startup+51.1004 s]
/proc/loadavg: 1.90 1.97 1.99 3/183 22290
/proc/meminfo: memFree=31198396/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=48.61 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 51770 207444 0 0 189 26 4548 98 20 0 1 0 288767521 11522048 2441 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 7 0 0
/proc/21702/statm: 2813 2441 166 439 0 2370 0
[pid=22289] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22289/stat : 22289 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288772414 9367552 266 33554432000 4194304 5064252 140734021182320 140734021181232 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22289/statm: 2287 266 226 213 0 72 0
[pid=22290] ppid=22289 vsize=17860 CPUtime=2.16 cores=1,3,5,7
/proc/22290/stat : 22290 (glucose) R 22289 21701 29981 0 -1 4202496 3898 0 0 0 216 0 0 0 20 0 1 0 288772414 18288640 3767 33554432000 4194304 5208918 140735559973040 140735559970792 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22290/statm: 4465 3767 105 248 0 4214 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 47408

[startup+102.307 s]
/proc/loadavg: 2.11 2.00 2.00 3/183 22535
/proc/meminfo: memFree=31196864/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0

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

/proc/meminfo: memFree=31200844/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=340.7 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 312515 1271287 0 0 1130 158 32162 620 20 0 1 0 288767521 11522048 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/21702/statm: 2813 2412 166 439 0 2370 0
[pid=23844] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23844/stat : 23844 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288801714 9367552 267 33554432000 4194304 5064252 140737208685872 140737208684784 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/23844/statm: 2287 267 226 213 0 72 0
[pid=23845] ppid=23844 vsize=14276 CPUtime=0.35 cores=1,3,5,7
/proc/23845/stat : 23845 (glucose) R 23844 21701 29981 0 -1 4202496 3845 0 0 0 34 1 0 0 20 0 1 0 288801715 14618624 3199 33554432000 4194304 5208918 140733566383472 140733566381576 4211162 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/23845/statm: 3569 3199 104 248 0 3318 0
Current children cumulated CPU time (s) 341.05
Current children cumulated vsize (KiB) 43824

[startup+402.3 s]
/proc/loadavg: 1.95 1.97 1.99 3/184 24184
/proc/meminfo: memFree=31193744/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11252 CPUtime=400.58 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 371233 1517869 0 0 1329 188 37810 731 20 0 1 0 288767521 11522048 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 12 0 0
/proc/21702/statm: 2813 2412 166 439 0 2370 0
Current children cumulated CPU time (s) 400.58
Current children cumulated vsize (KiB) 20400

[startup+462.3 s]
/proc/loadavg: 2.11 2.00 2.00 3/183 24548
/proc/meminfo: memFree=31202444/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11204 CPUtime=459.18 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 435132 1776748 0 0 1539 218 43313 848 20 0 1 0 288767521 11472896 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 2801 2412 166 439 0 2358 0
[pid=24540] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24540/stat : 24540 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288813634 9367552 267 33554432000 4194304 5064252 140736148410432 140736148409344 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/24540/statm: 2287 267 226 213 0 72 0
[pid=24541] ppid=24540 vsize=13664 CPUtime=1.15 cores=1,3,5,7
/proc/24541/stat : 24541 (glucose) R 24540 21701 29981 0 -1 4202496 3342 0 0 0 115 0 0 0 20 0 1 0 288813634 13991936 3110 33554432000 4194304 5208918 140735685962912 140735685960808 4211744 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/24541/statm: 3416 3110 104 248 0 3165 0
Current children cumulated CPU time (s) 460.33
Current children cumulated vsize (KiB) 43164

[startup+522.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/183 24954
/proc/meminfo: memFree=31202364/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11204 CPUtime=519.67 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 511120 2073970 0 0 1775 251 48956 985 20 0 1 0 288767521 11472896 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 2801 2412 166 439 0 2358 0
Current children cumulated CPU time (s) 519.67
Current children cumulated vsize (KiB) 20352

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

[startup+524.707 s]
/proc/loadavg: 2.04 2.00 2.00 3/181 24994
/proc/meminfo: memFree=31217460/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11164 CPUtime=522.34 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 516301 2094073 0 0 1788 253 49200 993 20 0 1 0 288767521 11431936 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 2791 2412 166 439 0 2348 0
Current children cumulated CPU time (s) 522.34
Current children cumulated vsize (KiB) 20312

[startup+537.5 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 25116
/proc/meminfo: memFree=31203144/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11132 CPUtime=534.62 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 542206 2186521 0 0 1853 265 50311 1033 20 0 1 0 288767521 11399168 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 2783 2412 166 439 0 2340 0
Current children cumulated CPU time (s) 534.62
Current children cumulated vsize (KiB) 20280

[startup+540.7 s]
/proc/loadavg: 2.03 2.00 2.00 3/183 25144
/proc/meminfo: memFree=31204492/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=6832 CPUtime=538.26 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 545592 2209234 0 0 1865 266 50652 1043 20 0 1 0 288767521 6995968 1165 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 1708 1165 166 439 0 1265 0
Current children cumulated CPU time (s) 538.26
Current children cumulated vsize (KiB) 15980

[startup+543.9 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 25221
/proc/meminfo: memFree=31217300/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=6832 CPUtime=541.44 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 554900 2262037 0 0 1884 269 50932 1059 20 0 1 0 288767521 6995968 1172 33554432000 4194304 5990268 140734830763680 140734830754592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 1708 1172 166 439 0 1265 0
Current children cumulated CPU time (s) 541.44
Current children cumulated vsize (KiB) 15980

[startup+545.5 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 25312
/proc/meminfo: memFree=31186096/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=11136 CPUtime=542.95 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 562006 2306951 0 0 1902 272 51049 1072 20 0 1 0 288767521 11403264 2412 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 2784 2412 166 439 0 2341 0
[pid=25311] ppid=21702 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25311/stat : 25311 (satsolver.sh) S 21702 21701 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288822061 9367552 267 33554432000 4194304 5064252 140733906171440 140733906170352 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/25311/statm: 2287 267 226 213 0 72 0
[pid=25312] ppid=25311 vsize=32060 CPUtime=0.09 cores=1,3,5,7
/proc/25312/stat : 25312 (glucose) R 25311 21701 29981 0 -1 4202496 6790 0 0 0 8 1 0 0 20 0 1 0 288822062 32829440 7106 33554432000 4194304 5208918 140733435942240 140733435940088 4229222 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/25312/statm: 8015 7106 95 248 0 7764 0
Current children cumulated CPU time (s) 543.04
Current children cumulated vsize (KiB) 61492

[startup+546.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 25312
/proc/meminfo: memFree=31186096/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=6800 CPUtime=543.81 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 565924 2337622 0 0 1910 273 51099 1099 20 0 1 0 288767521 6963200 1214 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 1700 1214 166 439 0 1257 0
Current children cumulated CPU time (s) 543.81
Current children cumulated vsize (KiB) 15948

[startup+546.707 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 25357
/proc/meminfo: memFree=31215464/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=6800 CPUtime=544.22 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 568265 2358395 0 0 1914 274 51123 1111 20 0 1 0 288767521 6963200 1216 33554432000 4194304 5990268 140734830763680 140734830754592 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 1700 1216 166 439 0 1257 0
Current children cumulated CPU time (s) 544.22
Current children cumulated vsize (KiB) 15948

[startup+546.8 s]
/proc/loadavg: 2.02 2.00 2.00 3/183 25357
/proc/meminfo: memFree=31215464/32873648 swapFree=6852/6852
[pid=21701] ppid=21699 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21701/stat : 21701 (npSolver-wbo-It) S 21699 21701 29981 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288767521 9367552 275 33554432000 4194304 5064252 140736431840880 140736431839792 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21701/statm: 2287 275 233 213 0 72 0
[pid=21702] ppid=21701 vsize=6800 CPUtime=544.35 cores=1,3,5,7
/proc/21702/stat : 21702 (npSolver-wbo) S 21701 21701 29981 0 -1 4202496 569073 2366104 0 0 1916 274 51130 1115 20 0 1 0 288767521 6963200 1216 33554432000 4194304 5990268 140734830763680 140734830755104 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 14 0 0
/proc/21702/statm: 1700 1216 166 439 0 1257 0
Current children cumulated CPU time (s) 544.35
Current children cumulated vsize (KiB) 15948

Child status: 0

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.13
#  lost CPU user time (s): 2.12
#  lost CPU system time (s): 0.00999999

Real time (s): 546.844
CPU time (s): 546.544
CPU user time (s): 532.611
CPU system time (s): 13.9329
CPU usage (%): 99.9451
Max. virtual memory (cumulated for all children) (KiB): 61492

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 530.491
system time used= 13.9229
maximum resident set size= 28648
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2940685
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2585024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13870
involuntary context switches= 5691

runsolver used 1.16282 second user time and 3.08353 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-28 19:33:27
IDJOB=3715114
IDBENCH=79421
IDSOLVER=2296
FILE ID=node115/3715114-1338226407
RUNJOBID= node115-1338195070-29998
PBS_JOBID= 14624604
Free space on /tmp= 71636 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/wcsp/jnh/normalized-jnh07_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715114-1338226407/watcher-3715114-1338226407 -o /tmp/evaluation-result-3715114-1338226407/solver-3715114-1338226407 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715114-1338226407.wbo 1243441226 HOME HOME

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 124b6775b7bb4e390bc62510a681a702
RANDOM SEED=1243441226

node115.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.462
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31242192 kB
Buffers:          437164 kB
Cached:           312076 kB
SwapCached:          972 kB
Active:           639676 kB
Inactive:         132500 kB
Active(anon):      15860 kB
Inactive(anon):     9244 kB
Active(file):     623816 kB
Inactive(file):   123256 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106424 kB
Dirty:              9900 kB
Writeback:             0 kB
AnonPages:         28488 kB
Mapped:            12772 kB
Shmem:                96 kB
Slab:             721976 kB
SReclaimable:     165308 kB
SUnreclaim:       556668 kB
KernelStack:        1528 kB
PageTables:         4340 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     139608 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71624 MiB
End job on node115 at 2012-05-28 19:42:34