Trace number 3702913

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 NameAnswerobjective functionCPU timeWall clock time
npSolver inc-topdown-quickBound? (TO) 1800.29 1817.23

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
MD5SUM6d3802f2f17c83a21ccf6c0752b41678
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark34
Best CPU time to get the best result obtained on this benchmark5.9101
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 34
Optimality of the best value was proved YES
Number of variables392
Total number of constraints679
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints679
Minimum length of a constraint14
Maximum length of a constraint29
Number of terms in the objective function 7
Biggest coefficient in the objective function 64
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 127
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 635
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

4.77/4.82	c run inc solver
4.77/4.82	c [INC SYSTEM] run initial solver
4.77/4.82	c [INC SYSTEM] preprocess with white file
40.76/41.13	c [INC SYSTEM] finished preprocessing in 36 s
40.76/41.13	c [INC SYSTEM] execute solver
60.88/61.29	c [INC SEARCH] formula is SAT
60.98/61.36	c [INC SYSTEM] solved the initial formula
60.98/61.37	c model valid
60.98/61.37	c current solution ok
67.95/68.55	o 120
67.95/68.55	c starting approximation
67.95/68.55	c factor = 2
67.95/68.55	c current bound: 60
73.44/73.94	c model valid
73.44/73.94	c current solution ok
73.48/74.08	c current bound: 60
78.94/79.47	c model valid
78.94/79.47	c current solution ok
79.02/79.62	c current bound: 60
84.54/85.04	c model valid
84.54/85.04	c current solution ok
84.59/85.19	c current bound: 60
90.11/91.55	c model valid
90.11/91.55	c current solution ok
90.17/91.72	c current bound: 60
95.73/97.11	c model valid
95.73/97.11	c current solution ok
95.74/97.26	c current bound: 60
101.23/102.66	c model valid
101.23/102.66	c current solution ok
101.29/102.81	c current bound: 60
106.73/108.18	c model valid
106.73/108.18	c current solution ok
106.81/108.33	c current bound: 60
112.35/113.70	c model valid
112.35/113.70	c current solution ok
112.36/113.85	c current bound: 60
117.86/119.29	c model valid
117.86/119.29	c current solution ok
117.96/119.44	c current bound: 60
123.46/124.81	c model valid
123.46/124.81	c current solution ok
123.47/124.95	c current bound: 60
129.04/130.42	c model valid
129.04/130.42	c current solution ok
129.08/130.57	c current bound: 60
134.56/136.33	c model valid
134.56/136.33	c current solution ok
134.71/136.56	c current bound: 60
140.11/141.92	c model valid
140.11/141.92	c current solution ok
140.13/142.07	c current bound: 60
145.61/147.44	c model valid
145.61/147.44	c current solution ok
145.65/147.59	c current bound: 60
151.12/152.96	c model valid
151.12/152.96	c current solution ok
151.18/153.11	c current bound: 60
156.66/158.47	c model valid
156.66/158.47	c current solution ok
156.73/158.62	c current bound: 60
162.15/163.99	c model valid
162.15/163.99	c current solution ok
162.23/164.14	c current bound: 60
167.75/169.51	c model valid
167.75/169.51	c current solution ok
167.76/169.66	c current bound: 60
173.24/175.05	c model valid
173.24/175.05	c current solution ok
173.30/175.20	c current bound: 60
178.68/181.50	c model valid
178.68/181.50	c current solution ok
178.80/181.65	c current bound: 60
184.21/186.99	c model valid
184.21/186.99	c current solution ok
184.41/187.14	c current bound: 60
189.82/192.51	c model valid
189.82/192.51	c current solution ok
189.83/192.66	c current bound: 60
195.33/198.03	c model valid
195.33/198.03	c current solution ok
195.35/198.17	c current bound: 60
200.86/203.55	c model valid
200.86/203.55	c current solution ok
200.90/203.70	c current bound: 60
206.39/209.04	c model valid
206.39/209.04	c current solution ok
206.43/209.19	c current bound: 60
211.89/214.56	c model valid
211.89/214.56	c current solution ok
211.95/214.71	c current bound: 60
217.39/220.08	c model valid
217.39/220.08	c current solution ok
217.46/220.23	c current bound: 60
222.92/226.11	c model valid
222.92/226.11	c current solution ok
222.93/226.26	c current bound: 60
228.43/231.63	c model valid
228.43/231.63	c current solution ok
228.46/231.78	c current bound: 60
233.96/237.14	c model valid
233.96/237.14	c current solution ok
234.01/237.29	c current bound: 60
239.46/242.62	c model valid
239.46/242.62	c current solution ok
239.49/242.77	c current bound: 60
244.97/248.13	c model valid
244.97/248.13	c current solution ok
245.01/248.28	c current bound: 60
250.50/253.64	c model valid
250.50/253.64	c current solution ok
250.55/253.80	c current bound: 60
255.99/259.17	c model valid
255.99/259.17	c current solution ok
256.07/259.33	c current bound: 60
261.54/264.69	c model valid
261.54/264.69	c current solution ok
261.64/264.84	c current bound: 60
267.14/270.21	c model valid
267.14/270.21	c current solution ok
267.16/270.36	c current bound: 60
272.61/276.86	c model valid
272.61/276.86	c current solution ok
272.67/277.02	c current bound: 60
278.15/282.38	c model valid
278.15/282.38	c current solution ok
278.23/282.53	c current bound: 60
283.74/287.90	c model valid
283.74/287.90	c current solution ok
283.75/288.05	c current bound: 60
289.29/293.41	c model valid
289.29/293.41	c current solution ok
289.31/293.57	c current bound: 60
294.80/298.92	c model valid
294.80/298.92	c current solution ok
294.82/299.07	c current bound: 60
300.33/304.44	c model valid
300.33/304.44	c current solution ok
300.37/304.60	c current bound: 60
305.82/309.96	c model valid
305.82/309.96	c current solution ok
305.90/310.11	c current bound: 60
311.32/315.58	c model valid
311.32/315.58	c current solution ok
311.51/315.73	c current bound: 60
316.96/321.66	c model valid
316.96/321.66	c current solution ok
317.02/321.82	c current bound: 60
322.46/327.19	c model valid
322.46/327.19	c current solution ok
322.56/327.35	c current bound: 60
328.05/332.71	c model valid
328.05/332.71	c current solution ok
328.07/332.87	c current bound: 60
333.58/338.24	c model valid
333.58/338.24	c current solution ok
333.62/338.39	c current bound: 60
339.11/343.76	c model valid
339.11/343.76	c current solution ok
339.18/343.91	c current bound: 60
344.64/349.28	c model valid
344.64/349.28	c current solution ok
344.73/349.44	c current bound: 60
350.24/354.81	c model valid
350.24/354.81	c current solution ok
350.25/354.96	c current bound: 60
355.77/360.32	c model valid
355.77/360.32	c current solution ok
355.80/360.47	c current bound: 60
361.22/366.55	c model valid
361.22/366.55	c current solution ok
361.28/366.76	c current bound: 60
366.82/372.18	c model valid
366.82/372.18	c current solution ok
366.91/372.33	c current bound: 60
372.45/377.71	c model valid
372.45/377.71	c current solution ok
372.46/377.87	c current bound: 60
377.95/383.24	c model valid
377.95/383.24	c current solution ok
378.00/383.39	c current bound: 60
383.44/388.75	c model valid
383.44/388.75	c current solution ok
383.50/388.91	c current bound: 60
388.95/394.28	c model valid
388.95/394.28	c current solution ok
389.02/394.43	c current bound: 60
394.41/399.76	c model valid
394.41/399.76	c current solution ok
394.48/399.91	c current bound: 60
399.91/405.28	c model valid
399.91/405.28	c current solution ok
400.01/405.43	c current bound: 60
405.40/411.46	c model valid
405.40/411.46	c current solution ok
405.46/411.62	c current bound: 60
410.93/416.98	c model valid
410.93/416.98	c current solution ok
411.00/417.13	c current bound: 60
416.63/422.61	c model valid
416.63/422.61	c current solution ok
416.64/422.76	c current bound: 60
422.12/428.14	c model valid
422.12/428.14	c current solution ok
422.16/428.29	c current bound: 60
427.66/433.69	c model valid
427.66/433.69	c current solution ok
427.75/433.84	c current bound: 60
433.27/439.22	c model valid
433.27/439.22	c current solution ok
433.30/439.38	c current bound: 60
438.86/444.80	c model valid
438.86/444.80	c current solution ok
438.87/444.95	c current bound: 60
444.35/450.33	c model valid
444.35/450.33	c current solution ok
444.39/450.48	c current bound: 60
449.82/456.70	c model valid
449.82/456.70	c current solution ok
449.92/456.85	c current bound: 60
455.41/462.22	c model valid
455.41/462.22	c current solution ok
455.44/462.37	c current bound: 60
460.94/467.73	c model valid
460.94/467.73	c current solution ok
460.99/467.88	c current bound: 60
466.44/473.25	c model valid
466.44/473.25	c current solution ok
466.50/473.40	c current bound: 60
471.96/478.76	c model valid
471.96/478.76	c current solution ok
472.03/478.91	c current bound: 60
477.55/484.31	c model valid
477.55/484.31	c current solution ok
477.57/484.46	c current bound: 60
483.05/489.83	c model valid
483.05/489.83	c current solution ok
483.09/489.99	c current bound: 60
488.65/495.42	c model valid
488.65/495.42	c current solution ok
488.67/495.57	c current bound: 60
494.11/501.28	c model valid
494.11/501.28	c current solution ok
494.20/501.44	c current bound: 60
499.74/506.80	c model valid
499.74/506.80	c current solution ok
499.75/507.04	c current bound: 60
505.26/512.41	c model valid
505.26/512.41	c current solution ok
505.28/512.56	c current bound: 60
510.75/517.92	c model valid
510.75/517.92	c current solution ok
510.79/518.08	c current bound: 60
516.26/523.43	c model valid
516.26/523.43	c current solution ok
516.30/523.58	c current bound: 60
521.85/529.04	c model valid
521.85/529.04	c current solution ok
521.95/529.19	c current bound: 60
527.35/534.58	c model valid
527.35/534.58	c current solution ok
527.54/534.73	c current bound: 60
532.96/540.10	c model valid
532.96/540.10	c current solution ok
532.97/540.25	c current bound: 60
538.46/545.62	c model valid
538.46/545.62	c current solution ok
538.47/545.77	c current bound: 60
544.01/552.13	c model valid
544.01/552.13	c current solution ok
544.11/552.29	c current bound: 60
549.54/557.65	c model valid
549.54/557.65	c current solution ok
549.74/557.81	c current bound: 60
555.04/563.17	c model valid
555.04/563.17	c current solution ok
555.23/563.33	c current bound: 60
560.03/568.70	c model valid
560.03/568.70	c current solution ok
560.68/568.85	c current bound: 60
566.23/574.22	c model valid
566.23/574.22	c current solution ok
566.25/574.37	c current bound: 60
571.72/579.74	c model valid
571.72/579.74	c current solution ok
571.77/579.89	c current bound: 60
577.22/585.25	c model valid
577.22/585.25	c current solution ok
577.28/585.40	c current bound: 60
582.78/590.90	c model valid
582.78/590.90	c current solution ok
582.79/591.05	c current bound: 60
588.33/596.42	c model valid
588.33/596.42	c current solution ok
588.36/596.57	c current bound: 60
593.86/601.98	c model valid
593.86/601.98	c current solution ok
593.94/602.21	c current bound: 60
599.38/607.59	c model valid
599.38/607.59	c current solution ok
599.48/607.74	c current bound: 60
604.97/613.13	c model valid
604.97/613.13	c current solution ok
605.00/613.28	c current bound: 60
610.51/618.66	c model valid
610.51/618.66	c current solution ok
610.58/618.82	c current bound: 60
616.00/624.19	c model valid
616.00/624.19	c current solution ok
616.10/624.34	c current bound: 60
621.70/629.87	c model valid
621.70/629.87	c current solution ok
621.78/630.02	c current bound: 60
627.20/635.32	c model valid
627.20/635.32	c current solution ok
627.23/635.48	c current bound: 60
632.65/640.97	c model valid
632.65/640.97	c current solution ok
632.72/641.12	c current bound: 60
638.14/647.23	c model valid
638.14/647.23	c current solution ok
638.17/647.39	c current bound: 60
643.52/652.68	c model valid
643.52/652.68	c current solution ok
643.63/652.84	c current bound: 60
649.05/658.14	c model valid
649.05/658.14	c current solution ok
649.10/658.30	c current bound: 60
654.54/663.61	c model valid
654.54/663.61	c current solution ok
654.56/663.76	c current bound: 60
660.54/669.67	c model valid
660.54/669.67	c current solution ok
660.61/669.82	c current bound: 60
666.83/676.00	c model valid
666.83/676.00	c current solution ok
666.83/676.15	c current bound: 60
673.22/682.44	c model valid
673.22/682.44	c current solution ok
673.27/682.60	c current bound: 60
679.62/688.81	c model valid
679.62/688.81	c current solution ok
679.64/688.96	c current bound: 60
685.91/695.15	c model valid
685.91/695.15	c current solution ok
686.00/695.30	c current bound: 60
691.41/700.67	c model valid
691.41/700.67	c current solution ok
691.62/700.82	c current bound: 60
696.89/707.38	c model valid
696.89/707.38	c current solution ok
696.97/707.53	c current bound: 60
702.52/712.91	c model valid
702.52/712.91	c current solution ok
702.52/713.06	c current bound: 60
708.06/718.43	c model valid
708.06/718.43	c current solution ok
708.09/718.58	c current bound: 60
713.55/723.96	c model valid
713.55/723.96	c current solution ok
713.61/724.11	c current bound: 60
719.09/729.49	c model valid
719.09/729.49	c current solution ok
719.18/729.64	c current bound: 60
724.68/735.09	c model valid
724.68/735.09	c current solution ok
724.78/735.24	c current bound: 60
730.28/740.62	c model valid
730.28/740.62	c current solution ok
730.30/740.77	c current bound: 60
735.83/746.15	c model valid
735.83/746.15	c current solution ok
735.88/746.30	c current bound: 60
741.30/752.39	c model valid
741.30/752.39	c current solution ok
741.49/752.54	c current bound: 60
746.92/757.92	c model valid
746.92/757.92	c current solution ok
746.95/758.07	c current bound: 60
752.42/763.44	c model valid
752.42/763.44	c current solution ok
752.48/763.60	c current bound: 60
757.97/768.97	c model valid
757.97/768.97	c current solution ok
758.04/769.12	c current bound: 60
763.48/774.49	c model valid
763.48/774.49	c current solution ok
763.57/774.64	c current bound: 60
769.03/779.99	c model valid
769.03/779.99	c current solution ok
769.11/780.14	c current bound: 60
774.65/785.52	c model valid
774.65/785.52	c current solution ok
774.68/785.68	c current bound: 60
780.17/791.15	c model valid
780.17/791.15	c current solution ok
780.23/791.31	c current bound: 60
785.73/797.42	c model valid
785.73/797.42	c current solution ok
785.83/797.57	c current bound: 60
791.23/802.94	c model valid
791.23/802.94	c current solution ok
791.33/803.09	c current bound: 60
796.76/808.45	c model valid
796.76/808.45	c current solution ok
796.86/808.60	c current bound: 60
802.29/813.97	c model valid
802.29/813.97	c current solution ok
802.50/814.13	c current bound: 60
807.29/819.49	c model valid
807.29/819.49	c current solution ok
807.94/819.68	c current bound: 60
813.45/825.06	c model valid
813.45/825.06	c current solution ok
813.50/825.25	c current bound: 60
819.08/830.63	c model valid
819.08/830.63	c current solution ok
819.10/830.82	c current bound: 60
824.65/836.35	c model valid
824.65/836.35	c current solution ok
824.71/836.53	c current bound: 60
830.28/841.92	c model valid
830.28/841.92	c current solution ok
830.31/842.07	c current bound: 60
835.82/847.44	c model valid
835.82/847.44	c current solution ok
835.86/847.63	c current bound: 60
841.41/853.09	c model valid
841.41/853.09	c current solution ok
841.50/853.28	c current bound: 60
847.06/858.66	c model valid
847.06/858.66	c current solution ok
847.12/858.85	c current bound: 60
852.67/864.22	c model valid
852.67/864.22	c current solution ok
852.70/864.41	c current bound: 60
858.16/869.79	c model valid
858.16/869.79	c current solution ok
858.27/869.98	c current bound: 60
863.80/875.35	c model valid
863.80/875.35	c current solution ok
863.86/875.52	c current bound: 60
869.34/880.88	c model valid
869.34/880.88	c current solution ok
869.43/881.08	c current bound: 60
874.88/887.37	c model valid
874.88/887.37	c current solution ok
874.96/887.56	c current bound: 60
880.51/892.93	c model valid
880.51/892.93	c current solution ok
880.55/893.12	c current bound: 60
885.50/898.49	c model valid
885.50/898.49	c current solution ok
886.11/898.68	c current bound: 60
891.66/904.06	c model valid
891.66/904.06	c current solution ok
891.85/904.25	c current bound: 60
897.27/909.61	c model valid
897.27/909.61	c current solution ok
897.37/909.80	c current bound: 60
902.80/915.17	c model valid
902.80/915.17	c current solution ok
903.00/915.36	c current bound: 60
908.42/920.73	c model valid
908.42/920.73	c current solution ok
908.45/920.93	c current bound: 60
914.00/926.42	c model valid
914.00/926.42	c current solution ok
914.03/926.61	c current bound: 60
919.63/932.50	c model valid
919.63/932.50	c current solution ok
919.64/932.71	c current bound: 60
925.16/938.07	c model valid
925.16/938.07	c current solution ok
925.23/938.26	c current bound: 60
930.76/943.62	c model valid
930.76/943.62	c current solution ok
930.96/943.81	c current bound: 60
936.30/949.16	c model valid
936.30/949.16	c current solution ok
936.50/949.35	c current bound: 60
941.89/954.73	c model valid
941.89/954.73	c current solution ok
942.09/954.93	c current bound: 60
947.41/960.29	c model valid
947.41/960.29	c current solution ok
947.60/960.44	c current bound: 60
953.02/965.83	c model valid
953.02/965.83	c current solution ok
953.04/966.02	c current bound: 60
958.50/971.38	c model valid
958.50/971.38	c current solution ok
958.58/971.57	c current bound: 60
964.11/976.95	c model valid
964.11/976.95	c current solution ok
964.16/977.67	c current bound: 60
969.74/983.03	c model valid
969.74/983.03	c current solution ok
969.78/983.22	c current bound: 60
975.29/988.59	c model valid
975.29/988.59	c current solution ok
975.38/988.78	c current bound: 60
980.89/994.16	c model valid
980.89/994.16	c current solution ok
980.96/994.35	c current bound: 60
986.48/999.72	c model valid
986.48/999.72	c current solution ok
986.69/999.91	c current bound: 60
991.99/1005.28	c model valid
991.99/1005.28	c current solution ok
992.20/1005.48	c current bound: 60
997.63/1010.85	c model valid
997.63/1010.85	c current solution ok
997.82/1011.00	c current bound: 60
1003.20/1016.51	c model valid
1003.20/1016.51	c current solution ok
1003.21/1016.70	c current bound: 60
1008.76/1022.60	c model valid
1008.76/1022.60	c current solution ok
1008.77/1022.80	c current bound: 60
1014.31/1028.17	c model valid
1014.31/1028.17	c current solution ok
1014.38/1028.36	c current bound: 60
1019.90/1033.73	c model valid
1019.90/1033.73	c current solution ok
1019.94/1033.92	c current bound: 60
1025.41/1039.29	c model valid
1025.41/1039.29	c current solution ok
1025.50/1039.48	c current bound: 60
1031.02/1044.86	c model valid
1031.02/1044.86	c current solution ok
1031.22/1045.05	c current bound: 60
1036.62/1050.43	c model valid
1036.62/1050.43	c current solution ok
1036.82/1050.62	c current bound: 60
1042.13/1055.94	c model valid
1042.13/1055.94	c current solution ok
1042.33/1056.13	c current bound: 60
1047.73/1061.51	c model valid
1047.73/1061.51	c current solution ok
1047.73/1061.69	c current bound: 60
1053.30/1067.61	c model valid
1053.30/1067.61	c current solution ok
1053.32/1067.90	c current bound: 60
1058.82/1073.27	c model valid
1058.82/1073.27	c current solution ok
1058.90/1073.47	c current bound: 60
1064.41/1078.83	c model valid
1064.41/1078.83	c current solution ok
1064.45/1079.03	c current bound: 60
1070.12/1084.50	c model valid
1070.12/1084.50	c current solution ok
1070.22/1084.70	c current bound: 60
1075.63/1090.06	c model valid
1075.63/1090.06	c current solution ok
1075.83/1090.26	c current bound: 60
1081.24/1095.63	c model valid
1081.24/1095.63	c current solution ok
1081.26/1095.82	c current bound: 60
1086.75/1101.19	c model valid
1086.75/1101.19	c current solution ok
1086.85/1101.39	c current bound: 60
1092.27/1107.18	c model valid
1092.27/1107.18	c current solution ok
1092.35/1107.43	c current bound: 60
1097.91/1112.81	c model valid
1097.91/1112.81	c current solution ok
1097.93/1113.01	c current bound: 60
1102.90/1118.39	c model valid
1102.90/1118.39	c current solution ok
1103.52/1118.54	c current bound: 60
1109.03/1123.92	c model valid
1109.03/1123.92	c current solution ok
1109.05/1124.11	c current bound: 60
1114.53/1129.47	c model valid
1114.53/1129.47	c current solution ok
1114.61/1129.67	c current bound: 60
1120.13/1135.04	c model valid
1120.13/1135.04	c current solution ok
1120.32/1135.23	c current bound: 60
1125.73/1140.61	c model valid
1125.73/1140.61	c current solution ok
1125.83/1140.80	c current bound: 60
1131.26/1146.17	c model valid
1131.26/1146.17	c current solution ok
1131.48/1146.36	c current bound: 60
1136.92/1153.02	c model valid
1136.92/1153.02	c current solution ok
1136.94/1153.22	c current bound: 60
1142.45/1158.59	c model valid
1142.45/1158.59	c current solution ok
1142.55/1158.78	c current bound: 60
1148.10/1164.16	c model valid
1148.10/1164.16	c current solution ok
1148.16/1164.35	c current bound: 60
1153.72/1169.73	c model valid
1153.72/1169.73	c current solution ok
1153.75/1169.93	c current bound: 60
1159.31/1175.30	c model valid
1159.31/1175.30	c current solution ok
1159.32/1175.49	c current bound: 60
1164.80/1180.87	c model valid
1164.80/1180.87	c current solution ok
1164.87/1181.06	c current bound: 60
1170.44/1186.43	c model valid
1170.44/1186.43	c current solution ok
1170.47/1186.60	c current bound: 60
1175.97/1191.93	c model valid
1175.97/1191.93	c current solution ok
1176.01/1192.12	c current bound: 60
1181.51/1197.46	c model valid
1181.51/1197.46	c current solution ok
1181.74/1197.93	c current bound: 60
1187.04/1203.28	c model valid
1187.04/1203.28	c current solution ok
1187.25/1203.47	c current bound: 60
1192.67/1208.85	c model valid
1192.67/1208.85	c current solution ok
1192.88/1209.04	c current bound: 60
1198.33/1214.42	c model valid
1198.33/1214.42	c current solution ok
1198.35/1214.61	c current bound: 60
1203.87/1219.99	c model valid
1203.87/1219.99	c current solution ok
1203.96/1220.18	c current bound: 60
1209.56/1225.67	c model valid
1209.56/1225.67	c current solution ok
1209.64/1225.86	c current bound: 60
1215.14/1231.29	c model valid
1215.14/1231.29	c current solution ok
1215.26/1231.45	c current bound: 60
1220.79/1236.83	c model valid
1220.79/1236.83	c current solution ok
1220.82/1237.02	c current bound: 60
1226.32/1242.78	c model valid
1226.32/1242.78	c current solution ok
1226.54/1243.06	c current bound: 60
1231.96/1248.43	c model valid
1231.96/1248.43	c current solution ok
1232.16/1248.63	c current bound: 60
1237.77/1254.22	c model valid
1237.77/1254.22	c current solution ok
1237.80/1254.42	c current bound: 60
1243.40/1259.83	c model valid
1243.40/1259.83	c current solution ok
1243.44/1260.02	c current bound: 60
1249.03/1265.40	c model valid
1249.03/1265.40	c current solution ok
1249.03/1265.59	c current bound: 60
1254.53/1270.97	c model valid
1254.53/1270.97	c current solution ok
1254.60/1271.16	c current bound: 60
1260.14/1276.53	c model valid
1260.14/1276.53	c current solution ok
1260.18/1276.72	c current bound: 60
1265.67/1283.15	c model valid
1265.67/1283.15	c current solution ok
1265.72/1283.35	c current bound: 60
1271.26/1288.72	c model valid
1271.26/1288.72	c current solution ok
1271.29/1288.92	c current bound: 60
1276.82/1294.28	c model valid
1276.82/1294.28	c current solution ok
1276.90/1294.47	c current bound: 60
1282.43/1299.85	c model valid
1282.43/1299.85	c current solution ok
1282.49/1300.04	c current bound: 60
1288.03/1305.42	c model valid
1288.03/1305.42	c current solution ok
1288.06/1305.62	c current bound: 60
1293.55/1310.99	c model valid
1293.55/1310.99	c current solution ok
1293.65/1311.18	c current bound: 60
1299.16/1316.55	c model valid
1299.16/1316.55	c current solution ok
1299.35/1316.75	c current bound: 60
1304.73/1322.91	c model valid
1304.73/1322.91	c current solution ok
1304.74/1323.06	c current bound: 60
1310.24/1328.43	c model valid
1310.24/1328.43	c current solution ok
1310.27/1328.58	c current bound: 60
1315.74/1333.94	c model valid
1315.74/1333.94	c current solution ok
1315.79/1334.10	c current bound: 60
1321.27/1339.47	c model valid
1321.27/1339.47	c current solution ok
1321.34/1339.62	c current bound: 60
1326.77/1344.99	c model valid
1326.77/1344.99	c current solution ok
1326.87/1345.14	c current bound: 60
1332.41/1350.51	c model valid
1332.41/1350.51	c current solution ok
1332.43/1350.67	c current bound: 60
1337.93/1356.03	c model valid
1337.93/1356.03	c current solution ok
1337.98/1356.18	c current bound: 60
1343.47/1361.53	c model valid
1343.47/1361.53	c current solution ok
1343.52/1361.69	c current bound: 60
1348.98/1367.72	c model valid
1348.98/1367.72	c current solution ok
1349.02/1367.87	c current bound: 60
1354.49/1373.24	c model valid
1354.49/1373.24	c current solution ok
1354.53/1373.44	c current bound: 60
1360.10/1378.84	c model valid
1360.10/1378.84	c current solution ok
1360.14/1379.05	c current bound: 60
1365.67/1384.49	c model valid
1365.67/1384.49	c current solution ok
1365.77/1384.70	c current bound: 60
1371.38/1390.12	c model valid
1371.38/1390.12	c current solution ok
1371.40/1390.33	c current bound: 60
1377.00/1395.77	c model valid
1377.00/1395.77	c current solution ok
1377.20/1395.92	c current bound: 60
1382.49/1401.27	c model valid
1382.49/1401.27	c current solution ok
1382.69/1401.42	c current bound: 60
1388.67/1407.45	c model valid
1388.67/1407.45	c current solution ok
1388.74/1407.60	c current bound: 60
1395.08/1413.85	c model valid
1395.08/1413.85	c current solution ok
1395.14/1414.00	c current bound: 60
1401.37/1420.19	c model valid
1401.37/1420.19	c current solution ok
1401.47/1420.34	c current bound: 60
1407.67/1426.46	c model valid
1407.67/1426.46	c current solution ok
1407.73/1426.61	c current bound: 60
1413.85/1432.69	c model valid
1413.85/1432.69	c current solution ok
1413.95/1432.84	c current bound: 60
1419.34/1438.19	c model valid
1419.34/1438.19	c current solution ok
1419.46/1438.34	c current bound: 60
1425.76/1444.57	c model valid
1425.76/1444.57	c current solution ok
1425.83/1444.72	c current bound: 60
1431.55/1450.90	c model valid
1431.55/1450.90	c current solution ok
1432.15/1451.05	c current bound: 60
1438.34/1457.16	c model valid
1438.34/1457.16	c current solution ok
1438.41/1457.32	c current bound: 60
1443.87/1463.20	c model valid
1443.87/1463.20	c current solution ok
1443.87/1463.44	c current bound: 60
1449.97/1469.47	c model valid
1449.97/1469.47	c current solution ok
1450.16/1469.62	c current bound: 60
1456.28/1475.71	c model valid
1456.28/1475.71	c current solution ok
1456.29/1475.86	c current bound: 60
1462.67/1482.14	c model valid
1462.67/1482.14	c current solution ok
1462.71/1482.29	c current bound: 60
1468.95/1488.46	c model valid
1468.95/1488.46	c current solution ok
1469.01/1488.61	c current bound: 60
1475.25/1494.76	c model valid
1475.25/1494.76	c current solution ok
1475.45/1494.92	c current bound: 60
1481.54/1501.04	c model valid
1481.54/1501.04	c current solution ok
1481.59/1501.19	c current bound: 60
1487.06/1506.56	c model valid
1487.06/1506.56	c current solution ok
1487.12/1506.71	c current bound: 60
1492.66/1512.22	c model valid
1492.66/1512.22	c current solution ok
1492.69/1512.38	c current bound: 60
1498.19/1518.33	c model valid
1498.19/1518.33	c current solution ok
1498.23/1518.55	c current bound: 60
1503.80/1523.95	c model valid
1503.80/1523.95	c current solution ok
1503.86/1524.16	c current bound: 60
1509.41/1529.57	c model valid
1509.41/1529.57	c current solution ok
1509.49/1529.78	c current bound: 60
1515.11/1535.20	c model valid
1515.11/1535.20	c current solution ok
1515.12/1535.41	c current bound: 60
1520.72/1540.83	c model valid
1520.72/1540.83	c current solution ok
1520.76/1541.04	c current bound: 60
1526.31/1546.47	c model valid
1526.31/1546.47	c current solution ok
1526.52/1546.68	c current bound: 60
1532.01/1552.21	c model valid
1532.01/1552.21	c current solution ok
1532.02/1552.42	c current bound: 60
1537.64/1558.41	c model valid
1537.64/1558.41	c current solution ok
1537.65/1558.62	c current bound: 60
1544.09/1564.92	c model valid
1544.09/1564.92	c current solution ok
1544.11/1565.07	c current bound: 60
1550.48/1571.33	c model valid
1550.48/1571.33	c current solution ok
1550.53/1571.48	c current bound: 60
1556.87/1577.72	c model valid
1556.87/1577.72	c current solution ok
1556.91/1577.87	c current bound: 60
1562.29/1583.17	c model valid
1562.29/1583.17	c current solution ok
1562.36/1583.56	c current bound: 60
1568.75/1589.81	c model valid
1568.75/1589.81	c current solution ok
1568.77/1589.96	c current bound: 60
1575.07/1596.12	c model valid
1575.07/1596.12	c current solution ok
1575.08/1596.27	c current bound: 60
1581.36/1602.41	c model valid
1581.36/1602.41	c current solution ok
1581.37/1602.56	c current bound: 60
1587.76/1608.87	c model valid
1587.76/1608.87	c current solution ok
1587.83/1609.02	c current bound: 60
1593.35/1614.44	c model valid
1593.35/1614.44	c current solution ok
1593.39/1614.59	c current bound: 60
1598.85/1619.97	c model valid
1598.85/1619.97	c current solution ok
1598.93/1620.12	c current bound: 60
1604.55/1625.62	c model valid
1604.55/1625.62	c current solution ok
1604.58/1625.77	c current bound: 60
1610.08/1631.13	c model valid
1610.08/1631.13	c current solution ok
1610.12/1631.28	c current bound: 60
1615.58/1636.65	c model valid
1615.58/1636.65	c current solution ok
1615.78/1636.81	c current bound: 60
1621.07/1642.28	c model valid
1621.07/1642.28	c current solution ok
1621.26/1642.49	c current bound: 60
1626.70/1647.86	c model valid
1626.70/1647.86	c current solution ok
1626.76/1648.01	c current bound: 60
1632.21/1653.38	c model valid
1632.30/1653.42	c current solution ok
1632.30/1653.59	c current bound: 60
1637.80/1658.96	c model valid
1637.80/1658.96	c current solution ok
1637.86/1659.12	c current bound: 60
1643.30/1664.49	c model valid
1643.30/1664.49	c current solution ok
1643.39/1664.65	c current bound: 60
1648.89/1670.04	c model valid
1648.89/1670.04	c current solution ok
1648.94/1670.20	c current bound: 60
1654.43/1675.58	c model valid
1654.43/1675.58	c current solution ok
1654.53/1675.74	c current bound: 60
1660.02/1681.16	c model valid
1660.02/1681.16	c current solution ok
1660.09/1681.31	c current bound: 60
1665.56/1686.69	c model valid
1665.56/1686.69	c current solution ok
1665.65/1686.84	c current bound: 60
1671.19/1692.21	c model valid
1671.19/1692.21	c current solution ok
1671.21/1692.36	c current bound: 60
1676.72/1698.70	c model valid
1676.72/1698.71	c current solution ok
1676.72/1698.86	c current bound: 60
1682.11/1704.15	c model valid
1682.11/1704.15	c current solution ok
1682.16/1704.30	c current bound: 60
1687.52/1709.58	c model valid
1687.61/1709.68	c current solution ok
1687.61/1710.23	c current bound: 60
1693.04/1715.51	c model valid
1693.04/1715.51	c current solution ok
1693.06/1715.67	c current bound: 60
1698.44/1720.97	c model valid
1698.44/1720.98	c current solution ok
1698.51/1721.16	c current bound: 60
1703.83/1726.79	c model valid
1703.94/1726.81	c current solution ok
1704.04/1727.06	c current bound: 60
1709.34/1732.33	c model valid
1709.34/1732.33	c current solution ok
1709.37/1732.48	c current bound: 60
1714.75/1737.75	c model valid
1714.75/1737.76	c current solution ok
1714.92/1738.25	c current bound: 60
1720.27/1743.90	c model valid
1720.27/1744.19	c current solution ok
1720.27/1744.26	c current bound: 60
1725.67/1749.54	c model valid
1725.67/1749.54	c current solution ok
1725.71/1749.69	c current bound: 60
1731.04/1754.99	c model valid
1731.16/1755.03	c current solution ok
1731.16/1755.19	c current bound: 60
1736.61/1760.91	c model valid
1736.61/1760.91	c current solution ok
1736.72/1761.15	c current bound: 60
1742.03/1766.43	c model valid
1742.03/1766.43	c current solution ok
1742.06/1766.58	c current bound: 60
1747.43/1771.86	c model valid
1747.49/1771.94	c current solution ok
1747.56/1772.19	c current bound: 60
1752.88/1777.86	c model valid
1752.88/1777.86	c current solution ok
1752.94/1778.13	c current bound: 60
1758.37/1783.43	c model valid
1758.37/1783.43	c current solution ok
1758.40/1783.60	c current bound: 60
1763.78/1788.88	c model valid
1763.78/1788.88	c current solution ok
1763.85/1789.05	c current bound: 60
1769.31/1794.63	c model valid
1769.31/1794.63	c current solution ok
1769.34/1794.92	c current bound: 60
1774.79/1800.41	c model valid
1774.79/1800.41	c current solution ok
1774.81/1800.58	c current bound: 60
1780.20/1805.86	c model valid
1780.20/1805.86	c current solution ok
1780.27/1806.19	c current bound: 60
1785.61/1811.80	c model valid
1785.61/1811.80	c current solution ok
1785.72/1812.11	c current bound: 60

Verifier Data 

ERROR: no interpretation found !

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-3702913-1338066424/watcher-3702913-1338066424 -o /tmp/evaluation-result-3702913-1338066424/solver-3702913-1338066424 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702913-1338066424.opb 413794347 HOME HOME 

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

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


[startup+0 s]
/proc/loadavg: 1.48 1.83 2.11 2/180 5912
/proc/meminfo: memFree=32011408/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0

[startup+0.0937511 s]
/proc/loadavg: 1.48 1.83 2.11 2/180 5912
/proc/meminfo: memFree=32011408/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100213 s]
/proc/loadavg: 1.48 1.83 2.11 2/180 5912
/proc/meminfo: memFree=32011408/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300182 s]
/proc/loadavg: 1.48 1.83 2.11 2/180 5912
/proc/meminfo: memFree=32011408/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700184 s]
/proc/loadavg: 1.48 1.83 2.11 2/180 5912
/proc/meminfo: memFree=32011408/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50025 s]
/proc/loadavg: 1.48 1.83 2.11 3/182 6068
/proc/meminfo: memFree=31997748/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=35056 CPUtime=1.49 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) R 5912 5912 8327 0 -1 4202496 3122 0 0 0 148 1 0 0 20 0 1 0 272709401 35897344 5136 33554432000 4194304 5992684 140734871243744 140734871238808 4524999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5913/statm: 8764 5136 146 440 0 8320 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 44204

[startup+3.10026 s]
/proc/loadavg: 1.52 1.83 2.10 3/181 6256
/proc/meminfo: memFree=31984560/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=84164 CPUtime=3.09 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) R 5912 5912 8327 0 -1 4202496 7746 0 0 0 306 3 0 0 20 0 1 0 272709401 86183936 16387 33554432000 4194304 5992684 140734871243744 140734871239864 4227904 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/5913/statm: 21041 16387 157 440 0 20597 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 93312

[startup+6.30046 s]
/proc/loadavg: 1.52 1.83 2.10 2/184 6815
/proc/meminfo: memFree=31654172/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=211076 CPUtime=4.79 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 23937 0 0 0 453 26 0 0 20 0 1 0 272709401 216141824 45030 33554432000 4194304 5992684 140734871243744 140734871238192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/5913/statm: 52769 45030 164 440 0 52325 0
[pid=6727] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6727/stat : 6727 (cp2_pre.sh) S 5913 5912 8327 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 272709883 9367552 276 33554432000 4194304 5064252 140733633286592 140733633285296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6727/statm: 2287 276 234 213 0 72 0
[pid=6729] ppid=6727 vsize=204312 CPUtime=1.47 cores=0,2,4,6
/proc/6729/stat : 6729 (coprocessor) R 6727 5912 8327 0 -1 4202496 22011 0 0 0 139 8 0 0 20 0 1 0 272709883 209215488 50178 33554432000 4194304 6586260 140735068128160 140735068124920 4373124 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6729/statm: 51078 50178 137 584 0 50490 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 433684

[startup+12.7004 s]
/proc/loadavg: 1.74 1.87 2.11 3/184 7893
/proc/meminfo: memFree=31157784/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=211076 CPUtime=4.79 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 23937 0 0 0 453 26 0 0 20 0 1 0 272709401 216141824 45030 33554432000 4194304 5992684 140734871243744 140734871238192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/5913/statm: 52769 45030 164 440 0 52325 0
[pid=6727] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6727/stat : 6727 (cp2_pre.sh) S 5913 5912 8327 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 272709883 9367552 276 33554432000 4194304 5064252 140733633286592 140733633285296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6727/statm: 2287 276 234 213 0 72 0
[pid=6729] ppid=6727 vsize=644732 CPUtime=7.86 cores=0,2,4,6
/proc/6729/stat : 6729 (coprocessor) R 6727 5912 8327 0 -1 4202496 69900 0 0 0 768 18 0 0 20 0 1 0 272709883 660205568 142524 33554432000 4194304 6586260 140735068128160 140735068123976 4498526 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6729/statm: 161183 142524 168 584 0 160595 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 874104

[startup+25.5004 s]
/proc/loadavg: 1.63 1.84 2.10 3/184 10145
/proc/meminfo: memFree=31090228/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=211076 CPUtime=4.79 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 23937 0 0 0 453 26 0 0 20 0 1 0 272709401 216141824 45030 33554432000 4194304 5992684 140734871243744 140734871238192 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/5913/statm: 52769 45030 164 440 0 52325 0
[pid=6727] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/6727/stat : 6727 (cp2_pre.sh) S 5913 5912 8327 0 -1 4202496 607 0 0 0 0 0 0 0 20 0 1 0 272709883 9367552 276 33554432000 4194304 5064252 140733633286592 140733633285296 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/6727/statm: 2287 276 234 213 0 72 0
[pid=6729] ppid=6727 vsize=661632 CPUtime=20.66 cores=0,2,4,6
/proc/6729/stat : 6729 (coprocessor) R 6727 5912 8327 0 -1 4202496 72252 0 0 0 2047 19 0 0 20 0 1 0 272709883 677511168 158673 33554432000 4194304 6586260 140735068128160 140735068124184 4755072 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/6729/statm: 165408 158673 180 584 0 164820 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 891004

[startup+51.1005 s]
/proc/loadavg: 1.61 1.82 2.09 3/183 14441
/proc/meminfo: memFree=31379180/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=211076 CPUtime=40.8 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 23953 90312 0 0 453 26 3556 45 20 0 1 0 272709401 216141824 45033 33554432000 4194304 5992684 140734871243744 140734871230008 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/5913/statm: 52769 45033 166 440 0 52325 0
[pid=12860] ppid=5913 vsize=452496 CPUtime=9.95 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) R 5913 5912 8327 0 -1 4202496 58986 0 0 0 981 14 0 0 20 0 1 0 272713514 463355904 89679 33554432000 4194304 5654031 140733907157696 140733907155480 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 113124 89679 130 357 0 112764 0
Current children cumulated CPU time (s) 50.75
Current children cumulated vsize (KiB) 672720

############
# WARNING:
# current cumulated CPU time (90.34 s) is less than in the last sample (95 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.66 s) to the 'lost time'.

[startup+96.4004 s]
/proc/loadavg: 1.60 1.78 2.06 3/184 22156
/proc/meminfo: memFree=30876316/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=70.21 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 38791 365716 0 0 624 599 5587 211 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871236032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 16 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 93568 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 93568 146 357 0 115653 0
[pid=21476] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21476/stat : 21476 (satsolver.sh) S 5913 5912 8327 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272718573 9367552 266 33554432000 4194304 5064252 140733761412080 140733761410992 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21476/statm: 2287 266 226 213 0 72 0
[pid=21478] ppid=21476 vsize=450056 CPUtime=4.66 cores=0,2,4,6
/proc/21478/stat : 21478 (glucose) R 21476 5912 8327 0 -1 4202496 61545 0 0 0 451 15 0 0 20 0 1 0 272718574 460857344 90048 33554432000 4194304 5208918 140734437489488 140734437487336 4607488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21478/statm: 112514 90048 105 248 0 112263 0
Current children cumulated CPU time (s) 95
Current children cumulated vsize (KiB) 1182388

[startup+96.5004 s]
/proc/loadavg: 1.60 1.78 2.06 3/184 22156
/proc/meminfo: memFree=30876316/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=70.21 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) R 5912 5912 8327 0 -1 4202496 38791 365716 0 0 624 599 5587 211 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871236032 5175646 0 65536 4102 0 0 0 0 17 0 0 0 16 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 93568 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 93568 146 357 0 115653 0
Current children cumulated CPU time (s) 90.34
Current children cumulated vsize (KiB) 723184
#

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

/proc/meminfo: memFree=30889856/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=1500.84 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 794507 17974617 0 0 2913 878 135498 10795 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871236032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 396 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=7974] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/7974/stat : 7974 (satsolver.sh) S 5913 5912 8327 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272863505 9367552 266 33554432000 4194304 5064252 140734333780464 140734333779376 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/7974/statm: 2287 266 226 213 0 72 0
[pid=7975] ppid=7974 vsize=402364 CPUtime=1.24 cores=0,2,4,6
/proc/7975/stat : 7975 (glucose) R 7974 5912 8327 0 -1 4202496 44897 0 0 0 111 13 0 0 20 0 1 0 272863506 412020736 77674 33554432000 4194304 5208918 140733373617312 140733372566808 4465602 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/7975/statm: 100591 77674 70 248 0 100340 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 95213 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 95213 146 357 0 115653 0
Current children cumulated CPU time (s) 1522.21
Current children cumulated vsize (KiB) 1134696

[startup+1602.3 s]
/proc/loadavg: 1.38 1.89 2.16 3/184 18308
/proc/meminfo: memFree=30819848/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=1560.65 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 821184 18658908 0 0 2982 886 140995 11202 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871235520 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 396 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 95213 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 95213 146 357 0 115653 0
Current children cumulated CPU time (s) 1580.78
Current children cumulated vsize (KiB) 723184

[startup+1662.3 s]
/proc/loadavg: 1.36 1.79 2.10 3/184 28667
/proc/meminfo: memFree=30817740/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=1617.88 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 853778 19356622 0 0 3082 898 146181 11627 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871236032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 396 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 95213 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 95213 146 357 0 115653 0
[pid=28156] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28156/stat : 28156 (satsolver.sh) S 5913 5912 8327 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272875313 9367552 267 33554432000 4194304 5064252 140735666939008 140735666937920 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/28156/statm: 2287 267 226 213 0 72 0
[pid=28157] ppid=28156 vsize=446640 CPUtime=3.17 cores=0,2,4,6
/proc/28157/stat : 28157 (glucose) R 28156 5912 8327 0 -1 4202496 60328 0 0 0 303 14 0 0 20 0 1 0 272875313 457359360 88833 33554432000 4194304 5208918 140737108710544 140737108708392 4229850 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/28157/statm: 111660 88833 94 248 0 111409 0
Current children cumulated CPU time (s) 1641.18
Current children cumulated vsize (KiB) 1178972

[startup+1722.3 s]
/proc/loadavg: 1.51 1.75 2.07 3/183 2533
/proc/meminfo: memFree=31034560/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=1678.54 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 886376 20119676 0 0 3177 911 151698 12068 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871236032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 396 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=2532] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2532/stat : 2532 (satsolver.sh) S 5913 5912 8327 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272881518 9367552 267 33554432000 4194304 5064252 140734909880352 140734909879264 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2532/statm: 2287 267 226 213 0 72 0
[pid=2533] ppid=2532 vsize=381096 CPUtime=1.12 cores=0,2,4,6
/proc/2533/stat : 2533 (glucose) R 2532 5912 8327 0 -1 4202496 44807 0 0 0 99 13 0 0 20 0 1 0 272881518 390242304 70289 33554432000 4194304 5208918 140736955134752 140736954084392 4200950 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2533/statm: 95274 70289 70 248 0 95023 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 95213 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 95213 146 357 0 115653 0
Current children cumulated CPU time (s) 1699.79
Current children cumulated vsize (KiB) 1113428

[startup+1782.3 s]
/proc/loadavg: 2.04 1.85 2.09 3/183 2603
/proc/meminfo: memFree=30790052/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=1732.98 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 916012 20810721 0 0 3258 921 156662 12457 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871236032 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 396 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=2602] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2602/stat : 2602 (satsolver.sh) S 5913 5912 8327 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272887214 9367552 267 33554432000 4194304 5064252 140735025247424 140735025246336 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2602/statm: 2287 267 226 213 0 72 0
[pid=2603] ppid=2602 vsize=446768 CPUtime=4.15 cores=0,2,4,6
/proc/2603/stat : 2603 (glucose) R 2602 5912 8327 0 -1 4202496 60942 0 0 0 401 14 0 0 20 0 1 0 272887214 457490432 88452 33554432000 4194304 5208918 140734974462016 140734974459864 4228947 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/2603/statm: 111692 88452 94 248 0 111441 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 95213 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 95213 146 357 0 115653 0
Current children cumulated CPU time (s) 1757.26
Current children cumulated vsize (KiB) 1179100



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1817.2 s]
/proc/loadavg: 2.17 1.90 2.09 3/183 2650
/proc/meminfo: memFree=31104960/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=1770.46 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 933800 21291872 0 0 3307 926 160095 12718 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871235520 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 396 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=2648] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2648/stat : 2648 (cp2_post.sh) S 5913 5912 8327 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 272891081 9367552 266 33554432000 4194304 5064252 140734045116976 140734045115264 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2648/statm: 2287 266 225 213 0 72 0
[pid=2650] ppid=2648 vsize=36832 CPUtime=0.39 cores=0,2,4,6
/proc/2650/stat : 2650 (coprocessor) R 2648 5912 8327 0 -1 4202496 5765 0 0 0 37 2 0 0 20 0 1 0 272891082 37715968 6748 33554432000 4194304 6586260 140735392168944 140734045115288 5466922 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/2650/statm: 9208 6748 148 584 0 8620 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 95213 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 95213 146 357 0 115653 0
Current children cumulated CPU time (s) 1790.98
Current children cumulated vsize (KiB) 769164

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1817.2 s]
/proc/loadavg: 2.17 1.90 2.09 3/183 2650
/proc/meminfo: memFree=31104960/32873844 swapFree=6872/6872
[pid=5912] ppid=5910 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5912/stat : 5912 (npSolver-pbo-It) S 5910 5912 8327 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272709401 9367552 275 33554432000 4194304 5064252 140737281917872 140737281916784 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5912/statm: 2287 275 233 213 0 72 0
[pid=5913] ppid=5912 vsize=249984 CPUtime=1770.46 cores=0,2,4,6
/proc/5913/stat : 5913 (npSolver-pbo) S 5912 5912 8327 0 -1 4202496 933800 21291872 0 0 3307 926 160095 12718 20 0 1 0 272709401 255983616 54076 33554432000 4194304 5992684 140734871243744 140734871235520 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 396 0 0
/proc/5913/statm: 62496 54076 189 440 0 62052 0
[pid=2648] ppid=5913 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2648/stat : 2648 (cp2_post.sh) S 5913 5912 8327 0 -1 4202496 611 225 0 0 0 0 0 0 20 0 1 0 272891081 9367552 266 33554432000 4194304 5064252 140734045116976 140734045115264 209097221710 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/2648/statm: 2287 266 225 213 0 72 0
[pid=2650] ppid=2648 vsize=36832 CPUtime=0.39 cores=0,2,4,6
/proc/2650/stat : 2650 (coprocessor) R 2648 5912 8327 0 -1 4202496 5765 0 0 0 37 2 0 0 20 0 1 0 272891082 37715968 6748 33554432000 4194304 6586260 140735392168944 140734045115288 5466922 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/2650/statm: 9208 6748 148 584 0 8620 0
[pid=12860] ppid=5913 vsize=464052 CPUtime=20.13 cores=0,2,4,6
/proc/12860/stat : 12860 (glucosInc) S 5913 5912 8327 0 -1 4202496 62364 0 0 0 1997 16 0 0 20 0 1 0 272713514 475189248 95213 33554432000 4194304 5654031 140733907157696 140733907156008 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/12860/statm: 116013 95213 146 357 0 115653 0
Current children cumulated CPU time (s) 1790.98
Current children cumulated vsize (KiB) 769164

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5912 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=0
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1790.98
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 9.31002
#  lost CPU user time (s): 9.01
#  lost CPU system time (s): 0.300001

Real time (s): 1817.23
CPU time (s): 1800.29
CPU user time (s): 1663.37
CPU system time (s): 136.92
CPU usage (%): 99.0677
Max. virtual memory (cumulated for all children) (KiB): 1182392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4
involuntary context switches= 1

runsolver used 4.22936 second user time and 11.1553 second system time

The end

Launcher Data 

Begin job on node105 at 2012-05-26 23:07:04
IDJOB=3702913
IDBENCH=2642
IDSOLVER=2278
FILE ID=node105/3702913-1338066424
RUNJOBID= node105-1338052967-8343
PBS_JOBID= 14624416
Free space on /tmp= 71468 MiB

SOLVER NAME= npSolver inc-topdown-quickBound
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_8.opb
COMMAND LINE= DIR/npSolver-pbo-Itdqb.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3702913-1338066424/watcher-3702913-1338066424 -o /tmp/evaluation-result-3702913-1338066424/solver-3702913-1338066424 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702913-1338066424.opb 413794347 HOME HOME

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

MD5SUM BENCH= 6d3802f2f17c83a21ccf6c0752b41678
RANDOM SEED=413794347

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        32009640 kB
Buffers:           41268 kB
Cached:            46344 kB
SwapCached:         1612 kB
Active:            86340 kB
Inactive:          19668 kB
Active(anon):      17068 kB
Inactive(anon):     3208 kB
Active(file):      69272 kB
Inactive(file):    16460 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67100320 kB
Dirty:              9008 kB
Writeback:             0 kB
AnonPages:         21780 kB
Mapped:             8412 kB
Shmem:                 0 kB
Slab:             621436 kB
SReclaimable:      62336 kB
SUnreclaim:       559100 kB
KernelStack:        1504 kB
PageTables:         4232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     146268 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71276 MiB
End job on node105 at 2012-05-26 23:37:23