Trace number 3697507

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? (TO) 1800.1 1800.51

General information on the benchmark

Namenormalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gt2.opb
MD5SUMfbf213ed65afe4e66abc3948eb02a29f
Bench CategoryOPT-MEDINT (optimisation, medium integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark21166
Best CPU time to get the best result obtained on this benchmark4.31334
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 21166
Optimality of the best value was proved NO
Number of variables556
Total number of constraints180
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)2
Number of constraints which are nor clauses,nor cardinality constraints178
Minimum length of a constraint2
Maximum length of a constraint48
Number of terms in the objective function 304
Biggest coefficient in the objective function 62376
Number of bits for the biggest coefficient in the objective function 16
Sum of the numbers in the objective function 3092598
Number of bits of the sum of numbers in the objective function 22
Biggest number in a constraint 62376
Number of bits of the biggest number in a constraint 16
Biggest sum of numbers in a constraint 3092598
Number of bits of the biggest sum of numbers22
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.36	c run inc solver
0.00/0.36	c [INC SYSTEM] run initial solver
0.00/0.36	c [INC SYSTEM] preprocess with white file
2.47/2.57	c [INC SYSTEM] finished preprocessing in 2 s
2.47/2.57	c [INC SYSTEM] execute solver
2.55/2.79	c [INC SEARCH] formula is SAT
2.55/2.80	c [INC SYSTEM] solved the initial formula
2.55/2.80	c model valid
2.55/2.80	c current solution ok
3.27/3.39	o 118260
3.27/3.39	c [INC SYSTEM] there exists a inc, kill it!
3.27/3.39	c write failed with 2
3.37/3.40	c [INC SEARCH] iteration: 0
3.37/3.40	c [INC BOUNDS] best value:118260 search for 118259
3.37/3.40	c [INC SYSTEM] create new solver instance
3.37/3.40	c [INC] encode full formula
3.37/3.40	c fallback to adder encoding
3.37/3.42	c set iterative enc to: adder
3.37/3.42	c set iterative enc to: none
3.37/3.44	c [INC SEARCH] isOptimum variable: 0
22.76/22.82	c formula is SAT
22.76/22.83	c [INC SEARCH] copied best model
22.76/22.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
22.76/22.83	c model valid
22.76/22.83	c current solution ok
22.76/22.83	o 117704
22.76/22.83	c [INC SEARCH] iteration: 1
22.76/22.83	c [INC BOUNDS] best value:117704 search for 117703
22.76/22.83	c [INC SYSTEM] there exists a inc, kill it!
22.76/22.83	c write failed with 2
22.76/22.84	c [INC SYSTEM] create new solver instance
22.76/22.84	c [INC] encode full formula
22.76/22.84	c fallback to adder encoding
22.76/22.87	c set iterative enc to: adder
22.76/22.87	c set iterative enc to: none
22.76/22.89	c [INC SEARCH] isOptimum variable: 0
45.15/45.22	c formula is SAT
45.15/45.23	c [INC SEARCH] copied best model
45.15/45.23	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
45.15/45.23	c model valid
45.15/45.23	c current solution ok
45.15/45.23	o 116202
45.15/45.23	c [INC SEARCH] iteration: 2
45.15/45.23	c [INC BOUNDS] best value:116202 search for 116201
45.15/45.23	c [INC SYSTEM] there exists a inc, kill it!
45.15/45.23	c write failed with 2
45.15/45.23	c [INC SYSTEM] create new solver instance
45.15/45.23	c [INC] encode full formula
45.15/45.23	c fallback to adder encoding
45.15/45.26	c set iterative enc to: adder
45.15/45.26	c set iterative enc to: none
45.15/45.28	c [INC SEARCH] isOptimum variable: 0
91.62/91.73	c formula is SAT
91.62/91.74	c [INC SEARCH] copied best model
91.62/91.74	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
91.62/91.74	c model valid
91.62/91.74	c current solution ok
91.62/91.74	o 116163
91.62/91.74	c [INC SEARCH] iteration: 3
91.62/91.74	c [INC BOUNDS] best value:116163 search for 116162
91.62/91.74	c [INC SYSTEM] there exists a inc, kill it!
91.62/91.74	c write failed with 2
91.62/91.75	c [INC SYSTEM] create new solver instance
91.62/91.75	c [INC] encode full formula
91.62/91.75	c fallback to adder encoding
91.62/91.77	c set iterative enc to: adder
91.62/91.77	c set iterative enc to: none
91.72/91.80	c [INC SEARCH] isOptimum variable: 0
120.10/120.20	c formula is SAT
120.10/120.21	c [INC SEARCH] copied best model
120.10/120.21	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
120.10/120.21	c model valid
120.10/120.21	c current solution ok
120.10/120.21	o 113200
120.10/120.21	c [INC SEARCH] iteration: 4
120.10/120.21	c [INC BOUNDS] best value:113200 search for 113199
120.10/120.21	c [INC SYSTEM] there exists a inc, kill it!
120.10/120.21	c write failed with 2
120.10/120.22	c [INC SYSTEM] create new solver instance
120.10/120.22	c [INC] encode full formula
120.10/120.22	c fallback to adder encoding
120.10/120.24	c set iterative enc to: adder
120.10/120.24	c set iterative enc to: none
120.10/120.26	c [INC SEARCH] isOptimum variable: 0
129.00/129.10	c formula is SAT
129.00/129.11	c [INC SEARCH] copied best model
129.00/129.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
129.00/129.11	c model valid
129.00/129.11	c current solution ok
129.00/129.11	o 111968
129.00/129.11	c [INC SEARCH] iteration: 5
129.00/129.11	c [INC BOUNDS] best value:111968 search for 111967
129.00/129.11	c [INC SYSTEM] there exists a inc, kill it!
129.00/129.11	c write failed with 2
129.00/129.11	c [INC SYSTEM] create new solver instance
129.00/129.11	c [INC] encode full formula
129.00/129.11	c fallback to adder encoding
129.00/129.14	c set iterative enc to: adder
129.00/129.14	c set iterative enc to: none
129.00/129.16	c [INC SEARCH] isOptimum variable: 0
136.19/136.37	c formula is SAT
136.19/136.38	c [INC SEARCH] copied best model
136.19/136.38	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
136.19/136.38	c model valid
136.19/136.38	c current solution ok
136.19/136.38	o 105796
136.19/136.38	c [INC SEARCH] iteration: 6
136.19/136.38	c [INC BOUNDS] best value:105796 search for 105795
136.19/136.38	c [INC SYSTEM] there exists a inc, kill it!
136.19/136.38	c write failed with 2
136.19/136.38	c [INC SYSTEM] create new solver instance
136.19/136.38	c [INC] encode full formula
136.19/136.38	c fallback to adder encoding
136.30/136.41	c set iterative enc to: adder
136.30/136.41	c set iterative enc to: none
136.30/136.43	c [INC SEARCH] isOptimum variable: 0
143.97/144.14	c formula is SAT
143.97/144.15	c [INC SEARCH] copied best model
143.97/144.15	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
143.97/144.15	c model valid
143.97/144.15	c current solution ok
143.97/144.15	o 104417
143.97/144.15	c [INC SEARCH] iteration: 7
143.97/144.15	c [INC BOUNDS] best value:104417 search for 104416
143.97/144.15	c [INC SYSTEM] there exists a inc, kill it!
143.97/144.15	c write failed with 2
143.97/144.16	c [INC SYSTEM] create new solver instance
143.97/144.16	c [INC] encode full formula
143.97/144.16	c fallback to adder encoding
143.97/144.18	c set iterative enc to: adder
143.97/144.18	c set iterative enc to: none
144.07/144.20	c [INC SEARCH] isOptimum variable: 0
146.07/146.27	c formula is SAT
146.07/146.28	c [INC SEARCH] copied best model
146.07/146.28	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
146.07/146.28	c model valid
146.07/146.28	c current solution ok
146.07/146.28	o 104346
146.07/146.28	c [INC SEARCH] iteration: 8
146.07/146.28	c [INC BOUNDS] best value:104346 search for 104345
146.07/146.28	c [INC SYSTEM] there exists a inc, kill it!
146.07/146.28	c write failed with 2
146.07/146.29	c [INC SYSTEM] create new solver instance
146.07/146.29	c [INC] encode full formula
146.07/146.29	c fallback to adder encoding
146.17/146.32	c set iterative enc to: adder
146.17/146.32	c set iterative enc to: none
146.17/146.34	c [INC SEARCH] isOptimum variable: 0
165.46/165.63	c formula is SAT
165.46/165.64	c [INC SEARCH] copied best model
165.46/165.64	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
165.46/165.64	c model valid
165.46/165.64	c current solution ok
165.46/165.64	o 96299
165.46/165.64	c [INC SEARCH] iteration: 9
165.46/165.64	c [INC BOUNDS] best value:96299 search for 96298
165.46/165.64	c [INC SYSTEM] there exists a inc, kill it!
165.46/165.64	c write failed with 2
165.46/165.64	c [INC SYSTEM] create new solver instance
165.46/165.64	c [INC] encode full formula
165.46/165.64	c fallback to adder encoding
165.46/165.67	c set iterative enc to: adder
165.46/165.67	c set iterative enc to: none
165.46/165.69	c [INC SEARCH] isOptimum variable: 0
183.73/183.94	c formula is SAT
183.73/183.95	c [INC SEARCH] copied best model
183.73/183.95	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
183.73/183.95	c model valid
183.73/183.95	c current solution ok
183.73/183.95	o 95916
183.73/183.95	c [INC SEARCH] iteration: 10
183.73/183.95	c [INC BOUNDS] best value:95916 search for 95915
183.73/183.95	c [INC SYSTEM] there exists a inc, kill it!
183.73/183.95	c write failed with 2
183.73/183.95	c [INC SYSTEM] create new solver instance
183.73/183.95	c [INC] encode full formula
183.73/183.95	c fallback to adder encoding
183.73/183.98	c set iterative enc to: adder
183.73/183.98	c set iterative enc to: none
183.84/184.00	c [INC SEARCH] isOptimum variable: 0
206.02/206.27	c formula is SAT
206.02/206.28	c [INC SEARCH] copied best model
206.02/206.28	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
206.02/206.28	c model valid
206.02/206.28	c current solution ok
206.02/206.28	o 95427
206.02/206.28	c [INC SEARCH] iteration: 11
206.02/206.28	c [INC BOUNDS] best value:95427 search for 95426
206.02/206.28	c [INC SYSTEM] there exists a inc, kill it!
206.02/206.28	c write failed with 2
206.02/206.29	c [INC SYSTEM] create new solver instance
206.02/206.29	c [INC] encode full formula
206.02/206.29	c fallback to adder encoding
206.15/206.31	c set iterative enc to: adder
206.15/206.31	c set iterative enc to: none
206.15/206.33	c [INC SEARCH] isOptimum variable: 0
217.22/217.45	c formula is SAT
217.22/217.46	c [INC SEARCH] copied best model
217.22/217.46	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
217.22/217.46	c model valid
217.22/217.46	c current solution ok
217.22/217.46	o 94303
217.22/217.46	c [INC SEARCH] iteration: 12
217.22/217.46	c [INC BOUNDS] best value:94303 search for 94302
217.22/217.46	c [INC SYSTEM] there exists a inc, kill it!
217.22/217.46	c write failed with 2
217.22/217.47	c [INC SYSTEM] create new solver instance
217.22/217.47	c [INC] encode full formula
217.22/217.47	c fallback to adder encoding
217.22/217.49	c set iterative enc to: adder
217.22/217.49	c set iterative enc to: none
217.34/217.51	c [INC SEARCH] isOptimum variable: 0
228.94/229.11	c formula is SAT
228.94/229.11	c [INC SEARCH] copied best model
228.94/229.11	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
228.94/229.12	c model valid
228.94/229.12	c current solution ok
228.94/229.12	o 94147
228.94/229.12	c [INC SEARCH] iteration: 13
228.94/229.12	c [INC BOUNDS] best value:94147 search for 94146
228.94/229.12	c [INC SYSTEM] there exists a inc, kill it!
228.94/229.12	c write failed with 2
228.94/229.12	c [INC SYSTEM] create new solver instance
228.94/229.12	c [INC] encode full formula
228.94/229.12	c fallback to adder encoding
228.94/229.15	c set iterative enc to: adder
228.94/229.15	c set iterative enc to: none
228.94/229.17	c [INC SEARCH] isOptimum variable: 0
236.62/236.82	c formula is SAT
236.62/236.83	c [INC SEARCH] copied best model
236.62/236.83	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
236.62/236.83	c model valid
236.62/236.83	c current solution ok
236.62/236.83	o 76424
236.62/236.83	c [INC SEARCH] iteration: 14
236.62/236.83	c [INC BOUNDS] best value:76424 search for 76423
236.62/236.83	c [INC SYSTEM] there exists a inc, kill it!
236.62/236.83	c write failed with 2
236.62/236.83	c [INC SYSTEM] create new solver instance
236.62/236.83	c [INC] encode full formula
236.62/236.83	c fallback to adder encoding
236.62/236.86	c set iterative enc to: adder
236.62/236.86	c set iterative enc to: none
236.62/236.88	c [INC SEARCH] isOptimum variable: 0
253.03/253.25	c formula is SAT
253.03/253.26	c [INC SEARCH] copied best model
253.03/253.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
253.03/253.26	c model valid
253.03/253.26	c current solution ok
253.03/253.26	o 75359
253.03/253.26	c [INC SEARCH] iteration: 15
253.03/253.26	c [INC BOUNDS] best value:75359 search for 75358
253.03/253.26	c [INC SYSTEM] there exists a inc, kill it!
253.03/253.26	c write failed with 2
253.03/253.27	c [INC SYSTEM] create new solver instance
253.03/253.27	c [INC] encode full formula
253.03/253.27	c fallback to adder encoding
253.14/253.30	c set iterative enc to: adder
253.14/253.30	c set iterative enc to: none
253.14/253.32	c [INC SEARCH] isOptimum variable: 0
262.84/263.07	c formula is SAT
262.84/263.08	c [INC SEARCH] copied best model
262.84/263.08	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
262.84/263.08	c model valid
262.84/263.08	c current solution ok
262.84/263.08	o 72272
262.84/263.08	c [INC SEARCH] iteration: 16
262.84/263.08	c [INC BOUNDS] best value:72272 search for 72271
262.84/263.08	c [INC SYSTEM] there exists a inc, kill it!
262.84/263.08	c write failed with 2
262.84/263.09	c [INC SYSTEM] create new solver instance
262.84/263.09	c [INC] encode full formula
262.84/263.09	c fallback to adder encoding
262.94/263.11	c set iterative enc to: adder
262.94/263.11	c set iterative enc to: none
262.94/263.13	c [INC SEARCH] isOptimum variable: 0
274.44/274.65	c formula is SAT
274.44/274.65	c [INC SEARCH] copied best model
274.44/274.66	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
274.44/274.66	c model valid
274.44/274.66	c current solution ok
274.44/274.66	o 72112
274.44/274.66	c [INC SEARCH] iteration: 17
274.44/274.66	c [INC BOUNDS] best value:72112 search for 72111
274.44/274.66	c [INC SYSTEM] there exists a inc, kill it!
274.44/274.66	c write failed with 2
274.44/274.66	c [INC SYSTEM] create new solver instance
274.44/274.66	c [INC] encode full formula
274.44/274.66	c fallback to adder encoding
274.44/274.69	c set iterative enc to: adder
274.44/274.69	c set iterative enc to: none
274.54/274.71	c [INC SEARCH] isOptimum variable: 0
298.13/298.40	c formula is SAT
298.23/298.40	c [INC SEARCH] copied best model
298.23/298.40	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
298.23/298.41	c model valid
298.23/298.41	c current solution ok
298.23/298.41	o 67196
298.23/298.41	c [INC SEARCH] iteration: 18
298.23/298.41	c [INC BOUNDS] best value:67196 search for 67195
298.23/298.41	c [INC SYSTEM] there exists a inc, kill it!
298.23/298.41	c write failed with 2
298.23/298.41	c [INC SYSTEM] create new solver instance
298.23/298.41	c [INC] encode full formula
298.23/298.41	c fallback to adder encoding
298.23/298.44	c set iterative enc to: adder
298.23/298.44	c set iterative enc to: none
298.23/298.46	c [INC SEARCH] isOptimum variable: 0
321.83/322.05	c formula is SAT
321.83/322.05	c [INC SEARCH] copied best model
321.83/322.05	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
321.83/322.06	c model valid
321.83/322.06	c current solution ok
321.83/322.06	o 65654
321.83/322.06	c [INC SEARCH] iteration: 19
321.83/322.06	c [INC BOUNDS] best value:65654 search for 65653
321.83/322.06	c [INC SYSTEM] there exists a inc, kill it!
321.83/322.06	c write failed with 2
321.83/322.06	c [INC SYSTEM] create new solver instance
321.83/322.06	c [INC] encode full formula
321.83/322.06	c fallback to adder encoding
321.83/322.09	c set iterative enc to: adder
321.83/322.09	c set iterative enc to: none
321.95/322.11	c [INC SEARCH] isOptimum variable: 0
348.03/348.25	c formula is SAT
348.03/348.26	c [INC SEARCH] copied best model
348.03/348.26	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
348.03/348.27	c model valid
348.03/348.27	c current solution ok
348.03/348.27	o 58511
348.03/348.27	c [INC SEARCH] iteration: 20
348.03/348.27	c [INC BOUNDS] best value:58511 search for 58510
348.03/348.27	c [INC SYSTEM] there exists a inc, kill it!
348.03/348.27	c write failed with 2
348.03/348.27	c [INC SYSTEM] create new solver instance
348.03/348.27	c [INC] encode full formula
348.03/348.27	c fallback to adder encoding
348.03/348.29	c set iterative enc to: adder
348.03/348.29	c set iterative enc to: none
348.14/348.32	c [INC SEARCH] isOptimum variable: 0
438.84/439.04	c formula is SAT
438.84/439.05	c [INC SEARCH] copied best model
438.84/439.05	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
438.84/439.05	c model valid
438.84/439.05	c current solution ok
438.84/439.05	o 58104
438.84/439.05	c [INC SEARCH] iteration: 21
438.84/439.05	c [INC BOUNDS] best value:58104 search for 58103
438.84/439.05	c [INC SYSTEM] there exists a inc, kill it!
438.84/439.05	c write failed with 2
438.84/439.06	c [INC SYSTEM] create new solver instance
438.84/439.06	c [INC] encode full formula
438.84/439.06	c fallback to adder encoding
438.84/439.08	c set iterative enc to: adder
438.84/439.08	c set iterative enc to: none
438.93/439.11	c [INC SEARCH] isOptimum variable: 0
469.24/469.41	c formula is SAT
469.24/469.41	c [INC SEARCH] copied best model
469.24/469.41	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
469.24/469.42	c model valid
469.24/469.42	c current solution ok
469.24/469.42	o 54822
469.24/469.42	c [INC SEARCH] iteration: 22
469.24/469.42	c [INC BOUNDS] best value:54822 search for 54821
469.24/469.42	c [INC SYSTEM] there exists a inc, kill it!
469.24/469.42	c write failed with 2
469.24/469.42	c [INC SYSTEM] create new solver instance
469.24/469.42	c [INC] encode full formula
469.24/469.42	c fallback to adder encoding
469.24/469.44	c set iterative enc to: adder
469.24/469.44	c set iterative enc to: none
469.24/469.47	c [INC SEARCH] isOptimum variable: 0
485.94/486.16	c formula is SAT
485.94/486.17	c [INC SEARCH] copied best model
485.94/486.17	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
485.94/486.17	c model valid
485.94/486.17	c current solution ok
485.94/486.17	o 54498
485.94/486.17	c [INC SEARCH] iteration: 23
485.94/486.17	c [INC BOUNDS] best value:54498 search for 54497
485.94/486.17	c [INC SYSTEM] there exists a inc, kill it!
485.94/486.17	c write failed with 2
485.94/486.17	c [INC SYSTEM] create new solver instance
485.94/486.17	c [INC] encode full formula
485.94/486.17	c fallback to adder encoding
485.94/486.20	c set iterative enc to: adder
485.94/486.20	c set iterative enc to: none
486.04/486.22	c [INC SEARCH] isOptimum variable: 0
501.62/501.86	c formula is SAT
501.62/501.87	c [INC SEARCH] copied best model
501.62/501.87	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
501.62/501.87	c model valid
501.62/501.87	c current solution ok
501.62/501.87	o 53728
501.62/501.87	c [INC SEARCH] iteration: 24
501.62/501.87	c [INC BOUNDS] best value:53728 search for 53727
501.62/501.87	c [INC SYSTEM] there exists a inc, kill it!
501.62/501.87	c write failed with 2
501.62/501.88	c [INC SYSTEM] create new solver instance
501.62/501.88	c [INC] encode full formula
501.62/501.88	c fallback to adder encoding
501.74/501.90	c set iterative enc to: adder
501.74/501.90	c set iterative enc to: none
501.74/501.93	c [INC SEARCH] isOptimum variable: 0
555.61/555.80	c formula is SAT
555.61/555.81	c [INC SEARCH] copied best model
555.61/555.81	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
555.61/555.81	c model valid
555.61/555.81	c current solution ok
555.61/555.81	o 53162
555.61/555.81	c [INC SEARCH] iteration: 25
555.61/555.81	c [INC BOUNDS] best value:53162 search for 53161
555.61/555.81	c [INC SYSTEM] there exists a inc, kill it!
555.61/555.81	c write failed with 2
555.61/555.81	c [INC SYSTEM] create new solver instance
555.61/555.81	c [INC] encode full formula
555.61/555.81	c fallback to adder encoding
555.61/555.84	c set iterative enc to: adder
555.61/555.84	c set iterative enc to: none
555.61/555.86	c [INC SEARCH] isOptimum variable: 0
571.63/571.85	c formula is SAT
571.63/571.86	c [INC SEARCH] copied best model
571.63/571.86	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
571.63/571.86	c model valid
571.63/571.86	c current solution ok
571.63/571.86	o 51999
571.63/571.86	c [INC SEARCH] iteration: 26
571.63/571.86	c [INC BOUNDS] best value:51999 search for 51998
571.63/571.86	c [INC SYSTEM] there exists a inc, kill it!
571.63/571.86	c write failed with 2
571.63/571.87	c [INC SYSTEM] create new solver instance
571.63/571.87	c [INC] encode full formula
571.63/571.87	c fallback to adder encoding
571.63/571.89	c set iterative enc to: adder
571.63/571.89	c set iterative enc to: none
571.73/571.92	c [INC SEARCH] isOptimum variable: 0
710.78/711.06	c formula is SAT
710.78/711.07	c [INC SEARCH] copied best model
710.78/711.07	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
710.78/711.07	c model valid
710.78/711.07	c current solution ok
710.78/711.07	o 50410
710.78/711.07	c [INC SEARCH] iteration: 27
710.78/711.07	c [INC BOUNDS] best value:50410 search for 50409
710.78/711.07	c [INC SYSTEM] there exists a inc, kill it!
710.78/711.07	c write failed with 2
710.78/711.07	c [INC SYSTEM] create new solver instance
710.78/711.07	c [INC] encode full formula
710.78/711.07	c fallback to adder encoding
710.91/711.10	c set iterative enc to: adder
710.91/711.10	c set iterative enc to: none
710.91/711.12	c [INC SEARCH] isOptimum variable: 0
772.99/773.23	c formula is SAT
772.99/773.24	c [INC SEARCH] copied best model
772.99/773.24	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
772.99/773.24	c model valid
772.99/773.24	c current solution ok
772.99/773.24	o 50026
772.99/773.24	c [INC SEARCH] iteration: 28
772.99/773.24	c [INC BOUNDS] best value:50026 search for 50025
772.99/773.24	c [INC SYSTEM] there exists a inc, kill it!
772.99/773.24	c write failed with 2
772.99/773.24	c [INC SYSTEM] create new solver instance
772.99/773.24	c [INC] encode full formula
772.99/773.24	c fallback to adder encoding
772.99/773.27	c set iterative enc to: adder
772.99/773.27	c set iterative enc to: none
772.99/773.29	c [INC SEARCH] isOptimum variable: 0
892.86/893.14	c formula is SAT
892.86/893.15	c [INC SEARCH] copied best model
892.86/893.15	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
892.86/893.15	c model valid
892.86/893.15	c current solution ok
892.86/893.15	o 49949
892.86/893.15	c [INC SEARCH] iteration: 29
892.86/893.15	c [INC BOUNDS] best value:49949 search for 49948
892.86/893.15	c [INC SYSTEM] there exists a inc, kill it!
892.86/893.15	c write failed with 2
892.86/893.15	c [INC SYSTEM] create new solver instance
892.86/893.15	c [INC] encode full formula
892.86/893.15	c fallback to adder encoding
892.86/893.18	c set iterative enc to: adder
892.86/893.18	c set iterative enc to: none
892.98/893.20	c [INC SEARCH] isOptimum variable: 0
897.27/897.58	c formula is SAT
897.27/897.59	c [INC SEARCH] copied best model
897.27/897.59	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
897.27/897.59	c model valid
897.27/897.59	c current solution ok
897.27/897.59	o 46950
897.27/897.59	c [INC SEARCH] iteration: 30
897.27/897.59	c [INC BOUNDS] best value:46950 search for 46949
897.27/897.59	c [INC SYSTEM] there exists a inc, kill it!
897.27/897.59	c write failed with 2
897.27/897.59	c [INC SYSTEM] create new solver instance
897.27/897.59	c [INC] encode full formula
897.27/897.59	c fallback to adder encoding
897.39/897.62	c set iterative enc to: adder
897.39/897.62	c set iterative enc to: none
897.39/897.64	c [INC SEARCH] isOptimum variable: 0
1014.35/1014.62	c formula is SAT
1014.35/1014.63	c [INC SEARCH] copied best model
1014.35/1014.63	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1014.35/1014.63	c model valid
1014.35/1014.63	c current solution ok
1014.35/1014.63	o 46873
1014.35/1014.63	c [INC SEARCH] iteration: 31
1014.35/1014.63	c [INC BOUNDS] best value:46873 search for 46872
1014.35/1014.63	c [INC SYSTEM] there exists a inc, kill it!
1014.35/1014.63	c write failed with 2
1014.35/1014.63	c [INC SYSTEM] create new solver instance
1014.35/1014.63	c [INC] encode full formula
1014.35/1014.63	c fallback to adder encoding
1014.35/1014.66	c set iterative enc to: adder
1014.35/1014.66	c set iterative enc to: none
1014.35/1014.68	c [INC SEARCH] isOptimum variable: 0
1313.56/1313.95	c formula is SAT
1313.56/1313.96	c [INC SEARCH] copied best model
1313.56/1313.96	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1313.56/1313.96	c model valid
1313.56/1313.96	c current solution ok
1313.56/1313.96	o 46344
1313.56/1313.96	c [INC SEARCH] iteration: 32
1313.56/1313.96	c [INC BOUNDS] best value:46344 search for 46343
1313.56/1313.96	c [INC SYSTEM] there exists a inc, kill it!
1313.56/1313.96	c write failed with 2
1313.56/1313.97	c [INC SYSTEM] create new solver instance
1313.56/1313.97	c [INC] encode full formula
1313.56/1313.97	c fallback to adder encoding
1313.56/1313.99	c set iterative enc to: adder
1313.56/1313.99	c set iterative enc to: none
1313.69/1314.01	c [INC SEARCH] isOptimum variable: 0
1319.99/1320.30	c formula is SAT
1319.99/1320.31	c [INC SEARCH] copied best model
1319.99/1320.31	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1319.99/1320.31	c model valid
1319.99/1320.31	c current solution ok
1319.99/1320.31	o 44993
1319.99/1320.31	c [INC SEARCH] iteration: 33
1319.99/1320.31	c [INC BOUNDS] best value:44993 search for 44992
1319.99/1320.31	c [INC SYSTEM] there exists a inc, kill it!
1319.99/1320.31	c write failed with 2
1319.99/1320.31	c [INC SYSTEM] create new solver instance
1319.99/1320.31	c [INC] encode full formula
1319.99/1320.31	c fallback to adder encoding
1319.99/1320.34	c set iterative enc to: adder
1319.99/1320.34	c set iterative enc to: none
1319.99/1320.36	c [INC SEARCH] isOptimum variable: 0
1372.98/1373.36	c formula is SAT
1372.98/1373.37	c [INC SEARCH] copied best model
1372.98/1373.37	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1372.98/1373.37	c model valid
1372.98/1373.37	c current solution ok
1372.98/1373.37	o 44584
1372.98/1373.37	c [INC SEARCH] iteration: 34
1372.98/1373.37	c [INC BOUNDS] best value:44584 search for 44583
1372.98/1373.37	c [INC SYSTEM] there exists a inc, kill it!
1372.98/1373.37	c write failed with 2
1372.98/1373.37	c [INC SYSTEM] create new solver instance
1372.98/1373.37	c [INC] encode full formula
1372.98/1373.37	c fallback to adder encoding
1373.09/1373.40	c set iterative enc to: adder
1373.09/1373.40	c set iterative enc to: none
1373.09/1373.42	c [INC SEARCH] isOptimum variable: 0
1438.76/1439.13	c formula is SAT
1438.76/1439.14	c [INC SEARCH] copied best model
1438.76/1439.14	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1438.76/1439.14	c model valid
1438.76/1439.14	c current solution ok
1438.76/1439.14	o 43675
1438.76/1439.14	c [INC SEARCH] iteration: 35
1438.76/1439.14	c [INC BOUNDS] best value:43675 search for 43674
1438.76/1439.14	c [INC SYSTEM] there exists a inc, kill it!
1438.76/1439.14	c write failed with 2
1438.76/1439.14	c [INC SYSTEM] create new solver instance
1438.76/1439.14	c [INC] encode full formula
1438.76/1439.14	c fallback to adder encoding
1438.76/1439.17	c set iterative enc to: adder
1438.76/1439.17	c set iterative enc to: none
1438.76/1439.19	c [INC SEARCH] isOptimum variable: 0
1715.89/1716.32	c formula is SAT
1715.89/1716.33	c [INC SEARCH] copied best model
1715.89/1716.33	c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1715.89/1716.33	c model valid
1715.89/1716.33	c current solution ok
1715.89/1716.33	o 40427
1715.89/1716.33	c [INC SEARCH] iteration: 36
1715.89/1716.33	c [INC BOUNDS] best value:40427 search for 40426
1715.89/1716.33	c [INC SYSTEM] there exists a inc, kill it!
1715.89/1716.33	c write failed with 2
1715.89/1716.33	c [INC SYSTEM] create new solver instance
1715.89/1716.33	c [INC] encode full formula
1715.89/1716.33	c fallback to adder encoding
1715.89/1716.36	c set iterative enc to: adder
1715.89/1716.36	c set iterative enc to: none
1715.89/1716.38	c [INC SEARCH] isOptimum variable: 0
1800.10/1800.51	HOME/npSolver-pbo-Itd.sh: line 18:  9944 Terminated              ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=1

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-3697507-1338049264/watcher-3697507-1338049264 -o /tmp/evaluation-result-3697507-1338049264/solver-3697507-1338049264 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697507-1338049264.opb 820774500 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: 3.33 3.19 2.44 3/180 9943
/proc/meminfo: memFree=28867056/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0

[startup+0.0921929 s]
/proc/loadavg: 3.33 3.19 2.44 3/180 9943
/proc/meminfo: memFree=28867056/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100364 s]
/proc/loadavg: 3.33 3.19 2.44 3/180 9943
/proc/meminfo: memFree=28867056/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.300298 s]
/proc/loadavg: 3.33 3.19 2.44 3/180 9943
/proc/meminfo: memFree=28867056/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700306 s]
/proc/loadavg: 3.33 3.19 2.44 3/180 9943
/proc/meminfo: memFree=28867056/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50043 s]
/proc/loadavg: 3.23 3.17 2.44 3/184 9947
/proc/meminfo: memFree=28735136/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=38856 CPUtime=0.35 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 10286 0 0 0 31 4 0 0 20 0 1 0 271051168 39788544 7792 33554432000 4194304 5992684 140733475935696 140733475930144 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 9714 7792 165 440 0 9270 0
[pid=9946] ppid=9944 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9946/stat : 9946 (cp2_pre.sh) S 9944 9943 9054 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 271051204 9367552 277 33554432000 4194304 5064252 140734836614672 140734836613376 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/9946/statm: 2287 277 234 213 0 72 0
[pid=9947] ppid=9946 vsize=105980 CPUtime=1.13 cores=1,3,5,7
/proc/9947/stat : 9947 (coprocessor) R 9946 9943 9054 0 -1 4202496 20331 0 0 0 110 3 0 0 20 0 1 0 271051204 108523520 25455 33554432000 4194304 6586260 140737137834144 140737137830296 5511711 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/9947/statm: 26495 25455 190 584 0 25907 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 163132

[startup+3.10027 s]
/proc/loadavg: 3.23 3.17 2.44 3/184 9947
/proc/meminfo: memFree=28697156/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=38860 CPUtime=2.86 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) R 9943 9943 9054 0 -1 4202496 10694 22542 0 0 38 28 213 7 20 0 1 0 271051168 39792640 7802 33554432000 4194304 5992684 140733475935696 140733475929880 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 9715 7802 174 440 0 9271 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 48008

[startup+6.30038 s]
/proc/loadavg: 3.21 3.17 2.44 3/183 9952
/proc/meminfo: memFree=28589164/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=42772 CPUtime=3.43 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 12430 33984 0 0 45 52 233 13 20 0 1 0 271051168 43798528 8753 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 10693 8753 184 440 0 10249 0
[pid=9952] ppid=9944 vsize=56900 CPUtime=2.83 cores=1,3,5,7
/proc/9952/stat : 9952 (glucosInc) R 9944 9943 9054 0 -1 4202496 12022 0 0 0 280 3 0 0 20 0 1 0 271051513 58265600 12508 33554432000 4194304 5654031 140736620473424 140736620471208 4216188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 14225 12508 139 357 0 13865 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 108820

[startup+12.7003 s]
/proc/loadavg: 3.11 3.15 2.44 4/184 9953
/proc/meminfo: memFree=27028416/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=42772 CPUtime=3.43 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 12430 33984 0 0 45 52 233 13 20 0 1 0 271051168 43798528 8753 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 10693 8753 184 440 0 10249 0
[pid=9952] ppid=9944 vsize=58308 CPUtime=9.22 cores=1,3,5,7
/proc/9952/stat : 9952 (glucosInc) R 9944 9943 9054 0 -1 4202496 14138 0 0 0 918 4 0 0 20 0 1 0 271051513 59707392 13029 33554432000 4194304 5654031 140736620473424 140736620461240 4219798 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9952/statm: 14577 13029 141 357 0 14217 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 110228

[startup+25.5004 s]
/proc/loadavg: 3.39 3.21 2.47 2/184 9955
/proc/meminfo: memFree=26453724/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=42772 CPUtime=22.86 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 14466 49549 0 0 50 52 2163 21 20 0 1 0 271051168 43798528 8790 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 10693 8790 184 440 0 10249 0
[pid=9955] ppid=9944 vsize=56832 CPUtime=2.6 cores=1,3,5,7
/proc/9955/stat : 9955 (glucosInc) R 9944 9943 9054 0 -1 4202496 11668 0 0 0 258 2 0 0 20 0 1 0 271053457 58195968 12748 33554432000 4194304 5654031 140737229419472 140737229417256 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9955/statm: 14208 12748 139 357 0 13848 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 108752

[startup+51.1004 s]
/proc/loadavg: 3.15 3.17 2.47 3/183 9996
/proc/meminfo: memFree=28604024/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=42772 CPUtime=45.24 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 16180 64556 0 0 54 53 4390 27 20 0 1 0 271051168 43798528 8790 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 10693 8790 184 440 0 10249 0
[pid=9996] ppid=9944 vsize=59368 CPUtime=5.79 cores=1,3,5,7
/proc/9996/stat : 9996 (glucosInc) R 9944 9943 9054 0 -1 4202496 13111 0 0 0 576 3 0 0 20 0 1 0 271055696 60792832 13274 33554432000 4194304 5654031 140733640484832 140733640472648 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9996/statm: 14842 13274 140 357 0 14482 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 111288

[startup+102.307 s]
/proc/loadavg: 2.50 2.99 2.45 3/182 9998
/proc/meminfo: memFree=27285532/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=91.73 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 18235 80398 0 0 58 54 9027 34 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=9998] ppid=9944 vsize=58624 CPUtime=10.48 cores=1,3,5,7
/proc/9998/stat : 9998 (glucosInc) R 9944 9943 9054 0 -1 4202496 13047 0 0 0 1046 2 0 0 20 0 1 0 271060348 60030976 13125 33554432000 4194304 5654031 140736755117024 140736755104840 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/9998/statm: 14656 13125 141 357 0 14296 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 112012

[startup+162.3 s]
/proc/loadavg: 2.18 2.81 2.42 3/182 10009
/proc/meminfo: memFree=25724764/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=146.22 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 28384 149737 0 0 79 58 14425 60 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10009] ppid=9944 vsize=58372 CPUtime=15.94 cores=1,3,5,7
/proc/10009/stat : 10009 (glucosInc) R 9944 9943 9054 0 -1 4202496 13704 0 0 0 1590 4 0 0 20 0 1 0 271065802 59772928 12906 33554432000 4194304 5654031 140735304415344 140735304403160 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10009/statm: 14593 12906 141 357 0 14233 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 111760

[startup+222.3 s]
/proc/loadavg: 2.06 2.66 2.39 3/182 10017
/proc/meminfo: memFree=24173596/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=217.37 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 36535 210509 0 0 96 61 21495 85 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10017] ppid=9944 vsize=58888 CPUtime=4.77 cores=1,3,5,7
/proc/10017/stat : 10017 (glucosInc) R 9944 9943 9054 0 -1 4202496 12003 0 0 0 475 2 0 0 20 0 1 0 271072919 60301312 13091 33554432000 4194304 5654031 140737408078272 140737408066088 4215913 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10017/statm: 14722 13091 140 357 0 14362 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 112276

[startup+282.3 s]

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

/proc/loadavg: 2.03 2.02 2.09 3/183 10109
/proc/meminfo: memFree=28630952/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1014.43 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 71434 497060 0 0 172 74 100973 224 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10105] ppid=9944 vsize=194336 CPUtime=287.54 cores=1,3,5,7
/proc/10105/stat : 10105 (glucosInc) R 9944 9943 9054 0 -1 4202496 18756 0 0 0 28737 17 0 0 20 0 1 0 271152636 199000064 41100 33554432000 4194304 5654031 140735878306736 140735878294552 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/10105/statm: 48584 41100 142 357 0 48224 0
Current children cumulated CPU time (s) 1301.97
Current children cumulated vsize (KiB) 247724

[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 2.09 3/183 10114
/proc/meminfo: memFree=28630400/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1320.06 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 74851 529450 0 0 180 76 131500 250 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10113] ppid=9944 vsize=106116 CPUtime=41.92 cores=1,3,5,7
/proc/10113/stat : 10113 (glucosInc) R 9944 9943 9054 0 -1 4202496 14894 0 0 0 4187 5 0 0 20 0 1 0 271183204 108662784 23970 33554432000 4194304 5654031 140737463690416 140737463678232 4215898 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10113/statm: 26529 23970 142 357 0 26169 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 159504

[startup+1422.31 s]
/proc/loadavg: 2.08 2.03 2.09 3/183 10116
/proc/meminfo: memFree=28642924/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1373.11 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 76559 545459 0 0 184 76 136793 258 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10116] ppid=9944 vsize=95420 CPUtime=48.86 cores=1,3,5,7
/proc/10116/stat : 10116 (glucosInc) R 9944 9943 9054 0 -1 4202496 15083 0 0 0 4881 5 0 0 20 0 1 0 271188510 97710080 21320 33554432000 4194304 5654031 140733237859424 140733237847240 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10116/statm: 23855 21320 142 357 0 23495 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 148808

[startup+1482.3 s]
/proc/loadavg: 2.03 2.02 2.08 3/183 10118
/proc/meminfo: memFree=28674420/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1438.86 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 78267 561919 0 0 188 77 143355 266 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10118] ppid=9944 vsize=106700 CPUtime=43.07 cores=1,3,5,7
/proc/10118/stat : 10118 (glucosInc) R 9944 9943 9054 0 -1 4202496 15616 0 0 0 4302 5 0 0 20 0 1 0 271195087 109260800 19913 33554432000 4194304 5654031 140733985406288 140733985404168 4215088 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10118/statm: 26675 19913 142 357 0 26315 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 160088

[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.07 3/183 10118
/proc/meminfo: memFree=28654672/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1438.86 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 78267 561919 0 0 188 77 143355 266 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10118] ppid=9944 vsize=106700 CPUtime=103.06 cores=1,3,5,7
/proc/10118/stat : 10118 (glucosInc) R 9944 9943 9054 0 -1 4202496 16254 0 0 0 10300 6 0 0 20 0 1 0 271195087 109260800 25262 33554432000 4194304 5654031 140733985406288 140733985394104 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10118/statm: 26675 25262 142 357 0 26315 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 160088

[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.07 3/183 10118
/proc/meminfo: memFree=28675216/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1438.86 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 78267 561919 0 0 188 77 143355 266 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10118] ppid=9944 vsize=106700 CPUtime=163.06 cores=1,3,5,7
/proc/10118/stat : 10118 (glucosInc) R 9944 9943 9054 0 -1 4202496 17653 0 0 0 16297 9 0 0 20 0 1 0 271195087 109260800 25262 33554432000 4194304 5654031 140733985406288 140733985394104 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10118/statm: 26675 25262 142 357 0 26315 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 160088

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/183 10119
/proc/meminfo: memFree=28624872/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1438.86 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 78267 561919 0 0 188 77 143355 266 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10118] ppid=9944 vsize=186840 CPUtime=223.04 cores=1,3,5,7
/proc/10118/stat : 10118 (glucosInc) R 9944 9943 9054 0 -1 4202496 19640 0 0 0 22292 12 0 0 20 0 1 0 271195087 191324160 42095 33554432000 4194304 5654031 140733985406288 140733985404376 4232935 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10118/statm: 46710 42095 142 357 0 46350 0
Current children cumulated CPU time (s) 1661.9
Current children cumulated vsize (KiB) 240228

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.06 3/183 10121
/proc/meminfo: memFree=28776916/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1716 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 79975 583537 0 0 192 78 171045 285 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10121] ppid=9944 vsize=57504 CPUtime=5.9 cores=1,3,5,7
/proc/10121/stat : 10121 (glucosInc) R 9944 9943 9054 0 -1 4202496 12402 0 0 0 588 2 0 0 20 0 1 0 271222806 58884096 12902 33554432000 4194304 5654031 140737245724640 140737245712456 4234964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10121/statm: 14376 12902 141 357 0 14016 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 110892

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.06 3/184 10124
/proc/meminfo: memFree=28614732/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1716 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 79975 583537 0 0 192 78 171045 285 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10121] ppid=9944 vsize=106740 CPUtime=65.89 cores=1,3,5,7
/proc/10121/stat : 10121 (glucosInc) R 9944 9943 9054 0 -1 4202496 15920 0 0 0 6583 6 0 0 20 0 1 0 271222806 109301760 23218 33554432000 4194304 5654031 140737245724640 140737245712456 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10121/statm: 26685 23218 142 357 0 26325 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 160128



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.5 s]
/proc/loadavg: 2.02 2.01 2.05 3/183 10124
/proc/meminfo: memFree=28667972/32873844 swapFree=7364/7364
[pid=9943] ppid=9941 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9943/stat : 9943 (npSolver-pbo-It) S 9941 9943 9054 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 271051168 9367552 275 33554432000 4194304 5064252 140734436188944 140734436187856 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9943/statm: 2287 275 233 213 0 72 0
[pid=9944] ppid=9943 vsize=44240 CPUtime=1716 cores=1,3,5,7
/proc/9944/stat : 9944 (npSolver-pbo) S 9943 9943 9054 0 -1 4202496 79975 583537 0 0 192 78 171045 285 20 0 1 0 271051168 45301760 9157 33554432000 4194304 5992684 140733475935696 140733475921528 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/9944/statm: 11060 9157 184 440 0 10616 0
[pid=10121] ppid=9944 vsize=114492 CPUtime=84.1 cores=1,3,5,7
/proc/10121/stat : 10121 (glucosInc) R 9944 9943 9054 0 -1 4202496 16323 0 0 0 8404 6 0 0 20 0 1 0 271222806 117239808 27196 33554432000 4194304 5654031 140737245724640 140737245712456 4215307 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/10121/statm: 28623 27196 142 357 0 28263 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 167880

Sending SIGTERM to process tree (bottom up)

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

Child status: 0

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9943 and gives
#  childrusage.ru_utime.tv_sec=1712
#  childrusage.ru_utime.tv_usec=382678
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=638446
# CPU time returned by wait4() is 1716.02
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.51
CPU time (s): 1800.1
CPU user time (s): 1796.41
CPU system time (s): 3.69
CPU usage (%): 99.977
Max. virtual memory (cumulated for all children) (KiB): 248412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1712.38
system time used= 3.63845
maximum resident set size= 178620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 663892
page faults= 0
swaps= 0
block input operations= 0
block output operations= 750272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 11342
involuntary context switches= 4535

runsolver used 3.83342 second user time and 9.17361 second system time

The end

Launcher Data 

Begin job on node133 at 2012-05-26 18:21:04
IDJOB=3697507
IDBENCH=1528
IDSOLVER=2275
FILE ID=node133/3697507-1338049264
RUNJOBID= node133-1338048810-9071
PBS_JOBID= 14624373
Free space on /tmp= 71600 MiB

SOLVER NAME= npSolver inc-topDown
BENCH NAME= PB06//final/normalized-PB06/OPT-MEDINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gt2.opb
COMMAND LINE= DIR/npSolver-pbo-Itd.sh BENCHNAME RANDOMSEED TMPDIR DIR
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3697507-1338049264/watcher-3697507-1338049264 -o /tmp/evaluation-result-3697507-1338049264/solver-3697507-1338049264 -C 1800 -W 1900 -M 15500  HOME/npSolver-pbo-Itd.sh HOME/instance-3697507-1338049264.opb 820774500 HOME HOME

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

MD5SUM BENCH= fbf213ed65afe4e66abc3948eb02a29f
RANDOM SEED=820774500

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.540
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.540
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.540
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.90
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.540
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.540
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:        28867584 kB
Buffers:          286524 kB
Cached:          2769680 kB
SwapCached:            0 kB
Active:           664952 kB
Inactive:        2537380 kB
Active(anon):     148720 kB
Inactive(anon):        0 kB
Active(file):     516232 kB
Inactive(file):  2537380 kB
Unevictable:        7364 kB
Mlocked:            7364 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             26644 kB
Writeback:             0 kB
AnonPages:        161020 kB
Mapped:            15280 kB
Shmem:               212 kB
Slab:             656280 kB
SReclaimable:      97504 kB
SUnreclaim:       558776 kB
KernelStack:        1520 kB
PageTables:         4536 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     391228 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    139264 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= 71576 MiB
End job on node133 at 2012-05-26 18:51:04