Trace number 3715112

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
npSolver inc-topDownOPTIMUM 1752.63 1755.7

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/wcsp/jnh/
normalized-jnh04_wcsp.wbo
MD5SUM54ef51abb9454409d6f66c5b853cdf79
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark95
Best CPU time to get the best result obtained on this benchmark0.013997
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables200
Total number of 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.06	o 12714
0.00/0.06	c fallback to adder encoding
3.65/3.73	o 12703
3.65/3.73	c fallback to adder encoding
7.57/7.66	o 12688
7.57/7.66	c fallback to adder encoding
12.77/12.87	o 12683
12.77/12.87	c fallback to adder encoding
18.67/18.78	o 12568
18.67/18.78	c fallback to adder encoding
22.05/22.11	o 12563
22.05/22.11	c fallback to adder encoding
28.38/28.40	o 12556
28.38/28.40	c fallback to adder encoding
32.16/32.26	o 12555
32.16/32.26	c fallback to adder encoding
35.15/35.23	o 12543
35.15/35.23	c fallback to adder encoding
39.77/39.89	o 12538
39.77/39.89	c fallback to adder encoding
42.65/42.72	o 12533
42.65/42.72	c fallback to adder encoding
46.55/46.62	o 12521
46.55/46.62	c fallback to adder encoding
51.96/52.06	o 12475
51.96/52.06	c fallback to adder encoding
56.37/56.49	o 12455
56.37/56.49	c fallback to adder encoding
59.53/59.66	o 12405
59.53/59.66	c fallback to adder encoding
63.51/63.62	o 12404
63.51/63.62	c fallback to adder encoding
67.89/68.02	o 12397
67.89/68.02	c fallback to adder encoding
73.20/73.31	o 12388
73.20/73.31	c fallback to adder encoding
74.87/75.05	o 12364
74.87/75.05	c fallback to adder encoding
79.76/79.92	o 12363
79.76/79.92	c fallback to adder encoding
85.29/85.45	o 12360
85.29/85.45	c fallback to adder encoding
88.37/88.59	o 12352
88.37/88.59	c fallback to adder encoding
92.27/92.47	o 12349
92.27/92.47	c fallback to adder encoding
95.17/95.37	o 12346
95.17/95.37	c fallback to adder encoding
98.46/98.63	o 12345
98.46/98.63	c fallback to adder encoding
102.27/102.46	o 12340
102.27/102.46	c fallback to adder encoding
107.33/107.56	o 12336
107.33/107.56	c fallback to adder encoding
111.93/112.20	o 12325
111.93/112.20	c fallback to adder encoding
116.12/116.37	o 12323
116.12/116.37	c fallback to adder encoding
121.51/121.74	o 12298
121.51/121.74	c fallback to adder encoding
128.19/128.42	o 12295
128.19/128.42	c fallback to adder encoding
133.72/133.98	o 12289
133.72/133.98	c fallback to adder encoding
136.41/136.66	o 12288
136.41/136.66	c fallback to adder encoding
138.59/138.92	o 12227
138.59/138.92	c fallback to adder encoding
142.56/142.92	o 12186
142.56/142.92	c fallback to adder encoding
146.97/147.38	o 12174
146.97/147.38	c fallback to adder encoding
150.82/151.21	o 12165
150.82/151.21	c fallback to adder encoding
153.77/154.16	o 12141
153.77/154.16	c fallback to adder encoding
157.56/157.94	o 12140
157.56/157.94	c fallback to adder encoding
163.83/164.20	o 12088
163.83/164.20	c fallback to adder encoding
166.76/167.16	o 12080
166.76/167.16	c fallback to adder encoding
168.42/168.81	o 12065
168.42/168.81	c fallback to adder encoding
172.86/173.24	o 12050
172.86/173.24	c fallback to adder encoding
175.57/175.95	o 12040
175.57/175.95	c fallback to adder encoding
182.36/182.74	o 12039
182.36/182.74	c fallback to adder encoding
187.75/188.14	o 12038
187.75/188.14	c fallback to adder encoding
192.23/192.63	o 12035
192.23/192.63	c fallback to adder encoding
196.34/196.74	o 12034
196.34/196.74	c fallback to adder encoding
206.83/207.23	o 12032
206.83/207.23	c fallback to adder encoding
211.85/212.28	o 12029
211.85/212.28	c fallback to adder encoding
214.06/214.46	o 11932
214.06/214.46	c fallback to adder encoding
218.13/218.53	o 11911
218.13/218.53	c fallback to adder encoding
222.03/222.47	o 11908
222.03/222.47	c fallback to adder encoding
225.50/225.90	o 11214
225.50/225.90	c fallback to adder encoding
227.45/227.80	o 11199
227.45/227.80	c fallback to adder encoding
234.90/235.31	o 11195
234.90/235.31	c fallback to adder encoding
241.89/242.38	o 11192
241.89/242.38	c fallback to adder encoding
246.78/247.27	o 11186
246.78/247.27	c fallback to adder encoding
250.49/250.99	o 11184
250.49/250.99	c fallback to adder encoding
256.89/257.32	o 11129
256.89/257.32	c fallback to adder encoding
260.38/260.87	o 11128
260.38/260.87	c fallback to adder encoding
263.28/263.76	o 11095
263.28/263.76	c fallback to adder encoding
265.27/265.73	o 11060
265.27/265.73	c fallback to adder encoding
273.50/273.91	o 11058
273.50/273.91	c fallback to adder encoding
278.89/279.32	o 11039
278.89/279.32	c fallback to adder encoding
283.46/283.92	o 11034
283.46/283.92	c fallback to adder encoding
287.47/287.94	o 11000
287.47/287.94	c fallback to adder encoding
291.10/291.63	o 10977
291.10/291.63	c fallback to adder encoding
295.51/296.03	o 10740
295.51/296.03	c fallback to adder encoding
300.02/300.58	o 10730
300.02/300.58	c fallback to adder encoding
302.91/303.43	o 10726
302.91/303.43	c fallback to adder encoding
306.22/306.78	o 10715
306.22/306.78	c fallback to adder encoding
312.10/312.62	o 10711
312.10/312.62	c fallback to adder encoding
314.92/315.49	o 10701
314.92/315.49	c fallback to adder encoding
317.12/317.83	o 10695
317.12/317.83	c fallback to adder encoding
321.48/322.26	o 10690
321.48/322.26	c fallback to adder encoding
328.19/328.97	o 10642
328.19/328.97	c fallback to adder encoding
334.97/335.79	o 10638
334.97/335.79	c fallback to adder encoding
337.83/338.60	o 10635
337.83/338.60	c fallback to adder encoding
341.47/342.20	o 10633
341.47/342.20	c fallback to adder encoding
344.16/344.96	o 10591
344.16/344.96	c fallback to adder encoding
348.85/349.61	o 10585
348.85/349.61	c fallback to adder encoding
353.37/354.18	o 10574
353.37/354.18	c fallback to adder encoding
357.13/357.91	o 10572
357.13/357.91	c fallback to adder encoding
360.46/361.29	o 10569
360.46/361.29	c fallback to adder encoding
367.85/368.63	o 10562
367.85/368.63	c fallback to adder encoding
374.92/375.70	o 10560
374.92/375.70	c fallback to adder encoding
380.35/381.19	o 10549
380.35/381.19	c fallback to adder encoding
385.55/386.33	o 10545
385.55/386.33	c fallback to adder encoding
389.54/390.34	o 10543
389.54/390.34	c fallback to adder encoding
394.34/395.18	o 10537
394.34/395.18	c fallback to adder encoding
396.65/397.48	o 10532
396.65/397.48	c fallback to adder encoding
400.15/400.99	o 10526
400.15/400.99	c fallback to adder encoding
403.56/404.34	o 10501
403.56/404.34	c fallback to adder encoding
413.52/414.32	o 10500
413.52/414.32	c fallback to adder encoding
422.25/423.08	o 10474
422.25/423.08	c fallback to adder encoding
425.66/426.44	o 10470
425.66/426.44	c fallback to adder encoding
429.36/430.11	o 10451
429.36/430.11	c fallback to adder encoding
433.66/434.46	o 10438
433.66/434.46	c fallback to adder encoding
436.85/437.64	o 10437
436.85/437.64	c fallback to adder encoding
439.25/440.04	o 10433
439.25/440.04	c fallback to adder encoding
443.16/443.96	o 10432
443.16/443.96	c fallback to adder encoding
448.13/448.99	o 10423
448.13/448.99	c fallback to adder encoding
448.44/449.23	o 8374
448.44/449.23	c fallback to adder encoding
451.34/452.14	o 8367
451.34/452.14	c fallback to adder encoding
455.53/456.33	o 8360
455.53/456.33	c fallback to adder encoding
461.43/462.24	o 8351
461.43/462.24	c fallback to adder encoding
465.94/466.79	o 8340
465.94/466.79	c fallback to adder encoding
470.80/471.60	o 8338
470.80/471.60	c fallback to adder encoding
476.18/477.04	o 8328
476.18/477.04	c fallback to adder encoding
480.50/481.35	o 8323
480.50/481.35	c fallback to adder encoding
485.20/486.05	o 8321
485.20/486.05	c fallback to adder encoding
488.58/489.49	o 8309
488.58/489.49	c fallback to adder encoding
493.32/494.22	o 8308
493.32/494.22	c fallback to adder encoding
497.53/498.49	o 8302
497.53/498.49	c fallback to adder encoding
502.02/502.93	o 8289
502.02/502.93	c fallback to adder encoding
507.81/508.73	o 8288
507.81/508.73	c fallback to adder encoding
510.79/511.71	o 8286
510.79/511.71	c fallback to adder encoding
515.12/516.07	o 8284
515.12/516.07	c fallback to adder encoding
519.40/520.32	o 8277
519.40/520.32	c fallback to adder encoding
525.21/526.13	o 8276
525.21/526.13	c fallback to adder encoding
532.02/532.96	o 8273
532.02/532.96	c fallback to adder encoding
540.23/541.15	o 8272
540.23/541.15	c fallback to adder encoding
545.03/545.96	o 8268
545.03/545.96	c fallback to adder encoding
549.68/550.69	o 8267
549.68/550.69	c fallback to adder encoding
554.11/555.18	o 8266
554.11/555.18	c fallback to adder encoding
560.90/561.91	o 8261
560.90/561.91	c fallback to adder encoding
566.73/567.77	o 8259
566.73/567.77	c fallback to adder encoding
573.32/574.37	o 8254
573.32/574.37	c fallback to adder encoding
579.52/580.57	o 8252
579.52/580.57	c fallback to adder encoding
584.71/585.79	o 8250
584.71/585.79	c fallback to adder encoding
589.52/590.57	o 8249
589.52/590.57	c fallback to adder encoding
596.22/597.23	o 8245
596.22/597.23	c fallback to adder encoding
603.09/604.12	o 8235
603.09/604.12	c fallback to adder encoding
607.09/608.11	o 8228
607.09/608.11	c fallback to adder encoding
613.01/614.05	o 8227
613.01/614.05	c fallback to adder encoding
619.00/620.03	o 8226
619.00/620.03	c fallback to adder encoding
622.83/623.80	o 8209
622.83/623.80	c fallback to adder encoding
626.08/627.10	o 8203
626.08/627.10	c fallback to adder encoding
631.01/632.09	o 8202
631.01/632.09	c fallback to adder encoding
637.29/638.32	o 8201
637.29/638.32	c fallback to adder encoding
641.88/642.92	o 8200
641.88/642.92	c fallback to adder encoding
644.48/645.59	o 8198
644.48/645.59	c fallback to adder encoding
649.67/650.77	o 8194
649.67/650.77	c fallback to adder encoding
655.44/656.55	o 8193
655.44/656.55	c fallback to adder encoding
660.04/661.17	o 8192
660.04/661.17	c fallback to adder encoding
662.71/663.81	o 8178
662.71/663.81	c fallback to adder encoding
665.56/666.66	o 8039
665.56/666.66	c fallback to adder encoding
668.43/669.55	o 8037
668.43/669.55	c fallback to adder encoding
672.05/673.12	o 8035
672.05/673.12	c fallback to adder encoding
674.92/676.07	o 8034
674.92/676.07	c fallback to adder encoding
678.04/679.15	o 8032
678.04/679.15	c fallback to adder encoding
682.23/683.37	o 8027
682.23/683.37	c fallback to adder encoding
684.94/686.08	o 8026
684.94/686.08	c fallback to adder encoding
689.31/690.41	o 8015
689.31/690.41	c fallback to adder encoding
693.11/694.20	o 7993
693.11/694.20	c fallback to adder encoding
696.54/697.69	o 7987
696.54/697.69	c fallback to adder encoding
699.99/701.12	o 7941
699.99/701.12	c fallback to adder encoding
706.12/707.24	o 7928
706.12/707.24	c fallback to adder encoding
707.88/709.01	o 7927
707.88/709.01	c fallback to adder encoding
710.21/711.37	o 7902
710.21/711.37	c fallback to adder encoding
713.30/714.46	o 7895
713.30/714.46	c fallback to adder encoding
715.98/717.20	o 7893
715.98/717.20	c fallback to adder encoding
718.64/719.80	o 7885
718.64/719.80	c fallback to adder encoding
722.59/723.75	o 7881
722.59/723.75	c fallback to adder encoding
727.98/729.13	o 7839
727.98/729.13	c fallback to adder encoding
731.49/732.69	o 7835
731.49/732.69	c fallback to adder encoding
736.04/737.20	o 7834
736.04/737.20	c fallback to adder encoding
739.56/740.79	o 7827
739.56/740.79	c fallback to adder encoding
744.58/745.84	o 7822
744.58/745.84	c fallback to adder encoding
747.94/749.23	o 7821
747.94/749.23	c fallback to adder encoding
751.54/752.86	o 7708
751.54/752.86	c fallback to adder encoding
755.55/756.85	o 7704
755.55/756.85	c fallback to adder encoding
759.64/760.99	o 7693
759.64/760.99	c fallback to adder encoding
762.44/763.77	o 7685
762.44/763.77	c fallback to adder encoding
767.60/768.99	o 7682
767.60/768.99	c fallback to adder encoding
770.56/771.97	o 5640
770.56/771.97	c fallback to adder encoding
773.98/775.36	o 5631
773.98/775.36	c fallback to adder encoding
777.26/778.68	o 5615
777.26/778.68	c fallback to adder encoding
781.06/782.47	o 5607
781.06/782.47	c fallback to adder encoding
786.36/787.75	o 5599
786.36/787.75	c fallback to adder encoding
790.65/792.00	o 5586
790.65/792.00	c fallback to adder encoding
795.13/796.52	o 5573
795.13/796.52	c fallback to adder encoding
798.84/800.27	o 5552
798.84/800.27	c fallback to adder encoding
802.23/803.66	o 5544
802.23/803.66	c fallback to adder encoding
805.94/807.31	o 5536
805.94/807.31	c fallback to adder encoding
809.74/811.17	o 5529
809.74/811.17	c fallback to adder encoding
814.23/815.65	o 5510
814.23/815.65	c fallback to adder encoding
818.64/820.04	o 5494
818.64/820.04	c fallback to adder encoding
822.83/824.29	o 5493
822.83/824.29	c fallback to adder encoding
828.30/829.73	o 5486
828.30/829.73	c fallback to adder encoding
835.10/836.55	o 5481
835.10/836.55	c fallback to adder encoding
837.30/838.77	o 5456
837.30/838.77	c fallback to adder encoding
840.11/841.59	o 5454
840.11/841.59	c fallback to adder encoding
844.35/845.86	o 5448
844.35/845.86	c fallback to adder encoding
847.82/849.30	o 5446
847.82/849.30	c fallback to adder encoding
854.02/855.50	o 5442
854.02/855.50	c fallback to adder encoding
859.46/860.90	o 5441
859.46/860.90	c fallback to adder encoding
863.55/865.07	o 5440
863.55/865.07	c fallback to adder encoding
868.13/869.62	o 5427
868.13/869.62	c fallback to adder encoding
872.61/874.11	o 5417
872.61/874.11	c fallback to adder encoding
877.36/878.86	o 5389
877.36/878.86	c fallback to adder encoding
882.86/884.40	o 5387
882.86/884.40	c fallback to adder encoding
886.15/887.63	o 5385
886.15/887.63	c fallback to adder encoding
889.81/891.30	o 5356
889.81/891.30	c fallback to adder encoding
894.02/895.52	o 5341
894.02/895.52	c fallback to adder encoding
897.54/899.07	o 5339
897.54/899.07	c fallback to adder encoding
903.94/905.49	o 5306
903.94/905.49	c fallback to adder encoding
907.12/908.61	o 5090
907.12/908.61	c fallback to adder encoding
910.54/912.04	o 5078
910.54/912.04	c fallback to adder encoding
913.74/915.27	o 5068
913.74/915.27	c fallback to adder encoding
916.93/918.41	o 5057
916.93/918.41	c fallback to adder encoding
920.52/922.08	o 5052
920.52/922.08	c fallback to adder encoding
923.05/924.58	o 5040
923.05/924.58	c fallback to adder encoding
928.34/929.84	o 5021
928.34/929.84	c fallback to adder encoding
930.70/932.21	o 5019
930.70/932.21	c fallback to adder encoding
935.53/937.07	o 5018
935.53/937.07	c fallback to adder encoding
938.79/940.30	o 5007
938.79/940.30	c fallback to adder encoding
940.33/941.88	o 4997
940.33/941.88	c fallback to adder encoding
944.83/946.38	o 4942
944.83/946.38	c fallback to adder encoding
948.01/949.52	o 4931
948.01/949.52	c fallback to adder encoding
952.91/954.44	o 4927
952.91/954.44	c fallback to adder encoding
956.65/958.21	o 4926
956.65/958.21	c fallback to adder encoding
958.99/960.59	o 4925
958.99/960.59	c fallback to adder encoding
963.09/964.62	o 4916
963.09/964.62	c fallback to adder encoding
967.90/969.45	o 4914
967.90/969.45	c fallback to adder encoding
971.38/972.92	o 4906
971.38/972.92	c fallback to adder encoding
976.99/978.59	o 4897
976.99/978.59	c fallback to adder encoding
983.14/984.79	o 4891
983.14/984.79	c fallback to adder encoding
987.42/989.01	o 4886
987.42/989.01	c fallback to adder encoding
990.04/991.64	o 4877
990.04/991.64	c fallback to adder encoding
995.33/996.96	o 4874
995.33/996.96	c fallback to adder encoding
998.73/1000.36	o 4865
998.73/1000.36	c fallback to adder encoding
1004.39/1006.02	o 4835
1004.39/1006.02	c fallback to adder encoding
1009.88/1011.57	o 4834
1009.88/1011.57	c fallback to adder encoding
1014.55/1016.29	o 4828
1014.55/1016.29	c fallback to adder encoding
1017.84/1019.52	o 4813
1017.84/1019.52	c fallback to adder encoding
1022.03/1023.79	o 4812
1022.03/1023.79	c fallback to adder encoding
1025.88/1027.69	o 4811
1025.88/1027.69	c fallback to adder encoding
1032.19/1033.97	o 4802
1032.19/1033.97	c fallback to adder encoding
1034.95/1036.71	o 4800
1034.95/1036.71	c fallback to adder encoding
1038.37/1040.16	o 4789
1038.37/1040.16	c fallback to adder encoding
1042.36/1044.12	o 4788
1042.36/1044.12	c fallback to adder encoding
1047.26/1049.02	o 4780
1047.26/1049.02	c fallback to adder encoding
1050.69/1052.48	o 4774
1050.69/1052.48	c fallback to adder encoding
1053.47/1055.29	o 4753
1053.47/1055.29	c fallback to adder encoding
1057.18/1058.99	o 4752
1057.18/1058.99	c fallback to adder encoding
1060.99/1062.74	o 4733
1060.99/1062.74	c fallback to adder encoding
1065.99/1067.75	o 4726
1065.99/1067.75	c fallback to adder encoding
1069.08/1070.88	o 4719
1069.08/1070.88	c fallback to adder encoding
1072.76/1074.59	o 4712
1072.76/1074.59	c fallback to adder encoding
1076.26/1078.02	o 4707
1076.26/1078.02	c fallback to adder encoding
1082.64/1084.40	o 4693
1082.64/1084.40	c fallback to adder encoding
1088.56/1090.33	o 4690
1088.56/1090.33	c fallback to adder encoding
1091.98/1093.74	o 4683
1091.98/1093.74	c fallback to adder encoding
1097.08/1098.84	o 4682
1097.08/1098.84	c fallback to adder encoding
1103.26/1105.02	o 4672
1103.26/1105.02	c fallback to adder encoding
1107.57/1109.33	o 4671
1107.57/1109.33	c fallback to adder encoding
1112.75/1114.51	o 4664
1112.75/1114.51	c fallback to adder encoding
1118.98/1120.78	o 4659
1118.98/1120.78	c fallback to adder encoding
1121.28/1123.01	o 4648
1121.28/1123.01	c fallback to adder encoding
1128.58/1130.36	o 4610
1128.58/1130.36	c fallback to adder encoding
1129.74/1131.52	o 4609
1129.74/1131.52	c fallback to adder encoding
1134.51/1136.34	o 4586
1134.51/1136.34	c fallback to adder encoding
1139.06/1140.90	o 4585
1139.06/1140.90	c fallback to adder encoding
1141.60/1143.47	o 4584
1141.60/1143.47	c fallback to adder encoding
1144.85/1146.70	o 4581
1144.85/1146.70	c fallback to adder encoding
1150.18/1152.02	o 4558
1150.18/1152.02	c fallback to adder encoding
1153.49/1155.34	o 4547
1153.49/1155.34	c fallback to adder encoding
1160.38/1162.21	o 4517
1160.38/1162.21	c fallback to adder encoding
1164.39/1166.27	o 4516
1164.39/1166.27	c fallback to adder encoding
1170.38/1172.22	o 4512
1170.38/1172.22	c fallback to adder encoding
1173.28/1175.13	o 4511
1173.28/1175.13	c fallback to adder encoding
1177.38/1179.28	o 4492
1177.38/1179.28	c fallback to adder encoding
1181.38/1183.24	o 4481
1181.38/1183.24	c fallback to adder encoding
1187.30/1189.19	o 4480
1187.30/1189.19	c fallback to adder encoding
1190.28/1192.16	o 4479
1190.28/1192.16	c fallback to adder encoding
1193.49/1195.38	o 4464
1193.49/1195.38	c fallback to adder encoding
1197.28/1199.16	o 4462
1197.28/1199.16	c fallback to adder encoding
1200.28/1202.17	o 4456
1200.28/1202.17	c fallback to adder encoding
1204.08/1205.97	o 4452
1204.08/1205.97	c fallback to adder encoding
1207.87/1209.73	o 4448
1207.87/1209.73	c fallback to adder encoding
1211.06/1212.92	o 4440
1211.06/1212.92	c fallback to adder encoding
1215.55/1217.42	o 4435
1215.55/1217.42	c fallback to adder encoding
1222.07/1223.97	o 4355
1222.07/1223.97	c fallback to adder encoding
1226.64/1228.56	o 4354
1226.64/1228.56	c fallback to adder encoding
1231.01/1232.99	o 4353
1231.01/1232.99	c fallback to adder encoding
1233.12/1235.08	o 4352
1233.12/1235.08	c fallback to adder encoding
1235.62/1237.58	o 4343
1235.62/1237.58	c fallback to adder encoding
1239.09/1241.01	o 4336
1239.09/1241.01	c fallback to adder encoding
1242.32/1244.26	o 4320
1242.32/1244.26	c fallback to adder encoding
1245.52/1247.47	o 4316
1245.52/1247.47	c fallback to adder encoding
1250.25/1252.22	o 4315
1250.25/1252.22	c fallback to adder encoding
1254.47/1256.45	o 4302
1254.47/1256.45	c fallback to adder encoding
1258.14/1260.12	o 4288
1258.14/1260.12	c fallback to adder encoding
1260.86/1262.85	o 4276
1260.86/1262.85	c fallback to adder encoding
1264.46/1266.45	o 4268
1264.46/1266.45	c fallback to adder encoding
1267.56/1269.53	o 4265
1267.56/1269.53	c fallback to adder encoding
1271.35/1273.32	o 4264
1271.35/1273.32	c fallback to adder encoding
1275.54/1277.50	o 4237
1275.54/1277.50	c fallback to adder encoding
1279.03/1281.04	o 4229
1279.03/1281.04	c fallback to adder encoding
1282.92/1284.93	o 4226
1282.92/1284.93	c fallback to adder encoding
1287.51/1289.50	o 4225
1287.51/1289.50	c fallback to adder encoding
1291.30/1293.38	o 4224
1291.30/1293.38	c fallback to adder encoding
1293.79/1295.89	o 4218
1293.79/1295.89	c fallback to adder encoding
1297.88/1299.94	o 4210
1297.88/1299.94	c fallback to adder encoding
1300.59/1302.67	o 4206
1300.59/1302.67	c fallback to adder encoding
1304.56/1306.61	o 4193
1304.56/1306.61	c fallback to adder encoding
1308.89/1310.96	o 4179
1308.89/1310.96	c fallback to adder encoding
1312.19/1314.21	o 4171
1312.19/1314.21	c fallback to adder encoding
1315.65/1317.71	o 4165
1315.65/1317.71	c fallback to adder encoding
1320.15/1322.24	o 4151
1320.15/1322.24	c fallback to adder encoding
1324.46/1326.58	o 4131
1324.46/1326.58	c fallback to adder encoding
1328.96/1331.08	o 4129
1328.96/1331.08	c fallback to adder encoding
1332.93/1335.00	o 4014
1332.93/1335.00	c fallback to adder encoding
1335.53/1337.68	o 4000
1335.53/1337.68	c fallback to adder encoding
1341.31/1343.43	o 3994
1341.31/1343.43	c fallback to adder encoding
1343.58/1345.70	o 3980
1343.58/1345.70	c fallback to adder encoding
1346.82/1348.96	o 3970
1346.82/1348.96	c fallback to adder encoding
1350.12/1352.24	o 3283
1350.12/1352.24	c fallback to adder encoding
1352.83/1354.96	o 3276
1352.83/1354.96	c fallback to adder encoding
1356.63/1358.70	o 3273
1356.63/1358.70	c fallback to adder encoding
1359.21/1361.37	o 3268
1359.21/1361.37	c fallback to adder encoding
1362.01/1364.12	o 3262
1362.01/1364.12	c fallback to adder encoding
1364.41/1366.63	o 3261
1364.41/1366.63	c fallback to adder encoding
1368.46/1370.79	o 3260
1368.46/1370.79	c fallback to adder encoding
1372.66/1374.92	o 3250
1372.66/1374.92	c fallback to adder encoding
1378.04/1380.31	o 3244
1378.04/1380.31	c fallback to adder encoding
1380.65/1382.95	o 3238
1380.65/1382.95	c fallback to adder encoding
1383.55/1385.87	o 3236
1383.55/1385.87	c fallback to adder encoding
1386.85/1389.12	o 3235
1386.85/1389.12	c fallback to adder encoding
1390.36/1392.68	o 3234
1390.36/1392.68	c fallback to adder encoding
1396.75/1399.02	o 3232
1396.75/1399.02	c fallback to adder encoding
1400.06/1402.33	o 3221
1400.06/1402.33	c fallback to adder encoding
1404.74/1407.01	o 2572
1404.74/1407.01	c fallback to adder encoding
1407.64/1409.96	o 2570
1407.64/1409.96	c fallback to adder encoding
1410.85/1413.15	o 2569
1410.85/1413.15	c fallback to adder encoding
1414.85/1417.16	o 2560
1414.85/1417.16	c fallback to adder encoding
1417.85/1420.18	o 2551
1417.85/1420.18	c fallback to adder encoding
1421.34/1423.62	o 2550
1421.34/1423.62	c fallback to adder encoding
1424.47/1426.75	o 2549
1424.47/1426.75	c fallback to adder encoding
1428.54/1430.88	o 2541
1428.54/1430.88	c fallback to adder encoding
1432.64/1434.93	o 2537
1432.64/1434.93	c fallback to adder encoding
1434.35/1436.69	o 2536
1434.35/1436.69	c fallback to adder encoding
1436.55/1438.88	o 2534
1436.55/1438.88	c fallback to adder encoding
1439.93/1442.28	o 2531
1439.93/1442.28	c fallback to adder encoding
1442.24/1444.55	o 2487
1442.24/1444.55	c fallback to adder encoding
1446.52/1448.81	o 2482
1446.52/1448.81	c fallback to adder encoding
1453.02/1455.32	o 2479
1453.02/1455.32	c fallback to adder encoding
1454.74/1457.04	o 2467
1454.74/1457.04	c fallback to adder encoding
1460.75/1463.09	o 2459
1460.75/1463.09	c fallback to adder encoding
1467.35/1469.64	o 2455
1467.35/1469.64	c fallback to adder encoding
1471.43/1473.72	o 2449
1471.43/1473.72	c fallback to adder encoding
1473.85/1476.13	o 2441
1473.85/1476.13	c fallback to adder encoding
1479.94/1482.26	o 2440
1479.94/1482.26	c fallback to adder encoding
1484.31/1486.61	o 2437
1484.31/1486.61	c fallback to adder encoding
1488.80/1491.11	o 2432
1488.80/1491.11	c fallback to adder encoding
1490.64/1492.95	o 2427
1490.64/1492.95	c fallback to adder encoding
1495.41/1497.70	o 2409
1495.41/1497.70	c fallback to adder encoding
1500.63/1502.95	o 2403
1500.63/1502.95	c fallback to adder encoding
1504.93/1507.27	o 2402
1504.93/1507.27	c fallback to adder encoding
1509.11/1511.41	o 2397
1509.11/1511.41	c fallback to adder encoding
1512.71/1515.01	o 2392
1512.71/1515.01	c fallback to adder encoding
1516.02/1518.33	o 2382
1516.02/1518.33	c fallback to adder encoding
1518.62/1520.98	o 2330
1518.62/1520.98	c fallback to adder encoding
1523.44/1525.75	o 2328
1523.44/1525.75	c fallback to adder encoding
1527.13/1529.44	o 2320
1527.13/1529.44	c fallback to adder encoding
1529.63/1531.94	o 2309
1529.63/1531.94	c fallback to adder encoding
1532.73/1535.07	o 2304
1532.73/1535.07	c fallback to adder encoding
1537.82/1540.14	o 2301
1537.82/1540.14	c fallback to adder encoding
1541.46/1543.87	o 2286
1541.46/1543.87	c fallback to adder encoding
1544.27/1546.65	o 2080
1544.27/1546.65	c fallback to adder encoding
1546.27/1548.68	o 2079
1546.27/1548.68	c fallback to adder encoding
1548.46/1550.89	o 2074
1548.46/1550.89	c fallback to adder encoding
1551.26/1553.63	o 2070
1551.26/1553.63	c fallback to adder encoding
1554.06/1556.43	o 2068
1554.06/1556.43	c fallback to adder encoding
1555.86/1558.23	o 2054
1555.86/1558.23	c fallback to adder encoding
1558.94/1561.36	o 2053
1558.94/1561.36	c fallback to adder encoding
1563.45/1565.86	o 2050
1563.45/1565.86	c fallback to adder encoding
1567.53/1569.91	o 2049
1567.53/1569.91	c fallback to adder encoding
1572.45/1574.84	o 2048
1572.45/1574.84	c fallback to adder encoding
1573.83/1576.20	o 2041
1573.83/1576.20	c fallback to adder encoding
1576.02/1578.43	o 2036
1576.02/1578.43	c fallback to adder encoding
1578.11/1580.59	o 1139
1578.11/1580.59	c fallback to adder encoding
1581.80/1584.28	o 1132
1581.80/1584.28	c fallback to adder encoding
1584.36/1586.80	o 1123
1584.36/1586.80	c fallback to adder encoding
1586.90/1589.30	o 1111
1586.90/1589.30	c fallback to adder encoding
1588.88/1591.32	o 1087
1588.88/1591.32	c fallback to adder encoding
1590.89/1593.38	o 1081
1590.89/1593.38	c fallback to adder encoding
1593.27/1595.70	o 1079
1593.27/1595.70	c fallback to adder encoding
1594.71/1597.10	o 1070
1594.71/1597.10	c fallback to adder encoding
1598.19/1600.66	o 1069
1598.19/1600.66	c fallback to adder encoding
1600.40/1602.89	o 1061
1600.40/1602.89	c fallback to adder encoding
1603.11/1605.54	o 1059
1603.11/1605.54	c fallback to adder encoding
1604.97/1607.40	o 1055
1604.97/1607.40	c fallback to adder encoding
1606.40/1608.83	o 1039
1606.40/1608.83	c fallback to adder encoding
1609.39/1611.86	o 1038
1609.39/1611.86	c fallback to adder encoding
1612.59/1615.09	o 1035
1612.59/1615.09	c fallback to adder encoding
1614.69/1617.10	o 1033
1614.69/1617.10	c fallback to adder encoding
1617.46/1619.91	o 1031
1617.46/1619.91	c fallback to adder encoding
1621.48/1623.95	o 1026
1621.48/1623.95	c fallback to adder encoding
1624.67/1627.11	o 1023
1624.67/1627.11	c fallback to adder encoding
1626.39/1628.84	o 1016
1626.39/1628.84	c fallback to adder encoding
1628.90/1631.34	o 1011
1628.90/1631.34	c fallback to adder encoding
1630.47/1632.91	o 1006
1630.47/1632.91	c fallback to adder encoding
1632.58/1635.03	o 1005
1632.58/1635.03	c fallback to adder encoding
1634.38/1636.86	o 1003
1634.38/1636.86	c fallback to adder encoding
1637.66/1640.11	o 997
1637.66/1640.11	c fallback to adder encoding
1640.18/1642.61	o 994
1640.18/1642.61	c fallback to adder encoding
1641.95/1644.46	o 993
1641.95/1644.46	c fallback to adder encoding
1644.46/1646.93	o 991
1644.46/1646.93	c fallback to adder encoding
1646.46/1648.92	o 985
1646.46/1648.92	c fallback to adder encoding
1647.95/1650.46	o 984
1647.95/1650.46	c fallback to adder encoding
1649.55/1652.04	o 976
1649.55/1652.04	c fallback to adder encoding
1651.24/1653.77	o 975
1651.24/1653.77	c fallback to adder encoding
1652.85/1655.39	o 974
1652.85/1655.39	c fallback to adder encoding
1655.05/1657.52	o 964
1655.05/1657.52	c fallback to adder encoding
1657.46/1659.98	o 963
1657.46/1659.98	c fallback to adder encoding
1659.55/1662.01	o 957
1659.55/1662.01	c fallback to adder encoding
1661.14/1663.68	o 948
1661.14/1663.68	c fallback to adder encoding
1662.63/1665.15	o 920
1662.63/1665.15	c fallback to adder encoding
1663.61/1666.19	o 910
1663.61/1666.19	c fallback to adder encoding
1664.81/1667.38	o 886
1664.81/1667.38	c fallback to adder encoding
1666.30/1668.81	o 885
1666.30/1668.81	c fallback to adder encoding
1669.21/1671.74	o 843
1669.21/1671.74	c fallback to adder encoding
1670.90/1673.48	o 836
1670.90/1673.48	c fallback to adder encoding
1672.51/1675.07	o 828
1672.51/1675.07	c fallback to adder encoding
1673.81/1676.31	o 823
1673.81/1676.31	c fallback to adder encoding
1675.20/1677.72	o 822
1675.20/1677.72	c fallback to adder encoding
1676.55/1679.12	o 808
1676.55/1679.12	c fallback to adder encoding
1677.76/1680.33	o 804
1677.76/1680.33	c fallback to adder encoding
1678.96/1681.58	o 790
1678.96/1681.58	c fallback to adder encoding
1680.55/1683.10	o 787
1680.55/1683.10	c fallback to adder encoding
1681.98/1684.54	o 774
1681.98/1684.54	c fallback to adder encoding
1683.46/1686.08	o 772
1683.46/1686.08	c fallback to adder encoding
1685.64/1688.27	o 771
1685.64/1688.27	c fallback to adder encoding
1687.52/1690.18	o 767
1687.52/1690.18	c fallback to adder encoding
1688.82/1691.49	o 755
1688.82/1691.49	c fallback to adder encoding
1690.43/1693.02	o 748
1690.43/1693.02	c fallback to adder encoding
1691.23/1693.82	o 738
1691.23/1693.82	c fallback to adder encoding
1692.12/1694.74	o 736
1692.12/1694.74	c fallback to adder encoding
1693.12/1695.77	o 733
1693.12/1695.77	c fallback to adder encoding
1694.93/1697.56	o 728
1694.93/1697.56	c fallback to adder encoding
1696.25/1698.99	o 724
1696.25/1698.99	c fallback to adder encoding
1697.34/1700.16	o 710
1697.34/1700.16	c fallback to adder encoding
1698.53/1701.38	o 706
1698.53/1701.38	c fallback to adder encoding
1699.96/1702.72	o 694
1699.96/1702.72	c fallback to adder encoding
1701.24/1704.08	o 692
1701.24/1704.08	c fallback to adder encoding
1702.16/1704.94	o 687
1702.16/1704.94	c fallback to adder encoding
1703.25/1706.05	o 685
1703.25/1706.05	c fallback to adder encoding
1705.06/1707.86	o 684
1705.06/1707.86	c fallback to adder encoding
1706.04/1708.85	o 665
1706.04/1708.85	c fallback to adder encoding
1706.95/1709.77	o 658
1706.95/1709.77	c fallback to adder encoding
1707.85/1710.62	o 657
1707.85/1710.62	c fallback to adder encoding
1709.05/1711.89	o 648
1709.05/1711.89	c fallback to adder encoding
1710.54/1713.35	o 642
1710.54/1713.35	c fallback to adder encoding
1711.34/1714.15	o 641
1711.34/1714.15	c fallback to adder encoding
1712.64/1715.43	o 635
1712.64/1715.43	c fallback to adder encoding
1713.43/1716.27	o 619
1713.43/1716.27	c fallback to adder encoding
1714.33/1717.12	o 608
1714.33/1717.12	c fallback to adder encoding
1715.42/1718.26	o 605
1715.42/1718.26	c fallback to adder encoding
1715.54/1718.99	o 601
1715.54/1718.99	c fallback to adder encoding
1717.21/1720.06	o 598
1717.21/1720.06	c fallback to adder encoding
1718.52/1721.31	o 597
1718.52/1721.31	c fallback to adder encoding
1719.81/1722.61	o 595
1719.81/1722.61	c fallback to adder encoding
1720.51/1723.30	o 586
1720.51/1723.30	c fallback to adder encoding
1721.42/1724.27	o 585
1721.42/1724.27	c fallback to adder encoding
1722.52/1725.35	o 584
1722.52/1725.35	c fallback to adder encoding
1723.52/1726.36	o 583
1723.52/1726.36	c fallback to adder encoding
1724.39/1727.20	o 582
1724.39/1727.20	c fallback to adder encoding
1725.60/1728.48	o 575
1725.60/1728.48	c fallback to adder encoding
1726.61/1729.43	o 569
1726.61/1729.43	c fallback to adder encoding
1727.70/1730.51	o 564
1727.70/1730.51	c fallback to adder encoding
1728.71/1731.56	o 563
1728.71/1731.56	c fallback to adder encoding
1728.76/1732.17	o 559
1728.76/1732.17	c fallback to adder encoding
1729.95/1732.83	o 556
1729.95/1732.83	c fallback to adder encoding
1730.67/1733.54	o 545
1730.67/1733.54	c fallback to adder encoding
1730.75/1733.89	o 542
1730.75/1733.89	c fallback to adder encoding
1731.09/1734.29	o 538
1731.09/1734.29	c fallback to adder encoding
1732.05/1734.96	o 537
1732.05/1734.96	c fallback to adder encoding
1732.17/1735.39	o 534
1732.17/1735.39	c fallback to adder encoding
1733.34/1736.29	o 527
1733.34/1736.29	c fallback to adder encoding
1734.07/1736.94	o 524
1734.07/1736.94	c fallback to adder encoding
1734.56/1737.41	o 519
1734.56/1737.41	c fallback to adder encoding
1735.46/1738.32	o 511
1735.46/1738.32	c fallback to adder encoding
1735.52/1738.64	o 509
1735.52/1738.64	c fallback to adder encoding
1736.26/1739.13	o 507
1736.26/1739.13	c fallback to adder encoding
1736.32/1739.47	o 492
1736.32/1739.47	c fallback to adder encoding
1736.66/1739.78	o 483
1736.66/1739.78	c fallback to adder encoding
1737.37/1740.21	o 478
1737.37/1740.21	c fallback to adder encoding
1737.41/1740.89	o 473
1737.41/1740.89	c fallback to adder encoding
1738.08/1741.18	o 465
1738.08/1741.18	c fallback to adder encoding
1738.37/1741.69	o 463
1738.37/1741.69	c fallback to adder encoding
1739.23/1742.26	o 457
1739.23/1742.26	c fallback to adder encoding
1739.76/1742.81	o 456
1739.76/1742.81	c fallback to adder encoding
1739.80/1743.23	o 448
1739.80/1743.23	c fallback to adder encoding
1740.47/1743.58	o 439
1740.47/1743.58	c fallback to adder encoding
1740.57/1743.89	o 429
1740.57/1743.89	c fallback to adder encoding
1740.88/1744.45	o 425
1740.88/1744.45	c fallback to adder encoding
1741.74/1744.82	o 422
1741.74/1744.82	c fallback to adder encoding
1741.80/1745.13	o 421
1741.80/1745.13	c fallback to adder encoding
1742.12/1745.57	o 420
1742.12/1745.57	c fallback to adder encoding
1742.84/1745.92	o 411
1742.84/1745.92	c fallback to adder encoding
1742.91/1746.25	o 410
1742.91/1746.25	c fallback to adder encoding
1743.22/1746.59	o 409
1743.22/1746.59	c fallback to adder encoding
1743.85/1746.96	o 405
1743.85/1746.96	c fallback to adder encoding
1744.24/1747.31	o 396
1744.24/1747.31	c fallback to adder encoding
1744.25/1747.65	o 392
1744.25/1747.65	c fallback to adder encoding
1744.91/1748.02	o 391
1744.91/1748.02	c fallback to adder encoding
1744.96/1748.37	o 387
1744.96/1748.37	c fallback to adder encoding
1745.33/1748.78	o 386
1745.33/1748.78	c fallback to adder encoding
1745.91/1749.04	o 384
1745.91/1749.04	c fallback to adder encoding
1745.98/1749.22	o 375
1745.98/1749.22	c fallback to adder encoding
1746.17/1749.68	o 368
1746.17/1749.68	c fallback to adder encoding
1746.62/1749.99	o 366
1746.62/1749.99	c fallback to adder encoding
1746.94/1750.24	o 359
1746.94/1750.24	c fallback to adder encoding
1747.19/1750.52	o 353
1747.19/1750.52	c fallback to adder encoding
1747.46/1750.82	o 352
1747.46/1750.82	c fallback to adder encoding
1748.01/1751.19	o 345
1748.01/1751.19	c fallback to adder encoding
1748.13/1751.54	o 335
1748.13/1751.54	c fallback to adder encoding
1748.71/1751.80	o 332
1748.71/1751.80	c fallback to adder encoding
1748.73/1752.18	o 324
1749.82/1753.08	o 301
1750.52/1753.77	o 294
1751.30/1754.46	o 173
1751.39/1754.66	o 172
1751.71/1754.84	o 169
1751.87/1755.01	o 160
1751.93/1755.15	o 146
1752.07/1755.27	o 137
1752.19/1755.37	o 123
1752.29/1755.45	o 121
1752.41/1755.53	o 113
1752.41/1755.60	o 112
1752.51/1755.67	o 95
1752.51/1755.69	c display solution
1752.51/1755.69	s OPTIMUM FOUND
1752.51/1755.69	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	95

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6007
/proc/meminfo: memFree=29822380/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0

[startup+0.0826941 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6007
/proc/meminfo: memFree=29822380/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100299 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6007
/proc/meminfo: memFree=29822380/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6007
/proc/meminfo: memFree=29822380/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700236 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 6007
/proc/meminfo: memFree=29822380/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6021
/proc/meminfo: memFree=29794184/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11352 CPUtime=0.12 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 2797 5102 0 0 8 1 2 1 20 0 1 0 288538001 11624448 2070 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 2838 2070 166 439 0 2395 0
[pid=6020] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6020/stat : 6020 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288538016 9367552 266 33554432000 4194304 5064252 140737359089152 140737359088064 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6020/statm: 2287 266 226 213 0 72 0
[pid=6021] ppid=6020 vsize=18440 CPUtime=1.34 cores=1,3,5,7
/proc/6021/stat : 6021 (glucose) R 6020 6007 26619 0 -1 4202496 4226 0 0 0 134 0 0 0 20 0 1 0 288538016 18882560 4005 33554432000 4194304 5208918 140734906133424 140734906131272 4211066 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6021/statm: 4610 4005 105 248 0 4359 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 48088

[startup+3.10042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6021
/proc/meminfo: memFree=29793564/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11352 CPUtime=0.12 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 2797 5102 0 0 8 1 2 1 20 0 1 0 288538001 11624448 2070 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 2838 2070 166 439 0 2395 0
[pid=6020] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6020/stat : 6020 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288538016 9367552 266 33554432000 4194304 5064252 140737359089152 140737359088064 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6020/statm: 2287 266 226 213 0 72 0
[pid=6021] ppid=6020 vsize=19020 CPUtime=2.94 cores=1,3,5,7
/proc/6021/stat : 6021 (glucose) R 6020 6007 26619 0 -1 4202496 4474 0 0 0 294 0 0 0 20 0 1 0 288538016 19476480 4250 33554432000 4194304 5208918 140734906133424 140734906131176 4229338 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6021/statm: 4755 4250 105 248 0 4504 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 48668

[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6028
/proc/meminfo: memFree=29783268/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=19540 CPUtime=3.8 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 5010 13381 0 0 16 2 357 5 20 0 1 0 288538001 20008960 3925 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 4885 3925 166 439 0 4442 0
[pid=6027] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6027/stat : 6027 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 594 0 0 0 0 0 0 0 20 0 1 0 288538383 9367552 266 33554432000 4194304 5064252 140733735382592 140733735381504 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6027/statm: 2287 266 226 213 0 72 0
[pid=6028] ppid=6027 vsize=21848 CPUtime=2.46 cores=1,3,5,7
/proc/6028/stat : 6028 (glucose) R 6027 6007 26619 0 -1 4202496 4541 0 0 0 246 0 0 0 20 0 1 0 288538383 22372352 4336 33554432000 4194304 5208918 140733446057344 140733446055192 4205640 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6028/statm: 5462 4336 105 248 0 5211 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 59684

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6035
/proc/meminfo: memFree=29777688/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=19540 CPUtime=7.73 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 7224 21798 0 0 23 4 737 9 20 0 1 0 288538001 20008960 3925 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 4885 3925 166 439 0 4442 0
[pid=6034] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6034/stat : 6034 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 595 0 0 0 0 0 0 0 20 0 1 0 288538776 9367552 265 33554432000 4194304 5064252 140736474678176 140736474677088 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6034/statm: 2287 265 226 213 0 72 0
[pid=6035] ppid=6034 vsize=26736 CPUtime=4.94 cores=1,3,5,7
/proc/6035/stat : 6035 (glucose) R 6034 6007 26619 0 -1 4202496 5480 0 0 0 493 1 0 0 20 0 1 0 288538776 27377664 6092 33554432000 4194304 5208918 140733381767552 140733381763928 4211712 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6035/statm: 6684 6092 105 248 0 6433 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 64572

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6056
/proc/meminfo: memFree=29780484/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=19540 CPUtime=22.18 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 13864 47328 0 0 45 8 2143 22 20 0 1 0 288538001 20008960 3925 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 4885 3925 166 439 0 4442 0
[pid=6055] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6055/stat : 6055 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288540221 9367552 266 33554432000 4194304 5064252 140737138418624 140737138417536 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6055/statm: 2287 266 226 213 0 72 0
[pid=6056] ppid=6055 vsize=22028 CPUtime=3.29 cores=1,3,5,7
/proc/6056/stat : 6056 (glucose) R 6055 6007 26619 0 -1 4202496 4552 0 0 0 328 1 0 0 20 0 1 0 288540221 22556672 4852 33554432000 4194304 5208918 140734475544144 140734475541992 4211570 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6056/statm: 5507 4852 105 248 0 5256 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 59864

[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6098
/proc/meminfo: memFree=29781776/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=19540 CPUtime=46.69 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 27145 95985 0 0 89 16 4516 48 20 0 1 0 288538001 20008960 3925 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 4885 3925 166 439 0 4442 0
[pid=6097] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6097/stat : 6097 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288542672 9367552 266 33554432000 4194304 5064252 140736304116496 140736304115408 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6097/statm: 2287 266 226 213 0 72 0
[pid=6098] ppid=6097 vsize=19472 CPUtime=4.37 cores=1,3,5,7
/proc/6098/stat : 6098 (glucose) R 6097 6007 26619 0 -1 4202496 5247 0 0 0 436 1 0 0 20 0 1 0 288542672 19939328 4204 33554432000 4194304 5208918 140737169547824 140737169545912 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6098/statm: 4868 4204 105 248 0 4617 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 57308

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6189
/proc/meminfo: memFree=29780260/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=19540 CPUtime=98.6 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 55921 202419 0 0 184 32 9542 102 20 0 1 0 288538001 20008960 3925 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 4885 3925 166 439 0 4442 0
[pid=6188] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6188/stat : 6188 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288547872 9367552 266 33554432000 4194304 5064252 140736896224080 140736896222992 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/6188/statm: 2287 266 226 213 0 72 0
[pid=6189] ppid=6188 vsize=19448 CPUtime=3.58 cores=1,3,5,7
/proc/6189/stat : 6189 (glucose) R 6188 6007 26619 0 -1 4202496 4497 0 0 0 357 1 0 0 20 0 1 0 288547872 19914752 4142 33554432000 4194304 5208918 140736368634448 140736368630760 4212798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/6189/statm: 4862 4142 105 248 0 4611 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 57284

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 6360
/proc/meminfo: memFree=30327484/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=19540 CPUtime=157.7 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 86910 320011 0 0 285 51 15268 166 20 0 1 0 288538001 20008960 3925 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6008/statm: 4885 3925 166 439 0 4442 0
[pid=6352] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7

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


[startup+1482.3 s]
/proc/loadavg: 1.98 2.00 2.00 3/184 8981
/proc/meminfo: memFree=30317564/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1480.05 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) R 6007 6007 26619 0 -1 4202496 764775 2787767 0 0 2451 426 143669 1459 20 0 1 0 288538001 11571200 2389 33554432000 4194304 5990268 140734479111264 140734479103264 5042513 0 0 4096 0 0 0 0 17 3 0 0 12 0 0
/proc/6008/statm: 2825 2389 166 439 0 2382 0
Current children cumulated CPU time (s) 1480.05
Current children cumulated vsize (KiB) 20448

[startup+1542.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9114
/proc/meminfo: memFree=30332216/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1537.89 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 790685 2903166 0 0 2544 437 149289 1519 20 0 1 0 288538001 11571200 2389 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 12 0 0
/proc/6008/statm: 2825 2389 166 439 0 2382 0
[pid=9113] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9113/stat : 9113 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 288692022 9367552 266 33554432000 4194304 5064252 140733420997728 140733420996640 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9113/statm: 2287 266 226 213 0 72 0
[pid=9114] ppid=9113 vsize=16752 CPUtime=2.07 cores=1,3,5,7
/proc/9114/stat : 9114 (glucose) R 9113 6007 26619 0 -1 4202496 4206 0 0 0 206 1 0 0 20 0 1 0 288692022 17154048 3595 33554432000 4194304 5208918 140735475325712 140735475323384 4211080 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9114/statm: 4188 3595 105 248 0 3937 0
Current children cumulated CPU time (s) 1539.96
Current children cumulated vsize (KiB) 46348

[startup+1602.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9282
/proc/meminfo: memFree=30312644/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1598.34 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 828030 3064130 0 0 2671 453 155113 1597 20 0 1 0 288538001 11571200 2390 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/6008/statm: 2825 2390 166 439 0 2382 0
[pid=9281] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9281/stat : 9281 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288698073 9367552 267 33554432000 4194304 5064252 140733963710512 140733963709424 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9281/statm: 2287 267 226 213 0 72 0
[pid=9282] ppid=9281 vsize=15356 CPUtime=1.56 cores=1,3,5,7
/proc/9282/stat : 9282 (glucose) R 9281 6007 26619 0 -1 4202496 3133 0 0 0 156 0 0 0 20 0 1 0 288698073 15724544 3216 33554432000 4194304 5208918 140733229598096 140733229595944 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9282/statm: 3839 3216 105 248 0 3588 0
Current children cumulated CPU time (s) 1599.9
Current children cumulated vsize (KiB) 44952

[startup+1662.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9488
/proc/meminfo: memFree=30325276/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1659.63 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 873875 3247586 0 0 2810 469 160999 1685 20 0 1 0 288538001 11571200 2396 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/6008/statm: 2825 2396 166 439 0 2382 0
Current children cumulated CPU time (s) 1659.63
Current children cumulated vsize (KiB) 20448

[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/183 9829
/proc/meminfo: memFree=30336576/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1718.58 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 943832 3516186 0 0 2978 491 166588 1801 20 0 1 0 288538001 11571200 2415 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/6008/statm: 2825 2415 166 439 0 2382 0
[pid=9828] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9828/stat : 9828 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 288710136 9367552 267 33554432000 4194304 5064252 140735067289248 140735067288160 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9828/statm: 2287 267 226 213 0 72 0
[pid=9829] ppid=9828 vsize=10304 CPUtime=0.93 cores=1,3,5,7
/proc/9829/stat : 9829 (glucose) R 9828 6007 26619 0 -1 4202496 2448 0 0 0 93 0 0 0 20 0 1 0 288710136 10551296 2094 33554432000 4194304 5208918 140736010668560 140736010666312 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9829/statm: 2576 2094 105 248 0 2325 0
Current children cumulated CPU time (s) 1719.51
Current children cumulated vsize (KiB) 39900

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

[startup+1740.7 s]
/proc/loadavg: 1.91 1.98 1.99 3/183 10011
/proc/meminfo: memFree=30345024/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1737.41 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 971616 3657994 0 0 3048 500 168337 1856 20 0 1 0 288538001 11571200 2415 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/6008/statm: 2825 2415 166 439 0 2382 0
Current children cumulated CPU time (s) 1737.41
Current children cumulated vsize (KiB) 20448

[startup+1747.1 s]
/proc/loadavg: 2.08 2.01 2.00 3/183 10123
/proc/meminfo: memFree=30337312/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1743.94 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 986687 3737624 0 0 3080 504 168926 1884 20 0 1 0 288538001 11571200 2415 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 15 0 0
/proc/6008/statm: 2825 2415 166 439 0 2382 0
Current children cumulated CPU time (s) 1743.94
Current children cumulated vsize (KiB) 20448

[startup+1750.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/181 10191
/proc/meminfo: memFree=30333568/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1747.19 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 994609 3786937 0 0 3097 506 169215 1901 20 0 1 0 288538001 11571200 2415 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/6008/statm: 2825 2415 166 439 0 2382 0
Current children cumulated CPU time (s) 1747.19
Current children cumulated vsize (KiB) 20448

[startup+1753.5 s]
/proc/loadavg: 2.14 2.03 2.01 3/183 10249
/proc/meminfo: memFree=30307248/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1750.03 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 1001034 3826538 0 0 3113 508 169464 1918 20 0 1 0 288538001 11571200 2416 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/6008/statm: 2825 2416 166 439 0 2382 0
[pid=10248] ppid=6008 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/10248/stat : 10248 (satsolver.sh) S 6008 6007 26619 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 288713314 9367552 267 33554432000 4194304 5064252 140734529693120 140734529692032 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/10248/statm: 2287 267 226 213 0 72 0
[pid=10249] ppid=10248 vsize=30272 CPUtime=0.35 cores=1,3,5,7
/proc/10249/stat : 10249 (glucose) R 10248 6007 26619 0 -1 4202496 5786 0 0 0 34 1 0 0 20 0 1 0 288713314 30998528 6123 33554432000 4194304 5208918 140733256934288 140733256932232 4465602 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10249/statm: 7568 6123 95 248 0 7317 0
Current children cumulated CPU time (s) 1750.38
Current children cumulated vsize (KiB) 59868

[startup+1755.1 s]
/proc/loadavg: 2.14 2.03 2.01 3/183 10259
/proc/meminfo: memFree=30323164/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1751.93 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 1005044 3861886 0 0 3122 510 169616 1945 20 0 1 0 288538001 11571200 2416 33554432000 4194304 5990268 140734479111264 140734479102688 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/6008/statm: 2825 2416 166 439 0 2382 0
Current children cumulated CPU time (s) 1751.93
Current children cumulated vsize (KiB) 20448

[startup+1755.5 s]
/proc/loadavg: 2.14 2.03 2.01 3/183 10312
/proc/meminfo: memFree=30327072/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1752.41 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) R 6007 6007 26619 0 -1 4202496 1006754 3883705 0 0 3125 511 169649 1956 20 0 1 0 288538001 11571200 2416 33554432000 4194304 5990268 140734479111264 140734479102688 4904865 0 65536 4102 0 0 0 0 17 5 0 0 15 0 0
/proc/6008/statm: 2825 2416 166 439 0 2382 0
Current children cumulated CPU time (s) 1752.41
Current children cumulated vsize (KiB) 20448

[startup+1755.7 s]
/proc/loadavg: 2.14 2.03 2.01 3/183 10312
/proc/meminfo: memFree=30327072/32873844 swapFree=7388/7388
[pid=6007] ppid=6005 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/6007/stat : 6007 (npSolver-wbo-It) S 6005 6007 26619 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 288538001 9367552 275 33554432000 4194304 5064252 140735588384688 140735588383600 239237490254 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/6007/statm: 2287 275 233 213 0 72 0
[pid=6008] ppid=6007 vsize=11300 CPUtime=1752.61 cores=1,3,5,7
/proc/6008/stat : 6008 (npSolver-wbo) S 6007 6007 26619 0 -1 4202496 1007724 3899196 0 0 3127 511 169660 1963 20 0 1 0 288538001 11571200 2417 33554432000 4194304 5990268 140734479111264 140734479106720 5173822 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 15 0 0
/proc/6008/statm: 2825 2417 167 439 0 2382 0
Current children cumulated CPU time (s) 1752.61
Current children cumulated vsize (KiB) 20448

Child status: 0
Real time (s): 1755.7
CPU time (s): 1752.63
CPU user time (s): 1727.88
CPU system time (s): 24.7522
CPU usage (%): 99.8249
Max. virtual memory (cumulated for all children) (KiB): 68908

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1727.88
system time used= 24.7522
maximum resident set size= 28748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 4907758
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4057088
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 22277
involuntary context switches= 7685

runsolver used 4.12037 second user time and 10.5344 second system time

The end

Launcher Data 

Begin job on node147 at 2012-05-28 18:55:36
IDJOB=3715112
IDBENCH=79393
IDSOLVER=2296
FILE ID=node147/3715112-1338224136
RUNJOBID= node147-1338192581-26636
PBS_JOBID= 14624579
Free space on /tmp= 71564 MiB

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

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

MD5SUM BENCH= 54ef51abb9454409d6f66c5b853cdf79
RANDOM SEED=1295070680

node147.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.951
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.90
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.951
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.951
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.87
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.951
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.951
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.91
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.951
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.951
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.951
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29822752 kB
Buffers:          385740 kB
Cached:          1357044 kB
SwapCached:         5068 kB
Active:          1227348 kB
Inactive:         983156 kB
Active(anon):     462516 kB
Inactive(anon):     7584 kB
Active(file):     764832 kB
Inactive(file):   975572 kB
Unevictable:        7388 kB
Mlocked:            7388 kB
SwapTotal:      67108856 kB
SwapFree:       67098668 kB
Dirty:              8196 kB
Writeback:             0 kB
AnonPages:        637032 kB
Mapped:            10636 kB
Shmem:                 0 kB
Slab:             686320 kB
SReclaimable:     127568 kB
SUnreclaim:       558752 kB
KernelStack:        1520 kB
PageTables:         4552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     719276 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    583680 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= 71656 MiB
End job on node147 at 2012-05-28 19:24:52