Trace number 3715130

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 598.897 600.014

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh214_wcsp.wbo
MD5SUM7b7f899ec609c9207642e3bd82d991a6
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark75
Best CPU time to get the best result obtained on this benchmark0.013997
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 7309
0.00/0.05	c fallback to adder encoding
2.25/2.36	o 7302
2.25/2.36	c fallback to adder encoding
6.26/6.39	o 7299
6.26/6.39	c fallback to adder encoding
8.85/8.96	o 7296
8.85/8.96	c fallback to adder encoding
11.85/11.97	o 7278
11.85/11.97	c fallback to adder encoding
14.75/14.81	o 7272
14.75/14.81	c fallback to adder encoding
17.48/17.60	o 7264
17.48/17.60	c fallback to adder encoding
19.78/19.80	o 7263
19.78/19.80	c fallback to adder encoding
23.17/23.24	o 7262
23.17/23.24	c fallback to adder encoding
25.87/25.97	o 7256
25.87/25.97	c fallback to adder encoding
29.34/29.42	o 7227
29.34/29.42	c fallback to adder encoding
31.95/32.07	o 7219
31.95/32.07	c fallback to adder encoding
35.15/35.23	o 7210
35.15/35.23	c fallback to adder encoding
37.44/37.51	o 7209
37.44/37.51	c fallback to adder encoding
40.84/40.91	o 7207
40.84/40.91	c fallback to adder encoding
43.36/43.54	o 7011
43.36/43.54	c fallback to adder encoding
45.57/45.70	o 7009
45.57/45.70	c fallback to adder encoding
48.65/48.86	o 6842
48.65/48.86	c fallback to adder encoding
51.14/51.38	o 6784
51.14/51.38	c fallback to adder encoding
54.35/54.57	o 6783
54.35/54.57	c fallback to adder encoding
57.14/57.32	o 6782
57.14/57.32	c fallback to adder encoding
59.16/59.35	o 6775
59.16/59.35	c fallback to adder encoding
61.94/62.13	o 6758
61.94/62.13	c fallback to adder encoding
65.04/65.28	o 6757
65.04/65.28	c fallback to adder encoding
68.72/68.90	o 6750
68.72/68.90	c fallback to adder encoding
72.31/72.53	o 6749
72.31/72.53	c fallback to adder encoding
75.49/75.74	o 6748
75.49/75.74	c fallback to adder encoding
78.89/79.13	o 6747
78.89/79.13	c fallback to adder encoding
81.57/81.85	o 6744
81.57/81.85	c fallback to adder encoding
84.40/84.66	o 6743
84.40/84.66	c fallback to adder encoding
87.50/87.74	o 6742
87.50/87.74	c fallback to adder encoding
90.25/90.51	o 6740
90.25/90.51	c fallback to adder encoding
92.20/92.48	o 2687
92.20/92.48	c fallback to adder encoding
94.71/95.09	o 2680
94.71/95.09	c fallback to adder encoding
96.59/96.91	o 2679
96.59/96.91	c fallback to adder encoding
99.20/99.58	o 2678
99.20/99.58	c fallback to adder encoding
101.32/101.64	o 2677
101.32/101.64	c fallback to adder encoding
104.30/104.68	o 2672
104.30/104.68	c fallback to adder encoding
106.90/107.27	o 2663
106.90/107.27	c fallback to adder encoding
108.80/109.19	o 2658
108.80/109.19	c fallback to adder encoding
110.89/111.21	o 2642
110.89/111.21	c fallback to adder encoding
114.47/114.81	o 2639
114.47/114.81	c fallback to adder encoding
116.60/116.96	o 2638
116.60/116.96	c fallback to adder encoding
119.70/120.06	o 2630
119.70/120.06	c fallback to adder encoding
121.52/121.84	o 2628
121.52/121.84	c fallback to adder encoding
123.99/124.35	o 2620
123.99/124.35	c fallback to adder encoding
125.96/126.30	o 2613
125.96/126.30	c fallback to adder encoding
129.08/129.48	o 2608
129.08/129.48	c fallback to adder encoding
131.39/131.73	o 2606
131.39/131.73	c fallback to adder encoding
133.29/133.63	o 2605
133.29/133.63	c fallback to adder encoding
135.55/135.90	o 2592
135.55/135.90	c fallback to adder encoding
137.85/138.20	o 2591
137.85/138.20	c fallback to adder encoding
139.86/140.20	o 2587
139.86/140.20	c fallback to adder encoding
142.61/142.95	o 2586
142.61/142.95	c fallback to adder encoding
144.88/145.25	o 2585
144.88/145.25	c fallback to adder encoding
147.66/148.04	o 2578
147.66/148.04	c fallback to adder encoding
151.04/151.42	o 2561
151.04/151.42	c fallback to adder encoding
153.87/154.27	o 2560
153.87/154.27	c fallback to adder encoding
157.25/157.65	o 2488
157.25/157.65	c fallback to adder encoding
159.95/160.38	o 2437
159.95/160.38	c fallback to adder encoding
162.53/162.90	o 2436
162.53/162.90	c fallback to adder encoding
165.15/165.58	o 2406
165.15/165.58	c fallback to adder encoding
168.57/168.94	o 2397
168.57/168.94	c fallback to adder encoding
170.44/170.80	o 2392
170.44/170.80	c fallback to adder encoding
172.54/172.90	o 2383
172.54/172.90	c fallback to adder encoding
176.07/176.43	o 2382
176.07/176.43	c fallback to adder encoding
179.15/179.54	o 2376
179.15/179.54	c fallback to adder encoding
180.94/181.40	o 2374
180.94/181.40	c fallback to adder encoding
183.64/184.06	o 2369
183.64/184.06	c fallback to adder encoding
186.14/186.59	o 2304
186.14/186.59	c fallback to adder encoding
188.26/188.64	o 2302
188.26/188.64	c fallback to adder encoding
190.06/190.44	o 2301
190.06/190.44	c fallback to adder encoding
192.17/192.55	o 2298
192.17/192.55	c fallback to adder encoding
194.34/194.77	o 2293
194.34/194.77	c fallback to adder encoding
196.45/196.84	o 2288
196.45/196.84	c fallback to adder encoding
198.36/198.74	o 2287
198.36/198.74	c fallback to adder encoding
200.66/201.06	o 2285
200.66/201.06	c fallback to adder encoding
202.85/203.21	o 2283
202.85/203.21	c fallback to adder encoding
204.95/205.33	o 2269
204.95/205.33	c fallback to adder encoding
207.53/207.91	o 2262
207.53/207.91	c fallback to adder encoding
209.94/210.35	o 2257
209.94/210.35	c fallback to adder encoding
212.24/212.67	o 2256
212.24/212.67	c fallback to adder encoding
215.23/215.61	o 2255
215.23/215.61	c fallback to adder encoding
218.35/218.77	o 2249
218.35/218.77	c fallback to adder encoding
221.63/222.02	o 2243
221.63/222.02	c fallback to adder encoding
224.34/224.77	o 2242
224.34/224.77	c fallback to adder encoding
226.44/226.85	o 2240
226.44/226.85	c fallback to adder encoding
228.95/229.39	o 2237
228.95/229.39	c fallback to adder encoding
230.53/230.94	o 2228
230.53/230.94	c fallback to adder encoding
233.13/233.54	o 2217
233.13/233.54	c fallback to adder encoding
236.05/236.41	o 2210
236.05/236.41	c fallback to adder encoding
239.94/240.34	o 2209
239.94/240.34	c fallback to adder encoding
241.93/242.39	o 2204
241.93/242.39	c fallback to adder encoding
244.20/244.60	o 2198
244.20/244.60	c fallback to adder encoding
249.25/249.65	o 2188
249.25/249.65	c fallback to adder encoding
251.32/251.73	o 2181
251.32/251.73	c fallback to adder encoding
253.63/254.07	o 2178
253.63/254.07	c fallback to adder encoding
256.04/256.43	o 2177
256.04/256.43	c fallback to adder encoding
259.12/259.57	o 2176
259.12/259.57	c fallback to adder encoding
262.02/262.42	o 2171
262.02/262.42	c fallback to adder encoding
264.52/264.97	o 2169
264.52/264.97	c fallback to adder encoding
266.93/267.33	o 2168
266.93/267.33	c fallback to adder encoding
268.83/269.25	o 2161
268.83/269.25	c fallback to adder encoding
271.25/271.65	o 2160
271.25/271.65	c fallback to adder encoding
273.83/274.23	o 2151
273.83/274.23	c fallback to adder encoding
276.11/276.58	o 2149
276.11/276.58	c fallback to adder encoding
279.49/279.90	o 2146
279.49/279.90	c fallback to adder encoding
281.71/282.12	o 2145
281.71/282.12	c fallback to adder encoding
283.72/284.16	o 2114
283.72/284.16	c fallback to adder encoding
286.31/286.79	o 2105
286.31/286.79	c fallback to adder encoding
288.13/288.54	o 2104
288.13/288.54	c fallback to adder encoding
290.83/291.23	o 2103
290.83/291.23	c fallback to adder encoding
292.52/292.98	o 2101
292.52/292.98	c fallback to adder encoding
294.72/295.10	o 2100
294.72/295.10	c fallback to adder encoding
296.30/296.74	o 2098
296.30/296.74	c fallback to adder encoding
298.00/298.48	o 2097
298.00/298.48	c fallback to adder encoding
300.52/300.94	o 2094
300.52/300.94	c fallback to adder encoding
302.69/303.16	o 2088
302.69/303.16	c fallback to adder encoding
306.19/306.68	o 2081
306.19/306.68	c fallback to adder encoding
308.51/308.93	o 2078
308.51/308.93	c fallback to adder encoding
311.20/311.62	o 2073
311.20/311.62	c fallback to adder encoding
313.50/313.98	o 2069
313.50/313.98	c fallback to adder encoding
315.80/316.27	o 2067
315.80/316.27	c fallback to adder encoding
318.51/318.94	o 2066
318.51/318.94	c fallback to adder encoding
321.51/321.94	o 2052
321.51/321.94	c fallback to adder encoding
324.20/324.69	o 2049
324.20/324.69	c fallback to adder encoding
326.89/327.37	o 2048
326.89/327.37	c fallback to adder encoding
328.29/328.78	o 2039
328.29/328.78	c fallback to adder encoding
330.01/330.54	o 2038
330.01/330.54	c fallback to adder encoding
332.18/332.70	o 2037
332.18/332.70	c fallback to adder encoding
333.89/334.44	o 2036
333.89/334.44	c fallback to adder encoding
335.45/336.00	o 2030
335.45/336.00	c fallback to adder encoding
336.96/337.51	o 2024
336.96/337.51	c fallback to adder encoding
337.76/338.38	o 2019
337.76/338.38	c fallback to adder encoding
340.59/341.13	o 1957
340.59/341.13	c fallback to adder encoding
342.25/342.81	o 1956
342.25/342.81	c fallback to adder encoding
344.37/344.92	o 1950
344.37/344.92	c fallback to adder encoding
345.76/346.33	o 1946
345.76/346.33	c fallback to adder encoding
347.58/348.20	o 1945
347.58/348.20	c fallback to adder encoding
350.01/350.63	o 1942
350.01/350.63	c fallback to adder encoding
352.51/353.19	o 1941
352.51/353.19	c fallback to adder encoding
354.42/355.05	o 1937
354.42/355.05	c fallback to adder encoding
357.12/357.75	o 1932
357.12/357.75	c fallback to adder encoding
359.40/360.01	o 1928
359.40/360.01	c fallback to adder encoding
363.02/363.63	o 1927
363.02/363.63	c fallback to adder encoding
366.02/366.60	o 1924
366.02/366.60	c fallback to adder encoding
369.00/369.62	o 1923
369.00/369.62	c fallback to adder encoding
371.82/372.40	o 1713
371.82/372.40	c fallback to adder encoding
373.81/374.45	o 1712
373.81/374.45	c fallback to adder encoding
375.39/376.01	o 1684
375.39/376.01	c fallback to adder encoding
377.61/378.23	o 1568
377.61/378.23	c fallback to adder encoding
379.09/379.71	o 1567
379.09/379.71	c fallback to adder encoding
380.80/381.45	o 1561
380.80/381.45	c fallback to adder encoding
382.88/383.51	o 1548
382.88/383.51	c fallback to adder encoding
384.41/385.07	o 1547
384.41/385.07	c fallback to adder encoding
386.99/387.62	o 1541
386.99/387.62	c fallback to adder encoding
389.31/389.98	o 1540
389.31/389.98	c fallback to adder encoding
391.78/392.42	o 1539
391.78/392.42	c fallback to adder encoding
393.87/394.55	o 1536
393.87/394.55	c fallback to adder encoding
395.96/396.68	o 1528
395.96/396.68	c fallback to adder encoding
398.57/399.22	o 1523
398.57/399.22	c fallback to adder encoding
401.37/402.02	o 1514
401.37/402.02	c fallback to adder encoding
403.67/404.31	o 1505
403.67/404.31	c fallback to adder encoding
405.38/406.05	o 1504
405.38/406.05	c fallback to adder encoding
407.20/407.80	o 1502
407.20/407.80	c fallback to adder encoding
409.37/410.01	o 1500
409.37/410.01	c fallback to adder encoding
411.08/411.79	o 1473
411.08/411.79	c fallback to adder encoding
413.98/414.63	o 1442
413.98/414.63	c fallback to adder encoding
416.30/416.95	o 1434
416.30/416.95	c fallback to adder encoding
418.39/419.10	o 1430
418.39/419.10	c fallback to adder encoding
420.69/421.38	o 1307
420.69/421.38	c fallback to adder encoding
421.97/422.65	o 1297
421.97/422.65	c fallback to adder encoding
423.57/424.21	o 1284
423.57/424.21	c fallback to adder encoding
425.30/425.94	o 1281
425.30/425.94	c fallback to adder encoding
427.38/428.07	o 1247
427.38/428.07	c fallback to adder encoding
429.17/429.89	o 1240
429.17/429.89	c fallback to adder encoding
431.60/432.27	o 1239
431.60/432.27	c fallback to adder encoding
434.07/434.76	o 1236
434.07/434.76	c fallback to adder encoding
436.77/437.48	o 1235
436.77/437.48	c fallback to adder encoding
438.19/438.85	o 1231
438.19/438.85	c fallback to adder encoding
440.69/441.38	o 1230
440.69/441.38	c fallback to adder encoding
442.68/443.30	o 1217
442.68/443.30	c fallback to adder encoding
444.97/445.64	o 1216
444.97/445.64	c fallback to adder encoding
446.58/447.24	o 1215
446.58/447.24	c fallback to adder encoding
447.67/448.38	o 1198
447.67/448.38	c fallback to adder encoding
449.77/450.42	o 1192
449.77/450.42	c fallback to adder encoding
451.38/452.08	o 1186
451.38/452.08	c fallback to adder encoding
452.77/453.49	o 1185
452.77/453.49	c fallback to adder encoding
455.36/456.02	o 1184
455.36/456.02	c fallback to adder encoding
457.57/458.26	o 1179
457.57/458.26	c fallback to adder encoding
459.86/460.54	o 1174
459.86/460.54	c fallback to adder encoding
461.56/462.20	o 1167
461.56/462.20	c fallback to adder encoding
463.77/464.51	o 1166
463.77/464.51	c fallback to adder encoding
466.04/466.85	o 1157
466.04/466.85	c fallback to adder encoding
468.03/468.87	o 1126
468.03/468.87	c fallback to adder encoding
469.66/470.40	o 1125
469.66/470.40	c fallback to adder encoding
472.23/473.01	o 1097
472.23/473.01	c fallback to adder encoding
474.65/475.47	o 1092
474.65/475.47	c fallback to adder encoding
476.39/477.30	o 1091
476.39/477.30	c fallback to adder encoding
478.18/479.08	o 1089
478.18/479.08	c fallback to adder encoding
480.20/481.02	o 1087
480.20/481.02	c fallback to adder encoding
482.00/482.86	o 1082
482.00/482.86	c fallback to adder encoding
483.79/484.68	o 1081
483.79/484.68	c fallback to adder encoding
485.68/486.58	o 1073
485.68/486.58	c fallback to adder encoding
487.98/488.84	o 1067
487.98/488.84	c fallback to adder encoding
490.07/490.99	o 1062
490.07/490.99	c fallback to adder encoding
491.67/492.59	o 1061
491.67/492.59	c fallback to adder encoding
493.76/494.61	o 1060
493.76/494.61	c fallback to adder encoding
495.48/496.30	o 1044
495.48/496.30	c fallback to adder encoding
497.74/498.61	o 1043
497.74/498.61	c fallback to adder encoding
499.67/500.54	o 1039
499.67/500.54	c fallback to adder encoding
502.07/502.94	o 1038
502.07/502.94	c fallback to adder encoding
504.06/504.98	o 1034
504.06/504.98	c fallback to adder encoding
506.27/507.14	o 1033
506.27/507.14	c fallback to adder encoding
507.66/508.50	o 1031
507.66/508.50	c fallback to adder encoding
509.34/510.26	o 1027
509.34/510.26	c fallback to adder encoding
511.43/512.32	o 1026
511.43/512.32	c fallback to adder encoding
513.25/514.14	o 1025
513.25/514.14	c fallback to adder encoding
514.74/515.65	o 1024
514.74/515.65	c fallback to adder encoding
515.74/516.69	o 1022
515.74/516.69	c fallback to adder encoding
516.73/517.62	o 1015
516.73/517.62	c fallback to adder encoding
518.03/518.98	o 891
518.03/518.98	c fallback to adder encoding
519.33/520.29	o 881
519.33/520.29	c fallback to adder encoding
520.43/521.40	o 880
520.43/521.40	c fallback to adder encoding
521.08/522.00	o 879
521.08/522.00	c fallback to adder encoding
522.47/523.44	o 875
522.47/523.44	c fallback to adder encoding
523.87/524.81	o 874
523.87/524.81	c fallback to adder encoding
525.16/526.17	o 868
525.16/526.17	c fallback to adder encoding
526.48/527.43	o 867
526.48/527.43	c fallback to adder encoding
527.56/528.54	o 866
527.56/528.54	c fallback to adder encoding
528.75/529.76	o 865
528.75/529.76	c fallback to adder encoding
530.15/531.14	o 860
530.15/531.14	c fallback to adder encoding
531.16/532.13	o 856
531.16/532.13	c fallback to adder encoding
532.56/533.52	o 837
532.56/533.52	c fallback to adder encoding
533.66/534.62	o 833
533.66/534.62	c fallback to adder encoding
534.95/535.96	o 832
534.95/535.96	c fallback to adder encoding
536.04/537.04	o 822
536.04/537.04	c fallback to adder encoding
536.14/537.78	o 778
536.14/537.78	c fallback to adder encoding
538.05/539.06	o 777
538.05/539.06	c fallback to adder encoding
539.43/540.41	o 776
539.43/540.41	c fallback to adder encoding
541.04/542.04	o 771
541.04/542.04	c fallback to adder encoding
542.35/543.32	o 769
542.35/543.32	c fallback to adder encoding
543.81/544.80	o 768
543.81/544.80	c fallback to adder encoding
544.64/545.63	o 761
544.64/545.63	c fallback to adder encoding
544.71/546.44	o 741
544.71/546.44	c fallback to adder encoding
546.23/547.22	o 739
546.23/547.22	c fallback to adder encoding
547.82/548.90	o 736
547.82/548.90	c fallback to adder encoding
547.99/549.74	o 735
547.99/549.74	c fallback to adder encoding
550.13/551.18	o 726
550.13/551.18	c fallback to adder encoding
551.42/552.48	o 718
551.42/552.48	c fallback to adder encoding
552.90/553.93	o 710
552.90/553.93	c fallback to adder encoding
554.12/555.12	o 705
554.12/555.12	c fallback to adder encoding
555.43/556.40	o 704
555.43/556.40	c fallback to adder encoding
556.42/557.48	o 696
556.42/557.48	c fallback to adder encoding
557.42/558.42	o 694
557.42/558.42	c fallback to adder encoding
557.99/559.00	o 689
557.99/559.00	c fallback to adder encoding
559.20/560.22	o 680
559.20/560.22	c fallback to adder encoding
560.10/561.14	o 673
560.10/561.14	c fallback to adder encoding
561.50/562.52	o 672
561.50/562.52	c fallback to adder encoding
562.59/563.61	o 671
562.59/563.61	c fallback to adder encoding
563.68/564.70	o 663
563.68/564.70	c fallback to adder encoding
564.59/565.63	o 662
564.59/565.63	c fallback to adder encoding
565.58/566.64	o 658
565.58/566.64	c fallback to adder encoding
565.67/567.47	o 649
565.67/567.47	c fallback to adder encoding
566.50/568.49	o 642
566.50/568.49	c fallback to adder encoding
568.06/569.17	o 641
568.06/569.17	c fallback to adder encoding
569.17/570.27	o 631
569.17/570.27	c fallback to adder encoding
570.07/571.17	o 630
570.07/571.17	c fallback to adder encoding
571.06/572.19	o 629
571.06/572.19	c fallback to adder encoding
571.20/572.99	o 628
571.20/572.99	c fallback to adder encoding
572.01/573.79	o 599
572.01/573.79	c fallback to adder encoding
573.95/575.04	o 596
573.95/575.04	c fallback to adder encoding
574.66/575.79	o 576
574.66/575.79	c fallback to adder encoding
575.46/576.50	o 572
575.46/576.50	c fallback to adder encoding
575.49/577.06	o 571
575.49/577.06	c fallback to adder encoding
576.74/577.88	o 567
576.74/577.88	c fallback to adder encoding
577.93/579.06	o 563
577.93/579.06	c fallback to adder encoding
578.64/579.71	o 562
578.64/579.71	c fallback to adder encoding
578.70/580.34	o 554
578.70/580.34	c fallback to adder encoding
579.63/580.80	o 552
579.63/580.80	c fallback to adder encoding
580.04/581.11	o 547
580.04/581.11	c fallback to adder encoding
580.83/581.95	o 546
580.83/581.95	c fallback to adder encoding
581.32/582.40	o 545
581.32/582.40	c fallback to adder encoding
582.24/583.30	o 544
582.24/583.30	c fallback to adder encoding
582.95/584.03	o 528
582.95/584.03	c fallback to adder encoding
583.00/584.44	o 526
583.00/584.44	c fallback to adder encoding
584.13/585.28	o 523
584.13/585.28	c fallback to adder encoding
584.53/585.61	o 520
584.53/585.61	c fallback to adder encoding
584.59/586.17	o 519
584.59/586.17	c fallback to adder encoding
585.14/586.66	o 517
585.14/586.66	c fallback to adder encoding
586.02/587.11	o 516
586.02/587.11	c fallback to adder encoding
586.53/587.62	o 515
586.53/587.62	c fallback to adder encoding
587.51/588.61	o 513
587.51/588.61	c fallback to adder encoding
588.11/589.20	o 512
588.11/589.20	c fallback to adder encoding
588.16/589.47	o 487
588.16/589.47	c fallback to adder encoding
588.43/589.97	o 483
588.43/589.97	c fallback to adder encoding
588.93/590.38	o 481
588.93/590.38	c fallback to adder encoding
589.71/590.86	o 480
589.71/590.86	c fallback to adder encoding
589.81/591.23	o 477
589.81/591.23	c fallback to adder encoding
590.19/591.57	o 468
590.19/591.57	c fallback to adder encoding
590.80/591.93	o 464
590.80/591.93	c fallback to adder encoding
590.82/592.17	o 463
590.82/592.17	c fallback to adder encoding
591.58/592.72	o 460
591.58/592.72	c fallback to adder encoding
591.77/592.98	o 458
591.77/592.98	c fallback to adder encoding
591.86/593.38	o 448
591.86/593.38	c fallback to adder encoding
592.27/593.76	o 447
592.27/593.76	c fallback to adder encoding
592.86/594.08	o 443
592.86/594.08	c fallback to adder encoding
592.97/594.52	o 442
592.97/594.52	c fallback to adder encoding
593.85/595.07	o 440
593.85/595.07	c fallback to adder encoding
594.45/595.61	o 436
594.45/595.61	c fallback to adder encoding
594.49/595.87	o 430
594.49/595.87	c fallback to adder encoding
594.95/596.15	o 393
594.95/596.15	c fallback to adder encoding
595.03/596.44	o 388
595.03/596.44	c fallback to adder encoding
595.55/596.71	o 383
595.55/596.71	c fallback to adder encoding
595.75/596.92	o 376
595.75/596.92	c fallback to adder encoding
596.15/597.38	o 371
596.15/597.38	c fallback to adder encoding
596.26/597.68	o 366
596.26/597.68	c fallback to adder encoding
596.55/597.94	o 359
596.55/597.94	c fallback to adder encoding
596.82/598.14	o 352
596.82/598.14	c fallback to adder encoding
597.14/598.37	o 320
597.41/598.72	o 278
597.70/598.98	o 251
597.94/599.18	o 225
598.13/599.36	o 216
598.30/599.52	o 215
598.41/599.68	o 195
598.60/599.81	o 156
598.60/599.89	o 121
598.76/599.95	o 86
598.76/599.99	o 75
598.85/600.01	c display solution
598.85/600.01	s OPTIMUM FOUND
598.85/600.01	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	75

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-3715130-1338225091/watcher-3715130-1338225091 -o /tmp/evaluation-result-3715130-1338225091/solver-3715130-1338225091 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715130-1338225091.wbo 1881846216 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: 2.04 2.01 2.00 3/179 22795
/proc/meminfo: memFree=31280804/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0

[startup+0.0417079 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22795
/proc/meminfo: memFree=31280804/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/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: 2.04 2.01 2.00 3/179 22795
/proc/meminfo: memFree=31280804/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300294 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22795
/proc/meminfo: memFree=31280804/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700253 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 22795
/proc/meminfo: memFree=31280804/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50041 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 22816
/proc/meminfo: memFree=31257432/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=7000 CPUtime=0.1 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 2465 6111 0 0 7 1 1 1 20 0 1 0 288633431 7168000 1382 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22796/statm: 1750 1382 165 439 0 1307 0
[pid=22808] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22808/stat : 22808 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288633443 9367552 267 33554432000 4194304 5064252 140733836436544 140733836435456 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22808/statm: 2287 267 226 213 0 72 0
[pid=22809] ppid=22808 vsize=16824 CPUtime=1.35 cores=1,3,5,7
/proc/22809/stat : 22809 (glucose) R 22808 22795 12121 0 -1 4202496 4243 0 0 0 135 0 0 0 20 0 1 0 288633443 17227776 3607 33554432000 4194304 5208918 140735706972080 140735706969928 4229473 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22809/statm: 4206 3607 105 248 0 3955 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 42120

[startup+3.10023 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 22823
/proc/meminfo: memFree=31256868/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=2.41 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 4161 13653 0 0 14 1 222 4 20 0 1 0 288633431 11358208 2374 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22796/statm: 2773 2374 165 439 0 2330 0
Current children cumulated CPU time (s) 2.41
Current children cumulated vsize (KiB) 20240
heavy processes:

[startup+6.30044 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 22844
/proc/meminfo: memFree=31251016/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=2.41 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 4161 13653 0 0 14 1 222 4 20 0 1 0 288633431 11358208 2374 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22796/statm: 2773 2374 165 439 0 2330 0
[pid=22829] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22829/stat : 22829 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288633674 9367552 266 33554432000 4194304 5064252 140736619268976 140736619267888 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22829/statm: 2287 266 226 213 0 72 0
[pid=22830] ppid=22829 vsize=20136 CPUtime=3.85 cores=1,3,5,7
/proc/22830/stat : 22830 (glucose) R 22829 22795 12121 0 -1 4202496 4842 0 0 0 384 1 0 0 20 0 1 0 288633674 20619264 4194 33554432000 4194304 5208918 140735390354368 140735390352520 4231456 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22830/statm: 5034 4194 105 248 0 4783 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 49524

[startup+12.7003 s]
/proc/loadavg: 2.04 2.01 2.00 3/181 22898
/proc/meminfo: memFree=31275112/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=12.02 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 9250 37385 0 0 33 4 1151 14 20 0 1 0 288633431 11358208 2375 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22796/statm: 2773 2375 166 439 0 2330 0
Current children cumulated CPU time (s) 12.02
Current children cumulated vsize (KiB) 20240

[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 23003
/proc/meminfo: memFree=31270364/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=23.3 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 16034 66976 0 0 58 7 2236 29 20 0 1 0 288633431 11358208 2375 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22796/statm: 2773 2375 166 439 0 2330 0
[pid=22990] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22990/stat : 22990 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288635762 9367552 266 33554432000 4194304 5064252 140736568160336 140736568159248 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22990/statm: 2287 266 226 213 0 72 0
[pid=22991] ppid=22990 vsize=16980 CPUtime=2.17 cores=1,3,5,7
/proc/22991/stat : 22991 (glucose) R 22990 22795 12121 0 -1 4202496 3783 0 0 0 216 1 0 0 20 0 1 0 288635762 17387520 3733 33554432000 4194304 5208918 140735217863424 140735217859800 4211904 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22991/statm: 4245 3733 105 248 0 3994 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 46368

[startup+51.1004 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 23293
/proc/meminfo: memFree=31251724/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=48.79 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 31298 135380 0 0 113 16 4687 63 20 0 1 0 288633431 11358208 2375 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22796/statm: 2773 2375 166 439 0 2330 0
[pid=23292] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23292/stat : 23292 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288638324 9367552 267 33554432000 4194304 5064252 140734460383376 140734460382288 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23292/statm: 2287 267 226 213 0 72 0
[pid=23293] ppid=23292 vsize=16828 CPUtime=2.15 cores=1,3,5,7
/proc/23293/stat : 23293 (glucose) R 23292 22795 12121 0 -1 4202496 3618 0 0 0 215 0 0 0 20 0 1 0 288638324 17231872 3581 33554432000 4194304 5208918 140737437692272 140737437690120 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23293/statm: 4207 3581 105 248 0 3956 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 46216

[startup+102.307 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 23559
/proc/meminfo: memFree=31254944/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=101.43 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 63122 281102 0 0 228 34 9751 130 20 0 1 0 288633431 11358208 2295 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/22796/statm: 2773 2295 166 439 0 2330 0
[pid=23556] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23556/stat : 23556 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288643601 9367552 267 33554432000 4194304 5064252 140735089969168 140735089968080 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23556/statm: 2287 267 226 213 0 72 0
[pid=23557] ppid=23556 vsize=14164 CPUtime=0.58 cores=1,3,5,7
/proc/23557/stat : 23557 (glucose) R 23556 22795 12121 0 -1 4202496 3613 0 0 0 58 0 0 0 20 0 1 0 288643601 14503936 3073 33554432000 4194304 5208918 140737175955920 140735089968104 4229328 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23557/statm: 3541 3073 104 248 0 3290 0
Current children cumulated CPU time (s) 102.01
Current children cumulated vsize (KiB) 43552

[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 23846
/proc/meminfo: memFree=31250688/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=160.11 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 100290 449093 0 0 358 54 15386 213 20 0 1 0 288633431 11358208 2295 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 8 0 0
/proc/22796/statm: 2773 2295 166 439 0 2330 0
[pid=23845] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23845/stat : 23845 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288649475 9367552 267 33554432000 4194304 5064252 140733355055392 140733355054304 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23845/statm: 2287 267 226 213 0 72 0
[pid=23846] ppid=23845 vsize=16388 CPUtime=1.84 cores=1,3,5,7
/proc/23846/stat : 23846 (glucose) R 23845 22795 12121 0 -1 4202496 3356 0 0 0 184 0 0 0 20 0 1 0 288649475 16781312 3400 33554432000 4194304 5208918 140735867432720 140735867430680 4229473 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23846/statm: 4097 3400 105 248 0 3846 0
Current children cumulated CPU time (s) 161.95
Current children cumulated vsize (KiB) 45776

[startup+222.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/183 24176
/proc/meminfo: memFree=31262744/32873844 swapFree=7632/7632

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


[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/183 24463
/proc/meminfo: memFree=31251156/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11092 CPUtime=281.81 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 177858 794258 0 0 632 95 27078 376 20 0 1 0 288633431 11358208 2295 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/22796/statm: 2773 2295 166 439 0 2330 0
Current children cumulated CPU time (s) 281.81
Current children cumulated vsize (KiB) 20240

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 24834
/proc/meminfo: memFree=31252864/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11048 CPUtime=340.68 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 220662 983997 0 0 782 118 32704 464 20 0 1 0 288633431 11313152 2203 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 8 0 0
/proc/22796/statm: 2762 2203 166 439 0 2319 0
[pid=24833] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24833/stat : 24833 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288667550 9367552 266 33554432000 4194304 5064252 140737160946080 140737160944992 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/24833/statm: 2287 266 226 213 0 72 0
[pid=24834] ppid=24833 vsize=13368 CPUtime=1.09 cores=1,3,5,7
/proc/24834/stat : 24834 (glucose) R 24833 22795 12121 0 -1 4202496 3233 0 0 0 109 0 0 0 20 0 1 0 288667550 13688832 2992 33554432000 4194304 5208918 140736950276288 140736950274136 4210976 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24834/statm: 3342 2992 102 248 0 3091 0
Current children cumulated CPU time (s) 341.77
Current children cumulated vsize (KiB) 42712

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 25184
/proc/meminfo: memFree=31252692/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11048 CPUtime=401.48 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 261810 1173004 0 0 922 140 38535 551 20 0 1 0 288633431 11313152 2203 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22796/statm: 2762 2203 166 439 0 2319 0
Current children cumulated CPU time (s) 401.48
Current children cumulated vsize (KiB) 20196

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 25569
/proc/meminfo: memFree=31254720/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=11048 CPUtime=461.62 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 307530 1377035 0 0 1077 165 44271 649 20 0 1 0 288633431 11313152 2203 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 2762 2203 166 439 0 2319 0
Current children cumulated CPU time (s) 461.62
Current children cumulated vsize (KiB) 20196

[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/184 25972
/proc/meminfo: memFree=31257372/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=10992 CPUtime=521.13 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 356862 1600139 0 0 1243 192 49923 755 20 0 1 0 288633431 11255808 2022 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 2748 2022 166 439 0 2305 0
Current children cumulated CPU time (s) 521.13
Current children cumulated vsize (KiB) 20140

[startup+582.3 s]
/proc/loadavg: 1.93 1.99 1.99 3/182 26567
/proc/meminfo: memFree=31266852/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6812 CPUtime=580.92 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 425919 1934038 0 0 1432 221 55544 895 20 0 1 0 288633431 6975488 1362 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1703 1362 166 439 0 1260 0
Current children cumulated CPU time (s) 580.92
Current children cumulated vsize (KiB) 15960

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

[startup+588.7 s]
/proc/loadavg: 1.94 1.99 1.99 3/182 26665
/proc/meminfo: memFree=31266100/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6812 CPUtime=587.57 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 437168 1992522 0 0 1459 224 56155 919 20 0 1 0 288633431 6975488 1362 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1703 1362 166 439 0 1260 0
Current children cumulated CPU time (s) 587.57
Current children cumulated vsize (KiB) 15960

[startup+595.107 s]
/proc/loadavg: 1.94 1.99 1.99 3/183 26799
/proc/meminfo: memFree=31268200/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6812 CPUtime=593.96 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 452112 2072138 0 0 1490 228 56730 948 20 0 1 0 288633431 6975488 1362 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1703 1362 166 439 0 1260 0
Current children cumulated CPU time (s) 593.96
Current children cumulated vsize (KiB) 15960

[startup+598.3 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 26890
/proc/meminfo: memFree=31268576/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6812 CPUtime=597.01 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 458828 2120105 0 0 1505 231 57000 965 20 0 1 0 288633431 6975488 1362 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1703 1362 166 439 0 1260 0
[pid=26889] ppid=22796 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26889/stat : 26889 (satsolver.sh) S 22796 22795 12121 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288693247 9367552 267 33554432000 4194304 5064252 140736145258112 140736145257024 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/26889/statm: 2287 267 226 213 0 72 0
[pid=26890] ppid=26889 vsize=6220 CPUtime=0.13 cores=1,3,5,7
/proc/26890/stat : 26890 (glucose) R 26889 22795 12121 0 -1 4202496 1524 0 0 0 13 0 0 0 20 0 1 0 288693247 6369280 1203 33554432000 4194304 5208918 140734128017952 140734128015800 4211162 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/26890/statm: 1555 1203 102 248 0 1304 0
Current children cumulated CPU time (s) 597.14
Current children cumulated vsize (KiB) 31328

[startup+599.1 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 26890
/proc/meminfo: memFree=31268576/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6700 CPUtime=597.94 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 462732 2148140 0 0 1516 233 57062 983 20 0 1 0 288633431 6860800 1281 33554432000 4194304 5990268 140734591076784 140734591067696 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1675 1281 166 439 0 1232 0
Current children cumulated CPU time (s) 597.94
Current children cumulated vsize (KiB) 15848

[startup+599.507 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 26925
/proc/meminfo: memFree=31263684/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6700 CPUtime=598.3 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 464723 2161830 0 0 1520 233 57082 995 20 0 1 0 288633431 6860800 1283 33554432000 4194304 5990268 140734591076784 140734591067696 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1675 1283 166 439 0 1232 0
Current children cumulated CPU time (s) 598.3
Current children cumulated vsize (KiB) 15848

[startup+599.9 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 26925
/proc/meminfo: memFree=31263684/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6700 CPUtime=598.76 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) R 22795 22795 12121 0 -1 4202496 467422 2182751 0 0 1525 234 57107 1010 20 0 1 0 288633431 6860800 1284 33554432000 4194304 5990268 140734591076784 140734591068784 4566802 0 0 4096 0 0 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1675 1284 166 439 0 1232 0
Current children cumulated CPU time (s) 598.76
Current children cumulated vsize (KiB) 15848

[startup+600 s]
/proc/loadavg: 1.95 1.99 1.99 3/183 26925
/proc/meminfo: memFree=31263684/32873844 swapFree=7632/7632
[pid=22795] ppid=22793 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22795/stat : 22795 (npSolver-wbo-It) S 22793 22795 12121 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288633430 9367552 275 33554432000 4194304 5064252 140736715147488 140736715146400 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22795/statm: 2287 275 233 213 0 72 0
[pid=22796] ppid=22795 vsize=6700 CPUtime=598.85 cores=1,3,5,7
/proc/22796/stat : 22796 (npSolver-wbo) S 22795 22795 12121 0 -1 4202496 467855 2190736 0 0 1525 234 57112 1014 20 0 1 0 288633431 6860800 1284 33554432000 4194304 5990268 140734591076784 140734591068208 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 10 0 0
/proc/22796/statm: 1675 1284 166 439 0 1232 0
Current children cumulated CPU time (s) 598.85
Current children cumulated vsize (KiB) 15848

Child status: 0
Real time (s): 600.014
CPU time (s): 598.897
CPU user time (s): 586.397
CPU system time (s): 12.5001
CPU usage (%): 99.8138
Max. virtual memory (cumulated for all children) (KiB): 49524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 586.397
system time used= 12.5001
maximum resident set size= 27392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2663515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2023736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11124
involuntary context switches= 4828

runsolver used 1.2938 second user time and 3.60245 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-28 19:11:31
IDJOB=3715130
IDBENCH=79403
IDSOLVER=2296
FILE ID=node141/3715130-1338225091
RUNJOBID= node141-1338210956-15179
PBS_JOBID= 14624602
Free space on /tmp= 71520 MiB

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

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

MD5SUM BENCH= 7b7f899ec609c9207642e3bd82d991a6
RANDOM SEED=1881846216

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:        31281168 kB
Buffers:          307680 kB
Cached:           411584 kB
SwapCached:          220 kB
Active:           275312 kB
Inactive:         477316 kB
Active(anon):      23408 kB
Inactive(anon):    11292 kB
Active(file):     251904 kB
Inactive(file):   466024 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:             11524 kB
Writeback:             0 kB
AnonPages:         72420 kB
Mapped:            11444 kB
Shmem:               172 kB
Slab:             699308 kB
SReclaimable:     141224 kB
SUnreclaim:       558084 kB
KernelStack:        1544 kB
PageTables:         3996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     149684 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     34816 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= 71512 MiB
End job on node141 at 2012-05-28 19:21:31