Trace number 3753801

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-topDown (fixed)OPTIMUM 1120.92 1122.6

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh06_wcsp.wbo
MD5SUM6d863641d8b2b772fe5ea25b86285712
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark99
Best CPU time to get the best result obtained on this benchmark0.021996
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.02	c run usual solver
0.00/0.05	o 6920
0.00/0.05	c fallback to adder encoding
4.02/4.12	o 6907
4.02/4.12	c fallback to adder encoding
10.48/10.50	o 6901
10.48/10.50	c fallback to adder encoding
16.57/16.68	o 6881
16.57/16.68	c fallback to adder encoding
20.56/20.65	o 6797
20.56/20.65	c fallback to adder encoding
25.27/25.37	o 6795
25.27/25.37	c fallback to adder encoding
34.36/34.45	o 6788
34.36/34.45	c fallback to adder encoding
38.66/38.75	o 6741
38.66/38.75	c fallback to adder encoding
43.17/43.29	o 6726
43.17/43.29	c fallback to adder encoding
46.06/46.13	o 6720
46.06/46.13	c fallback to adder encoding
51.66/51.76	o 6699
51.66/51.76	c fallback to adder encoding
60.04/60.16	o 6671
60.04/60.16	c fallback to adder encoding
65.62/65.73	o 6666
65.62/65.73	c fallback to adder encoding
69.57/69.60	o 6659
69.57/69.60	c fallback to adder encoding
72.46/72.57	o 6657
72.46/72.57	c fallback to adder encoding
78.45/78.56	o 6480
78.45/78.56	c fallback to adder encoding
87.19/87.31	o 6382
87.19/87.31	c fallback to adder encoding
88.74/88.89	o 6379
88.74/88.89	c fallback to adder encoding
95.56/95.67	o 6264
95.56/95.67	c fallback to adder encoding
100.94/101.09	o 6255
100.94/101.09	c fallback to adder encoding
104.54/104.65	o 6254
104.54/104.65	c fallback to adder encoding
108.85/108.96	o 6253
108.85/108.96	c fallback to adder encoding
111.61/111.73	o 6252
111.61/111.73	c fallback to adder encoding
117.74/117.86	o 6232
117.74/117.86	c fallback to adder encoding
119.75/119.84	o 6231
119.75/119.84	c fallback to adder encoding
123.64/123.76	o 6205
123.64/123.76	c fallback to adder encoding
128.34/128.45	o 6204
128.34/128.45	c fallback to adder encoding
132.31/132.43	o 6199
132.31/132.43	c fallback to adder encoding
135.92/136.06	o 6165
135.92/136.06	c fallback to adder encoding
138.01/138.17	o 6161
138.01/138.17	c fallback to adder encoding
148.06/148.21	o 6160
148.06/148.21	c fallback to adder encoding
151.87/152.02	o 6159
151.87/152.02	c fallback to adder encoding
155.79/155.94	o 6145
155.79/155.94	c fallback to adder encoding
159.79/159.94	o 5868
159.79/159.94	c fallback to adder encoding
165.62/165.79	o 5867
165.62/165.79	c fallback to adder encoding
168.42/168.56	o 5855
168.42/168.56	c fallback to adder encoding
173.09/173.23	o 5848
173.09/173.23	c fallback to adder encoding
179.20/179.33	o 5847
179.20/179.33	c fallback to adder encoding
184.97/185.10	o 5844
184.97/185.10	c fallback to adder encoding
191.28/191.42	o 5838
191.28/191.42	c fallback to adder encoding
195.12/195.26	o 5833
195.12/195.26	c fallback to adder encoding
198.02/198.16	o 5832
198.02/198.16	c fallback to adder encoding
202.83/202.97	o 5800
202.83/202.97	c fallback to adder encoding
206.19/206.33	o 5796
206.19/206.33	c fallback to adder encoding
211.62/211.78	o 5784
211.62/211.78	c fallback to adder encoding
216.44/216.57	o 5777
216.44/216.57	c fallback to adder encoding
221.52/221.68	o 5773
221.52/221.68	c fallback to adder encoding
225.53/225.69	o 5772
225.53/225.69	c fallback to adder encoding
233.72/233.89	o 5771
233.72/233.89	c fallback to adder encoding
239.31/239.46	o 5769
239.31/239.46	c fallback to adder encoding
257.81/257.99	o 5748
257.81/257.99	c fallback to adder encoding
264.57/264.72	o 5705
264.57/264.72	c fallback to adder encoding
270.02/270.11	o 5663
270.02/270.11	c fallback to adder encoding
273.71/273.88	o 5662
273.71/273.88	c fallback to adder encoding
277.48/277.69	o 5658
277.48/277.69	c fallback to adder encoding
283.96/284.15	o 5657
283.96/284.15	c fallback to adder encoding
287.08/287.29	o 5650
287.08/287.29	c fallback to adder encoding
290.69/290.80	o 5429
290.69/290.80	c fallback to adder encoding
294.69/294.89	o 5423
294.69/294.89	c fallback to adder encoding
297.66/297.84	o 5415
297.66/297.84	c fallback to adder encoding
301.23/301.43	o 5274
301.23/301.43	c fallback to adder encoding
306.68/306.89	o 5272
306.68/306.89	c fallback to adder encoding
313.29/313.48	o 5265
313.29/313.48	c fallback to adder encoding
319.52/319.72	o 5261
319.52/319.72	c fallback to adder encoding
323.22/323.42	o 5260
323.22/323.42	c fallback to adder encoding
327.31/327.50	o 5258
327.31/327.50	c fallback to adder encoding
331.05/331.26	o 5255
331.05/331.26	c fallback to adder encoding
335.61/335.83	o 5253
335.61/335.83	c fallback to adder encoding
347.46/347.60	o 5252
347.46/347.60	c fallback to adder encoding
354.20/354.41	o 5249
354.20/354.41	c fallback to adder encoding
358.15/358.36	o 5245
358.15/358.36	c fallback to adder encoding
361.03/361.24	o 5227
361.03/361.24	c fallback to adder encoding
365.00/365.22	o 5225
365.00/365.22	c fallback to adder encoding
368.83/369.05	o 5182
368.83/369.05	c fallback to adder encoding
373.18/373.40	o 5163
373.18/373.40	c fallback to adder encoding
384.54/384.79	o 5154
384.54/384.79	c fallback to adder encoding
387.15/387.39	o 5141
387.15/387.39	c fallback to adder encoding
400.34/400.58	o 5139
400.34/400.58	c fallback to adder encoding
403.64/403.86	o 5133
403.64/403.86	c fallback to adder encoding
405.64/405.89	o 3971
405.64/405.89	c fallback to adder encoding
410.23/410.47	o 3969
410.23/410.47	c fallback to adder encoding
414.13/414.38	o 3965
414.13/414.38	c fallback to adder encoding
416.54/416.76	o 3839
416.54/416.76	c fallback to adder encoding
417.80/418.02	o 3832
417.80/418.02	c fallback to adder encoding
420.34/420.56	o 3828
420.34/420.56	c fallback to adder encoding
423.10/423.33	o 3817
423.10/423.33	c fallback to adder encoding
425.58/425.80	o 3812
425.58/425.80	c fallback to adder encoding
434.04/434.26	o 3658
434.04/434.26	c fallback to adder encoding
436.31/436.52	o 3625
436.31/436.52	c fallback to adder encoding
441.15/441.36	o 3624
441.15/441.36	c fallback to adder encoding
444.15/444.33	o 3600
444.15/444.33	c fallback to adder encoding
447.50/447.72	o 3592
447.50/447.72	c fallback to adder encoding
451.14/451.38	o 3584
451.14/451.38	c fallback to adder encoding
453.30/453.52	o 3494
453.30/453.52	c fallback to adder encoding
455.35/455.57	o 3485
455.35/455.57	c fallback to adder encoding
460.93/461.19	o 3481
460.93/461.19	c fallback to adder encoding
463.63/463.88	o 3455
463.63/463.88	c fallback to adder encoding
466.34/466.55	o 3454
466.34/466.55	c fallback to adder encoding
467.94/468.15	o 3448
467.94/468.15	c fallback to adder encoding
469.32/469.53	o 3428
469.32/469.53	c fallback to adder encoding
472.39/472.60	o 3425
472.39/472.60	c fallback to adder encoding
473.92/474.14	o 3414
473.92/474.14	c fallback to adder encoding
477.74/478.12	o 3349
477.74/478.12	c fallback to adder encoding
482.90/483.36	o 3344
482.90/483.36	c fallback to adder encoding
486.49/486.99	o 3147
486.49/486.99	c fallback to adder encoding
489.89/490.34	o 3144
489.89/490.34	c fallback to adder encoding
491.69/492.18	o 3142
491.69/492.18	c fallback to adder encoding
493.56/494.08	o 3124
493.56/494.08	c fallback to adder encoding
495.82/496.41	o 3114
495.82/496.41	c fallback to adder encoding
500.66/501.25	o 3074
500.66/501.25	c fallback to adder encoding
503.42/504.01	o 3073
503.42/504.01	c fallback to adder encoding
504.99/505.50	o 3072
504.99/505.50	c fallback to adder encoding
509.37/509.96	o 3071
509.37/509.96	c fallback to adder encoding
513.67/514.26	o 3065
513.67/514.26	c fallback to adder encoding
517.21/517.80	o 3053
517.21/517.80	c fallback to adder encoding
519.67/520.26	o 3042
519.67/520.26	c fallback to adder encoding
530.46/531.09	o 3040
530.46/531.09	c fallback to adder encoding
534.55/535.20	o 3034
534.55/535.20	c fallback to adder encoding
538.03/538.64	o 2911
538.03/538.64	c fallback to adder encoding
542.46/543.00	o 2908
542.46/543.00	c fallback to adder encoding
545.85/546.47	o 2902
545.85/546.47	c fallback to adder encoding
554.30/554.92	o 2898
554.30/554.92	c fallback to adder encoding
561.31/561.93	o 2894
561.31/561.93	c fallback to adder encoding
565.49/566.17	o 2879
565.49/566.17	c fallback to adder encoding
567.48/568.22	o 2872
567.48/568.22	c fallback to adder encoding
571.27/572.02	o 2860
571.27/572.02	c fallback to adder encoding
577.10/577.88	o 2851
577.10/577.88	c fallback to adder encoding
580.02/580.77	o 2809
580.02/580.77	c fallback to adder encoding
582.31/583.03	o 2790
582.31/583.03	c fallback to adder encoding
586.10/586.86	o 2789
586.10/586.86	c fallback to adder encoding
591.55/592.30	o 2788
591.55/592.30	c fallback to adder encoding
594.42/595.20	o 2690
594.42/595.20	c fallback to adder encoding
601.88/602.63	o 2689
601.88/602.63	c fallback to adder encoding
612.44/613.20	o 2688
612.44/613.20	c fallback to adder encoding
616.50/617.26	o 2682
616.50/617.26	c fallback to adder encoding
620.21/620.90	o 2679
620.21/620.90	c fallback to adder encoding
622.06/622.83	o 2678
622.06/622.83	c fallback to adder encoding
625.80/626.55	o 2635
625.80/626.55	c fallback to adder encoding
630.74/631.63	o 2633
630.74/631.63	c fallback to adder encoding
635.92/636.93	o 2628
635.92/636.93	c fallback to adder encoding
639.38/640.46	o 2623
639.38/640.46	c fallback to adder encoding
641.88/642.90	o 2620
641.88/642.90	c fallback to adder encoding
646.97/648.10	o 2613
646.97/648.10	c fallback to adder encoding
649.10/650.17	o 2609
649.10/650.17	c fallback to adder encoding
654.74/655.81	o 2607
654.74/655.81	c fallback to adder encoding
657.77/658.88	o 2596
657.77/658.88	c fallback to adder encoding
661.48/662.57	o 2567
661.48/662.57	c fallback to adder encoding
665.46/666.54	o 2564
665.46/666.54	c fallback to adder encoding
670.04/671.12	o 2561
670.04/671.12	c fallback to adder encoding
674.55/675.64	o 2560
674.55/675.64	c fallback to adder encoding
677.99/679.00	o 2542
677.99/679.00	c fallback to adder encoding
680.67/681.75	o 2541
680.67/681.75	c fallback to adder encoding
686.67/687.75	o 2532
686.67/687.75	c fallback to adder encoding
692.08/693.11	o 2530
692.08/693.11	c fallback to adder encoding
695.70/696.80	o 2497
695.70/696.80	c fallback to adder encoding
698.66/699.78	o 2422
698.66/699.78	c fallback to adder encoding
700.55/701.65	o 2386
700.55/701.65	c fallback to adder encoding
706.00/707.11	o 2385
706.00/707.11	c fallback to adder encoding
712.85/713.96	o 2375
712.85/713.96	c fallback to adder encoding
716.75/717.86	o 2368
716.75/717.86	c fallback to adder encoding
721.04/722.16	o 2367
721.04/722.16	c fallback to adder encoding
722.43/723.60	o 2359
722.43/723.60	c fallback to adder encoding
725.30/726.47	o 2352
725.30/726.47	c fallback to adder encoding
729.43/730.60	o 2344
729.43/730.60	c fallback to adder encoding
732.61/733.77	o 2337
732.61/733.77	c fallback to adder encoding
735.89/737.05	o 2327
735.89/737.05	c fallback to adder encoding
737.98/739.19	o 2322
737.98/739.19	c fallback to adder encoding
740.06/741.24	o 2317
740.06/741.24	c fallback to adder encoding
745.19/746.39	o 2310
745.19/746.39	c fallback to adder encoding
747.98/749.14	o 2295
747.98/749.14	c fallback to adder encoding
750.32/751.51	o 2286
750.32/751.51	c fallback to adder encoding
753.18/754.35	o 2285
753.18/754.35	c fallback to adder encoding
755.98/757.18	o 2275
755.98/757.18	c fallback to adder encoding
758.65/759.82	o 2265
758.65/759.82	c fallback to adder encoding
761.56/762.74	o 2257
761.56/762.74	c fallback to adder encoding
766.03/767.20	o 2249
766.03/767.20	c fallback to adder encoding
770.61/771.82	o 2248
770.61/771.82	c fallback to adder encoding
773.53/774.73	o 2246
773.53/774.73	c fallback to adder encoding
777.09/778.34	o 2244
777.09/778.34	c fallback to adder encoding
781.79/783.12	o 2243
781.79/783.12	c fallback to adder encoding
784.46/785.83	o 2237
784.46/785.83	c fallback to adder encoding
791.70/793.07	o 2236
791.70/793.07	c fallback to adder encoding
794.87/796.25	o 2234
794.87/796.25	c fallback to adder encoding
802.00/803.37	o 2231
802.00/803.37	c fallback to adder encoding
806.79/808.16	o 2230
806.79/808.16	c fallback to adder encoding
810.15/811.51	o 2196
810.15/811.51	c fallback to adder encoding
815.77/817.14	o 2195
815.77/817.14	c fallback to adder encoding
818.27/819.65	o 2190
818.27/819.65	c fallback to adder encoding
820.39/821.73	o 2184
820.39/821.73	c fallback to adder encoding
823.54/824.92	o 2173
823.54/824.92	c fallback to adder encoding
829.47/830.85	o 2046
829.47/830.85	c fallback to adder encoding
830.99/832.30	o 2041
830.99/832.30	c fallback to adder encoding
834.32/835.76	o 2040
834.32/835.76	c fallback to adder encoding
835.32/836.76	o 2030
835.32/836.76	c fallback to adder encoding
837.93/839.34	o 1997
837.93/839.34	c fallback to adder encoding
839.50/840.92	o 1990
839.50/840.92	c fallback to adder encoding
843.29/844.71	o 1972
843.29/844.71	c fallback to adder encoding
847.22/848.69	o 1970
847.22/848.69	c fallback to adder encoding
849.00/850.42	o 1969
849.00/850.42	c fallback to adder encoding
851.03/852.48	o 1967
851.03/852.48	c fallback to adder encoding
853.83/855.28	o 1844
853.83/855.28	c fallback to adder encoding
856.04/857.49	o 1826
856.04/857.49	c fallback to adder encoding
860.44/861.86	o 1825
860.44/861.86	c fallback to adder encoding
862.60/864.03	o 1824
862.60/864.03	c fallback to adder encoding
879.31/880.72	o 1816
879.31/880.72	c fallback to adder encoding
880.72/882.18	o 1811
880.72/882.18	c fallback to adder encoding
882.73/884.16	o 1803
882.73/884.16	c fallback to adder encoding
884.79/886.21	o 1802
884.79/886.21	c fallback to adder encoding
892.19/893.61	o 1798
892.19/893.61	c fallback to adder encoding
898.68/900.10	o 1797
898.68/900.10	c fallback to adder encoding
903.72/905.19	o 1795
903.72/905.19	c fallback to adder encoding
905.99/907.49	o 1794
905.99/907.49	c fallback to adder encoding
908.66/910.12	o 1793
908.66/910.12	c fallback to adder encoding
910.64/912.10	o 1792
910.64/912.10	c fallback to adder encoding
912.53/914.00	o 1791
912.53/914.00	c fallback to adder encoding
914.04/915.50	o 1786
914.04/915.50	c fallback to adder encoding
918.07/919.59	o 1776
918.07/919.59	c fallback to adder encoding
919.79/921.26	o 1759
919.79/921.26	c fallback to adder encoding
921.01/922.40	o 1752
921.01/922.40	c fallback to adder encoding
925.15/926.61	o 1736
925.15/926.61	c fallback to adder encoding
927.40/928.80	o 1727
927.40/928.80	c fallback to adder encoding
929.95/931.42	o 1723
929.95/931.42	c fallback to adder encoding
932.27/933.74	o 1722
932.27/933.74	c fallback to adder encoding
935.70/937.16	o 1679
935.70/937.16	c fallback to adder encoding
938.89/940.37	o 1524
938.89/940.37	c fallback to adder encoding
942.67/944.19	o 1523
942.67/944.19	c fallback to adder encoding
944.94/946.40	o 1380
944.94/946.40	c fallback to adder encoding
947.15/948.63	o 1333
947.15/948.63	c fallback to adder encoding
950.55/952.02	o 1329
950.55/952.02	c fallback to adder encoding
953.85/955.32	o 1323
953.85/955.32	c fallback to adder encoding
956.98/958.49	o 1309
956.98/958.49	c fallback to adder encoding
959.75/961.21	o 1298
959.75/961.21	c fallback to adder encoding
961.98/963.48	o 1293
961.98/963.48	c fallback to adder encoding
964.44/965.91	o 1289
964.44/965.91	c fallback to adder encoding
969.19/970.65	o 1277
969.19/970.65	c fallback to adder encoding
971.26/972.72	o 1257
971.26/972.72	c fallback to adder encoding
974.38/975.89	o 1249
974.38/975.89	c fallback to adder encoding
976.54/978.04	o 1221
976.54/978.04	c fallback to adder encoding
980.86/982.38	o 1219
980.86/982.38	c fallback to adder encoding
983.36/984.85	o 1218
983.36/984.85	c fallback to adder encoding
986.66/988.19	o 1216
986.66/988.19	c fallback to adder encoding
988.72/990.27	o 1206
988.72/990.27	c fallback to adder encoding
990.59/992.12	o 1203
990.59/992.12	c fallback to adder encoding
991.83/993.39	o 1185
991.83/993.39	c fallback to adder encoding
994.10/995.68	o 1183
994.10/995.68	c fallback to adder encoding
995.97/997.54	o 1177
995.97/997.54	c fallback to adder encoding
999.08/1000.64	o 1176
999.08/1000.64	c fallback to adder encoding
1004.39/1005.90	o 1171
1004.39/1005.90	c fallback to adder encoding
1006.66/1008.22	o 1164
1006.66/1008.22	c fallback to adder encoding
1008.49/1010.08	o 1162
1008.49/1010.08	c fallback to adder encoding
1009.64/1011.23	o 1152
1009.64/1011.23	c fallback to adder encoding
1012.05/1013.65	o 1150
1012.05/1013.65	c fallback to adder encoding
1014.76/1016.33	o 1144
1014.76/1016.33	c fallback to adder encoding
1016.71/1018.34	o 1019
1016.71/1018.34	c fallback to adder encoding
1019.43/1021.00	o 1011
1019.43/1021.00	c fallback to adder encoding
1020.63/1022.25	o 1010
1020.63/1022.25	c fallback to adder encoding
1023.62/1025.22	o 1005
1023.62/1025.22	c fallback to adder encoding
1027.43/1029.09	o 999
1027.43/1029.09	c fallback to adder encoding
1033.02/1034.66	o 998
1033.02/1034.66	c fallback to adder encoding
1038.82/1040.48	o 997
1038.82/1040.48	c fallback to adder encoding
1044.09/1045.74	o 993
1044.09/1045.74	c fallback to adder encoding
1045.80/1047.48	o 953
1045.80/1047.48	c fallback to adder encoding
1048.00/1049.64	o 947
1048.00/1049.64	c fallback to adder encoding
1048.14/1049.98	o 945
1048.14/1049.98	c fallback to adder encoding
1054.20/1055.86	o 944
1054.20/1055.86	c fallback to adder encoding
1057.48/1059.13	o 937
1057.48/1059.13	c fallback to adder encoding
1061.10/1062.79	o 932
1061.10/1062.79	c fallback to adder encoding
1063.30/1064.97	o 929
1063.30/1064.97	c fallback to adder encoding
1065.39/1067.06	o 924
1065.39/1067.06	c fallback to adder encoding
1065.52/1068.06	o 923
1065.52/1068.06	c fallback to adder encoding
1068.08/1069.75	o 914
1068.08/1069.75	c fallback to adder encoding
1070.67/1072.36	o 909
1070.67/1072.36	c fallback to adder encoding
1073.67/1075.35	o 907
1073.67/1075.35	c fallback to adder encoding
1079.55/1081.27	o 906
1079.55/1081.27	c fallback to adder encoding
1082.66/1084.36	o 905
1082.66/1084.36	c fallback to adder encoding
1084.10/1085.71	o 897
1084.10/1085.71	c fallback to adder encoding
1085.58/1087.26	o 896
1085.58/1087.26	c fallback to adder encoding
1086.86/1088.56	o 888
1086.86/1088.56	c fallback to adder encoding
1087.38/1089.04	o 879
1087.38/1089.04	c fallback to adder encoding
1089.05/1090.72	o 878
1089.05/1090.72	c fallback to adder encoding
1089.69/1091.34	o 875
1089.69/1091.34	c fallback to adder encoding
1090.76/1092.42	o 871
1090.76/1092.42	c fallback to adder encoding
1090.90/1092.89	o 865
1090.90/1092.89	c fallback to adder encoding
1094.19/1095.84	o 862
1094.19/1095.84	c fallback to adder encoding
1097.58/1099.27	o 861
1097.58/1099.27	c fallback to adder encoding
1098.98/1100.64	o 860
1098.98/1100.64	c fallback to adder encoding
1100.08/1101.75	o 859
1100.08/1101.75	c fallback to adder encoding
1101.67/1103.38	o 844
1101.67/1103.38	c fallback to adder encoding
1103.06/1104.71	o 841
1103.06/1104.71	c fallback to adder encoding
1104.25/1105.92	o 839
1104.25/1105.92	c fallback to adder encoding
1105.37/1107.03	o 800
1105.37/1107.03	c fallback to adder encoding
1108.57/1110.25	o 798
1108.57/1110.25	c fallback to adder encoding
1111.27/1112.93	o 788
1111.27/1112.93	c fallback to adder encoding
1113.89/1115.56	o 763
1113.89/1115.56	c fallback to adder encoding
1114.89/1116.57	o 741
1114.89/1116.57	c fallback to adder encoding
1115.46/1117.12	o 740
1115.46/1117.12	c fallback to adder encoding
1117.69/1119.39	o 704
1117.69/1119.39	c fallback to adder encoding
1118.88/1120.63	o 703
1118.88/1120.63	c fallback to adder encoding
1120.29/1122.09	o 320
1120.29/1122.09	c fallback to adder encoding
1120.41/1122.24	o 191
1120.64/1122.44	o 134
1120.79/1122.55	o 99
1120.79/1122.59	c display solution
1120.79/1122.59	s OPTIMUM FOUND
1120.79/1122.59	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	99

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

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

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


[startup+0 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0

[startup+0.0591571 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100248 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300283 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700269 s]
/proc/loadavg: 1.99 2.02 2.00 3/182 22312
/proc/meminfo: memFree=31316916/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 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.99 2.02 2.00 3/186 22326
/proc/meminfo: memFree=31269928/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=0.15 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 3957 4916 0 0 12 2 1 0 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22325] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22325/stat : 22325 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30089059 9367552 267 33554432000 4194304 5064252 140735825610688 140735825609600 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22325/statm: 2287 267 226 213 0 72 0
[pid=22326] ppid=22325 vsize=26984 CPUtime=1.31 cores=1,3,5,7
/proc/22326/stat : 22326 (glucose) R 22325 22312 17075 0 -1 4202496 5574 0 0 0 130 1 0 0 20 0 1 0 30089059 27631616 5696 33554432000 4194304 5208918 140734095241104 140734095238952 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22326/statm: 6746 5696 103 248 0 6495 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 65300

[startup+3.10043 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22326
/proc/meminfo: memFree=31268936/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=0.15 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 3957 4916 0 0 12 2 1 0 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22325] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22325/stat : 22325 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30089059 9367552 267 33554432000 4194304 5064252 140735825610688 140735825609600 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22325/statm: 2287 267 226 213 0 72 0
[pid=22326] ppid=22325 vsize=27688 CPUtime=2.91 cores=1,3,5,7
/proc/22326/stat : 22326 (glucose) R 22325 22312 17075 0 -1 4202496 5821 0 0 0 290 1 0 0 20 0 1 0 30089059 28352512 5943 33554432000 4194304 5208918 140734095241104 140734095238952 4211901 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22326/statm: 6922 5943 103 248 0 6671 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 66004

[startup+6.30033 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22333
/proc/meminfo: memFree=31268004/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=4.22 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 5976 14094 0 0 23 3 390 6 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22332] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22332/stat : 22332 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 30089465 9367552 266 33554432000 4194304 5064252 140734109200128 140734109199040 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22332/statm: 2287 266 226 213 0 72 0
[pid=22333] ppid=22332 vsize=28020 CPUtime=2.05 cores=1,3,5,7
/proc/22333/stat : 22333 (glucose) R 22332 22312 17075 0 -1 4202496 5909 0 0 0 204 1 0 0 20 0 1 0 30089465 28692480 5977 33554432000 4194304 5208918 140736091740624 140736091738456 4211553 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22333/statm: 7005 5977 103 248 0 6754 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 66336

[startup+12.7004 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22340
/proc/meminfo: memFree=31269280/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=10.61 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 7995 23525 0 0 34 5 1010 12 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22339] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22339/stat : 22339 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30090103 9367552 267 33554432000 4194304 5064252 140736107630832 140736107629744 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22339/statm: 2287 267 226 213 0 72 0
[pid=22340] ppid=22339 vsize=27100 CPUtime=2.06 cores=1,3,5,7
/proc/22340/stat : 22340 (glucose) R 22339 22312 17075 0 -1 4202496 5339 0 0 0 205 1 0 0 20 0 1 0 30090104 27750400 5610 33554432000 4194304 5208918 140733759071040 140733759068792 4210976 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22340/statm: 6775 5610 103 248 0 6524 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 65416

[startup+25.5003 s]
/proc/loadavg: 1.99 2.02 2.00 3/186 22354
/proc/meminfo: memFree=31267268/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=25.47 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 14052 51644 0 0 67 8 2441 31 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 29168

[startup+51.1004 s]
/proc/loadavg: 1.99 2.01 2.00 3/185 22389
/proc/meminfo: memFree=31267360/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=46.23 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 22128 90279 0 0 110 13 4444 56 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22388] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22388/stat : 22388 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 30093667 9367552 267 33554432000 4194304 5064252 140736537110976 140736537109888 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22388/statm: 2287 267 226 213 0 72 0
[pid=22389] ppid=22388 vsize=32204 CPUtime=4.83 cores=1,3,5,7
/proc/22389/stat : 22389 (glucose) R 22388 22312 17075 0 -1 4202496 6142 0 0 0 482 1 0 0 20 0 1 0 30093667 32976896 6265 33554432000 4194304 5208918 140735398568208 140735398566056 4211049 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 8051 6265 103 248 0 7800 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 70520

[startup+102.307 s]
/proc/loadavg: 2.10 2.04 2.00 3/185 22466
/proc/meminfo: memFree=31274036/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=101.17 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 42318 188338 0 0 220 25 9755 117 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22465] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22465/stat : 22465 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30099162 9367552 266 33554432000 4194304 5064252 140733214952512 140733214951424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22465/statm: 2287 266 226 213 0 72 0
[pid=22466] ppid=22465 vsize=26312 CPUtime=1.08 cores=1,3,5,7
/proc/22466/stat : 22466 (glucose) R 22465 22312 17075 0 -1 4202496 5542 0 0 0 107 1 0 0 20 0 1 0 30099162 26943488 5284 33554432000 4194304 5208918 140733883274560 140733883272456 4211620 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22466/statm: 6578 5284 102 248 0 6327 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 64628

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/185 22565
/proc/meminfo: memFree=31268052/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=159.99 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 70584 321966 0 0 374 40 15391 194 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=22564] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22564/stat : 22564 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30105047 9367552 266 33554432000 4194304 5064252 140736869257248 140736869256160 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/22564/statm: 2287 266 226 213 0 72 0
[pid=22565] ppid=22564 vsize=27392 CPUtime=2.23 cores=1,3,5,7
/proc/22565/stat : 22565 (glucose) R 22564 22312 17075 0 -1 4202496 5859 0 0 0 222 1 0 0 20 0 1 0 30105048 28049408 6106 33554432000 4194304 5208918 140734350023904 140734350021656 4211732 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/22565/statm: 6848 6106 103 248 0 6597 0
Current children cumulated CPU time (s) 162.22

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


[startup+642.3 s]
/proc/loadavg: 2.04 2.06 2.01 3/185 23874
/proc/meminfo: memFree=31624432/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=639.56 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 285935 1343232 0 0 1494 163 61513 786 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=23873] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23873/stat : 23873 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30153099 9367552 267 33554432000 4194304 5064252 140736842343968 140736842342880 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/23873/statm: 2287 267 226 213 0 72 0
[pid=23874] ppid=23873 vsize=26068 CPUtime=1.71 cores=1,3,5,7
/proc/23874/stat : 23874 (glucose) R 23873 22312 17075 0 -1 4202496 5919 0 0 0 170 1 0 0 20 0 1 0 30153099 26693632 5229 33554432000 4194304 5208918 140733581858720 140733581855096 4211501 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/23874/statm: 6517 5229 105 248 0 6266 0
Current children cumulated CPU time (s) 641.27
Current children cumulated vsize (KiB) 64384

[startup+702.3 s]
/proc/loadavg: 2.10 2.08 2.02 3/185 24133
/proc/meminfo: memFree=31633168/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=700.74 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 318063 1495124 0 0 1657 180 67365 872 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=24132] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24132/stat : 24132 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30159218 9367552 266 33554432000 4194304 5064252 140733220528512 140733220527424 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24132/statm: 2287 266 226 213 0 72 0
[pid=24133] ppid=24132 vsize=25376 CPUtime=0.52 cores=1,3,5,7
/proc/24133/stat : 24133 (glucose) R 24132 22312 17075 0 -1 4202496 5634 0 0 0 51 1 0 0 20 0 1 0 30159218 25985024 5471 33554432000 4194304 5208918 140734545480176 140734545478024 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24133/statm: 6344 5471 104 248 0 6093 0
Current children cumulated CPU time (s) 701.26
Current children cumulated vsize (KiB) 63692

[startup+762.3 s]
/proc/loadavg: 2.12 2.09 2.02 3/185 24442
/proc/meminfo: memFree=31623408/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=758.83 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 352199 1652114 0 0 1828 199 72893 963 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 1 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
[pid=24434] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24434/stat : 24434 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 30165035 9367552 267 33554432000 4194304 5064252 140734772409712 140734772408624 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/24434/statm: 2287 267 226 213 0 72 0
[pid=24435] ppid=24434 vsize=26376 CPUtime=2.35 cores=1,3,5,7
/proc/24435/stat : 24435 (glucose) R 24434 22312 17075 0 -1 4202496 5358 0 0 0 234 1 0 0 20 0 1 0 30165035 27009024 5734 33554432000 4194304 5208918 140735461532672 140735461530632 4211160 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24435/statm: 6594 5734 105 248 0 6343 0
Current children cumulated CPU time (s) 761.18
Current children cumulated vsize (KiB) 64692

[startup+822.3 s]
/proc/loadavg: 2.04 2.07 2.01 3/183 24842
/proc/meminfo: memFree=31664576/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=820.54 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 382319 1795507 0 0 1979 216 78814 1045 20 0 1 0 30089041 20500480 4336 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 4 0 0
/proc/22313/statm: 5005 4336 179 443 0 4558 0
Current children cumulated CPU time (s) 820.54
Current children cumulated vsize (KiB) 29168

[startup+882.307 s]
/proc/loadavg: 2.03 2.06 2.01 3/183 25329
/proc/meminfo: memFree=31663752/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=880.92 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 416455 1950159 0 0 2136 234 84593 1129 20 0 1 0 30089041 20500480 4337 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4337 179 443 0 4558 0
Current children cumulated CPU time (s) 880.92
Current children cumulated vsize (KiB) 29168

[startup+942.3 s]
/proc/loadavg: 2.08 2.06 2.01 3/185 25640
/proc/meminfo: memFree=27550136/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=939.06 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 454607 2120801 0 0 2311 253 90119 1223 20 0 1 0 30089041 20500480 4337 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4337 179 443 0 4558 0
[pid=25639] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25639/stat : 25639 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30183089 9367552 266 33554432000 4194304 5064252 140737353076768 140737353075680 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25639/statm: 2287 266 226 213 0 72 0
[pid=25640] ppid=25639 vsize=23888 CPUtime=1.81 cores=1,3,5,7
/proc/25640/stat : 25640 (glucose) R 25639 22312 17075 0 -1 4202496 5171 0 0 0 181 0 0 0 20 0 1 0 30183089 24461312 4856 33554432000 4194304 5208918 140734097384032 140734097381784 4229577 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25640/statm: 5972 4856 105 248 0 5721 0
Current children cumulated CPU time (s) 940.87
Current children cumulated vsize (KiB) 62204

[startup+1002.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/185 25794
/proc/meminfo: memFree=27548664/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=999.24 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 498783 2318907 0 0 2515 276 95806 1327 20 0 1 0 30089041 20500480 4337 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4337 179 443 0 4558 0
[pid=25793] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25793/stat : 25793 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 30189116 9367552 266 33554432000 4194304 5064252 140735014910944 140735014909856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25793/statm: 2287 266 226 213 0 72 0
[pid=25794] ppid=25793 vsize=24000 CPUtime=1.54 cores=1,3,5,7
/proc/25794/stat : 25794 (glucose) R 25793 22312 17075 0 -1 4202496 5224 0 0 0 153 1 0 0 20 0 1 0 30189116 24576000 4883 33554432000 4194304 5208918 140737239766256 140737239764408 4229296 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25794/statm: 6000 4883 105 248 0 5749 0
Current children cumulated CPU time (s) 1000.78
Current children cumulated vsize (KiB) 62316

[startup+1062.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/185 25928
/proc/meminfo: memFree=27551200/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1057.62 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 536930 2479436 0 0 2677 294 101378 1413 20 0 1 0 30089041 20500480 4343 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4343 179 443 0 4558 0
[pid=25927] ppid=22313 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25927/stat : 25927 (satsolver.sh) S 22313 22312 17075 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 30194963 9367552 266 33554432000 4194304 5064252 140736673262464 140736673261376 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/25927/statm: 2287 266 226 213 0 72 0
[pid=25928] ppid=25927 vsize=19948 CPUtime=3.07 cores=1,3,5,7
/proc/25928/stat : 25928 (glucose) R 25927 22312 17075 0 -1 4202496 4350 0 0 0 307 0 0 0 20 0 1 0 30194963 20426752 4412 33554432000 4194304 5208918 140734613611904 140734613609736 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/25928/statm: 4987 4412 105 248 0 4736 0
Current children cumulated CPU time (s) 1060.69
Current children cumulated vsize (KiB) 58264

[startup+1122.3 s]
/proc/loadavg: 2.03 2.05 2.00 3/185 26152
/proc/meminfo: memFree=27555640/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1120.58 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 601662 2731752 0 0 2915 320 107276 1547 20 0 1 0 30089041 20500480 4357 33554432000 4194304 6006132 140736590352368 140736590343760 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4357 180 443 0 4558 0
Current children cumulated CPU time (s) 1120.58
Current children cumulated vsize (KiB) 29168

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

[startup+1122.4 s]
/proc/loadavg: 2.03 2.05 2.00 3/185 26152
/proc/meminfo: memFree=27555640/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1120.64 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) S 22312 22312 17075 0 -1 4202496 601670 2736295 0 0 2915 320 107281 1548 20 0 1 0 30089041 20500480 4357 33554432000 4194304 6006132 140736590352368 140736590343248 5187998 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4357 180 443 0 4558 0
Current children cumulated CPU time (s) 1120.64
Current children cumulated vsize (KiB) 29168

[startup+1122.5 s]
/proc/loadavg: 2.03 2.05 2.00 3/185 26152
/proc/meminfo: memFree=27555640/32873844 swapFree=7124/7124
[pid=22312] ppid=22310 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22312/stat : 22312 (npSolver-wbo-It) S 22310 22312 17075 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 30089041 9367552 275 33554432000 4194304 5064252 140734412873184 140734412872096 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22312/statm: 2287 275 233 213 0 72 0
[pid=22313] ppid=22312 vsize=20020 CPUtime=1120.79 cores=1,3,5,7
/proc/22313/stat : 22313 (npSolver-wbo) R 22312 22312 17075 0 -1 4202496 602263 2741795 0 0 2916 320 107290 1553 20 0 1 0 30089041 20500480 4357 33554432000 4194304 6006132 140736590352368 140736590343760 4919041 0 65536 4102 0 0 0 0 17 3 0 0 10 0 0
/proc/22313/statm: 5005 4357 180 443 0 4558 0
Current children cumulated CPU time (s) 1120.79
Current children cumulated vsize (KiB) 29168

Child status: 0
Real time (s): 1122.6
CPU time (s): 1120.92
CPU user time (s): 1102.13
CPU system time (s): 18.7871
CPU usage (%): 99.8504
Max. virtual memory (cumulated for all children) (KiB): 78448

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1102.13
system time used= 18.7871
maximum resident set size= 40060
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3352512
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3796080
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19586
involuntary context switches= 4486

runsolver used 2.49062 second user time and 7.09592 second system time

The end

Launcher Data 

Begin job on node133 at 2012-06-09 02:20:21
IDJOB=3753801
IDBENCH=79408
IDSOLVER=2337
FILE ID=node133/3753801-1339201221
RUNJOBID= node133-1339184681-18371
PBS_JOBID= 14643824
Free space on /tmp= 71096 MiB

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

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

MD5SUM BENCH= 6d863641d8b2b772fe5ea25b86285712
RANDOM SEED=1679920254

node133.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		: 2667.139
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	: 5334.27
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		: 2667.139
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	: 5332.55
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		: 2667.139
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	: 5332.55
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		: 2667.139
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	: 5332.55
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		: 2667.139
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	: 5332.56
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		: 2667.139
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	: 5332.56
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		: 2667.139
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	: 5332.52
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		: 2667.139
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        31317188 kB
Buffers:          136120 kB
Cached:           276840 kB
SwapCached:         1824 kB
Active:           587020 kB
Inactive:         148952 kB
Active(anon):     322772 kB
Inactive(anon):     2420 kB
Active(file):     264248 kB
Inactive(file):   146532 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67100328 kB
Dirty:              8176 kB
Writeback:             0 kB
AnonPages:        404168 kB
Mapped:             9852 kB
Shmem:                 0 kB
Slab:             679648 kB
SReclaimable:     121952 kB
SUnreclaim:       557696 kB
KernelStack:        1544 kB
PageTables:         4792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     519612 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    208896 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70200 MiB
End job on node133 at 2012-06-09 02:39:04