Trace number 3715117

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 819.886 820.021

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh11_wcsp.wbo
MD5SUM540e5098c207f1245411172896d943a2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark172
Best CPU time to get the best result obtained on this benchmark0.046992
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of constraints950
Number of soft constraints850
Number of constraints which are clauses850
Number of constraints which are cardinality constraints (but not clauses)100
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint11
Top cost 420926
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 420925
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 3399
0.00/0.05	c fallback to adder encoding
2.08/2.17	o 3397
2.08/2.17	c fallback to adder encoding
4.56/4.67	o 3370
4.56/4.67	c fallback to adder encoding
7.16/7.23	o 3369
7.16/7.23	c fallback to adder encoding
9.85/9.93	o 3366
9.85/9.93	c fallback to adder encoding
15.38/15.43	o 3363
15.38/15.43	c fallback to adder encoding
17.75/17.84	o 3362
17.75/17.84	c fallback to adder encoding
24.24/24.39	o 3361
24.24/24.39	c fallback to adder encoding
29.01/29.10	o 3355
29.01/29.10	c fallback to adder encoding
33.04/33.16	o 3353
33.04/33.16	c fallback to adder encoding
35.63/35.75	o 3340
35.63/35.75	c fallback to adder encoding
40.92/41.09	o 3334
40.92/41.09	c fallback to adder encoding
43.22/43.37	o 3330
43.22/43.37	c fallback to adder encoding
48.34/48.47	o 3328
48.34/48.47	c fallback to adder encoding
51.54/51.64	o 3323
51.54/51.64	c fallback to adder encoding
55.33/55.47	o 3312
55.33/55.47	c fallback to adder encoding
58.02/58.20	o 3300
58.02/58.20	c fallback to adder encoding
60.61/60.76	o 3297
60.61/60.76	c fallback to adder encoding
63.31/63.49	o 3295
63.31/63.49	c fallback to adder encoding
67.01/67.18	o 3289
67.01/67.18	c fallback to adder encoding
69.20/69.33	o 3288
69.20/69.33	c fallback to adder encoding
71.99/72.17	o 3275
71.99/72.17	c fallback to adder encoding
75.78/75.92	o 3268
75.78/75.92	c fallback to adder encoding
78.80/78.99	o 3267
78.80/78.99	c fallback to adder encoding
81.48/81.62	o 3266
81.48/81.62	c fallback to adder encoding
84.30/84.48	o 3265
84.30/84.48	c fallback to adder encoding
90.81/90.94	o 3262
90.81/90.94	c fallback to adder encoding
92.59/92.78	o 3254
92.59/92.78	c fallback to adder encoding
95.60/95.76	o 3253
95.60/95.76	c fallback to adder encoding
98.39/98.52	o 3252
98.39/98.52	c fallback to adder encoding
101.68/101.80	o 3248
101.68/101.80	c fallback to adder encoding
104.17/104.31	o 3242
104.17/104.31	c fallback to adder encoding
107.70/107.87	o 3209
107.70/107.87	c fallback to adder encoding
111.40/111.57	o 3145
111.40/111.57	c fallback to adder encoding
115.20/115.38	o 3142
115.20/115.38	c fallback to adder encoding
117.28/117.47	o 3138
117.28/117.47	c fallback to adder encoding
119.57/119.76	o 3114
119.57/119.76	c fallback to adder encoding
122.65/122.81	o 3113
122.65/122.81	c fallback to adder encoding
125.17/125.32	o 3111
125.17/125.32	c fallback to adder encoding
129.14/129.32	o 3110
129.14/129.32	c fallback to adder encoding
131.77/131.99	o 3109
131.77/131.99	c fallback to adder encoding
134.16/134.38	o 3108
134.16/134.38	c fallback to adder encoding
136.56/136.75	o 3103
136.56/136.75	c fallback to adder encoding
138.94/139.11	o 3099
138.94/139.11	c fallback to adder encoding
142.15/142.31	o 3095
142.15/142.31	c fallback to adder encoding
144.15/144.39	o 3092
144.15/144.39	c fallback to adder encoding
147.16/147.33	o 3088
147.16/147.33	c fallback to adder encoding
150.05/150.27	o 3086
150.05/150.27	c fallback to adder encoding
152.33/152.53	o 3084
152.33/152.53	c fallback to adder encoding
156.60/156.80	o 3080
156.60/156.80	c fallback to adder encoding
159.52/159.73	o 3077
159.52/159.73	c fallback to adder encoding
161.74/161.94	o 3075
161.74/161.94	c fallback to adder encoding
164.63/164.87	o 3073
164.63/164.87	c fallback to adder encoding
168.03/168.27	o 3072
168.03/168.27	c fallback to adder encoding
170.64/170.84	o 3071
170.64/170.84	c fallback to adder encoding
174.41/174.61	o 3062
174.41/174.61	c fallback to adder encoding
177.43/177.63	o 3037
177.43/177.63	c fallback to adder encoding
179.33/179.50	o 3036
179.33/179.50	c fallback to adder encoding
182.13/182.34	o 3026
182.13/182.34	c fallback to adder encoding
186.43/186.65	o 3025
186.43/186.65	c fallback to adder encoding
188.61/188.81	o 3021
188.61/188.81	c fallback to adder encoding
197.82/198.06	o 3009
197.82/198.06	c fallback to adder encoding
201.81/202.03	o 3008
201.81/202.03	c fallback to adder encoding
204.80/205.02	o 3007
204.80/205.02	c fallback to adder encoding
206.84/207.14	o 3006
206.84/207.14	c fallback to adder encoding
210.84/211.16	o 3004
210.84/211.16	c fallback to adder encoding
213.15/213.47	o 2994
213.15/213.47	c fallback to adder encoding
214.84/215.19	o 2993
214.84/215.19	c fallback to adder encoding
216.73/217.02	o 2992
216.73/217.02	c fallback to adder encoding
218.41/218.71	o 2965
218.41/218.71	c fallback to adder encoding
221.25/221.54	o 2960
221.25/221.54	c fallback to adder encoding
222.94/223.28	o 2958
222.94/223.28	c fallback to adder encoding
224.83/225.13	o 2945
224.83/225.13	c fallback to adder encoding
231.52/231.88	o 2909
231.52/231.88	c fallback to adder encoding
235.53/235.85	o 2903
235.53/235.85	c fallback to adder encoding
237.81/238.11	o 2852
237.81/238.11	c fallback to adder encoding
241.73/242.03	o 2841
241.73/242.03	c fallback to adder encoding
244.23/244.58	o 2836
244.23/244.58	c fallback to adder encoding
245.74/246.05	o 2822
245.74/246.05	c fallback to adder encoding
249.84/250.13	o 2820
249.84/250.13	c fallback to adder encoding
252.94/253.24	o 2817
252.94/253.24	c fallback to adder encoding
254.74/255.04	o 2816
254.74/255.04	c fallback to adder encoding
257.33/257.62	o 2814
257.33/257.62	c fallback to adder encoding
260.17/260.50	o 2813
260.17/260.50	c fallback to adder encoding
262.41/262.77	o 2799
262.41/262.77	c fallback to adder encoding
266.82/267.26	o 2768
266.82/267.26	c fallback to adder encoding
269.30/269.76	o 2766
269.30/269.76	c fallback to adder encoding
271.31/271.74	o 2733
271.31/271.74	c fallback to adder encoding
275.09/275.53	o 2685
275.09/275.53	c fallback to adder encoding
277.88/278.33	o 2684
277.88/278.33	c fallback to adder encoding
281.67/282.19	o 2665
281.67/282.19	c fallback to adder encoding
284.17/284.67	o 2659
284.17/284.67	c fallback to adder encoding
287.87/288.36	o 2657
287.87/288.36	c fallback to adder encoding
290.47/290.99	o 2654
290.47/290.99	c fallback to adder encoding
294.07/294.54	o 2653
294.07/294.54	c fallback to adder encoding
299.87/300.37	o 2646
299.87/300.37	c fallback to adder encoding
301.96/302.41	o 2643
301.96/302.41	c fallback to adder encoding
305.65/306.19	o 2629
305.65/306.19	c fallback to adder encoding
310.43/310.95	o 2628
310.43/310.95	c fallback to adder encoding
313.42/313.92	o 2627
313.42/313.92	c fallback to adder encoding
319.01/319.57	o 2228
319.01/319.57	c fallback to adder encoding
322.81/323.34	o 2226
322.81/323.34	c fallback to adder encoding
325.58/326.19	o 2198
325.58/326.19	c fallback to adder encoding
328.57/329.12	o 2185
328.57/329.12	c fallback to adder encoding
334.67/335.27	o 2184
334.67/335.27	c fallback to adder encoding
337.28/337.84	o 2179
337.28/337.84	c fallback to adder encoding
341.55/342.11	o 2178
341.55/342.11	c fallback to adder encoding
345.53/346.10	o 2177
345.53/346.10	c fallback to adder encoding
348.17/348.78	o 2175
348.17/348.78	c fallback to adder encoding
351.66/352.29	o 2174
351.66/352.29	c fallback to adder encoding
354.66/355.26	o 2173
354.66/355.26	c fallback to adder encoding
356.74/357.39	o 2167
356.74/357.39	c fallback to adder encoding
359.42/360.09	o 2166
359.42/360.09	c fallback to adder encoding
362.70/363.31	o 2157
362.70/363.31	c fallback to adder encoding
364.71/365.33	o 2153
364.71/365.33	c fallback to adder encoding
369.12/369.79	o 2150
369.12/369.79	c fallback to adder encoding
371.01/371.69	o 2149
371.01/371.69	c fallback to adder encoding
374.80/375.46	o 2133
374.80/375.46	c fallback to adder encoding
377.09/377.75	o 2128
377.09/377.75	c fallback to adder encoding
380.88/381.54	o 2127
380.88/381.54	c fallback to adder encoding
383.78/384.48	o 2105
383.78/384.48	c fallback to adder encoding
387.85/388.50	o 2104
387.85/388.50	c fallback to adder encoding
389.97/390.67	o 2100
389.97/390.67	c fallback to adder encoding
391.96/392.68	o 2096
391.96/392.68	c fallback to adder encoding
394.38/395.04	o 2095
394.38/395.04	c fallback to adder encoding
395.58/396.24	o 2094
395.58/396.24	c fallback to adder encoding
398.37/399.00	o 2092
398.37/399.00	c fallback to adder encoding
399.55/400.25	o 2084
399.55/400.25	c fallback to adder encoding
402.56/403.23	o 2083
402.56/403.23	c fallback to adder encoding
409.41/410.15	o 2082
409.41/410.15	c fallback to adder encoding
412.39/413.16	o 2081
412.39/413.16	c fallback to adder encoding
418.77/419.58	o 2080
418.77/419.58	c fallback to adder encoding
421.98/422.78	o 2056
421.98/422.78	c fallback to adder encoding
426.47/427.22	o 2055
426.47/427.22	c fallback to adder encoding
428.67/429.46	o 2048
428.67/429.46	c fallback to adder encoding
431.85/432.69	o 2046
431.85/432.69	c fallback to adder encoding
433.54/434.37	o 2040
433.54/434.37	c fallback to adder encoding
435.81/436.69	o 2039
435.81/436.69	c fallback to adder encoding
435.89/437.59	o 2037
435.89/437.59	c fallback to adder encoding
439.61/440.53	o 2032
439.61/440.53	c fallback to adder encoding
441.62/442.55	o 2029
441.62/442.55	c fallback to adder encoding
444.01/444.95	o 2023
444.01/444.95	c fallback to adder encoding
446.75/447.73	o 2021
446.75/447.73	c fallback to adder encoding
449.31/450.36	o 2015
449.31/450.36	c fallback to adder encoding
452.99/454.01	o 2014
452.99/454.01	c fallback to adder encoding
456.11/457.10	o 2006
456.11/457.10	c fallback to adder encoding
458.19/459.25	o 1984
458.19/459.25	c fallback to adder encoding
459.97/461.00	o 1967
459.97/461.00	c fallback to adder encoding
464.20/465.27	o 1964
464.20/465.27	c fallback to adder encoding
467.57/468.62	o 1455
467.57/468.62	c fallback to adder encoding
470.78/471.85	o 1454
470.78/471.85	c fallback to adder encoding
473.67/474.74	o 1441
473.67/474.74	c fallback to adder encoding
477.06/478.14	o 1436
477.06/478.14	c fallback to adder encoding
479.29/480.30	o 1432
479.29/480.30	c fallback to adder encoding
482.27/483.37	o 1430
482.27/483.37	c fallback to adder encoding
484.63/485.78	o 1417
484.63/485.78	c fallback to adder encoding
488.54/489.71	o 1416
488.54/489.71	c fallback to adder encoding
490.54/491.77	o 1415
490.54/491.77	c fallback to adder encoding
493.14/494.34	o 1409
493.14/494.34	c fallback to adder encoding
495.50/496.71	o 1408
495.50/496.71	c fallback to adder encoding
498.37/499.61	o 1402
498.37/499.61	c fallback to adder encoding
500.87/502.11	o 1396
500.87/502.11	c fallback to adder encoding
504.61/505.80	o 1394
504.61/505.80	c fallback to adder encoding
507.36/508.61	o 1378
507.36/508.61	c fallback to adder encoding
508.88/510.12	o 1377
508.88/510.12	c fallback to adder encoding
511.58/512.82	o 1352
511.58/512.82	c fallback to adder encoding
513.48/514.74	o 1348
513.48/514.74	c fallback to adder encoding
516.97/518.23	o 1344
516.97/518.23	c fallback to adder encoding
520.75/522.09	o 1343
520.75/522.09	c fallback to adder encoding
523.66/524.96	o 1341
523.66/524.96	c fallback to adder encoding
526.14/527.42	o 1318
526.14/527.42	c fallback to adder encoding
529.56/530.87	o 1316
529.56/530.87	c fallback to adder encoding
532.72/534.00	o 1315
532.72/534.00	c fallback to adder encoding
534.54/535.86	o 1312
534.54/535.86	c fallback to adder encoding
537.04/538.33	o 1311
537.04/538.33	c fallback to adder encoding
539.70/541.07	o 1308
539.70/541.07	c fallback to adder encoding
543.18/544.52	o 1306
543.18/544.52	c fallback to adder encoding
545.49/546.89	o 1297
545.49/546.89	c fallback to adder encoding
550.26/551.61	o 1296
550.26/551.61	c fallback to adder encoding
552.07/553.43	o 1295
552.07/553.43	c fallback to adder encoding
553.67/555.09	o 1289
553.67/555.09	c fallback to adder encoding
555.97/557.46	o 1286
555.97/557.46	c fallback to adder encoding
559.25/560.71	o 1285
559.25/560.71	c fallback to adder encoding
561.33/562.81	o 1284
561.33/562.81	c fallback to adder encoding
563.97/565.49	o 1282
563.97/565.49	c fallback to adder encoding
567.95/569.46	o 1280
567.95/569.46	c fallback to adder encoding
569.94/571.45	o 1261
569.94/571.45	c fallback to adder encoding
572.64/574.19	o 1250
572.64/574.19	c fallback to adder encoding
575.25/576.74	o 1249
575.25/576.74	c fallback to adder encoding
578.15/579.63	o 1233
578.15/579.63	c fallback to adder encoding
581.01/582.52	o 1227
581.01/582.52	c fallback to adder encoding
585.02/586.52	o 1225
585.02/586.52	c fallback to adder encoding
588.31/589.89	o 1219
588.31/589.89	c fallback to adder encoding
590.51/592.02	o 1216
590.51/592.02	c fallback to adder encoding
594.11/595.66	o 1215
594.11/595.66	c fallback to adder encoding
595.90/597.46	o 1203
595.90/597.46	c fallback to adder encoding
598.89/600.42	o 1202
598.89/600.42	c fallback to adder encoding
601.10/602.65	o 1199
601.10/602.65	c fallback to adder encoding
603.77/605.35	o 1186
603.77/605.35	c fallback to adder encoding
605.28/606.89	o 1184
605.28/606.89	c fallback to adder encoding
607.78/609.32	o 1182
607.78/609.32	c fallback to adder encoding
609.65/611.21	o 1180
609.65/611.21	c fallback to adder encoding
612.47/614.07	o 1172
612.47/614.07	c fallback to adder encoding
614.97/616.53	o 1162
614.97/616.53	c fallback to adder encoding
617.66/619.27	o 1161
617.66/619.27	c fallback to adder encoding
621.21/622.82	o 1158
621.21/622.82	c fallback to adder encoding
623.91/625.52	o 1157
623.91/625.52	c fallback to adder encoding
628.01/629.68	o 1156
628.01/629.68	c fallback to adder encoding
630.71/632.38	o 1145
630.71/632.38	c fallback to adder encoding
632.47/634.11	o 1140
632.47/634.11	c fallback to adder encoding
634.71/636.39	o 1139
634.71/636.39	c fallback to adder encoding
636.91/638.58	o 1136
636.91/638.58	c fallback to adder encoding
639.01/640.66	o 1115
639.01/640.66	c fallback to adder encoding
641.48/643.18	o 1113
641.48/643.18	c fallback to adder encoding
643.75/645.41	o 1107
643.75/645.41	c fallback to adder encoding
645.36/647.01	o 1104
645.36/647.01	c fallback to adder encoding
648.06/649.75	o 1103
648.06/649.75	c fallback to adder encoding
651.78/653.46	o 1102
651.78/653.46	c fallback to adder encoding
655.76/657.45	o 1101
655.76/657.45	c fallback to adder encoding
658.15/659.88	o 1099
658.15/659.88	c fallback to adder encoding
661.42/663.10	o 1098
661.42/663.10	c fallback to adder encoding
664.04/665.75	o 1091
664.04/665.75	c fallback to adder encoding
669.54/671.25	o 1088
669.54/671.25	c fallback to adder encoding
671.71/673.40	o 1085
671.71/673.40	c fallback to adder encoding
674.03/675.74	o 1082
674.03/675.74	c fallback to adder encoding
678.40/680.11	o 1081
678.40/680.11	c fallback to adder encoding
680.21/681.93	o 1075
680.21/681.93	c fallback to adder encoding
685.08/686.82	o 1066
685.08/686.82	c fallback to adder encoding
687.77/689.51	o 1065
687.77/689.51	c fallback to adder encoding
689.29/691.04	o 1064
689.29/691.04	c fallback to adder encoding
689.40/693.14	o 1058
689.40/693.14	c fallback to adder encoding
693.96/695.77	o 1052
693.96/695.77	c fallback to adder encoding
696.37/698.14	o 1048
696.37/698.14	c fallback to adder encoding
697.66/699.46	o 1047
697.66/699.46	c fallback to adder encoding
699.02/700.81	o 1046
699.02/700.81	c fallback to adder encoding
701.30/703.20	o 1041
701.30/703.20	c fallback to adder encoding
703.40/705.29	o 1036
703.40/705.29	c fallback to adder encoding
705.89/707.72	o 1032
705.89/707.72	c fallback to adder encoding
707.78/709.61	o 1025
707.78/709.61	c fallback to adder encoding
711.29/713.15	o 1006
711.29/713.15	c fallback to adder encoding
712.99/714.85	o 1000
712.99/714.85	c fallback to adder encoding
716.40/718.26	o 998
716.40/718.26	c fallback to adder encoding
718.61/720.41	o 992
718.61/720.41	c fallback to adder encoding
721.90/723.76	o 991
721.90/723.76	c fallback to adder encoding
724.21/726.04	o 990
724.21/726.04	c fallback to adder encoding
726.78/728.63	o 989
726.78/728.63	c fallback to adder encoding
728.76/730.62	o 985
728.76/730.62	c fallback to adder encoding
732.07/733.93	o 980
732.07/733.93	c fallback to adder encoding
733.06/734.92	o 978
733.06/734.92	c fallback to adder encoding
734.87/736.77	o 958
734.87/736.77	c fallback to adder encoding
736.46/738.32	o 951
736.46/738.32	c fallback to adder encoding
738.07/739.99	o 943
738.07/739.99	c fallback to adder encoding
739.87/741.73	o 940
739.87/741.73	c fallback to adder encoding
741.78/743.64	o 938
741.78/743.64	c fallback to adder encoding
743.36/745.28	o 937
743.36/745.28	c fallback to adder encoding
746.76/748.67	o 930
746.76/748.67	c fallback to adder encoding
748.75/750.64	o 907
748.75/750.64	c fallback to adder encoding
750.35/752.23	o 897
750.35/752.23	c fallback to adder encoding
751.56/753.49	o 892
751.56/753.49	c fallback to adder encoding
754.06/755.96	o 879
754.06/755.96	c fallback to adder encoding
755.26/757.13	o 874
755.26/757.13	c fallback to adder encoding
757.95/759.84	o 871
757.95/759.84	c fallback to adder encoding
759.94/761.88	o 865
759.94/761.88	c fallback to adder encoding
761.05/762.91	o 862
761.05/762.91	c fallback to adder encoding
762.54/764.47	o 860
762.54/764.47	c fallback to adder encoding
764.24/766.17	o 859
764.24/766.17	c fallback to adder encoding
767.33/769.30	o 847
767.33/769.30	c fallback to adder encoding
768.55/770.44	o 845
768.55/770.44	c fallback to adder encoding
769.65/771.54	o 838
769.65/771.54	c fallback to adder encoding
771.94/773.87	o 837
771.94/773.87	c fallback to adder encoding
772.83/774.71	o 829
772.83/774.71	c fallback to adder encoding
773.26/775.12	o 824
773.26/775.12	c fallback to adder encoding
775.45/777.37	o 823
775.45/777.37	c fallback to adder encoding
776.63/778.56	o 818
776.63/778.56	c fallback to adder encoding
777.72/779.66	o 798
777.72/779.66	c fallback to adder encoding
779.31/781.21	o 797
779.31/781.21	c fallback to adder encoding
780.61/782.53	o 792
780.61/782.53	c fallback to adder encoding
781.60/783.55	o 789
781.60/783.55	c fallback to adder encoding
784.11/786.00	o 786
784.11/786.00	c fallback to adder encoding
785.98/787.92	o 785
785.98/787.92	c fallback to adder encoding
786.98/788.94	o 781
786.98/788.94	c fallback to adder encoding
788.77/790.78	o 776
788.77/790.78	c fallback to adder encoding
790.27/792.25	o 773
790.27/792.25	c fallback to adder encoding
791.98/793.90	o 772
791.98/793.90	c fallback to adder encoding
793.38/795.39	o 769
793.38/795.39	c fallback to adder encoding
794.58/796.53	o 768
794.58/796.53	c fallback to adder encoding
795.96/797.91	o 763
795.96/797.91	c fallback to adder encoding
796.88/798.87	o 754
796.88/798.87	c fallback to adder encoding
797.77/799.79	o 749
797.77/799.79	c fallback to adder encoding
799.36/801.37	o 734
799.36/801.37	c fallback to adder encoding
800.67/802.65	o 712
800.67/802.65	c fallback to adder encoding
801.93/803.90	o 698
801.93/803.90	c fallback to adder encoding
803.03/805.09	o 694
803.03/805.09	c fallback to adder encoding
804.63/806.66	o 692
804.63/806.66	c fallback to adder encoding
805.52/807.56	o 688
805.52/807.56	c fallback to adder encoding
806.83/808.83	o 686
806.83/808.83	c fallback to adder encoding
808.28/810.30	o 685
808.28/810.30	c fallback to adder encoding
809.10/811.12	o 684
809.10/811.12	c fallback to adder encoding
809.60/811.62	o 509
809.60/811.62	c fallback to adder encoding
809.91/811.98	o 505
809.91/811.98	c fallback to adder encoding
810.02/812.56	o 504
810.02/812.56	c fallback to adder encoding
810.61/812.75	o 501
810.61/812.75	c fallback to adder encoding
811.11/813.12	o 396
811.11/813.12	c fallback to adder encoding
811.98/814.00	o 394
811.98/814.00	c fallback to adder encoding
812.00/814.35	o 389
812.00/814.35	c fallback to adder encoding
812.35/814.66	o 385
812.35/814.66	c fallback to adder encoding
812.65/814.93	o 384
812.65/814.93	c fallback to adder encoding
813.05/815.18	o 345
813.05/815.18	c fallback to adder encoding
813.18/815.37	o 335
813.18/815.37	c fallback to adder encoding
813.37/815.64	o 326
813.37/815.64	c fallback to adder encoding
813.63/815.77	o 325
813.63/815.77	c fallback to adder encoding
813.76/815.98	o 294
815.77/817.93	o 272
816.66/818.82	o 225
817.02/819.14	o 224
817.35/819.43	o 189
817.41/819.56	o 188
817.67/819.70	o 178
817.73/819.82	o 177
817.86/819.95	o 172
817.93/820.01	c display solution
817.93/820.01	s OPTIMUM FOUND
817.93/820.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	172

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-3715117-1338225587/watcher-3715117-1338225587 -o /tmp/evaluation-result-3715117-1338225587/solver-3715117-1338225587 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715117-1338225587.wbo 63021410 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.03 2.01 2.00 3/179 17658
/proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0

[startup+0.00922795 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17658
/proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100212 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17658
/proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300233 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17658
/proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.70021 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 17658
/proc/meminfo: memFree=31228284/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 17672
/proc/meminfo: memFree=31202360/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=7212 CPUtime=0.11 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 2999 5612 0 0 7 1 2 1 20 0 1 0 288685488 7385088 1418 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 1803 1418 165 439 0 1360 0
[pid=17671] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17671/stat : 17671 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288685500 9367552 267 33554432000 4194304 5064252 140736154321168 140736154320080 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17671/statm: 2287 267 226 213 0 72 0
[pid=17672] ppid=17671 vsize=16764 CPUtime=1.36 cores=1,3,5,7
/proc/17672/stat : 17672 (glucose) R 17671 17658 29981 0 -1 4202496 3576 0 0 0 136 0 0 0 20 0 1 0 288685500 17166336 3559 33554432000 4194304 5208918 140733417811872 140733417809720 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17672/statm: 4191 3559 105 248 0 3940 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42272

[startup+3.10029 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 17679
/proc/meminfo: memFree=31205276/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11304 CPUtime=2.22 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 4686 12408 0 0 13 2 204 3 20 0 1 0 288685488 11575296 2378 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 2826 2378 165 439 0 2383 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 20452
heavy processes:

[startup+6.3004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 17693
/proc/meminfo: memFree=31200984/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11304 CPUtime=4.71 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 6374 20418 0 0 19 3 443 6 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 2826 2379 166 439 0 2383 0
[pid=17692] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17692/stat : 17692 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288685962 9367552 267 33554432000 4194304 5064252 140735233880240 140735233879152 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17692/statm: 2287 267 226 213 0 72 0
[pid=17693] ppid=17692 vsize=16700 CPUtime=1.54 cores=1,3,5,7
/proc/17693/stat : 17693 (glucose) R 17692 17658 29981 0 -1 4202496 3584 0 0 0 154 0 0 0 20 0 1 0 288685962 17100800 3562 33554432000 4194304 5208918 140735823648784 140735823646744 4231508 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17693/statm: 4175 3562 105 248 0 3924 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 46300

[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 17714
/proc/meminfo: memFree=31192732/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11304 CPUtime=9.97 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 9748 36024 0 0 31 4 949 13 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 2826 2379 166 439 0 2383 0
[pid=17713] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17713/stat : 17713 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288686487 9367552 266 33554432000 4194304 5064252 140736572406592 140736572405504 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17713/statm: 2287 266 226 213 0 72 0
[pid=17714] ppid=17713 vsize=16928 CPUtime=2.68 cores=1,3,5,7
/proc/17714/stat : 17714 (glucose) R 17713 17658 29981 0 -1 4202496 4891 0 0 0 267 1 0 0 20 0 1 0 288686488 17334272 3674 33554432000 4194304 5208918 140735067353824 140735067351784 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17714/statm: 4232 3674 105 248 0 3981 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 46528

[startup+25.5004 s]
/proc/loadavg: 2.02 2.01 2.00 3/184 17752
/proc/meminfo: memFree=31201644/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11304 CPUtime=24.41 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 14809 59098 0 0 49 7 2359 26 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 2826 2379 166 439 0 2383 0
[pid=17751] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17751/stat : 17751 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288687933 9367552 267 33554432000 4194304 5064252 140737246370496 140737246369408 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17751/statm: 2287 267 226 213 0 72 0
[pid=17752] ppid=17751 vsize=16540 CPUtime=1.03 cores=1,3,5,7
/proc/17752/stat : 17752 (glucose) R 17751 17658 29981 0 -1 4202496 4242 0 0 0 102 1 0 0 20 0 1 0 288687934 16936960 3479 33554432000 4194304 5208918 140734612773616 140734612771288 4211665 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17752/statm: 4135 3479 104 248 0 3884 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46140

[startup+51.1004 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 17808
/proc/meminfo: memFree=31193164/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11304 CPUtime=48.49 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 24931 106508 0 0 85 12 4705 47 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 2826 2379 166 439 0 2383 0
[pid=17807] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17807/stat : 17807 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288690342 9367552 267 33554432000 4194304 5064252 140735020602400 140735020601312 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17807/statm: 2287 267 226 213 0 72 0
[pid=17808] ppid=17807 vsize=16828 CPUtime=2.54 cores=1,3,5,7
/proc/17808/stat : 17808 (glucose) R 17807 17658 29981 0 -1 4202496 3746 0 0 0 254 0 0 0 20 0 1 0 288690342 17231872 3728 33554432000 4194304 5208918 140733668508384 140733668506056 4229354 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17808/statm: 4207 3728 105 248 0 3956 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 46428

[startup+102.307 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 17997
/proc/meminfo: memFree=31201372/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11304 CPUtime=101.79 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 53610 236440 0 0 187 26 9859 107 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 2826 2379 166 439 0 2383 0
[pid=17996] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17996/stat : 17996 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288695675 9367552 267 33554432000 4194304 5064252 140736247214032 140736247212944 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/17996/statm: 2287 267 226 213 0 72 0
[pid=17997] ppid=17996 vsize=14428 CPUtime=0.41 cores=1,3,5,7
/proc/17997/stat : 17997 (glucose) R 17996 17658 29981 0 -1 4202496 3879 0 0 0 41 0 0 0 20 0 1 0 288695675 14774272 3255 33554432000 4194304 5208918 140737161542288 140736247212968 4211162 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/17997/statm: 3607 3255 104 248 0 3356 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 44028

[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 18194
/proc/meminfo: memFree=31189548/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11304 CPUtime=161.85 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 89037 397036 0 0 312 45 15648 180 20 0 1 0 288685488 11575296 2379 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/17659/statm: 2826 2379 166 439 0 2383 0
Current children cumulated CPU time (s) 161.85
Current children cumulated vsize (KiB) 20452

[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 18418
/proc/meminfo: memFree=31187636/32873648 swapFree=6852/6852

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

/proc/meminfo: memFree=31228780/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11176 CPUtime=760.09 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 430244 1945833 0 0 1482 214 73443 870 20 0 1 0 288685488 11444224 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/17659/statm: 2794 2192 166 439 0 2351 0
[pid=20858] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20858/stat : 20858 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288761681 9367552 267 33554432000 4194304 5064252 140735563081904 140735563080816 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20858/statm: 2287 267 226 213 0 72 0
[pid=20859] ppid=20858 vsize=12432 CPUtime=0.36 cores=1,3,5,7
/proc/20859/stat : 20859 (glucose) R 20858 17658 29981 0 -1 4202496 3048 0 0 0 36 0 0 0 20 0 1 0 288761681 12730368 2574 33554432000 4194304 5208918 140736526004128 140735563080840 4211635 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20859/statm: 3108 2574 104 248 0 2857 0
Current children cumulated CPU time (s) 760.45
Current children cumulated vsize (KiB) 41904

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

[startup+767.9 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 20908
/proc/meminfo: memFree=31214632/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11176 CPUtime=764.37 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 434747 1965293 0 0 1495 216 73849 877 20 0 1 0 288685488 11444224 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/17659/statm: 2794 2192 166 439 0 2351 0
[pid=20900] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20900/stat : 20900 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288762110 9367552 265 33554432000 4194304 5064252 140736808969120 140736808968032 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/20900/statm: 2287 265 226 213 0 72 0
[pid=20901] ppid=20900 vsize=14392 CPUtime=1.66 cores=1,3,5,7
/proc/20901/stat : 20901 (glucose) R 20900 17658 29981 0 -1 4202496 2469 0 0 0 166 0 0 0 20 0 1 0 288762110 14737408 2860 33554432000 4194304 5208918 140735822223840 140735822221800 4211584 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/20901/statm: 3598 2860 104 248 0 3347 0
Current children cumulated CPU time (s) 766.03
Current children cumulated vsize (KiB) 43864

[startup+793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21168
/proc/meminfo: memFree=31219208/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11128 CPUtime=790.39 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 460264 2070944 0 0 1564 227 76326 922 20 0 1 0 288685488 11395072 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/17659/statm: 2782 2192 166 439 0 2339 0
[pid=21167] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21167/stat : 21167 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288764717 9367552 267 33554432000 4194304 5064252 140734224828992 140734224827904 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21167/statm: 2287 267 226 213 0 72 0
[pid=21168] ppid=21167 vsize=11632 CPUtime=1.19 cores=1,3,5,7
/proc/21168/stat : 21168 (glucose) R 21167 17658 29981 0 -1 4202496 2876 0 0 0 119 0 0 0 20 0 1 0 288764718 11911168 2602 33554432000 4194304 5208918 140737040623216 140737040621176 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21168/statm: 2908 2602 104 248 0 2657 0
Current children cumulated CPU time (s) 791.58
Current children cumulated vsize (KiB) 41056

[startup+806.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21315
/proc/meminfo: memFree=31225724/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11092 CPUtime=803.18 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 475274 2130385 0 0 1602 233 77536 947 20 0 1 0 288685488 11358208 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 12 0 0
/proc/17659/statm: 2773 2192 166 439 0 2330 0
[pid=21307] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21307/stat : 21307 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288766001 9367552 267 33554432000 4194304 5064252 140735294834320 140735294833232 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21307/statm: 2287 267 226 213 0 72 0
[pid=21308] ppid=21307 vsize=11120 CPUtime=1.15 cores=1,3,5,7
/proc/21308/stat : 21308 (glucose) R 21307 17658 29981 0 -1 4202496 2944 0 0 0 115 0 0 0 20 0 1 0 288766001 11386880 2427 33554432000 4194304 5208918 140735870571392 140735870569544 4205227 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21308/statm: 2780 2427 104 248 0 2529 0
Current children cumulated CPU time (s) 804.33
Current children cumulated vsize (KiB) 40508

[startup+812.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 21388
/proc/meminfo: memFree=31231868/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=6864 CPUtime=810.61 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 485754 2176267 0 0 1626 237 78234 964 20 0 1 0 288685488 7028736 1176 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/17659/statm: 1716 1176 166 439 0 1273 0
Current children cumulated CPU time (s) 810.61
Current children cumulated vsize (KiB) 16012

[startup+815.9 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 21490
/proc/meminfo: memFree=31231384/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=6864 CPUtime=813.76 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 493065 2224978 0 0 1642 239 78516 979 20 0 1 0 288685488 7028736 1179 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/17659/statm: 1716 1179 166 439 0 1273 0
Current children cumulated CPU time (s) 813.76
Current children cumulated vsize (KiB) 16012

[startup+817.5 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 21560
/proc/meminfo: memFree=31211044/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=11076 CPUtime=814 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 494565 2229960 0 0 1646 240 78534 980 20 0 1 0 288685488 11341824 2192 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/17659/statm: 2769 2192 166 439 0 2326 0
[pid=21545] ppid=17659 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21545/stat : 21545 (satsolver.sh) S 17659 17658 29981 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288767090 9367552 267 33554432000 4194304 5064252 140736935188016 140736935186928 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21545/statm: 2287 267 226 213 0 72 0
[pid=21546] ppid=21545 vsize=27236 CPUtime=1.46 cores=1,3,5,7
/proc/21546/stat : 21546 (glucose) R 21545 17658 29981 0 -1 4202496 5854 0 0 0 145 1 0 0 20 0 1 0 288767091 27889664 6194 33554432000 4194304 5208918 140735455242368 140735455240216 4228947 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21546/statm: 6809 6194 95 248 0 6558 0
Current children cumulated CPU time (s) 815.46
Current children cumulated vsize (KiB) 56608

[startup+819.1 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 21581
/proc/meminfo: memFree=31211112/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=6816 CPUtime=817.02 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 497088 2252130 0 0 1651 241 78813 997 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/17659/statm: 1704 1194 166 439 0 1261 0
Current children cumulated CPU time (s) 817.02
Current children cumulated vsize (KiB) 15964

[startup+819.507 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 21612
/proc/meminfo: memFree=31230812/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=6816 CPUtime=817.41 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 498708 2261848 0 0 1654 242 78840 1005 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/17659/statm: 1704 1194 166 439 0 1261 0
Current children cumulated CPU time (s) 817.41
Current children cumulated vsize (KiB) 15964

[startup+819.9 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 21612
/proc/meminfo: memFree=31230812/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=6816 CPUtime=817.86 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 500517 2282284 0 0 1658 242 78870 1016 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/17659/statm: 1704 1194 166 439 0 1261 0
Current children cumulated CPU time (s) 817.86
Current children cumulated vsize (KiB) 15964

[startup+820 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 21612
/proc/meminfo: memFree=31230812/32873648 swapFree=6852/6852
[pid=17658] ppid=17656 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17658/stat : 17658 (npSolver-wbo-It) S 17656 17658 29981 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 288685487 9367552 275 33554432000 4194304 5064252 140733263902096 140733263901008 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17658/statm: 2287 275 233 213 0 72 0
[pid=17659] ppid=17658 vsize=6816 CPUtime=817.93 cores=1,3,5,7
/proc/17659/stat : 17659 (npSolver-wbo) S 17658 17658 29981 0 -1 4202496 501087 2285281 0 0 1660 242 78873 1018 20 0 1 0 288685488 6979584 1194 33554432000 4194304 5990268 140734527505376 140734527496800 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 14 0 0
/proc/17659/statm: 1704 1194 166 439 0 1261 0
Current children cumulated CPU time (s) 817.93
Current children cumulated vsize (KiB) 15964

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): 1.88
#  lost CPU user time (s): 1.88
#  lost CPU system time (s): 0

Real time (s): 820.021
CPU time (s): 819.886
CPU user time (s): 807.259
CPU system time (s): 12.6271
CPU usage (%): 99.9834
Max. virtual memory (cumulated for all children) (KiB): 57228

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 805.379
system time used= 12.6271
maximum resident set size= 25200
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2792752
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2239992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12229
involuntary context switches= 5991

runsolver used 1.85172 second user time and 4.5753 second system time

The end

Launcher Data

Begin job on node115 at 2012-05-28 19:19:47
IDJOB=3715117
IDBENCH=79406
IDSOLVER=2296
FILE ID=node115/3715117-1338225587
RUNJOBID= node115-1338195070-29998
PBS_JOBID= 14624604
Free space on /tmp= 71632 MiB

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

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

MD5SUM BENCH= 540e5098c207f1245411172896d943a2
RANDOM SEED=63021410

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        31228184 kB
Buffers:          435208 kB
Cached:           314580 kB
SwapCached:          972 kB
Active:           654436 kB
Inactive:         131808 kB
Active(anon):      29320 kB
Inactive(anon):     9244 kB
Active(file):     625116 kB
Inactive(file):   122564 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106424 kB
Dirty:             12516 kB
Writeback:             0 kB
AnonPages:         41612 kB
Mapped:            12740 kB
Shmem:                96 kB
Slab:             721756 kB
SReclaimable:     165324 kB
SUnreclaim:       556432 kB
KernelStack:        1488 kB
PageTables:         4232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     153676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71628 MiB
End job on node115 at 2012-05-28 19:33:27