Trace number 3715125

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 318.727 318.263

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh205_wcsp.wbo
MD5SUMdcd6541236cc8e3c8ecb4a3e0452a499
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.003999
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 constraints900
Number of soft constraints800
Number of constraints which are clauses800
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 constraint11
Top cost 394239
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 394238
Biggest number in a constraint 10
Number of bits of the biggest number in a constraint 4
Biggest sum of numbers in a constraint 21
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.01	c run usual solver
0.00/0.05	o 7293
0.00/0.05	c fallback to adder encoding
2.86/2.95	o 7289
2.86/2.95	c fallback to adder encoding
5.64/5.71	o 7288
5.64/5.71	c fallback to adder encoding
8.55/8.67	o 7287
8.55/8.67	c fallback to adder encoding
11.16/11.25	o 7268
11.16/11.25	c fallback to adder encoding
13.64/13.72	o 7267
13.64/13.72	c fallback to adder encoding
15.96/16.09	o 7266
15.96/16.09	c fallback to adder encoding
17.16/17.27	o 7250
17.16/17.27	c fallback to adder encoding
18.97/19.05	o 7249
18.97/19.05	c fallback to adder encoding
20.44/20.51	o 7197
20.44/20.51	c fallback to adder encoding
22.86/22.99	o 7181
22.86/22.99	c fallback to adder encoding
26.47/26.55	o 7176
26.47/26.55	c fallback to adder encoding
27.85/27.99	o 7174
27.85/27.99	c fallback to adder encoding
30.93/31.01	o 7171
30.93/31.01	c fallback to adder encoding
32.77/32.80	o 7170
32.77/32.80	c fallback to adder encoding
35.46/35.54	o 7164
35.46/35.54	c fallback to adder encoding
36.24/36.31	o 7163
36.24/36.31	c fallback to adder encoding
37.56/37.68	o 7158
37.56/37.68	c fallback to adder encoding
38.94/39.07	o 7133
38.94/39.07	c fallback to adder encoding
41.02/41.10	o 7132
41.02/41.10	c fallback to adder encoding
42.73/42.82	o 7119
42.73/42.82	c fallback to adder encoding
44.56/44.60	o 7025
44.56/44.60	c fallback to adder encoding
46.65/46.78	o 6876
46.65/46.78	c fallback to adder encoding
48.56/48.67	o 6874
48.56/48.67	c fallback to adder encoding
49.94/50.06	o 6870
49.94/50.06	c fallback to adder encoding
52.14/52.26	o 6869
52.14/52.26	c fallback to adder encoding
53.92/54.03	o 6865
53.92/54.03	c fallback to adder encoding
55.58/55.77	o 6863
55.58/55.77	c fallback to adder encoding
57.57/57.76	o 6837
57.57/57.76	c fallback to adder encoding
59.85/60.01	o 6831
59.85/60.01	c fallback to adder encoding
61.47/61.61	o 6830
61.47/61.61	c fallback to adder encoding
62.17/62.33	o 4071
62.17/62.33	c fallback to adder encoding
63.57/63.77	o 4069
63.57/63.77	c fallback to adder encoding
64.58/64.71	o 4064
64.58/64.71	c fallback to adder encoding
66.35/66.52	o 4061
66.35/66.52	c fallback to adder encoding
67.95/68.12	o 4059
67.95/68.12	c fallback to adder encoding
69.07/69.28	o 4057
69.07/69.28	c fallback to adder encoding
69.89/70.13	o 4036
69.89/70.13	c fallback to adder encoding
72.06/72.37	o 4035
72.06/72.37	c fallback to adder encoding
73.87/74.13	o 4030
73.87/74.13	c fallback to adder encoding
75.06/75.37	o 4012
75.06/75.37	c fallback to adder encoding
77.86/78.18	o 4005
77.86/78.18	c fallback to adder encoding
78.97/79.25	o 4004
78.97/79.25	c fallback to adder encoding
80.26/80.58	o 3980
80.26/80.58	c fallback to adder encoding
81.16/81.49	o 3978
81.16/81.49	c fallback to adder encoding
82.84/83.11	o 3975
82.84/83.11	c fallback to adder encoding
84.37/84.60	o 3968
84.37/84.60	c fallback to adder encoding
84.76/85.09	o 3967
84.76/85.09	c fallback to adder encoding
85.77/86.09	o 3966
85.77/86.09	c fallback to adder encoding
86.57/86.80	o 3962
86.57/86.80	c fallback to adder encoding
87.76/88.03	o 3961
87.76/88.03	c fallback to adder encoding
89.44/89.71	o 3915
89.44/89.71	c fallback to adder encoding
90.51/90.85	o 3906
90.51/90.85	c fallback to adder encoding
91.65/92.02	o 3904
91.65/92.02	c fallback to adder encoding
92.66/93.04	o 3892
92.66/93.04	c fallback to adder encoding
93.55/93.97	o 3856
93.55/93.97	c fallback to adder encoding
95.68/96.14	o 3826
95.68/96.14	c fallback to adder encoding
96.33/96.83	o 3727
96.33/96.83	c fallback to adder encoding
98.23/98.77	o 3721
98.23/98.77	c fallback to adder encoding
99.32/99.82	o 3718
99.32/99.82	c fallback to adder encoding
101.12/101.63	o 3689
101.12/101.63	c fallback to adder encoding
102.70/103.20	o 3688
102.70/103.20	c fallback to adder encoding
104.02/104.53	o 3686
104.02/104.53	c fallback to adder encoding
105.50/106.00	o 3685
105.50/106.00	c fallback to adder encoding
107.10/107.68	o 3684
107.10/107.68	c fallback to adder encoding
108.12/108.60	o 3683
108.12/108.60	c fallback to adder encoding
109.30/109.88	o 3682
109.30/109.88	c fallback to adder encoding
110.51/111.08	o 3677
110.51/111.08	c fallback to adder encoding
111.92/112.49	o 3674
111.92/112.49	c fallback to adder encoding
113.81/114.34	o 3670
113.81/114.34	c fallback to adder encoding
114.81/115.32	o 3649
114.81/115.32	c fallback to adder encoding
115.51/116.03	o 3628
115.51/116.03	c fallback to adder encoding
116.60/117.19	o 3624
116.60/117.19	c fallback to adder encoding
117.90/118.42	o 3615
117.90/118.42	c fallback to adder encoding
119.60/120.18	o 3611
119.60/120.18	c fallback to adder encoding
120.81/121.35	o 3606
120.81/121.35	c fallback to adder encoding
121.50/122.00	o 3599
121.50/122.00	c fallback to adder encoding
123.48/124.06	o 3592
123.48/124.06	c fallback to adder encoding
124.79/125.39	o 3591
124.79/125.39	c fallback to adder encoding
126.58/127.15	o 3588
126.58/127.15	c fallback to adder encoding
128.99/129.53	o 2949
128.99/129.53	c fallback to adder encoding
130.29/130.87	o 2751
130.29/130.87	c fallback to adder encoding
131.89/132.45	o 2743
131.89/132.45	c fallback to adder encoding
133.77/134.31	o 2742
133.77/134.31	c fallback to adder encoding
135.45/136.04	o 2740
135.45/136.04	c fallback to adder encoding
136.84/137.47	o 2738
136.84/137.47	c fallback to adder encoding
138.20/138.81	o 2730
138.20/138.81	c fallback to adder encoding
139.73/140.37	o 2723
139.73/140.37	c fallback to adder encoding
140.43/141.09	o 2722
140.43/141.09	c fallback to adder encoding
141.91/142.51	o 2720
141.91/142.51	c fallback to adder encoding
143.84/144.44	o 2711
143.84/144.44	c fallback to adder encoding
145.41/146.07	o 2703
145.41/146.07	c fallback to adder encoding
146.12/146.77	o 2696
146.12/146.77	c fallback to adder encoding
146.90/147.52	o 2557
146.90/147.52	c fallback to adder encoding
148.59/149.20	o 2539
148.59/149.20	c fallback to adder encoding
150.39/151.01	o 2536
150.39/151.01	c fallback to adder encoding
151.81/152.55	o 2528
151.81/152.55	c fallback to adder encoding
153.09/153.85	o 2526
153.09/153.85	c fallback to adder encoding
155.10/155.86	o 2525
155.10/155.86	c fallback to adder encoding
157.10/157.83	o 2518
157.10/157.83	c fallback to adder encoding
158.71/159.44	o 2503
158.71/159.44	c fallback to adder encoding
160.31/161.04	o 2502
160.31/161.04	c fallback to adder encoding
162.78/163.56	o 2497
162.78/163.56	c fallback to adder encoding
166.31/167.04	o 2496
166.31/167.04	c fallback to adder encoding
168.00/168.73	o 2489
168.00/168.73	c fallback to adder encoding
169.58/170.34	o 2488
169.58/170.34	c fallback to adder encoding
171.28/172.05	o 2483
171.28/172.05	c fallback to adder encoding
172.29/173.07	o 2482
172.29/173.07	c fallback to adder encoding
173.58/174.36	o 2481
173.58/174.36	c fallback to adder encoding
175.07/175.81	o 2473
175.07/175.81	c fallback to adder encoding
177.77/178.52	o 2467
177.77/178.52	c fallback to adder encoding
179.18/179.97	o 2464
179.18/179.97	c fallback to adder encoding
181.08/181.85	o 2457
181.08/181.85	c fallback to adder encoding
183.08/183.85	o 2456
183.08/183.85	c fallback to adder encoding
184.78/185.56	o 2453
184.78/185.56	c fallback to adder encoding
186.98/187.73	o 2451
186.98/187.73	c fallback to adder encoding
188.27/189.04	o 2447
188.27/189.04	c fallback to adder encoding
189.95/190.71	o 2440
189.95/190.71	c fallback to adder encoding
190.76/191.52	o 2334
190.76/191.52	c fallback to adder encoding
192.37/193.12	o 2330
192.37/193.12	c fallback to adder encoding
192.54/193.31	o 2074
192.54/193.31	c fallback to adder encoding
194.54/195.35	o 2065
194.54/195.35	c fallback to adder encoding
196.57/197.44	o 2062
196.57/197.44	c fallback to adder encoding
197.97/198.83	o 2060
197.97/198.83	c fallback to adder encoding
199.26/200.16	o 2058
199.26/200.16	c fallback to adder encoding
200.44/201.36	o 2057
200.44/201.36	c fallback to adder encoding
202.83/203.73	o 2056
202.83/203.73	c fallback to adder encoding
204.38/205.30	o 2055
204.38/205.30	c fallback to adder encoding
206.05/207.01	o 2054
206.05/207.01	c fallback to adder encoding
208.06/209.07	o 2053
208.06/209.07	c fallback to adder encoding
209.94/210.93	o 2051
209.94/210.93	c fallback to adder encoding
212.66/213.67	o 2050
212.66/213.67	c fallback to adder encoding
214.31/214.55	o 2048
214.31/214.55	c fallback to adder encoding
214.45/215.43	o 2030
214.45/215.43	c fallback to adder encoding
215.25/216.27	o 2024
215.25/216.27	c fallback to adder encoding
216.63/217.65	o 1998
216.63/217.65	c fallback to adder encoding
217.83/218.88	o 1995
217.83/218.88	c fallback to adder encoding
217.98/219.79	o 1992
217.98/219.79	c fallback to adder encoding
219.83/220.82	o 1988
219.83/220.82	c fallback to adder encoding
220.60/221.60	o 1985
220.60/221.60	c fallback to adder encoding
221.53/222.54	o 1984
221.53/222.54	c fallback to adder encoding
222.43/223.42	o 1983
222.43/223.42	c fallback to adder encoding
222.52/223.97	o 1980
222.52/223.97	c fallback to adder encoding
223.07/224.35	o 1976
223.07/224.35	c fallback to adder encoding
224.53/225.56	o 1954
224.53/225.56	c fallback to adder encoding
226.90/227.91	o 1952
226.90/227.91	c fallback to adder encoding
227.84/228.80	o 1942
227.84/228.80	c fallback to adder encoding
229.22/230.20	o 1751
229.22/230.20	c fallback to adder encoding
230.82/231.88	o 1750
230.82/231.88	c fallback to adder encoding
232.40/233.48	o 1747
232.40/233.48	c fallback to adder encoding
233.51/234.53	o 1746
233.51/234.53	c fallback to adder encoding
234.59/235.66	o 1735
234.59/235.66	c fallback to adder encoding
235.39/236.41	o 1731
235.39/236.41	c fallback to adder encoding
237.31/238.36	o 1729
237.31/238.36	c fallback to adder encoding
239.58/240.62	o 1728
239.58/240.62	c fallback to adder encoding
240.69/241.78	o 1717
240.69/241.78	c fallback to adder encoding
241.89/242.99	o 1716
241.89/242.99	c fallback to adder encoding
243.39/244.48	o 1667
243.39/244.48	c fallback to adder encoding
245.00/246.18	o 1666
245.00/246.18	c fallback to adder encoding
245.72/246.95	o 1665
245.72/246.95	c fallback to adder encoding
247.00/248.24	o 1664
247.00/248.24	c fallback to adder encoding
248.09/249.34	o 1663
248.09/249.34	c fallback to adder encoding
248.90/250.13	o 1661
248.90/250.13	c fallback to adder encoding
250.39/251.62	o 1660
250.39/251.62	c fallback to adder encoding
251.38/252.67	o 1658
251.38/252.67	c fallback to adder encoding
252.99/254.27	o 1655
252.99/254.27	c fallback to adder encoding
254.19/255.44	o 1654
254.19/255.44	c fallback to adder encoding
255.08/256.37	o 1651
255.08/256.37	c fallback to adder encoding
255.22/257.39	o 1646
255.22/257.39	c fallback to adder encoding
257.57/258.87	o 1645
257.57/258.87	c fallback to adder encoding
258.65/259.91	o 1643
258.65/259.91	c fallback to adder encoding
260.16/261.47	o 1638
260.16/261.47	c fallback to adder encoding
261.80/263.11	o 1637
261.80/263.11	c fallback to adder encoding
263.17/264.54	o 1614
263.17/264.54	c fallback to adder encoding
264.46/265.85	o 1612
264.46/265.85	c fallback to adder encoding
266.09/267.44	o 1610
266.09/267.44	c fallback to adder encoding
266.94/268.33	o 1609
266.94/268.33	c fallback to adder encoding
268.03/269.45	o 1608
268.03/269.45	c fallback to adder encoding
268.15/270.46	o 1605
268.15/270.46	c fallback to adder encoding
271.02/272.42	o 1602
271.02/272.42	c fallback to adder encoding
273.12/274.57	o 1601
273.12/274.57	c fallback to adder encoding
274.12/275.57	o 1050
274.12/275.57	c fallback to adder encoding
275.42/276.80	o 1048
275.42/276.80	c fallback to adder encoding
276.38/277.81	o 1040
276.38/277.81	c fallback to adder encoding
278.60/280.09	o 1037
278.60/280.09	c fallback to adder encoding
279.80/281.26	o 1036
279.80/281.26	c fallback to adder encoding
281.40/282.89	o 1031
281.40/282.89	c fallback to adder encoding
281.68/283.12	o 1026
281.68/283.12	c fallback to adder encoding
283.30/284.75	o 1025
283.30/284.75	c fallback to adder encoding
284.89/286.38	o 1024
284.89/286.38	c fallback to adder encoding
285.88/287.34	o 1022
285.88/287.34	c fallback to adder encoding
286.28/287.72	o 1020
286.28/287.72	c fallback to adder encoding
287.01/288.40	o 1007
287.01/288.40	c fallback to adder encoding
287.49/288.93	o 981
287.49/288.93	c fallback to adder encoding
288.50/289.90	o 978
288.50/289.90	c fallback to adder encoding
289.37/290.89	o 960
289.37/290.89	c fallback to adder encoding
290.28/291.77	o 950
290.28/291.77	c fallback to adder encoding
291.47/292.91	o 947
291.47/292.91	c fallback to adder encoding
292.37/293.81	o 941
292.37/293.81	c fallback to adder encoding
293.28/294.70	o 939
293.28/294.70	c fallback to adder encoding
294.18/295.64	o 936
294.18/295.64	c fallback to adder encoding
295.75/297.29	o 933
295.75/297.29	c fallback to adder encoding
296.93/298.47	o 929
296.93/298.47	c fallback to adder encoding
297.74/299.22	o 912
297.74/299.22	c fallback to adder encoding
297.82/300.25	o 904
297.82/300.25	c fallback to adder encoding
299.55/301.06	o 901
299.55/301.06	c fallback to adder encoding
300.80/302.34	o 900
300.80/302.34	c fallback to adder encoding
301.82/303.33	o 899
301.82/303.33	c fallback to adder encoding
302.59/304.18	o 898
302.59/304.18	c fallback to adder encoding
303.69/305.24	o 897
303.69/305.24	c fallback to adder encoding
304.50/306.09	o 650
304.50/306.09	c fallback to adder encoding
305.36/306.95	o 649
305.36/306.95	c fallback to adder encoding
305.45/307.33	o 647
305.45/307.33	c fallback to adder encoding
305.83/307.94	o 646
305.83/307.94	c fallback to adder encoding
306.97/308.59	o 645
306.97/308.59	c fallback to adder encoding
307.55/309.11	o 640
307.55/309.11	c fallback to adder encoding
307.61/309.46	o 633
307.61/309.46	c fallback to adder encoding
307.97/310.09	o 621
307.97/310.09	c fallback to adder encoding
309.16/310.72	o 610
309.16/310.72	c fallback to adder encoding
309.59/311.21	o 582
309.59/311.21	c fallback to adder encoding
309.96/311.64	o 579
309.96/311.64	c fallback to adder encoding
310.04/312.03	o 575
310.04/312.03	c fallback to adder encoding
310.43/312.38	o 574
310.43/312.38	c fallback to adder encoding
310.78/312.85	o 567
310.78/312.85	c fallback to adder encoding
311.55/313.20	o 563
311.55/313.20	c fallback to adder encoding
311.96/313.64	o 562
311.96/313.64	c fallback to adder encoding
312.03/313.98	o 547
312.03/313.98	c fallback to adder encoding
312.38/314.17	o 546
312.38/314.17	c fallback to adder encoding
312.96/314.64	o 516
312.96/314.64	c fallback to adder encoding
313.03/315.14	o 514
313.03/315.14	c fallback to adder encoding
313.52/315.49	o 513
313.52/315.49	c fallback to adder encoding
314.24/315.90	o 512
314.24/315.90	c fallback to adder encoding
314.54/316.22	o 382
314.54/316.22	c fallback to adder encoding
314.56/316.33	o 376
314.56/316.33	c fallback to adder encoding
314.67/316.44	o 373
314.67/316.44	c fallback to adder encoding
314.79/316.62	o 364
314.79/316.62	c fallback to adder encoding
314.96/316.79	o 363
314.96/316.79	c fallback to adder encoding
315.13/316.96	o 361
315.13/316.96	c fallback to adder encoding
315.41/317.11	o 352
315.41/317.11	c fallback to adder encoding
315.45/317.22	o 350
315.45/317.22	c fallback to adder encoding
315.55/317.36	o 349
315.55/317.36	c fallback to adder encoding
315.69/317.58	o 348
315.69/317.58	c fallback to adder encoding
315.91/317.79	o 341
316.29/318.17	o 57
316.50/318.20	o 19
316.50/318.21	o 17
316.50/318.23	o 15
316.50/318.24	o 1
316.50/318.24	c [SWC] exit 4
316.50/318.26	o 0
316.50/318.26	o 0
316.50/318.26	c display solution
316.50/318.26	s OPTIMUM FOUND
316.50/318.26	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-3715125-1338226447/watcher-3715125-1338226447 -o /tmp/evaluation-result-3715125-1338226447/solver-3715125-1338226447 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715125-1338226447.wbo 186059117 HOME HOME 

running on 4 cores: 0,2,4,6

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.84 1.95 1.98 3/179 32494
/proc/meminfo: memFree=31270544/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0

[startup+0.019186 s]
/proc/loadavg: 1.84 1.95 1.98 3/179 32494
/proc/meminfo: memFree=31270544/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100208 s]
/proc/loadavg: 1.84 1.95 1.98 3/179 32494
/proc/meminfo: memFree=31270544/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30026 s]
/proc/loadavg: 1.84 1.95 1.98 3/179 32494
/proc/meminfo: memFree=31270544/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700225 s]
/proc/loadavg: 1.84 1.95 1.98 3/179 32494
/proc/meminfo: memFree=31270544/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50036 s]
/proc/loadavg: 1.84 1.95 1.98 3/183 32508
/proc/meminfo: memFree=31242668/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=6996 CPUtime=0.11 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 2452 5592 0 0 8 1 1 1 20 0 1 0 288769058 7163904 1378 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 1749 1378 166 439 0 1306 0
[pid=32507] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32507/stat : 32507 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288769071 9367552 267 33554432000 4194304 5064252 140733874507632 140733874506544 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32507/statm: 2287 267 226 213 0 72 0
[pid=32508] ppid=32507 vsize=14660 CPUtime=1.35 cores=0,2,4,6
/proc/32508/stat : 32508 (glucose) R 32507 32494 12121 0 -1 4202496 4022 0 0 0 135 0 0 0 20 0 1 0 288769072 15011840 3327 33554432000 4194304 5208918 140733772233088 140733772230936 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32508/statm: 3665 3327 104 248 0 3414 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39952

[startup+3.10032 s]
/proc/loadavg: 1.94 1.97 1.99 3/183 32515
/proc/meminfo: memFree=31249400/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=3 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 4140 13025 0 0 14 2 280 4 20 0 1 0 288769058 11354112 2371 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 2772 2371 166 439 0 2329 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 20236

[startup+6.30028 s]
/proc/loadavg: 1.94 1.97 1.99 3/181 32527
/proc/meminfo: memFree=31260800/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=5.75 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 5828 20546 0 0 21 2 545 7 20 0 1 0 288769058 11354112 2371 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 2772 2371 166 439 0 2329 0
Current children cumulated CPU time (s) 5.75
Current children cumulated vsize (KiB) 20236

[startup+12.7004 s]
/proc/loadavg: 1.94 1.97 1.99 3/183 32564
/proc/meminfo: memFree=31244924/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=11.3 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 9204 36600 0 0 35 4 1077 14 20 0 1 0 288769058 11354112 2371 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 2772 2371 166 439 0 2329 0
[pid=32563] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32563/stat : 32563 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288770191 9367552 266 33554432000 4194304 5064252 140736404684768 140736404683680 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32563/statm: 2287 266 226 213 0 72 0
[pid=32564] ppid=32563 vsize=16848 CPUtime=1.37 cores=0,2,4,6
/proc/32564/stat : 32564 (glucose) R 32563 32494 12121 0 -1 4202496 3733 0 0 0 136 1 0 0 20 0 1 0 288770191 17252352 3624 33554432000 4194304 5208918 140735329411424 140735329409176 4232812 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32564/statm: 4212 3624 105 248 0 3961 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 46232

[startup+25.5005 s]
/proc/loadavg: 1.95 1.97 1.99 3/181 32639
/proc/meminfo: memFree=31260596/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=23.04 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 19332 81937 0 0 75 9 2186 34 20 0 1 0 288769058 11354112 2371 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 2772 2371 166 439 0 2329 0
[pid=32633] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32633/stat : 32633 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288771365 9367552 267 33554432000 4194304 5064252 140735086527568 140735086526480 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/32633/statm: 2287 267 226 213 0 72 0
[pid=32634] ppid=32633 vsize=16864 CPUtime=2.42 cores=0,2,4,6
/proc/32634/stat : 32634 (glucose) R 32633 32494 12121 0 -1 4202496 3764 0 0 0 242 0 0 0 20 0 1 0 288771365 17268736 3660 33554432000 4194304 5208918 140734525773184 140734525770936 4544907 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/32634/statm: 4216 3660 105 248 0 3965 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 46248

[startup+51.1004 s]
/proc/loadavg: 2.04 1.99 1.99 3/183 321
/proc/meminfo: memFree=31245856/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=50.1 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 42964 183630 0 0 167 22 4741 80 20 0 1 0 288769058 11354112 2371 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 2772 2371 166 439 0 2329 0
[pid=320] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/320/stat : 320 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288774072 9367552 267 33554432000 4194304 5064252 140733242304848 140733242303760 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/320/statm: 2287 267 226 213 0 72 0
[pid=321] ppid=320 vsize=16308 CPUtime=0.95 cores=0,2,4,6
/proc/321/stat : 321 (glucose) R 320 32494 12121 0 -1 4202496 3550 0 0 0 95 0 0 0 20 0 1 0 288774072 16699392 3336 33554432000 4194304 5208918 140734493202528 140734493201928 4205640 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/321/statm: 4077 3336 104 248 0 3826 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 45692

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

[startup+53.9004 s]
/proc/loadavg: 2.04 1.99 1.99 2/182 333
/proc/meminfo: memFree=31256792/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=53.87 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 44661 194741 0 0 173 24 5105 85 20 0 1 0 288769058 11354112 2371 33554432000 4194304 5990268 140734306468672 140734306459584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 2772 2371 166 439 0 2329 0
[pid=327] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/327/stat : 327 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288774292 9367552 266 33554432000 4194304 5064252 140734187835200 140734187834112 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/327/statm: 2287 266 226 213 0 72 0
[pid=328] ppid=327 vsize=16900 CPUtime=1.55 cores=0,2,4,6
/proc/328/stat : 328 (glucose) R 327 32494 12121 0 -1 4202496 3686 0 0 0 154 1 0 0 20 0 1 0 288774292 17305600 3593 33554432000 4194304 5208918 140733728394768 140733728392616 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/328/statm: 4225 3593 107 248 0 3974 0
Current children cumulated CPU time (s) 55.42
Current children cumulated vsize (KiB) 46284

[startup+54.0066 s]
/proc/loadavg: 2.04 1.99 1.99 2/182 333
/proc/meminfo: memFree=31256792/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=53.92 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 44706 196675 0 0 173 24 5108 87 20 0 1 0 288769058 11354112 2371 33554432000 4194304 5990268 140734306468672 140734306460672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/32495/statm: 2772 2371 166 439 0 2329 0
Current children cumulated CPU time (s) 53.92
Current children cumulated vsize (KiB) 20236
#
############



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


[startup+214.5 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 1428
/proc/meminfo: memFree=31246840/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11088 CPUtime=213.56 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 215509 948075 0 0 780 108 20036 432 20 0 1 0 288769058 11354112 2291 33554432000 4194304 5990268 140734306468672 140734306459584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32495/statm: 2772 2291 166 439 0 2329 0
[pid=1427] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1427/stat : 1427 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288790431 9367552 266 33554432000 4194304 5064252 140735723781664 140735723780576 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1427/statm: 2287 266 226 213 0 72 0
[pid=1428] ppid=1427 vsize=0 CPUtime=0.75 cores=0,2,4,6
/proc/1428/stat : 1428 (glucose) R 1427 32494 12121 0 -1 4202500 3939 0 0 0 75 0 0 0 20 0 1 0 288790432 0 0 33554432000 0 0 0 0 0 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/1428/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 214.31
Current children cumulated vsize (KiB) 29384

[startup+214.607 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 1428
/proc/meminfo: memFree=31246840/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11044 CPUtime=213.67 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) R 32494 32494 12121 0 -1 4202496 217015 950513 0 0 785 109 20039 434 20 0 1 0 288769058 11309056 2199 33554432000 4194304 5990268 140734306468672 140734306460672 4904865 0 65536 4102 0 0 0 0 17 4 0 0 11 0 0
/proc/32495/statm: 2761 2199 166 439 0 2318 0
Current children cumulated CPU time (s) 213.67
Current children cumulated vsize (KiB) 20192
#
############


[startup+222.307 s]
/proc/loadavg: 1.97 1.96 1.98 3/183 1514
/proc/meminfo: memFree=31249052/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11044 CPUtime=220.7 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 227628 997477 0 0 820 114 20680 456 20 0 1 0 288769058 11309056 2199 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32495/statm: 2761 2199 166 439 0 2318 0
[pid=1507] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1507/stat : 1507 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288791224 9367552 265 33554432000 4194304 5064252 140736760107808 140736760106720 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1507/statm: 2287 265 226 213 0 72 0
[pid=1510] ppid=1507 vsize=13248 CPUtime=0.62 cores=0,2,4,6
/proc/1510/stat : 1510 (glucose) R 1507 32494 12121 0 -1 4202496 3722 0 0 0 62 0 0 0 20 0 1 0 288791224 13565952 2939 33554432000 4194304 5208918 140736429366896 140736429364648 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/1510/statm: 3312 2939 103 248 0 3061 0
Current children cumulated CPU time (s) 221.32
Current children cumulated vsize (KiB) 42588

[startup+282.3 s]
/proc/loadavg: 1.95 1.95 1.98 3/183 1983
/proc/meminfo: memFree=31248280/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11044 CPUtime=279.93 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 297364 1306167 0 0 1054 147 26195 597 20 0 1 0 288769058 11309056 2199 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32495/statm: 2761 2199 166 439 0 2318 0
[pid=1982] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1982/stat : 1982 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288797190 9367552 266 33554432000 4194304 5064252 140733552160112 140733552159024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/1982/statm: 2287 266 226 213 0 72 0
[pid=1983] ppid=1982 vsize=13420 CPUtime=0.96 cores=0,2,4,6
/proc/1983/stat : 1983 (glucose) R 1982 32494 12121 0 -1 4202496 3446 0 0 0 96 0 0 0 20 0 1 0 288797190 13742080 2943 33554432000 4194304 5208918 140737006447168 140737006445016 4229859 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/1983/statm: 3355 2943 103 248 0 3104 0
Current children cumulated CPU time (s) 280.89
Current children cumulated vsize (KiB) 42760

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

[startup+294.4 s]
/proc/loadavg: 1.96 1.95 1.98 3/183 2088
/proc/meminfo: memFree=31246684/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11012 CPUtime=292.44 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 316033 1389069 0 0 1114 155 27343 632 20 0 1 0 288769058 11276288 2060 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 11 0 0
/proc/32495/statm: 2753 2060 166 439 0 2310 0
Current children cumulated CPU time (s) 292.44
Current children cumulated vsize (KiB) 20160

[startup+307.2 s]
/proc/loadavg: 1.97 1.95 1.98 3/183 2221
/proc/meminfo: memFree=31256488/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=6784 CPUtime=305.45 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 333272 1468125 0 0 1167 162 28553 663 20 0 1 0 288769058 6946816 1314 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/32495/statm: 1696 1314 166 439 0 1253 0
Current children cumulated CPU time (s) 305.45
Current children cumulated vsize (KiB) 15932

[startup+313.607 s]
/proc/loadavg: 1.97 1.95 1.98 3/183 2333
/proc/meminfo: memFree=31256332/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=6784 CPUtime=311.6 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 347419 1539434 0 0 1203 166 29102 689 20 0 1 0 288769058 6946816 1322 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/32495/statm: 1696 1322 166 439 0 1253 0
[pid=2332] ppid=32495 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2332/stat : 2332 (satsolver.sh) S 32495 32494 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288800381 9367552 266 33554432000 4194304 5064252 140735447145168 140735447144080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/2332/statm: 2287 266 226 213 0 72 0
[pid=2333] ppid=2332 vsize=8664 CPUtime=0.36 cores=0,2,4,6
/proc/2333/stat : 2333 (glucose) R 2332 32494 12121 0 -1 4202496 2067 0 0 0 36 0 0 0 20 0 1 0 288800382 8871936 1774 33554432000 4194304 5208918 140733326811840 140733326809688 4211744 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/2333/statm: 2166 1774 104 248 0 1915 0
Current children cumulated CPU time (s) 311.96
Current children cumulated vsize (KiB) 33744

[startup+316.8 s]
/proc/loadavg: 1.97 1.95 1.98 3/181 2422
/proc/meminfo: memFree=31264864/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=6784 CPUtime=315.12 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) R 32494 32494 12121 0 -1 4202496 357447 1600771 0 0 1226 169 29408 709 20 0 1 0 288769058 6946816 1326 33554432000 4194304 5990268 140734306468672 140734306460672 5042551 0 0 4096 0 0 0 0 17 4 0 0 13 0 0
/proc/32495/statm: 1696 1326 166 439 0 1253 0
Current children cumulated CPU time (s) 315.12
Current children cumulated vsize (KiB) 15932

[startup+317.6 s]
/proc/loadavg: 1.97 1.95 1.98 3/181 2422
/proc/meminfo: memFree=31264864/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=6784 CPUtime=315.91 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 360464 1623779 0 0 1234 170 29472 715 20 0 1 0 288769058 6946816 1326 33554432000 4194304 5990268 140734306468672 140734306460096 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/32495/statm: 1696 1326 166 439 0 1253 0
Current children cumulated CPU time (s) 315.91
Current children cumulated vsize (KiB) 15932

[startup+318.007 s]
/proc/loadavg: 1.97 1.95 1.98 3/183 2473
/proc/meminfo: memFree=31233908/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=11020 CPUtime=316.29 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 362087 1636308 0 0 1239 170 29502 718 20 0 1 0 288769058 11284480 2298 33554432000 4194304 5990268 140734306468672 140734306459584 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/32495/statm: 2755 2298 166 439 0 2312 0
Current children cumulated CPU time (s) 316.29
Current children cumulated vsize (KiB) 20168

[startup+318.2 s]
/proc/loadavg: 1.97 1.95 1.98 3/183 2473
/proc/meminfo: memFree=31233908/32873844 swapFree=7632/7632
[pid=32494] ppid=32492 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/32494/stat : 32494 (npSolver-wbo-It) S 32492 32494 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288769058 9367552 275 33554432000 4194304 5064252 140737262726560 140737262725472 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/32494/statm: 2287 275 233 213 0 72 0
[pid=32495] ppid=32494 vsize=2640 CPUtime=316.5 cores=0,2,4,6
/proc/32495/stat : 32495 (npSolver-wbo) S 32494 32494 12121 0 -1 4202496 362287 1642952 0 0 1239 170 29515 726 20 0 1 0 288769058 2703360 328 33554432000 4194304 5990268 140734306468672 140734306460672 5173822 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 13 0 0
/proc/32495/statm: 660 328 166 439 0 217 0
Current children cumulated CPU time (s) 316.5
Current children cumulated vsize (KiB) 11788

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.14
#  lost CPU user time (s): 2.18
#  lost CPU system time (s): -0.0399997

Real time (s): 318.263
CPU time (s): 318.727
CPU user time (s): 309.748
CPU system time (s): 8.97863
CPU usage (%): 100.146
Max. virtual memory (cumulated for all children) (KiB): 60252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 307.568
system time used= 9.01863
maximum resident set size= 28800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2021385
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1626368
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8594
involuntary context switches= 4081

runsolver used 0.640902 second user time and 1.75673 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 19:34:07
IDJOB=3715125
IDBENCH=79424
IDSOLVER=2296
FILE ID=node141/3715125-1338226447
RUNJOBID= node141-1338210956-15178
PBS_JOBID= 14624602
Free space on /tmp= 71516 MiB

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

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

MD5SUM BENCH= dcd6541236cc8e3c8ecb4a3e0452a499
RANDOM SEED=186059117

node141.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.744
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	: 5333.48
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.744
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.744
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.93
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.744
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.92
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.744
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.744
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.744
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.92
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.744
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:       32873844 kB
MemFree:        31270916 kB
Buffers:          312192 kB
Cached:           412832 kB
SwapCached:          220 kB
Active:           285080 kB
Inactive:         477688 kB
Active(anon):      27832 kB
Inactive(anon):    11292 kB
Active(file):     257248 kB
Inactive(file):   466396 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:             12336 kB
Writeback:             0 kB
AnonPages:         46496 kB
Mapped:            11484 kB
Shmem:               172 kB
Slab:             699920 kB
SReclaimable:     141412 kB
SUnreclaim:       558508 kB
KernelStack:        1520 kB
PageTables:         3992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     153628 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71508 MiB
End job on node141 at 2012-05-28 19:39:26