0.00/0.01	c run usual solver
0.00/0.05	o 6533
0.00/0.05	c fallback to adder encoding
3.06/3.17	o 6528
3.06/3.17	c fallback to adder encoding
6.01/6.16	o 6527
6.01/6.16	c fallback to adder encoding
10.22/10.42	o 6526
10.22/10.42	c fallback to adder encoding
14.01/14.23	o 6519
14.01/14.23	c fallback to adder encoding
18.80/19.00	o 6511
18.80/19.00	c fallback to adder encoding
22.92/23.11	o 6509
22.92/23.11	c fallback to adder encoding
25.12/25.37	o 6503
25.12/25.37	c fallback to adder encoding
30.42/30.69	o 6502
30.42/30.69	c fallback to adder encoding
34.61/34.84	o 6497
34.61/34.84	c fallback to adder encoding
39.22/39.42	o 6485
39.22/39.42	c fallback to adder encoding
45.55/45.80	o 6483
45.55/45.80	c fallback to adder encoding
49.28/49.52	o 6479
49.28/49.52	c fallback to adder encoding
56.27/56.57	o 6475
56.27/56.57	c fallback to adder encoding
60.28/60.54	o 6474
60.28/60.54	c fallback to adder encoding
63.87/64.18	o 6468
63.87/64.18	c fallback to adder encoding
67.87/68.13	o 6467
67.87/68.13	c fallback to adder encoding
73.59/73.85	o 6248
73.59/73.85	c fallback to adder encoding
78.55/78.98	o 6213
78.55/78.98	c fallback to adder encoding
83.49/83.94	o 6208
83.49/83.94	c fallback to adder encoding
88.56/89.07	o 6202
88.56/89.07	c fallback to adder encoding
92.53/93.09	o 6199
92.53/93.09	c fallback to adder encoding
97.63/98.19	o 6190
97.63/98.19	c fallback to adder encoding
101.71/102.22	o 6188
101.71/102.22	c fallback to adder encoding
103.72/104.26	o 6180
103.72/104.26	c fallback to adder encoding
109.34/109.86	o 6176
109.34/109.86	c fallback to adder encoding
114.20/114.70	o 6167
114.20/114.70	c fallback to adder encoding
117.27/117.84	o 6166
117.27/117.84	c fallback to adder encoding
122.52/123.14	o 6165
122.52/123.14	c fallback to adder encoding
124.71/125.34	o 6154
124.71/125.34	c fallback to adder encoding
128.98/129.61	o 4094
128.98/129.61	c fallback to adder encoding
132.55/133.21	o 4092
132.55/133.21	c fallback to adder encoding
135.01/135.72	o 4091
135.01/135.72	c fallback to adder encoding
136.70/137.42	o 4084
136.70/137.42	c fallback to adder encoding
139.49/140.26	o 4070
139.49/140.26	c fallback to adder encoding
143.32/144.07	o 4066
143.32/144.07	c fallback to adder encoding
145.87/146.68	o 4064
145.87/146.68	c fallback to adder encoding
148.37/149.11	o 4063
148.37/149.11	c fallback to adder encoding
151.25/152.06	o 4054
151.25/152.06	c fallback to adder encoding
154.25/155.04	o 4037
154.25/155.04	c fallback to adder encoding
159.83/160.70	o 4034
159.83/160.70	c fallback to adder encoding
163.73/164.56	o 4028
163.73/164.56	c fallback to adder encoding
169.31/170.11	o 4027
169.31/170.11	c fallback to adder encoding
172.53/173.33	o 4025
172.53/173.33	c fallback to adder encoding
174.41/175.21	o 4023
174.41/175.21	c fallback to adder encoding
178.54/179.31	o 4018
178.54/179.31	c fallback to adder encoding
182.05/182.93	o 4017
182.05/182.93	c fallback to adder encoding
186.33/187.24	o 3996
186.33/187.24	c fallback to adder encoding
190.39/191.30	o 3988
190.39/191.30	c fallback to adder encoding
192.63/193.58	o 3986
192.63/193.58	c fallback to adder encoding
196.79/197.87	o 3984
196.79/197.87	c fallback to adder encoding
199.58/200.62	o 3983
199.58/200.62	c fallback to adder encoding
204.08/205.19	o 3978
204.08/205.19	c fallback to adder encoding
207.69/208.77	o 3976
207.69/208.77	c fallback to adder encoding
212.39/213.44	o 3972
212.39/213.44	c fallback to adder encoding
217.37/218.45	o 3971
217.37/218.45	c fallback to adder encoding
221.58/222.63	o 3960
221.58/222.63	c fallback to adder encoding
225.58/226.61	o 3956
225.58/226.61	c fallback to adder encoding
228.48/229.53	o 3955
228.48/229.53	c fallback to adder encoding
231.19/232.24	o 3949
231.19/232.24	c fallback to adder encoding
234.87/235.99	o 3941
234.87/235.99	c fallback to adder encoding
239.36/240.41	o 3935
239.36/240.41	c fallback to adder encoding
240.67/241.74	o 3930
240.67/241.74	c fallback to adder encoding
244.47/245.53	o 3925
244.47/245.53	c fallback to adder encoding
247.16/248.26	o 3909
247.16/248.26	c fallback to adder encoding
249.37/250.46	o 3899
249.37/250.46	c fallback to adder encoding
255.36/256.46	o 3897
255.36/256.46	c fallback to adder encoding
257.75/258.87	o 3896
257.75/258.87	c fallback to adder encoding
261.96/263.08	o 3894
261.96/263.08	c fallback to adder encoding
266.83/267.91	o 3892
266.83/267.91	c fallback to adder encoding
269.94/271.06	o 3880
269.94/271.06	c fallback to adder encoding
274.05/275.14	o 3878
274.05/275.14	c fallback to adder encoding
280.13/281.27	o 3877
280.13/281.27	c fallback to adder encoding
285.22/286.39	o 3873
285.22/286.39	c fallback to adder encoding
290.33/291.45	o 3863
290.33/291.45	c fallback to adder encoding
296.94/298.04	o 3862
296.94/298.04	c fallback to adder encoding
301.31/302.41	o 3853
301.31/302.41	c fallback to adder encoding
306.21/307.48	o 3848
306.21/307.48	c fallback to adder encoding
311.67/312.99	o 3840
311.67/312.99	c fallback to adder encoding
314.34/315.60	o 3838
314.34/315.60	c fallback to adder encoding
317.67/318.97	o 3835
317.67/318.97	c fallback to adder encoding
319.36/320.68	o 3830
319.36/320.68	c fallback to adder encoding
324.13/325.40	o 3821
324.13/325.40	c fallback to adder encoding
328.76/330.07	o 3810
328.76/330.07	c fallback to adder encoding
330.86/332.13	o 3809
330.86/332.13	c fallback to adder encoding
334.86/336.19	o 3808
334.86/336.19	c fallback to adder encoding
337.98/339.24	o 3787
337.98/339.24	c fallback to adder encoding
342.75/344.09	o 3786
342.75/344.09	c fallback to adder encoding
346.36/347.64	o 3785
346.36/347.64	c fallback to adder encoding
350.76/352.06	o 3782
350.76/352.06	c fallback to adder encoding
354.95/356.27	o 3755
354.95/356.27	c fallback to adder encoding
358.73/360.01	o 3739
358.73/360.01	c fallback to adder encoding
364.95/366.27	o 3730
364.95/366.27	c fallback to adder encoding
368.05/369.38	o 3718
368.05/369.38	c fallback to adder encoding
370.84/372.19	o 3480
370.84/372.19	c fallback to adder encoding
373.58/374.90	o 3477
373.58/374.90	c fallback to adder encoding
377.98/379.38	o 3468
377.98/379.38	c fallback to adder encoding
382.47/383.88	o 3460
382.47/383.88	c fallback to adder encoding
387.66/389.02	o 3459
387.66/389.02	c fallback to adder encoding
391.77/393.13	o 3458
391.77/393.13	c fallback to adder encoding
394.47/395.87	o 3456
394.47/395.87	c fallback to adder encoding
396.68/398.06	o 3438
396.68/398.06	c fallback to adder encoding
401.95/403.30	o 3390
401.95/403.30	c fallback to adder encoding
405.66/407.02	o 3378
405.66/407.02	c fallback to adder encoding
407.55/408.98	o 3376
407.55/408.98	c fallback to adder encoding
411.07/412.47	o 3363
411.07/412.47	c fallback to adder encoding
419.37/420.79	o 3362
419.37/420.79	c fallback to adder encoding
425.35/426.72	o 3361
425.35/426.72	c fallback to adder encoding
430.46/431.88	o 3355
430.46/431.88	c fallback to adder encoding
435.06/436.49	o 3347
435.06/436.49	c fallback to adder encoding
441.35/442.73	o 3343
441.35/442.73	c fallback to adder encoding
446.76/448.13	o 3332
446.76/448.13	c fallback to adder encoding
450.35/451.77	o 3328
450.35/451.77	c fallback to adder encoding
454.55/455.92	o 3296
454.55/455.92	c fallback to adder encoding
456.87/458.23	o 3288
456.87/458.23	c fallback to adder encoding
459.94/461.32	o 3284
459.94/461.32	c fallback to adder encoding
463.75/465.19	o 3278
463.75/465.19	c fallback to adder encoding
467.05/468.45	o 3273
467.05/468.45	c fallback to adder encoding
471.03/472.43	o 3272
471.03/472.43	c fallback to adder encoding
476.50/477.90	o 3075
476.50/477.90	c fallback to adder encoding
482.43/483.89	o 3069
482.43/483.89	c fallback to adder encoding
485.50/486.91	o 3063
485.50/486.91	c fallback to adder encoding
488.83/490.25	o 3058
488.83/490.25	c fallback to adder encoding
492.72/494.16	o 3048
492.72/494.16	c fallback to adder encoding
496.52/497.96	o 3047
496.52/497.96	c fallback to adder encoding
498.92/500.38	o 3010
498.92/500.38	c fallback to adder encoding
503.80/505.20	o 3009
503.80/505.20	c fallback to adder encoding
506.72/508.13	o 3001
506.72/508.13	c fallback to adder encoding
509.22/510.65	o 3000
509.22/510.65	c fallback to adder encoding
512.63/514.05	o 2999
512.63/514.05	c fallback to adder encoding
515.61/517.01	o 2994
515.61/517.01	c fallback to adder encoding
519.21/520.67	o 2992
519.21/520.67	c fallback to adder encoding
523.61/525.06	o 2985
523.61/525.06	c fallback to adder encoding
528.41/529.87	o 2983
528.41/529.87	c fallback to adder encoding
530.30/531.76	o 2967
530.30/531.76	c fallback to adder encoding
532.81/534.29	o 2956
532.81/534.29	c fallback to adder encoding
536.82/538.20	o 2954
536.82/538.20	c fallback to adder encoding
540.12/541.57	o 2951
540.12/541.57	c fallback to adder encoding
542.61/544.09	o 2950
542.61/544.09	c fallback to adder encoding
544.91/546.32	o 2947
544.91/546.32	c fallback to adder encoding
546.20/547.61	o 2946
546.20/547.61	c fallback to adder encoding
551.81/553.29	o 2944
551.81/553.29	c fallback to adder encoding
554.60/556.09	o 2929
554.60/556.09	c fallback to adder encoding
557.08/558.52	o 2916
557.08/558.52	c fallback to adder encoding
559.85/561.34	o 2911
559.85/561.34	c fallback to adder encoding
562.66/564.17	o 2889
562.66/564.17	c fallback to adder encoding
565.64/567.12	o 2888
565.64/567.12	c fallback to adder encoding
570.26/571.73	o 2885
570.26/571.73	c fallback to adder encoding
572.86/574.34	o 2884
572.86/574.34	c fallback to adder encoding
577.35/578.85	o 2882
577.35/578.85	c fallback to adder encoding
580.56/582.04	o 2874
580.56/582.04	c fallback to adder encoding
583.08/584.60	o 2860
583.08/584.60	c fallback to adder encoding
585.81/587.40	o 2854
585.81/587.40	c fallback to adder encoding
588.78/590.30	o 2853
588.78/590.30	c fallback to adder encoding
592.90/594.50	o 2850
592.90/594.50	c fallback to adder encoding
598.70/600.28	o 2848
598.70/600.28	c fallback to adder encoding
602.90/604.42	o 2836
602.90/604.42	c fallback to adder encoding
606.40/607.99	o 2834
606.40/607.99	c fallback to adder encoding
608.68/610.21	o 2824
608.68/610.21	c fallback to adder encoding
611.99/613.51	o 2817
611.99/613.51	c fallback to adder encoding
615.89/617.47	o 2816
615.89/617.47	c fallback to adder encoding
618.07/619.61	o 2811
618.07/619.61	c fallback to adder encoding
622.20/623.74	o 2809
622.20/623.74	c fallback to adder encoding
626.89/628.48	o 2805
626.89/628.48	c fallback to adder encoding
630.48/632.02	o 2800
630.48/632.02	c fallback to adder encoding
632.09/633.69	o 2788
632.09/633.69	c fallback to adder encoding
634.46/636.01	o 2787
634.46/636.01	c fallback to adder encoding
637.87/639.41	o 2786
637.87/639.41	c fallback to adder encoding
643.38/644.97	o 2785
643.38/644.97	c fallback to adder encoding
648.16/649.72	o 2730
648.16/649.72	c fallback to adder encoding
652.46/654.09	o 2710
652.46/654.09	c fallback to adder encoding
656.55/658.16	o 2708
656.55/658.16	c fallback to adder encoding
658.87/660.44	o 2707
658.87/660.44	c fallback to adder encoding
662.27/663.86	o 2706
662.27/663.86	c fallback to adder encoding
666.75/668.36	o 2703
666.75/668.36	c fallback to adder encoding
669.54/671.11	o 2692
669.54/671.11	c fallback to adder encoding
674.65/676.25	o 2691
674.65/676.25	c fallback to adder encoding
677.15/678.72	o 2683
677.15/678.72	c fallback to adder encoding
681.35/682.96	o 2679
681.35/682.96	c fallback to adder encoding
685.25/686.83	o 2678
685.25/686.83	c fallback to adder encoding
689.39/691.01	o 2657
689.39/691.01	c fallback to adder encoding
693.80/695.49	o 2646
693.80/695.49	c fallback to adder encoding
696.68/698.32	o 2644
696.68/698.32	c fallback to adder encoding
700.39/702.07	o 2635
700.39/702.07	c fallback to adder encoding
704.11/705.70	o 2628
704.11/705.70	c fallback to adder encoding
708.30/709.90	o 2604
708.30/709.90	c fallback to adder encoding
711.68/713.36	o 2599
711.68/713.36	c fallback to adder encoding
717.00/718.65	o 2597
717.00/718.65	c fallback to adder encoding
724.66/726.30	o 2594
724.66/726.30	c fallback to adder encoding
730.69/732.33	o 2592
730.69/732.33	c fallback to adder encoding
735.21/736.80	o 2578
735.21/736.80	c fallback to adder encoding
740.20/741.87	o 2573
740.20/741.87	c fallback to adder encoding
743.68/745.36	o 2569
743.68/745.36	c fallback to adder encoding
747.60/749.26	o 2563
747.60/749.26	c fallback to adder encoding
751.80/753.45	o 2560
751.80/753.45	c fallback to adder encoding
754.69/756.34	o 2552
754.69/756.34	c fallback to adder encoding
758.88/760.56	o 2546
758.88/760.56	c fallback to adder encoding
763.08/764.74	o 2533
763.08/764.74	c fallback to adder encoding
765.59/767.24	o 2525
765.59/767.24	c fallback to adder encoding
767.76/769.42	o 2523
767.76/769.42	c fallback to adder encoding
771.07/772.75	o 2506
771.07/772.75	c fallback to adder encoding
774.47/776.19	o 2503
774.47/776.19	c fallback to adder encoding
777.73/779.40	o 2496
777.73/779.40	c fallback to adder encoding
780.98/782.60	o 2486
780.98/782.60	c fallback to adder encoding
782.35/784.07	o 2455
782.35/784.07	c fallback to adder encoding
786.24/787.93	o 2453
786.24/787.93	c fallback to adder encoding
789.55/791.26	o 2450
789.55/791.26	c fallback to adder encoding
792.43/794.20	o 2436
792.43/794.20	c fallback to adder encoding
797.73/799.48	o 2432
797.73/799.48	c fallback to adder encoding
801.44/803.17	o 2431
801.44/803.17	c fallback to adder encoding
803.95/805.64	o 2429
803.95/805.64	c fallback to adder encoding
807.03/808.76	o 2427
807.03/808.76	c fallback to adder encoding
810.84/812.56	o 2425
810.84/812.56	c fallback to adder encoding
816.54/818.29	o 2420
816.54/818.29	c fallback to adder encoding
819.43/821.15	o 2419
819.43/821.15	c fallback to adder encoding
819.54/824.39	o 2417
819.54/824.39	c fallback to adder encoding
822.79/828.25	o 2409
822.79/828.25	c fallback to adder encoding
826.66/831.07	o 2407
826.66/831.07	c fallback to adder encoding
829.50/833.45	o 2406
829.50/833.45	c fallback to adder encoding
836.67/838.37	o 2405
836.67/838.37	c fallback to adder encoding
836.82/841.65	o 2394
836.82/841.65	c fallback to adder encoding
840.11/847.59	o 2393
840.11/847.59	c fallback to adder encoding
848.08/849.75	o 2388
848.08/849.75	c fallback to adder encoding
848.20/852.79	o 2377
848.20/852.79	c fallback to adder encoding
856.36/858.02	o 2375
856.36/858.02	c fallback to adder encoding
859.38/861.03	o 2350
859.38/861.03	c fallback to adder encoding
859.50/864.14	o 2344
859.50/864.14	c fallback to adder encoding
862.63/868.39	o 2343
862.63/868.39	c fallback to adder encoding
869.96/871.52	o 2341
869.96/871.52	c fallback to adder encoding
875.58/877.29	o 2340
875.58/877.29	c fallback to adder encoding
881.75/883.48	o 2335
881.75/883.48	c fallback to adder encoding
887.41/889.19	o 2329
887.41/889.19	c fallback to adder encoding
891.29/893.09	o 2323
891.29/893.09	c fallback to adder encoding
896.88/898.69	o 2322
896.88/898.69	c fallback to adder encoding
900.23/902.04	o 2314
900.23/902.04	c fallback to adder encoding
903.41/905.24	o 2313
903.41/905.24	c fallback to adder encoding
910.17/912.00	o 2304
910.17/912.00	c fallback to adder encoding
912.60/914.47	o 2298
912.60/914.47	c fallback to adder encoding
916.41/918.21	o 2283
916.41/918.21	c fallback to adder encoding
919.33/921.16	o 2281
919.33/921.16	c fallback to adder encoding
922.34/924.11	o 2278
922.34/924.11	c fallback to adder encoding
924.27/926.07	o 2273
924.27/926.07	c fallback to adder encoding
928.28/930.07	o 2272
928.28/930.07	c fallback to adder encoding
932.10/933.87	o 2269
932.10/933.87	c fallback to adder encoding
936.91/938.62	o 2268
936.91/938.62	c fallback to adder encoding
940.90/942.65	o 2258
940.90/942.65	c fallback to adder encoding
943.92/945.66	o 2252
943.92/945.66	c fallback to adder encoding
950.84/952.56	o 2242
950.84/952.56	c fallback to adder encoding
953.62/955.33	o 2229
953.62/955.33	c fallback to adder encoding
958.34/960.03	o 2214
958.34/960.03	c fallback to adder encoding
962.81/964.50	o 2212
962.81/964.50	c fallback to adder encoding
966.58/968.28	o 2211
966.58/968.28	c fallback to adder encoding
971.75/973.44	o 2210
971.75/973.44	c fallback to adder encoding
975.17/976.86	o 2200
975.17/976.86	c fallback to adder encoding
980.03/981.69	o 2193
980.03/981.69	c fallback to adder encoding
985.02/986.66	o 2188
985.02/986.66	c fallback to adder encoding
989.02/990.61	o 2184
989.02/990.61	c fallback to adder encoding
992.22/993.84	o 2183
992.22/993.84	c fallback to adder encoding
995.96/997.64	o 2178
995.96/997.64	c fallback to adder encoding
1000.80/1002.55	o 2177
1000.80/1002.55	c fallback to adder encoding
1005.54/1007.29	o 2176
1005.54/1007.29	c fallback to adder encoding
1005.66/1009.27	o 2171
1005.66/1009.27	c fallback to adder encoding
1010.94/1012.66	o 2168
1010.94/1012.66	c fallback to adder encoding
1013.02/1014.73	o 2161
1013.02/1014.73	c fallback to adder encoding
1014.84/1016.54	o 2158
1014.84/1016.54	c fallback to adder encoding
1018.96/1020.66	o 2154
1018.96/1020.66	c fallback to adder encoding
1022.94/1024.62	o 2140
1022.94/1024.62	c fallback to adder encoding
1024.79/1026.45	o 2139
1024.79/1026.45	c fallback to adder encoding
1028.24/1029.89	o 2130
1028.24/1029.89	c fallback to adder encoding
1031.66/1033.29	o 2129
1031.66/1033.29	c fallback to adder encoding
1035.38/1037.01	o 2128
1035.38/1037.01	c fallback to adder encoding
1035.49/1041.89	o 2125
1035.49/1041.89	c fallback to adder encoding
1040.38/1045.79	o 2124
1040.38/1045.79	c fallback to adder encoding
1048.08/1049.69	o 2123
1048.08/1049.69	c fallback to adder encoding
1048.21/1052.68	o 2119
1048.21/1052.68	c fallback to adder encoding
1054.04/1055.61	o 2116
1054.04/1055.61	c fallback to adder encoding
1054.16/1062.20	o 2115
1054.16/1062.20	c fallback to adder encoding
1066.59/1068.15	o 2082
1066.59/1068.15	c fallback to adder encoding
1071.40/1072.95	o 2063
1071.40/1072.95	c fallback to adder encoding
1075.00/1076.53	o 2062
1075.00/1076.53	c fallback to adder encoding
1079.26/1080.77	o 2056
1079.26/1080.77	c fallback to adder encoding
1083.38/1084.88	o 2051
1083.38/1084.88	c fallback to adder encoding
1088.78/1090.26	o 2049
1088.78/1090.26	c fallback to adder encoding
1091.14/1092.61	o 2048
1091.14/1092.61	c fallback to adder encoding
1091.26/1096.66	o 2045
1091.26/1096.66	c fallback to adder encoding
1097.49/1098.92	o 2044
1097.49/1098.92	c fallback to adder encoding
1097.61/1101.29	o 2041
1097.61/1101.29	c fallback to adder encoding
1104.53/1105.94	o 2035
1104.53/1105.94	c fallback to adder encoding
1104.65/1108.76	o 2031
1104.65/1108.76	c fallback to adder encoding
1108.97/1110.36	o 2027
1108.97/1110.36	c fallback to adder encoding
1109.10/1114.77	o 2021
1109.10/1114.77	c fallback to adder encoding
1116.09/1117.43	o 2020
1116.09/1117.43	c fallback to adder encoding
1119.40/1120.79	o 2019
1119.40/1120.79	c fallback to adder encoding
1123.81/1125.13	o 2002
1123.81/1125.13	c fallback to adder encoding
1125.90/1127.27	o 1999
1125.90/1127.27	c fallback to adder encoding
1128.41/1129.76	o 1995
1128.41/1129.76	c fallback to adder encoding
1131.29/1132.65	o 1990
1131.29/1132.65	c fallback to adder encoding
1134.30/1135.62	o 1985
1134.30/1135.62	c fallback to adder encoding
1139.39/1140.76	o 1983
1139.39/1140.76	c fallback to adder encoding
1141.39/1142.77	o 1968
1141.39/1142.77	c fallback to adder encoding
1145.70/1147.07	o 1966
1145.70/1147.07	c fallback to adder encoding
1149.08/1150.41	o 1961
1149.08/1150.41	c fallback to adder encoding
1153.39/1154.76	o 1931
1153.39/1154.76	c fallback to adder encoding
1156.08/1157.42	o 1930
1156.08/1157.42	c fallback to adder encoding
1158.38/1159.78	o 1929
1158.38/1159.78	c fallback to adder encoding
1161.65/1163.00	o 1924
1161.65/1163.00	c fallback to adder encoding
1166.58/1167.94	o 1921
1166.58/1167.94	c fallback to adder encoding
1169.58/1170.96	o 1903
1169.58/1170.96	c fallback to adder encoding
1172.93/1174.31	o 1895
1172.93/1174.31	c fallback to adder encoding
1176.65/1178.05	o 1894
1176.65/1178.05	c fallback to adder encoding
1179.95/1181.38	o 1893
1179.95/1181.38	c fallback to adder encoding
1183.84/1185.27	o 1862
1183.84/1185.27	c fallback to adder encoding
1186.74/1188.15	o 1857
1186.74/1188.15	c fallback to adder encoding
1190.26/1191.64	o 1844
1190.26/1191.64	c fallback to adder encoding
1193.14/1194.53	o 1841
1193.14/1194.53	c fallback to adder encoding
1197.71/1199.19	o 1826
1197.71/1199.19	c fallback to adder encoding
1199.93/1201.48	o 1817
1199.93/1201.48	c fallback to adder encoding
1203.83/1205.32	o 1814
1203.83/1205.32	c fallback to adder encoding
1205.92/1207.42	o 1813
1205.92/1207.42	c fallback to adder encoding
1208.81/1210.31	o 1808
1208.81/1210.31	c fallback to adder encoding
1212.84/1214.39	o 1804
1212.84/1214.39	c fallback to adder encoding
1216.62/1218.18	o 1803
1216.62/1218.18	c fallback to adder encoding
1219.53/1221.09	o 1798
1219.53/1221.09	c fallback to adder encoding
1222.33/1223.83	o 1797
1222.33/1223.83	c fallback to adder encoding
1225.12/1226.67	o 1786
1225.12/1226.67	c fallback to adder encoding
1227.74/1229.25	o 1535
1227.74/1229.25	c fallback to adder encoding
1231.37/1232.94	o 1510
1231.37/1232.94	c fallback to adder encoding
1234.35/1235.91	o 1508
1234.35/1235.91	c fallback to adder encoding
1235.87/1237.41	o 1504
1235.87/1237.41	c fallback to adder encoding
1238.65/1240.26	o 1500
1238.65/1240.26	c fallback to adder encoding
1241.83/1243.45	o 1495
1241.83/1243.45	c fallback to adder encoding
1245.39/1247.00	o 1492
1245.39/1247.00	c fallback to adder encoding
1247.82/1249.48	o 1491
1247.82/1249.48	c fallback to adder encoding
1250.31/1251.96	o 1489
1250.31/1251.96	c fallback to adder encoding
1252.12/1253.73	o 1488
1252.12/1253.73	c fallback to adder encoding
1255.11/1256.79	o 1482
1255.11/1256.79	c fallback to adder encoding
1257.70/1259.39	o 1480
1257.70/1259.39	c fallback to adder encoding
1260.30/1261.92	o 1478
1260.30/1261.92	c fallback to adder encoding
1261.80/1263.45	o 1477
1261.80/1263.45	c fallback to adder encoding
1266.12/1267.77	o 1473
1266.12/1267.77	c fallback to adder encoding
1270.01/1271.67	o 1472
1270.01/1271.67	c fallback to adder encoding
1274.21/1275.89	o 1470
1274.21/1275.89	c fallback to adder encoding
1276.70/1278.36	o 1459
1276.70/1278.36	c fallback to adder encoding
1278.60/1280.27	o 1454
1278.60/1280.27	c fallback to adder encoding
1281.60/1283.29	o 1450
1281.60/1283.29	c fallback to adder encoding
1285.16/1286.87	o 1449
1285.16/1286.87	c fallback to adder encoding
1288.45/1290.12	o 1448
1288.45/1290.12	c fallback to adder encoding
1290.96/1292.63	o 1446
1290.96/1292.63	c fallback to adder encoding
1294.53/1296.20	o 1445
1294.53/1296.20	c fallback to adder encoding
1296.97/1298.66	o 1421
1296.97/1298.66	c fallback to adder encoding
1300.06/1301.73	o 1420
1300.06/1301.73	c fallback to adder encoding
1304.57/1306.24	o 1415
1304.57/1306.24	c fallback to adder encoding
1307.75/1309.42	o 1409
1307.75/1309.42	c fallback to adder encoding
1310.66/1312.34	o 1408
1310.66/1312.34	c fallback to adder encoding
1312.52/1314.22	o 1398
1312.52/1314.22	c fallback to adder encoding
1315.04/1316.72	o 1397
1315.04/1316.72	c fallback to adder encoding
1317.62/1319.31	o 1393
1317.62/1319.31	c fallback to adder encoding
1319.84/1321.57	o 1371
1319.84/1321.57	c fallback to adder encoding
1322.33/1324.05	o 1364
1322.33/1324.05	c fallback to adder encoding
1324.44/1326.13	o 1361
1324.44/1326.13	c fallback to adder encoding
1327.12/1328.82	o 1329
1327.12/1328.82	c fallback to adder encoding
1329.65/1331.30	o 1315
1329.65/1331.30	c fallback to adder encoding
1332.15/1333.86	o 1314
1332.15/1333.86	c fallback to adder encoding
1335.02/1336.72	o 1309
1335.02/1336.72	c fallback to adder encoding
1339.84/1341.53	o 1295
1339.84/1341.53	c fallback to adder encoding
1342.33/1344.03	o 1289
1342.33/1344.03	c fallback to adder encoding
1346.84/1348.53	o 1284
1346.84/1348.53	c fallback to adder encoding
1348.60/1350.31	o 1283
1348.60/1350.31	c fallback to adder encoding
1352.63/1354.36	o 1280
1352.63/1354.36	c fallback to adder encoding
1354.23/1355.93	o 1271
1354.23/1355.93	c fallback to adder encoding
1356.52/1358.25	o 1268
1356.52/1358.25	c fallback to adder encoding
1361.82/1363.56	o 1266
1361.82/1363.56	c fallback to adder encoding
1365.61/1367.32	o 1243
1365.61/1367.32	c fallback to adder encoding
1369.24/1370.94	o 1237
1369.24/1370.94	c fallback to adder encoding
1371.99/1373.71	o 1236
1371.99/1373.71	c fallback to adder encoding
1373.62/1375.34	o 1231
1373.62/1375.34	c fallback to adder encoding
1378.19/1379.91	o 1217
1378.19/1379.91	c fallback to adder encoding
1381.39/1383.10	o 1216
1381.39/1383.10	c fallback to adder encoding
1383.39/1385.10	o 1214
1383.39/1385.10	c fallback to adder encoding
1385.30/1387.00	o 1210
1385.30/1387.00	c fallback to adder encoding
1389.59/1391.39	o 1200
1389.59/1391.39	c fallback to adder encoding
1395.07/1396.90	o 1190
1395.07/1396.90	c fallback to adder encoding
1397.96/1399.72	o 1177
1397.96/1399.72	c fallback to adder encoding
1401.37/1403.11	o 1164
1401.37/1403.11	c fallback to adder encoding
1405.18/1406.97	o 1159
1405.18/1406.97	c fallback to adder encoding
1408.78/1410.57	o 1156
1408.78/1410.57	c fallback to adder encoding
1411.87/1413.69	o 1155
1411.87/1413.69	c fallback to adder encoding
1415.97/1417.76	o 1153
1415.97/1417.76	c fallback to adder encoding
1418.65/1420.40	o 1152
1418.65/1420.40	c fallback to adder encoding
1420.13/1421.90	o 1150
1420.13/1421.90	c fallback to adder encoding
1422.11/1423.92	o 1148
1422.11/1423.92	c fallback to adder encoding
1425.41/1427.25	o 1147
1425.41/1427.25	c fallback to adder encoding
1427.50/1429.32	o 1140
1427.50/1429.32	c fallback to adder encoding
1430.02/1431.84	o 1138
1430.02/1431.84	c fallback to adder encoding
1432.31/1434.16	o 1129
1432.31/1434.16	c fallback to adder encoding
1434.60/1436.49	o 1124
1434.60/1436.49	c fallback to adder encoding
1437.20/1439.08	o 1122
1437.20/1439.08	c fallback to adder encoding
1441.07/1442.99	o 1121
1441.07/1442.99	c fallback to adder encoding
1443.17/1445.03	o 1118
1443.17/1445.03	c fallback to adder encoding
1446.80/1448.69	o 1115
1446.80/1448.69	c fallback to adder encoding
1448.87/1450.71	o 1111
1448.87/1450.71	c fallback to adder encoding
1450.26/1452.10	o 1096
1450.26/1452.10	c fallback to adder encoding
1452.58/1454.48	o 1086
1452.58/1454.48	c fallback to adder encoding
1455.28/1457.16	o 1079
1455.28/1457.16	c fallback to adder encoding
1458.19/1460.04	o 1076
1458.19/1460.04	c fallback to adder encoding
1462.68/1464.53	o 1070
1462.68/1464.53	c fallback to adder encoding
1467.59/1469.44	o 1055
1467.59/1469.44	c fallback to adder encoding
1472.09/1474.00	o 1048
1472.09/1474.00	c fallback to adder encoding
1475.89/1477.75	o 1032
1475.89/1477.75	c fallback to adder encoding
1477.37/1479.22	o 1027
1477.37/1479.22	c fallback to adder encoding
1481.17/1483.00	o 1026
1481.17/1483.00	c fallback to adder encoding
1484.30/1486.17	o 1024
1484.30/1486.17	c fallback to adder encoding
1485.97/1487.82	o 1007
1485.97/1487.82	c fallback to adder encoding
1488.27/1490.17	o 993
1488.27/1490.17	c fallback to adder encoding
1490.48/1492.37	o 992
1490.48/1492.37	c fallback to adder encoding
1492.49/1494.30	o 988
1492.49/1494.30	c fallback to adder encoding
1493.76/1495.61	o 987
1493.76/1495.61	c fallback to adder encoding
1496.29/1498.20	o 975
1496.29/1498.20	c fallback to adder encoding
1497.98/1499.87	o 966
1497.98/1499.87	c fallback to adder encoding
1500.05/1501.92	o 965
1500.05/1501.92	c fallback to adder encoding
1502.17/1504.03	o 964
1502.17/1504.03	c fallback to adder encoding
1504.26/1506.15	o 961
1504.26/1506.15	c fallback to adder encoding
1505.95/1507.84	o 960
1505.95/1507.84	c fallback to adder encoding
1507.27/1509.11	o 955
1507.27/1509.11	c fallback to adder encoding
1509.24/1511.10	o 954
1509.24/1511.10	c fallback to adder encoding
1511.40/1513.39	o 947
1511.40/1513.39	c fallback to adder encoding
1513.83/1515.73	o 945
1513.83/1515.73	c fallback to adder encoding
1515.23/1517.10	o 942
1515.23/1517.10	c fallback to adder encoding
1516.53/1518.40	o 940
1516.53/1518.40	c fallback to adder encoding
1518.40/1520.30	o 911
1518.40/1520.30	c fallback to adder encoding
1519.42/1521.32	o 908
1519.42/1521.32	c fallback to adder encoding
1521.79/1523.70	o 905
1521.79/1523.70	c fallback to adder encoding
1523.72/1525.62	o 904
1523.72/1525.62	c fallback to adder encoding
1525.01/1526.91	o 896
1525.01/1526.91	c fallback to adder encoding
1526.90/1528.82	o 895
1526.90/1528.82	c fallback to adder encoding
1528.51/1530.47	o 894
1528.51/1530.47	c fallback to adder encoding
1529.62/1531.59	o 869
1529.62/1531.59	c fallback to adder encoding
1531.53/1533.46	o 868
1531.53/1533.46	c fallback to adder encoding
1533.11/1535.05	o 866
1533.11/1535.05	c fallback to adder encoding
1534.92/1536.87	o 853
1534.92/1536.87	c fallback to adder encoding
1536.33/1538.23	o 851
1536.33/1538.23	c fallback to adder encoding
1537.91/1539.84	o 847
1537.91/1539.84	c fallback to adder encoding
1539.63/1541.53	o 839
1539.63/1541.53	c fallback to adder encoding
1541.34/1543.23	o 836
1541.34/1543.23	c fallback to adder encoding
1543.12/1545.08	o 835
1543.12/1545.08	c fallback to adder encoding
1544.84/1546.74	o 834
1544.84/1546.74	c fallback to adder encoding
1546.66/1548.61	o 833
1546.66/1548.61	c fallback to adder encoding
1547.76/1549.72	o 818
1547.76/1549.72	c fallback to adder encoding
1549.28/1551.25	o 809
1549.28/1551.25	c fallback to adder encoding
1550.97/1552.99	o 802
1550.97/1552.99	c fallback to adder encoding
1552.16/1554.10	o 800
1552.16/1554.10	c fallback to adder encoding
1553.48/1555.46	o 790
1553.48/1555.46	c fallback to adder encoding
1555.17/1557.17	o 789
1555.17/1557.17	c fallback to adder encoding
1556.67/1558.66	o 786
1556.67/1558.66	c fallback to adder encoding
1557.96/1559.96	o 781
1557.96/1559.96	c fallback to adder encoding
1559.35/1561.30	o 780
1559.35/1561.30	c fallback to adder encoding
1560.98/1562.98	o 779
1560.98/1562.98	c fallback to adder encoding
1563.06/1565.08	o 777
1563.06/1565.08	c fallback to adder encoding
1564.76/1566.76	o 775
1564.76/1566.76	c fallback to adder encoding
1566.57/1568.53	o 774
1566.57/1568.53	c fallback to adder encoding
1568.26/1570.29	o 768
1568.26/1570.29	c fallback to adder encoding
1569.08/1571.08	o 766
1569.08/1571.08	c fallback to adder encoding
1569.21/1571.67	o 762
1569.21/1571.67	c fallback to adder encoding
1570.67/1572.64	o 756
1570.67/1572.64	c fallback to adder encoding
1572.35/1574.31	o 752
1572.35/1574.31	c fallback to adder encoding
1573.27/1575.22	o 719
1573.27/1575.22	c fallback to adder encoding
1575.20/1577.21	o 714
1575.20/1577.21	c fallback to adder encoding
1576.52/1578.55	o 712
1576.52/1578.55	c fallback to adder encoding
1576.64/1579.15	o 699
1576.64/1579.15	c fallback to adder encoding
1577.91/1579.93	o 696
1577.91/1579.93	c fallback to adder encoding
1578.83/1580.83	o 690
1578.83/1580.83	c fallback to adder encoding
1580.28/1582.33	o 689
1580.28/1582.33	c fallback to adder encoding
1581.18/1583.21	o 658
1581.18/1583.21	c fallback to adder encoding
1582.39/1584.44	o 654
1582.39/1584.44	c fallback to adder encoding
1583.78/1585.85	o 653
1583.78/1585.85	c fallback to adder encoding
1585.06/1587.14	o 649
1585.06/1587.14	c fallback to adder encoding
1586.06/1588.16	o 645
1586.06/1588.16	c fallback to adder encoding
1587.57/1589.69	o 644
1587.57/1589.69	c fallback to adder encoding
1589.14/1591.29	o 641
1589.14/1591.29	c fallback to adder encoding
1590.12/1592.20	o 640
1590.12/1592.20	c fallback to adder encoding
1591.03/1593.13	o 639
1591.03/1593.13	c fallback to adder encoding
1592.04/1594.12	o 631
1592.04/1594.12	c fallback to adder encoding
1593.02/1595.10	o 630
1593.02/1595.10	c fallback to adder encoding
1593.10/1595.83	o 629
1593.10/1595.83	c fallback to adder encoding
1594.64/1596.74	o 619
1594.64/1596.74	c fallback to adder encoding
1595.64/1597.73	o 607
1595.64/1597.73	c fallback to adder encoding
1596.34/1598.46	o 606
1596.34/1598.46	c fallback to adder encoding
1596.94/1599.00	o 600
1596.94/1599.00	c fallback to adder encoding
1597.54/1599.65	o 599
1597.54/1599.65	c fallback to adder encoding
1598.45/1600.58	o 598
1598.45/1600.58	c fallback to adder encoding
1599.54/1601.64	o 596
1599.54/1601.64	c fallback to adder encoding
1599.63/1602.47	o 593
1599.63/1602.47	c fallback to adder encoding
1601.33/1603.43	o 592
1601.33/1603.43	c fallback to adder encoding
1602.52/1604.68	o 591
1602.52/1604.68	c fallback to adder encoding
1603.34/1605.42	o 586
1603.34/1605.42	c fallback to adder encoding
1604.93/1607.10	o 583
1604.93/1607.10	c fallback to adder encoding
1606.13/1608.22	o 582
1606.13/1608.22	c fallback to adder encoding
1606.16/1608.98	o 581
1606.16/1608.98	c fallback to adder encoding
1607.58/1609.70	o 579
1607.58/1609.70	c fallback to adder encoding
1608.20/1610.30	o 575
1608.20/1610.30	c fallback to adder encoding
1608.24/1611.03	o 559
1608.24/1611.03	c fallback to adder encoding
1609.68/1611.80	o 555
1609.68/1611.80	c fallback to adder encoding
1610.58/1612.74	o 549
1610.58/1612.74	c fallback to adder encoding
1611.68/1613.84	o 545
1611.68/1613.84	c fallback to adder encoding
1612.69/1614.84	o 544
1612.69/1614.84	c fallback to adder encoding
1612.77/1615.54	o 543
1612.77/1615.54	c fallback to adder encoding
1614.58/1616.74	o 541
1614.58/1616.74	c fallback to adder encoding
1615.39/1617.59	o 540
1615.39/1617.59	c fallback to adder encoding
1616.18/1618.36	o 535
1616.18/1618.36	c fallback to adder encoding
1616.98/1619.16	o 532
1616.98/1619.16	c fallback to adder encoding
1617.05/1619.97	o 529
1617.05/1619.97	c fallback to adder encoding
1618.95/1621.13	o 528
1618.95/1621.13	c fallback to adder encoding
1619.65/1621.88	o 527
1619.65/1621.88	c fallback to adder encoding
1620.56/1622.71	o 523
1620.56/1622.71	c fallback to adder encoding
1621.45/1623.62	o 521
1621.45/1623.62	c fallback to adder encoding
1622.56/1624.76	o 520
1622.56/1624.76	c fallback to adder encoding
1623.85/1626.06	o 518
1623.85/1626.06	c fallback to adder encoding
1624.44/1626.61	o 514
1624.44/1626.61	c fallback to adder encoding
1625.44/1627.64	o 512
1625.44/1627.64	c fallback to adder encoding
1625.74/1627.92	o 508
1625.74/1627.92	c fallback to adder encoding
1625.79/1628.23	o 506
1625.79/1628.23	c fallback to adder encoding
1626.10/1628.67	o 505
1626.10/1628.67	c fallback to adder encoding
1626.94/1629.17	o 504
1626.94/1629.17	c fallback to adder encoding
1627.43/1629.61	o 499
1627.43/1629.61	c fallback to adder encoding
1627.49/1629.97	o 497
1627.49/1629.97	c fallback to adder encoding
1628.11/1630.36	o 496
1628.11/1630.36	c fallback to adder encoding
1628.60/1630.80	o 485
1628.60/1630.80	c fallback to adder encoding
1629.01/1631.26	o 481
1629.01/1631.26	c fallback to adder encoding
1629.52/1631.71	o 480
1629.52/1631.71	c fallback to adder encoding
1630.11/1632.32	o 474
1630.11/1632.32	c fallback to adder encoding
1630.15/1632.83	o 473
1630.15/1632.83	c fallback to adder encoding
1630.67/1633.17	o 472
1630.67/1633.17	c fallback to adder encoding
1631.31/1633.57	o 467
1631.31/1633.57	c fallback to adder encoding
1631.41/1633.95	o 461
1631.41/1633.95	c fallback to adder encoding
1631.79/1634.35	o 460
1631.79/1634.35	c fallback to adder encoding
1632.61/1634.87	o 456
1632.61/1634.87	c fallback to adder encoding
1633.00/1635.25	o 453
1633.00/1635.25	c fallback to adder encoding
1633.36/1635.63	o 452
1633.36/1635.63	c fallback to adder encoding
1633.43/1635.95	o 445
1633.43/1635.95	c fallback to adder encoding
1633.74/1636.23	o 443
1633.74/1636.23	c fallback to adder encoding
1634.02/1636.64	o 437
1634.02/1636.64	c fallback to adder encoding
1634.66/1636.99	o 433
1634.66/1636.99	c fallback to adder encoding
1634.78/1637.44	o 430
1634.78/1637.44	c fallback to adder encoding
1635.24/1637.72	o 423
1635.24/1637.72	c fallback to adder encoding
1635.74/1638.09	o 422
1635.74/1638.09	c fallback to adder encoding
1635.88/1638.45	o 420
1635.88/1638.45	c fallback to adder encoding
1636.66/1638.92	o 414
1636.66/1638.92	c fallback to adder encoding
1636.72/1639.35	o 413
1636.72/1639.35	c fallback to adder encoding
1637.15/1639.72	o 404
1637.15/1639.72	c fallback to adder encoding
1637.77/1640.06	o 401
1637.77/1640.06	c fallback to adder encoding
1637.86/1640.29	o 388
1637.86/1640.29	c fallback to adder encoding
1638.08/1640.73	o 387
1638.08/1640.73	c fallback to adder encoding
1638.87/1641.16	o 385
1638.87/1641.16	c fallback to adder encoding
1638.96/1641.59	o 384
1638.96/1641.59	c fallback to adder encoding
1639.38/1641.86	o 378
1639.38/1641.86	c fallback to adder encoding
1639.65/1642.09	o 377
1639.65/1642.09	c fallback to adder encoding
1640.06/1642.33	o 375
1640.06/1642.33	c fallback to adder encoding
1640.13/1642.65	o 373
1640.13/1642.65	c fallback to adder encoding
1640.45/1642.87	o 371
1640.45/1642.87	c fallback to adder encoding
1640.67/1643.07	o 343
1641.28/1643.71	o 342
1641.92/1644.35	o 299
1642.33/1644.71	o 284
1642.67/1645.04	o 259
1642.84/1645.18	c display solution
1642.84/1645.18	s OPTIMUM FOUND
1642.84/1645.18	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 

OK	259

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-3715128-1338226421/watcher-3715128-1338226421 -o /tmp/evaluation-result-3715128-1338226421/solver-3715128-1338226421 -C 1800 -W 1900 -M 15500 HOME/npSolver-wbo-Itd.sh HOME/instance-3715128-1338226421.wbo 370768288 HOME HOME 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.94 1.98 1.99 3/180 22073
/proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0

[startup+0.103369 s]
/proc/loadavg: 1.94 1.98 1.99 3/180 22073
/proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.200352 s]
/proc/loadavg: 1.94 1.98 1.99 3/180 22073
/proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300351 s]
/proc/loadavg: 1.94 1.98 1.99 3/180 22073
/proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700309 s]
/proc/loadavg: 1.94 1.98 1.99 3/180 22073
/proc/meminfo: memFree=31226008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50038 s]
/proc/loadavg: 1.94 1.98 1.99 3/182 22092
/proc/meminfo: memFree=31220800/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=7004 CPUtime=0.11 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 2469 5081 0 0 8 1 1 1 20 0 1 0 288768847 7172096 1387 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 1751 1387 165 439 0 1308 0
[pid=22086] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22086/stat : 22086 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288768860 9367552 267 33554432000 4194304 5064252 140733937550768 140733937549680 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22086/statm: 2287 267 226 213 0 72 0
[pid=22087] ppid=22086 vsize=16684 CPUtime=1.35 cores=0,2,4,6
/proc/22087/stat : 22087 (glucose) R 22086 22073 29981 0 -1 4202496 4288 0 0 0 135 0 0 0 20 0 1 0 288768860 17084416 3504 33554432000 4194304 5208918 140734956457296 140734956455256 4205165 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22087/statm: 4171 3504 105 248 0 3920 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 41984

[startup+3.10036 s]
/proc/loadavg: 1.94 1.98 1.99 3/184 22094
/proc/meminfo: memFree=31202020/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=7004 CPUtime=0.11 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 2469 5081 0 0 8 1 1 1 20 0 1 0 288768847 7172096 1387 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 1751 1387 165 439 0 1308 0
[pid=22086] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22086/stat : 22086 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288768860 9367552 267 33554432000 4194304 5064252 140733937550768 140733937549680 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22086/statm: 2287 267 226 213 0 72 0
[pid=22087] ppid=22086 vsize=17088 CPUtime=2.95 cores=0,2,4,6
/proc/22087/stat : 22087 (glucose) R 22086 22073 29981 0 -1 4202496 4646 0 0 0 295 0 0 0 20 0 1 0 288768860 17498112 3856 33554432000 4194304 5208918 140734956457296 140734956455256 4211632 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22087/statm: 4272 3856 105 248 0 4021 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42388

[startup+6.30031 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 22115
/proc/meminfo: memFree=31203860/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11096 CPUtime=6.08 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 5866 21774 0 0 21 3 576 8 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 2774 2380 166 439 0 2331 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 20244

[startup+12.7004 s]
/proc/loadavg: 1.95 1.98 1.99 3/184 22150
/proc/meminfo: memFree=31199016/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11096 CPUtime=10.32 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 7564 30544 0 0 28 3 990 11 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 2774 2380 166 439 0 2331 0
[pid=22142] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22142/stat : 22142 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288769896 9367552 267 33554432000 4194304 5064252 140735103837776 140735103836688 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22142/statm: 2287 267 226 213 0 72 0
[pid=22143] ppid=22142 vsize=16984 CPUtime=2.19 cores=0,2,4,6
/proc/22143/stat : 22143 (glucose) R 22142 22073 29981 0 -1 4202496 3790 0 0 0 219 0 0 0 20 0 1 0 288769897 17391616 3670 33554432000 4194304 5208918 140734339607280 140734339605032 4211176 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22143/statm: 4246 3670 105 248 0 3995 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 46376

[startup+25.5004 s]
/proc/loadavg: 1.89 1.97 1.99 3/183 22227
/proc/meminfo: memFree=31201916/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11096 CPUtime=25.28 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 14356 60977 0 0 55 7 2440 26 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 2774 2380 166 439 0 2331 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 20244

[startup+51.1005 s]
/proc/loadavg: 1.92 1.97 1.99 3/183 22353
/proc/meminfo: memFree=31200192/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11096 CPUtime=49.39 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 22846 100760 0 0 88 12 4797 42 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 2774 2380 166 439 0 2331 0
[pid=22352] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22352/stat : 22352 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288773807 9367552 266 33554432000 4194304 5064252 140734685434224 140734685433136 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22352/statm: 2287 266 226 213 0 72 0
[pid=22353] ppid=22352 vsize=16804 CPUtime=1.49 cores=0,2,4,6
/proc/22353/stat : 22353 (glucose) R 22352 22073 29981 0 -1 4202496 3849 0 0 0 149 0 0 0 20 0 1 0 288773807 17207296 3590 33554432000 4194304 5208918 140734436133792 140734436131544 4211019 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22353/statm: 4201 3590 105 248 0 3950 0
Current children cumulated CPU time (s) 50.88
Current children cumulated vsize (KiB) 46196

[startup+102.3 s]
/proc/loadavg: 2.08 2.00 2.00 3/181 22624
/proc/meminfo: memFree=31213772/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11096 CPUtime=101.83 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 41524 191315 0 0 159 22 9923 79 20 0 1 0 288768847 11362304 2380 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 2774 2380 166 439 0 2331 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 20244

[startup+162.3 s]
/proc/loadavg: 2.09 2.02 2.00 3/183 22962
/proc/meminfo: memFree=31199352/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11096 CPUtime=160.02 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 70368 321734 0 0 265 38 15559 140 20 0 1 0 288768847 11362304 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/22074/statm: 2774 2378 166 439 0 2331 0
[pid=22961] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22961/stat : 22961 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288784924 9367552 267 33554432000 4194304 5064252 140736385118176 140736385117088 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/22961/statm: 2287 267 226 213 0 72 0
[pid=22962] ppid=22961 vsize=16528 CPUtime=1.51 cores=0,2,4,6
/proc/22962/stat : 22962 (glucose) R 22961 22073 29981 0 -1 4202496 3741 0 0 0 151 0 0 0 20 0 1 0 288784925 16924672 3485 33554432000 4194304 5208918 140737361350880 140737361348632 4211625 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/22962/statm: 4132 3485 105 248 0 3881 0
Current children cumulated CPU time (s) 161.53
Current children cumulated vsize (KiB) 45920

[startup+222.307 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 23257
/proc/meminfo: memFree=31196256/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11096 CPUtime=217.52 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 95808 438396 0 0 357 51 21152 192 20 0 1 0 288768847 11362304 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 12 0 0
/proc/22074/statm: 2774 2378 166 439 0 2331 0
[pid=23249] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6

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


[startup+1482.3 s]
/proc/loadavg: 2.07 2.04 2.00 3/183 27428
/proc/meminfo: memFree=30917064/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11048 CPUtime=1477.48 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 696192 3091752 0 0 2387 363 143539 1459 20 0 1 0 288768847 11313152 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 6 0 0 20 0 0
/proc/22074/statm: 2762 2378 166 439 0 2319 0
[pid=27427] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27427/stat : 27427 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288916775 9367552 267 33554432000 4194304 5064252 140733591738944 140733591737856 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/27427/statm: 2287 267 226 213 0 72 0
[pid=27428] ppid=27427 vsize=15448 CPUtime=3 cores=0,2,4,6
/proc/27428/stat : 27428 (glucose) R 27427 22073 29981 0 -1 4202496 3957 0 0 0 300 0 0 0 20 0 1 0 288916775 15818752 3446 33554432000 4194304 5208918 140735614948416 140735614944792 4229326 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/27428/statm: 3862 3446 104 248 0 3611 0
Current children cumulated CPU time (s) 1480.48
Current children cumulated vsize (KiB) 44792

[startup+1542.3 s]
/proc/loadavg: 2.10 2.05 2.00 3/183 27659
/proc/meminfo: memFree=30901504/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=10972 CPUtime=1539.72 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 752160 3301930 0 0 2533 389 149495 1555 20 0 1 0 288768847 11235328 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 24 0 0
/proc/22074/statm: 2743 2378 166 439 0 2300 0
[pid=27658] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/27658/stat : 27658 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288923005 9367552 266 33554432000 4194304 5064252 140737197825456 140737197824368 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/27658/statm: 2287 266 226 213 0 72 0
[pid=27659] ppid=27658 vsize=11592 CPUtime=0.71 cores=0,2,4,6
/proc/27659/stat : 27659 (glucose) R 27658 22073 29981 0 -1 4202496 2525 0 0 0 71 0 0 0 20 0 1 0 288923005 11870208 2575 33554432000 4194304 5208918 140735854204208 140735854201880 4211580 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/27659/statm: 2898 2575 104 248 0 2647 0
Current children cumulated CPU time (s) 1540.43
Current children cumulated vsize (KiB) 40860

[startup+1602.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/184 27991
/proc/meminfo: memFree=30913708/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=6816 CPUtime=1599.63 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 821797 3588325 0 0 2703 416 155171 1673 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 1704 1364 166 439 0 1261 0
Current children cumulated CPU time (s) 1599.63
Current children cumulated vsize (KiB) 15964

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

[startup+1617.4 s]
/proc/loadavg: 2.03 2.03 2.00 3/184 28110
/proc/meminfo: memFree=30908012/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=6816 CPUtime=1614.67 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 838846 3677863 0 0 2751 421 156591 1704 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 1704 1364 166 439 0 1261 0
[pid=28109] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28109/stat : 28109 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288930524 9367552 267 33554432000 4194304 5064252 140734552549392 140734552548304 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28109/statm: 2287 267 226 213 0 72 0
[pid=28110] ppid=28109 vsize=8768 CPUtime=0.62 cores=0,2,4,6
/proc/28110/stat : 28110 (glucose) R 28109 22073 29981 0 -1 4202496 2158 0 0 0 62 0 0 0 20 0 1 0 288930524 8978432 1830 33554432000 4194304 5208918 140735931991264 140735931989224 4213916 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28110/statm: 2192 1830 105 248 0 1941 0
Current children cumulated CPU time (s) 1615.29
Current children cumulated vsize (KiB) 33880

[startup+1630.21 s]
/proc/loadavg: 2.09 2.05 2.00 3/184 28236
/proc/meminfo: memFree=30906328/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=6816 CPUtime=1627.82 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 857038 3774413 0 0 2798 426 157822 1736 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 1704 1364 166 439 0 1261 0
[pid=28235] ppid=22074 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28235/stat : 28235 (satsolver.sh) S 22074 22073 29981 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288931847 9367552 267 33554432000 4194304 5064252 140734913280704 140734913279616 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28235/statm: 2287 267 226 213 0 72 0
[pid=28236] ppid=28235 vsize=7768 CPUtime=0.2 cores=0,2,4,6
/proc/28236/stat : 28236 (glucose) R 28235 22073 29981 0 -1 4202496 2072 0 0 0 20 0 0 0 20 0 1 0 288931847 7954432 1539 33554432000 4194304 5208918 140735456666736 140734913279640 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28236/statm: 1942 1539 103 248 0 1691 0
Current children cumulated CPU time (s) 1628.02
Current children cumulated vsize (KiB) 32880

[startup+1636.6 s]
/proc/loadavg: 2.08 2.05 2.00 3/184 28320
/proc/meminfo: memFree=30904528/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=6816 CPUtime=1634.02 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 871169 3851533 0 0 2833 430 158381 1758 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 1704 1364 166 439 0 1261 0
Current children cumulated CPU time (s) 1634.02
Current children cumulated vsize (KiB) 15964

[startup+1639.8 s]
/proc/loadavg: 2.08 2.05 2.00 3/184 28383
/proc/meminfo: memFree=30902356/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=6816 CPUtime=1637.52 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 879403 3895922 0 0 2851 433 158696 1772 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 1704 1364 166 439 0 1261 0
Current children cumulated CPU time (s) 1637.52
Current children cumulated vsize (KiB) 15964

[startup+1643 s]
/proc/loadavg: 2.08 2.04 2.00 3/184 28476
/proc/meminfo: memFree=30900688/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=6816 CPUtime=1640.67 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 885929 3944349 0 0 2871 435 158974 1787 20 0 1 0 288768847 6979584 1364 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 1704 1364 166 439 0 1261 0
Current children cumulated CPU time (s) 1640.67
Current children cumulated vsize (KiB) 15964

[startup+1643.8 s]
/proc/loadavg: 2.08 2.04 2.00 3/184 28504
/proc/meminfo: memFree=30868320/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=11040 CPUtime=1641.55 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 889320 3961098 0 0 2883 436 159036 1800 20 0 1 0 288768847 11304960 2378 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 2760 2378 166 439 0 2317 0
Current children cumulated CPU time (s) 1641.55
Current children cumulated vsize (KiB) 20188

[startup+1644.6 s]
/proc/loadavg: 2.07 2.04 2.00 3/182 28516
/proc/meminfo: memFree=30900008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=10932 CPUtime=1642.33 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 891024 3980467 0 0 2887 437 159097 1812 20 0 1 0 288768847 11194368 2378 33554432000 4194304 5990268 140735000576864 140735000567776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 2733 2378 166 439 0 2290 0
Current children cumulated CPU time (s) 1642.33
Current children cumulated vsize (KiB) 20080

[startup+1645 s]
/proc/loadavg: 2.07 2.04 2.00 3/182 28516
/proc/meminfo: memFree=30900008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=10876 CPUtime=1642.67 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 892720 3989908 0 0 2891 437 159119 1820 20 0 1 0 288768847 11137024 2378 33554432000 4194304 5990268 140735000576864 140735000567776 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 2719 2378 166 439 0 2276 0
Current children cumulated CPU time (s) 1642.67
Current children cumulated vsize (KiB) 20024

[startup+1645.1 s]
/proc/loadavg: 2.07 2.04 2.00 3/182 28516
/proc/meminfo: memFree=30900008/32873648 swapFree=6852/6852
[pid=22073] ppid=22071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/22073/stat : 22073 (npSolver-wbo-It) S 22071 22073 29981 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 288768847 9367552 274 33554432000 4194304 5064252 140737397332816 140737397331728 271787386446 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/22073/statm: 2287 274 233 213 0 72 0
[pid=22074] ppid=22073 vsize=6724 CPUtime=1642.84 cores=0,2,4,6
/proc/22074/stat : 22074 (npSolver-wbo) S 22073 22073 29981 0 -1 4202496 893383 3993338 0 0 2894 438 159126 1826 20 0 1 0 288768847 6885376 1353 33554432000 4194304 5990268 140735000576864 140735000568288 5173822 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 29 0 0
/proc/22074/statm: 1681 1353 166 439 0 1238 0
Current children cumulated CPU time (s) 1642.84
Current children cumulated vsize (KiB) 15872

Child status: 0
Real time (s): 1645.18
CPU time (s): 1642.97
CPU user time (s): 1620.31
CPU system time (s): 22.6626
CPU usage (%): 99.8654
Max. virtual memory (cumulated for all children) (KiB): 63780

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1620.31
system time used= 22.6626
maximum resident set size= 31820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4894764
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3667176
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 20125
involuntary context switches= 8293

runsolver used 2.91156 second user time and 8.09377 second system time

The end

Begin job on node115 at 2012-05-28 19:33:41
IDJOB=3715128
IDBENCH=79422
IDSOLVER=2296
FILE ID=node115/3715128-1338226421
RUNJOBID= node115-1338195070-29997
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-jnh211_wcsp.wbo
COMMAND LINE= DIR/npSolver-wbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3715128-1338226421/watcher-3715128-1338226421 -o /tmp/evaluation-result-3715128-1338226421/solver-3715128-1338226421 -C 1800 -W 1900 -M 15500  HOME/npSolver-wbo-Itd.sh HOME/instance-3715128-1338226421.wbo 370768288 HOME HOME

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

MD5SUM BENCH= b50e414b5ae2abd5c7b876bc50645ba2
RANDOM SEED=370768288

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:        31226272 kB
Buffers:          437420 kB
Cached:           314772 kB
SwapCached:          972 kB
Active:           654264 kB
Inactive:         132548 kB
Active(anon):      27548 kB
Inactive(anon):     9244 kB
Active(file):     626716 kB
Inactive(file):   123304 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106424 kB
Dirty:             21268 kB
Writeback:             0 kB
AnonPages:         40748 kB
Mapped:            12524 kB
Shmem:                96 kB
Slab:             722200 kB
SReclaimable:     165372 kB
SUnreclaim:       556828 kB
KernelStack:        1528 kB
PageTables:         4020 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     152320 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 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= 71580 MiB
End job on node115 at 2012-05-28 20:01:06