0.00/0.03 c old isEQ: 0, new EQ is 1
0.00/0.03 c old isEQ: 32, new EQ is 1
0.00/0.04 c old isEQ: 1, new EQ is 1
0.00/0.05 c run inc solver
0.00/0.05 c [INC SYSTEM] run initial solver
0.00/0.05 c [INC SYSTEM] preprocess with white file
0.00/0.20 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.20 c [INC SYSTEM] execute solver
0.00/0.40 c [INC SEARCH] formula is SAT
0.00/0.40 c [INC SYSTEM] solved the initial formula
0.00/0.41 c model valid
0.00/0.41 c current solution ok
0.00/0.47 o 317825946
0.00/0.47 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.47 c write failed with 2
0.00/0.47 c [INC SEARCH] iteration: 0
0.00/0.47 c [INC BOUNDS] best value:317825961 search for 317825960
0.00/0.47 c [INC SYSTEM] create new solver instance
0.00/0.47 c [INC] encode full formula
0.00/0.47 c fallback to adder encoding
0.00/0.57 c set iterative enc to: adder
0.00/0.57 c set iterative enc to: none
0.00/0.58 c [INC SEARCH] isOptimum variable: 0
0.00/0.74 c formula is SAT
0.00/0.74 c [INC SEARCH] copied best model
0.00/0.74 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
0.00/0.75 c model valid
0.00/0.75 c current solution ok
0.00/0.75 o 222491860
0.00/0.75 c [INC SEARCH] iteration: 1
0.00/0.75 c [INC BOUNDS] best value:222491875 search for 222491874
0.00/0.75 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.75 c write failed with 2
0.00/0.75 c [INC SYSTEM] create new solver instance
0.00/0.75 c [INC] encode full formula
0.00/0.75 c fallback to adder encoding
0.00/0.85 c set iterative enc to: adder
0.00/0.85 c set iterative enc to: none
0.00/0.86 c [INC SEARCH] isOptimum variable: 0
9.06/9.15 c formula is SAT
9.06/9.15 c [INC SEARCH] copied best model
9.06/9.15 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
9.06/9.16 c model valid
9.06/9.16 c current solution ok
9.06/9.16 o 138799698
9.06/9.16 c [INC SEARCH] iteration: 2
9.06/9.16 c [INC BOUNDS] best value:138799713 search for 138799712
9.06/9.16 c [INC SYSTEM] there exists a inc, kill it!
9.06/9.16 c write failed with 2
9.06/9.16 c [INC SYSTEM] create new solver instance
9.06/9.16 c [INC] encode full formula
9.06/9.16 c fallback to adder encoding
9.17/9.25 c set iterative enc to: adder
9.17/9.25 c set iterative enc to: none
9.17/9.27 c [INC SEARCH] isOptimum variable: 0
11.25/11.39 c formula is SAT
11.25/11.39 c [INC SEARCH] copied best model
11.25/11.39 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
11.35/11.40 c model valid
11.35/11.40 c current solution ok
11.35/11.40 o 99776572
11.35/11.40 c [INC SEARCH] iteration: 3
11.35/11.40 c [INC BOUNDS] best value:99776587 search for 99776586
11.35/11.40 c [INC SYSTEM] there exists a inc, kill it!
11.35/11.40 c write failed with 2
11.35/11.40 c [INC SYSTEM] create new solver instance
11.35/11.40 c [INC] encode full formula
11.35/11.40 c fallback to adder encoding
11.35/11.49 c set iterative enc to: adder
11.35/11.49 c set iterative enc to: none
11.47/11.51 c [INC SEARCH] isOptimum variable: 0
12.45/12.57 c formula is SAT
12.45/12.57 c [INC SEARCH] copied best model
12.45/12.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
12.45/12.58 c model valid
12.45/12.58 c current solution ok
12.45/12.58 o 83575506
12.45/12.58 c [INC SEARCH] iteration: 4
12.45/12.58 c [INC BOUNDS] best value:83575521 search for 83575520
12.45/12.58 c [INC SYSTEM] there exists a inc, kill it!
12.45/12.58 c write failed with 2
12.45/12.58 c [INC SYSTEM] create new solver instance
12.45/12.58 c [INC] encode full formula
12.45/12.58 c fallback to adder encoding
12.56/12.67 c set iterative enc to: adder
12.56/12.67 c set iterative enc to: none
12.56/12.69 c [INC SEARCH] isOptimum variable: 0
48.84/48.98 c formula is SAT
48.84/48.98 c [INC SEARCH] copied best model
48.84/48.98 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
48.84/48.99 c model valid
48.84/48.99 c current solution ok
48.84/48.99 o 69835782
48.84/48.99 c [INC SEARCH] iteration: 5
48.84/48.99 c [INC BOUNDS] best value:69835797 search for 69835796
48.84/48.99 c [INC SYSTEM] there exists a inc, kill it!
48.84/48.99 c write failed with 2
48.84/48.99 c [INC SYSTEM] create new solver instance
48.84/48.99 c [INC] encode full formula
48.84/48.99 c fallback to adder encoding
48.96/49.09 c set iterative enc to: adder
48.96/49.09 c set iterative enc to: none
49.05/49.10 c [INC SEARCH] isOptimum variable: 0
51.54/51.62 c formula is SAT
51.54/51.62 c [INC SEARCH] copied best model
51.54/51.62 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
51.54/51.63 c model valid
51.54/51.63 c current solution ok
51.54/51.63 o 67406164
51.54/51.63 c [INC SEARCH] iteration: 6
51.54/51.63 c [INC BOUNDS] best value:67406179 search for 67406178
51.54/51.63 c [INC SYSTEM] there exists a inc, kill it!
51.54/51.63 c write failed with 2
51.54/51.63 c [INC SYSTEM] create new solver instance
51.54/51.63 c [INC] encode full formula
51.54/51.63 c fallback to adder encoding
51.66/51.72 c set iterative enc to: adder
51.66/51.72 c set iterative enc to: none
51.66/51.74 c [INC SEARCH] isOptimum variable: 0
51.69/51.96 c formula is SAT
51.69/51.97 c [INC SEARCH] copied best model
51.69/51.97 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
51.69/51.98 c model valid
51.69/51.98 c current solution ok
51.69/51.98 o 67322340
51.69/51.98 c [INC SEARCH] iteration: 7
51.69/51.98 c [INC BOUNDS] best value:67322355 search for 67322354
51.69/51.98 c [INC SYSTEM] there exists a inc, kill it!
51.69/51.98 c write failed with 2
51.69/51.98 c [INC SYSTEM] create new solver instance
51.69/51.98 c [INC] encode full formula
51.69/51.98 c fallback to adder encoding
51.95/52.07 c set iterative enc to: adder
51.95/52.07 c set iterative enc to: none
51.95/52.08 c [INC SEARCH] isOptimum variable: 0
52.65/52.76 c formula is SAT
52.65/52.77 c [INC SEARCH] copied best model
52.65/52.77 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
52.65/52.78 c model valid
52.65/52.78 c current solution ok
52.65/52.78 o 63088560
52.65/52.78 c [INC SEARCH] iteration: 8
52.65/52.78 c [INC BOUNDS] best value:63088575 search for 63088574
52.65/52.78 c [INC SYSTEM] there exists a inc, kill it!
52.65/52.78 c write failed with 2
52.65/52.78 c [INC SYSTEM] create new solver instance
52.65/52.78 c [INC] encode full formula
52.65/52.78 c fallback to adder encoding
52.75/52.86 c set iterative enc to: adder
52.75/52.86 c set iterative enc to: none
52.75/52.88 c [INC SEARCH] isOptimum variable: 0
52.82/53.08 c formula is SAT
52.82/53.08 c [INC SEARCH] copied best model
52.82/53.08 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
52.82/53.09 c model valid
52.82/53.09 c current solution ok
52.82/53.09 o 57557048
52.82/53.09 c [INC SEARCH] iteration: 9
52.82/53.09 c [INC BOUNDS] best value:57557063 search for 57557062
52.82/53.09 c [INC SYSTEM] there exists a inc, kill it!
52.82/53.09 c write failed with 2
52.84/53.10 c [INC SYSTEM] create new solver instance
52.84/53.10 c [INC] encode full formula
52.84/53.10 c fallback to adder encoding
52.84/53.18 c set iterative enc to: adder
52.84/53.18 c set iterative enc to: none
53.15/53.20 c [INC SEARCH] isOptimum variable: 0
59.43/59.52 c formula is SAT
59.43/59.53 c [INC SEARCH] copied best model
59.43/59.53 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
59.43/59.54 c model valid
59.43/59.54 c current solution ok
59.43/59.54 o 15392212
59.43/59.54 c [INC SEARCH] iteration: 10
59.43/59.54 c [INC BOUNDS] best value:15392227 search for 15392226
59.43/59.54 c [INC SYSTEM] there exists a inc, kill it!
59.43/59.54 c write failed with 2
59.43/59.54 c [INC SYSTEM] create new solver instance
59.43/59.54 c [INC] encode full formula
59.43/59.54 c fallback to adder encoding
59.53/59.62 c set iterative enc to: adder
59.53/59.62 c set iterative enc to: none
59.53/59.63 c [INC SEARCH] isOptimum variable: 0
59.59/59.92 c formula is SAT
59.59/59.92 c [INC SEARCH] copied best model
59.59/59.92 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
59.59/59.94 c model valid
59.59/59.94 c current solution ok
59.59/59.94 o 10476558
59.59/59.94 c [INC SEARCH] iteration: 11
59.59/59.94 c [INC BOUNDS] best value:10476573 search for 10476572
59.59/59.94 c [INC SYSTEM] there exists a inc, kill it!
59.59/59.94 c write failed with 2
59.59/59.94 c [INC SYSTEM] create new solver instance
59.59/59.94 c [INC] encode full formula
59.59/59.94 c fallback to adder encoding
59.95/60.01 c set iterative enc to: adder
59.95/60.01 c set iterative enc to: none
59.95/60.02 c [INC SEARCH] isOptimum variable: 0
60.32/60.47 c formula is SAT
60.32/60.47 c [INC SEARCH] copied best model
60.32/60.47 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
60.32/60.48 c model valid
60.32/60.48 c current solution ok
60.32/60.48 o 10172310
60.32/60.48 c [INC SEARCH] iteration: 12
60.32/60.48 c [INC BOUNDS] best value:10172325 search for 10172324
60.32/60.48 c [INC SYSTEM] there exists a inc, kill it!
60.32/60.48 c write failed with 2
60.32/60.48 c [INC SYSTEM] create new solver instance
60.32/60.48 c [INC] encode full formula
60.32/60.48 c fallback to adder encoding
60.44/60.55 c set iterative enc to: adder
60.44/60.55 c set iterative enc to: none
60.44/60.57 c [INC SEARCH] isOptimum variable: 0
63.12/63.27 c formula is SAT
63.12/63.27 c [INC SEARCH] copied best model
63.12/63.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
63.12/63.28 c model valid
63.12/63.28 c current solution ok
63.12/63.28 o 8498846
63.12/63.28 c [INC SEARCH] iteration: 13
63.12/63.28 c [INC BOUNDS] best value:8498861 search for 8498860
63.12/63.28 c [INC SYSTEM] there exists a inc, kill it!
63.12/63.28 c write failed with 2
63.12/63.28 c [INC SYSTEM] create new solver instance
63.12/63.28 c [INC] encode full formula
63.12/63.28 c fallback to adder encoding
63.24/63.35 c set iterative enc to: adder
63.24/63.35 c set iterative enc to: none
63.24/63.36 c [INC SEARCH] isOptimum variable: 0
70.71/70.86 c formula is SAT
70.71/70.86 c [INC SEARCH] copied best model
70.71/70.86 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
70.71/70.87 c model valid
70.71/70.87 c current solution ok
70.71/70.87 o 8427590
70.71/70.87 c [INC SEARCH] iteration: 14
70.71/70.87 c [INC BOUNDS] best value:8427605 search for 8427604
70.71/70.87 c [INC SYSTEM] there exists a inc, kill it!
70.71/70.87 c write failed with 2
70.71/70.87 c [INC SYSTEM] create new solver instance
70.71/70.87 c [INC] encode full formula
70.71/70.87 c fallback to adder encoding
70.83/70.94 c set iterative enc to: adder
70.83/70.94 c set iterative enc to: none
70.83/70.96 c [INC SEARCH] isOptimum variable: 0
73.91/74.01 c formula is SAT
73.91/74.01 c [INC SEARCH] copied best model
73.91/74.01 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
73.91/74.02 c model valid
73.91/74.02 c current solution ok
73.91/74.02 o 8404510
73.91/74.02 c [INC SEARCH] iteration: 15
73.91/74.02 c [INC BOUNDS] best value:8404525 search for 8404524
73.91/74.02 c [INC SYSTEM] there exists a inc, kill it!
73.91/74.02 c write failed with 2
73.91/74.02 c [INC SYSTEM] create new solver instance
73.91/74.02 c [INC] encode full formula
73.91/74.02 c fallback to adder encoding
73.91/74.09 c set iterative enc to: adder
73.91/74.09 c set iterative enc to: none
74.03/74.10 c [INC SEARCH] isOptimum variable: 0
77.11/77.22 c formula is SAT
77.11/77.23 c [INC SEARCH] copied best model
77.11/77.23 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
77.11/77.24 c model valid
77.11/77.24 c current solution ok
77.11/77.24 o 7810292
77.11/77.24 c [INC SEARCH] iteration: 16
77.11/77.24 c [INC BOUNDS] best value:7810307 search for 7810306
77.11/77.24 c [INC SYSTEM] there exists a inc, kill it!
77.11/77.24 c write failed with 2
77.11/77.24 c [INC SYSTEM] create new solver instance
77.11/77.24 c [INC] encode full formula
77.11/77.24 c fallback to adder encoding
77.23/77.31 c set iterative enc to: adder
77.23/77.31 c set iterative enc to: none
77.23/77.32 c [INC SEARCH] isOptimum variable: 0
81.10/81.29 c formula is SAT
81.10/81.29 c [INC SEARCH] copied best model
81.10/81.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
81.10/81.30 c model valid
81.10/81.30 c current solution ok
81.10/81.30 o 7492786
81.10/81.30 c [INC SEARCH] iteration: 17
81.10/81.30 c [INC BOUNDS] best value:7492801 search for 7492800
81.10/81.30 c [INC SYSTEM] there exists a inc, kill it!
81.10/81.30 c write failed with 2
81.23/81.30 c [INC SYSTEM] create new solver instance
81.23/81.30 c [INC] encode full formula
81.23/81.30 c fallback to adder encoding
81.23/81.37 c set iterative enc to: adder
81.23/81.37 c set iterative enc to: none
81.23/81.38 c [INC SEARCH] isOptimum variable: 0
84.51/84.62 c formula is SAT
84.51/84.62 c [INC SEARCH] copied best model
84.51/84.62 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
84.51/84.64 c model valid
84.51/84.64 c current solution ok
84.51/84.64 o 7274028
84.51/84.64 c [INC SEARCH] iteration: 18
84.51/84.64 c [INC BOUNDS] best value:7274043 search for 7274042
84.51/84.64 c [INC SYSTEM] there exists a inc, kill it!
84.51/84.64 c write failed with 2
84.51/84.64 c [INC SYSTEM] create new solver instance
84.51/84.64 c [INC] encode full formula
84.51/84.64 c fallback to adder encoding
84.51/84.70 c set iterative enc to: adder
84.51/84.70 c set iterative enc to: none
84.62/84.71 c [INC SEARCH] isOptimum variable: 0
90.90/91.05 c formula is SAT
90.90/91.05 c [INC SEARCH] copied best model
90.90/91.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
90.90/91.06 c model valid
90.90/91.06 c current solution ok
90.90/91.06 o 7191196
90.90/91.06 c [INC SEARCH] iteration: 19
90.90/91.06 c [INC BOUNDS] best value:7191211 search for 7191210
90.90/91.06 c [INC SYSTEM] there exists a inc, kill it!
90.90/91.06 c write failed with 2
90.90/91.06 c [INC SYSTEM] create new solver instance
90.90/91.06 c [INC] encode full formula
90.90/91.06 c fallback to adder encoding
91.01/91.12 c set iterative enc to: adder
91.01/91.12 c set iterative enc to: none
91.01/91.14 c [INC SEARCH] isOptimum variable: 0
109.39/109.57 c formula is SAT
109.39/109.58 c [INC SEARCH] copied best model
109.39/109.58 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
109.39/109.59 c model valid
109.39/109.59 c current solution ok
109.39/109.59 o 6989276
109.39/109.59 c [INC SEARCH] iteration: 20
109.39/109.59 c [INC BOUNDS] best value:6989291 search for 6989290
109.39/109.59 c [INC SYSTEM] there exists a inc, kill it!
109.39/109.59 c write failed with 2
109.39/109.59 c [INC SYSTEM] create new solver instance
109.39/109.59 c [INC] encode full formula
109.39/109.59 c fallback to adder encoding
109.50/109.65 c set iterative enc to: adder
109.50/109.65 c set iterative enc to: none
109.50/109.66 c [INC SEARCH] isOptimum variable: 0
112.49/112.68 c formula is SAT
112.49/112.68 c [INC SEARCH] copied best model
112.49/112.68 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
112.59/112.70 c model valid
112.59/112.70 c current solution ok
112.59/112.70 o 6514908
112.59/112.70 c [INC SEARCH] iteration: 21
112.59/112.70 c [INC BOUNDS] best value:6514923 search for 6514922
112.59/112.70 c [INC SYSTEM] there exists a inc, kill it!
112.59/112.70 c write failed with 2
112.59/112.70 c [INC SYSTEM] create new solver instance
112.59/112.70 c [INC] encode full formula
112.59/112.70 c fallback to adder encoding
112.59/112.76 c set iterative enc to: adder
112.59/112.76 c set iterative enc to: none
112.59/112.77 c [INC SEARCH] isOptimum variable: 0
163.97/164.12 c formula is SAT
163.97/164.12 c [INC SEARCH] copied best model
163.97/164.12 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
163.97/164.13 c model valid
163.97/164.13 c current solution ok
163.97/164.13 o 6482740
163.97/164.13 c [INC SEARCH] iteration: 22
163.97/164.13 c [INC BOUNDS] best value:6482755 search for 6482754
163.97/164.13 c [INC SYSTEM] there exists a inc, kill it!
163.97/164.13 c write failed with 2
163.97/164.13 c [INC SYSTEM] create new solver instance
163.97/164.13 c [INC] encode full formula
163.97/164.13 c fallback to adder encoding
164.08/164.20 c set iterative enc to: adder
164.08/164.20 c set iterative enc to: none
164.08/164.21 c [INC SEARCH] isOptimum variable: 0
169.56/169.71 c formula is SAT
169.56/169.71 c [INC SEARCH] copied best model
169.56/169.71 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
169.56/169.72 c model valid
169.56/169.72 c current solution ok
169.56/169.72 o 6368996
169.56/169.72 c [INC SEARCH] iteration: 23
169.56/169.72 c [INC BOUNDS] best value:6369011 search for 6369010
169.56/169.72 c [INC SYSTEM] there exists a inc, kill it!
169.56/169.72 c write failed with 2
169.56/169.72 c [INC SYSTEM] create new solver instance
169.56/169.72 c [INC] encode full formula
169.56/169.72 c fallback to adder encoding
169.56/169.79 c set iterative enc to: adder
169.56/169.79 c set iterative enc to: none
169.67/169.80 c [INC SEARCH] isOptimum variable: 0
170.37/170.57 c formula is SAT
170.37/170.58 c [INC SEARCH] copied best model
170.37/170.58 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
170.37/170.59 c model valid
170.37/170.59 c current solution ok
170.37/170.59 o 6367598
170.37/170.59 c [INC SEARCH] iteration: 24
170.37/170.59 c [INC BOUNDS] best value:6367613 search for 6367612
170.37/170.59 c [INC SYSTEM] there exists a inc, kill it!
170.37/170.59 c write failed with 2
170.37/170.59 c [INC SYSTEM] create new solver instance
170.37/170.59 c [INC] encode full formula
170.37/170.59 c fallback to adder encoding
170.48/170.65 c set iterative enc to: adder
170.48/170.65 c set iterative enc to: none
170.48/170.66 c [INC SEARCH] isOptimum variable: 0
180.77/180.99 c formula is SAT
180.77/180.99 c [INC SEARCH] copied best model
180.77/180.99 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
180.87/181.00 c model valid
180.87/181.00 c current solution ok
180.87/181.00 o 6363824
180.87/181.00 c [INC SEARCH] iteration: 25
180.87/181.00 c [INC BOUNDS] best value:6363839 search for 6363838
180.87/181.00 c [INC SYSTEM] there exists a inc, kill it!
180.87/181.00 c write failed with 2
180.87/181.00 c [INC SYSTEM] create new solver instance
180.87/181.00 c [INC] encode full formula
180.87/181.00 c fallback to adder encoding
180.87/181.06 c set iterative enc to: adder
180.87/181.06 c set iterative enc to: none
180.87/181.07 c [INC SEARCH] isOptimum variable: 0
222.86/223.06 c formula is SAT
222.86/223.06 c [INC SEARCH] copied best model
222.86/223.06 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
222.86/223.07 c model valid
222.86/223.07 c current solution ok
222.86/223.07 o 6310794
222.86/223.07 c [INC SEARCH] iteration: 26
222.86/223.07 c [INC BOUNDS] best value:6310809 search for 6310808
222.86/223.07 c [INC SYSTEM] there exists a inc, kill it!
222.86/223.07 c write failed with 2
222.86/223.08 c [INC SYSTEM] create new solver instance
222.86/223.08 c [INC] encode full formula
222.86/223.08 c fallback to adder encoding
222.96/223.14 c set iterative enc to: adder
222.96/223.14 c set iterative enc to: none
222.96/223.15 c [INC SEARCH] isOptimum variable: 0
232.45/232.67 c formula is SAT
232.45/232.67 c [INC SEARCH] copied best model
232.45/232.67 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
232.45/232.68 c model valid
232.45/232.68 c current solution ok
232.45/232.68 o 6305180
232.45/232.68 c [INC SEARCH] iteration: 27
232.45/232.68 c [INC BOUNDS] best value:6305195 search for 6305194
232.45/232.68 c [INC SYSTEM] there exists a inc, kill it!
232.45/232.68 c write failed with 2
232.45/232.69 c [INC SYSTEM] create new solver instance
232.45/232.69 c [INC] encode full formula
232.45/232.69 c fallback to adder encoding
232.56/232.75 c set iterative enc to: adder
232.56/232.75 c set iterative enc to: none
232.56/232.76 c [INC SEARCH] isOptimum variable: 0
244.45/244.61 c formula is SAT
244.45/244.61 c [INC SEARCH] copied best model
244.45/244.61 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
244.45/244.62 c model valid
244.45/244.62 c current solution ok
244.45/244.62 o 6304188
244.45/244.62 c [INC SEARCH] iteration: 28
244.45/244.62 c [INC BOUNDS] best value:6304203 search for 6304202
244.45/244.62 c [INC SYSTEM] there exists a inc, kill it!
244.45/244.62 c write failed with 2
244.45/244.63 c [INC SYSTEM] create new solver instance
244.45/244.63 c [INC] encode full formula
244.45/244.63 c fallback to adder encoding
244.45/244.69 c set iterative enc to: adder
244.45/244.69 c set iterative enc to: none
244.57/244.70 c [INC SEARCH] isOptimum variable: 0
257.05/257.29 c formula is SAT
257.05/257.29 c [INC SEARCH] copied best model
257.05/257.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
257.15/257.31 c model valid
257.15/257.31 c current solution ok
257.15/257.31 o 6253636
257.15/257.31 c [INC SEARCH] iteration: 29
257.15/257.31 c [INC BOUNDS] best value:6253651 search for 6253650
257.15/257.31 c [INC SYSTEM] there exists a inc, kill it!
257.15/257.31 c write failed with 2
257.15/257.31 c [INC SYSTEM] create new solver instance
257.15/257.31 c [INC] encode full formula
257.15/257.31 c fallback to adder encoding
257.15/257.37 c set iterative enc to: adder
257.15/257.37 c set iterative enc to: none
257.15/257.38 c [INC SEARCH] isOptimum variable: 0
360.41/360.69 c formula is SAT
360.41/360.69 c [INC SEARCH] copied best model
360.41/360.69 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
360.52/360.71 c model valid
360.52/360.71 c current solution ok
360.52/360.71 o 6240402
360.52/360.71 c [INC SEARCH] iteration: 30
360.52/360.71 c [INC BOUNDS] best value:6240417 search for 6240416
360.52/360.71 c [INC SYSTEM] there exists a inc, kill it!
360.52/360.71 c write failed with 2
360.52/360.71 c [INC SYSTEM] create new solver instance
360.52/360.71 c [INC] encode full formula
360.52/360.71 c fallback to adder encoding
360.52/360.78 c set iterative enc to: adder
360.52/360.78 c set iterative enc to: none
360.52/360.79 c [INC SEARCH] isOptimum variable: 0
375.61/375.88 c formula is SAT
375.61/375.89 c [INC SEARCH] copied best model
375.61/375.89 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
375.72/375.90 c model valid
375.72/375.90 c current solution ok
375.72/375.90 o 6205528
375.72/375.90 c [INC SEARCH] iteration: 31
375.72/375.90 c [INC BOUNDS] best value:6205543 search for 6205542
375.72/375.90 c [INC SYSTEM] there exists a inc, kill it!
375.72/375.90 c write failed with 2
375.72/375.90 c [INC SYSTEM] create new solver instance
375.72/375.90 c [INC] encode full formula
375.72/375.90 c fallback to adder encoding
375.72/375.96 c set iterative enc to: adder
375.72/375.96 c set iterative enc to: none
375.72/375.97 c [INC SEARCH] isOptimum variable: 0
399.50/399.77 c formula is SAT
399.50/399.77 c [INC SEARCH] copied best model
399.50/399.77 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
399.50/399.79 c model valid
399.50/399.79 c current solution ok
399.50/399.79 o 6194922
399.50/399.79 c [INC SEARCH] iteration: 32
399.50/399.79 c [INC BOUNDS] best value:6194937 search for 6194936
399.50/399.79 c [INC SYSTEM] there exists a inc, kill it!
399.50/399.79 c write failed with 2
399.50/399.79 c [INC SYSTEM] create new solver instance
399.50/399.79 c [INC] encode full formula
399.50/399.79 c fallback to adder encoding
399.61/399.85 c set iterative enc to: adder
399.61/399.85 c set iterative enc to: none
399.61/399.86 c [INC SEARCH] isOptimum variable: 0
444.59/444.83 c formula is SAT
444.59/444.83 c [INC SEARCH] copied best model
444.59/444.83 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
444.59/444.84 c model valid
444.59/444.84 c current solution ok
444.59/444.84 o 6183630
444.59/444.84 c [INC SEARCH] iteration: 33
444.59/444.84 c [INC BOUNDS] best value:6183645 search for 6183644
444.59/444.84 c [INC SYSTEM] there exists a inc, kill it!
444.59/444.84 c write failed with 2
444.59/444.85 c [INC SYSTEM] create new solver instance
444.59/444.85 c [INC] encode full formula
444.59/444.85 c fallback to adder encoding
444.71/444.91 c set iterative enc to: adder
444.71/444.91 c set iterative enc to: none
444.71/444.92 c [INC SEARCH] isOptimum variable: 0
481.38/481.67 c formula is SAT
481.38/481.68 c [INC SEARCH] copied best model
481.38/481.68 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
481.38/481.69 c model valid
481.38/481.69 c current solution ok
481.38/481.69 o 6049194
481.38/481.69 c [INC SEARCH] iteration: 34
481.38/481.69 c [INC BOUNDS] best value:6049209 search for 6049208
481.38/481.69 c [INC SYSTEM] there exists a inc, kill it!
481.38/481.69 c write failed with 2
481.38/481.69 c [INC SYSTEM] create new solver instance
481.38/481.69 c [INC] encode full formula
481.38/481.69 c fallback to adder encoding
481.49/481.75 c set iterative enc to: adder
481.49/481.75 c set iterative enc to: none
481.49/481.76 c [INC SEARCH] isOptimum variable: 0
563.45/563.77 c formula is SAT
563.45/563.77 c [INC SEARCH] copied best model
563.45/563.77 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
563.45/563.78 c model valid
563.45/563.78 c current solution ok
563.45/563.78 o 6042944
563.45/563.78 c [INC SEARCH] iteration: 35
563.45/563.78 c [INC BOUNDS] best value:6042959 search for 6042958
563.45/563.78 c [INC SYSTEM] there exists a inc, kill it!
563.45/563.78 c write failed with 2
563.45/563.78 c [INC SYSTEM] create new solver instance
563.45/563.78 c [INC] encode full formula
563.45/563.78 c fallback to adder encoding
563.57/563.84 c set iterative enc to: adder
563.57/563.84 c set iterative enc to: none
563.57/563.86 c [INC SEARCH] isOptimum variable: 0
674.05/674.37 c formula is SAT
674.05/674.38 c [INC SEARCH] copied best model
674.05/674.38 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
674.05/674.39 c model valid
674.05/674.39 c current solution ok
674.05/674.39 o 6009290
674.05/674.39 c [INC SEARCH] iteration: 36
674.05/674.39 c [INC BOUNDS] best value:6009305 search for 6009304
674.05/674.39 c [INC SYSTEM] there exists a inc, kill it!
674.05/674.39 c write failed with 2
674.05/674.39 c [INC SYSTEM] create new solver instance
674.05/674.39 c [INC] encode full formula
674.05/674.39 c fallback to adder encoding
674.15/674.45 c set iterative enc to: adder
674.15/674.45 c set iterative enc to: none
674.15/674.46 c [INC SEARCH] isOptimum variable: 0
1047.07/1047.44 c formula is SAT
1047.07/1047.44 c [INC SEARCH] copied best model
1047.07/1047.44 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1047.07/1047.45 c model valid
1047.07/1047.45 c current solution ok
1047.07/1047.45 o 5989486
1047.07/1047.45 c [INC SEARCH] iteration: 37
1047.07/1047.45 c [INC BOUNDS] best value:5989501 search for 5989500
1047.07/1047.45 c [INC SYSTEM] there exists a inc, kill it!
1047.07/1047.45 c write failed with 2
1047.07/1047.45 c [INC SYSTEM] create new solver instance
1047.07/1047.45 c [INC] encode full formula
1047.07/1047.45 c fallback to adder encoding
1047.19/1047.51 c set iterative enc to: adder
1047.19/1047.51 c set iterative enc to: none
1047.19/1047.53 c [INC SEARCH] isOptimum variable: 0
1407.30/1407.79 c formula is SAT
1407.41/1407.80 c [INC SEARCH] copied best model
1407.41/1407.80 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1407.41/1407.81 c model valid
1407.41/1407.81 c current solution ok
1407.41/1407.81 o 5920016
1407.41/1407.81 c [INC SEARCH] iteration: 38
1407.41/1407.81 c [INC BOUNDS] best value:5920031 search for 5920030
1407.41/1407.81 c [INC SYSTEM] there exists a inc, kill it!
1407.41/1407.81 c write failed with 2
1407.41/1407.81 c [INC SYSTEM] create new solver instance
1407.41/1407.81 c [INC] encode full formula
1407.41/1407.81 c fallback to adder encoding
1407.41/1407.87 c set iterative enc to: adder
1407.41/1407.87 c set iterative enc to: none
1407.41/1407.89 c [INC SEARCH] isOptimum variable: 0
1542.78/1543.29 c formula is SAT
1542.78/1543.29 c [INC SEARCH] copied best model
1542.78/1543.29 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1542.88/1543.31 c model valid
1542.88/1543.31 c current solution ok
1542.88/1543.31 o 5900212
1542.88/1543.31 c [INC SEARCH] iteration: 39
1542.88/1543.31 c [INC BOUNDS] best value:5900227 search for 5900226
1542.88/1543.31 c [INC SYSTEM] there exists a inc, kill it!
1542.88/1543.31 c write failed with 2
1542.88/1543.31 c [INC SYSTEM] create new solver instance
1542.88/1543.31 c [INC] encode full formula
1542.88/1543.31 c fallback to adder encoding
1542.88/1543.37 c set iterative enc to: adder
1542.88/1543.37 c set iterative enc to: none
1542.88/1543.39 c [INC SEARCH] isOptimum variable: 0
1800.04/1800.50 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.04/1800.50 s UNKNOWN
1800.04/1800.50 c [INC SYSTEM] there exists a inc, kill it!
1800.04/1800.50 c write failed with -1
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-3746915-1339110320/watcher-3746915-1339110320 -o /tmp/evaluation-result-3746915-1339110320/solver-3746915-1339110320 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746915-1339110320.opb 1486413450 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.93 1.99 1.99 3/178 24175
/proc/meminfo: memFree=25189404/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[startup+0.092245 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 24175
/proc/meminfo: memFree=25189404/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.10033 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 24175
/proc/meminfo: memFree=25189404/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300187 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 24175
/proc/meminfo: memFree=25189404/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700151 s]
/proc/loadavg: 1.93 1.99 1.99 3/178 24175
/proc/meminfo: memFree=25189404/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.93 1.99 1.99 3/181 24186
/proc/meminfo: memFree=25140240/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=0.84 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 9768 13904 0 0 27 6 46 5 20 0 1 0 377160599 23461888 4802 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24176/statm: 5728 4802 183 442 0 5282 0
[pid=24186] ppid=24176 vsize=28056 CPUtime=0.62 cores=0,2,4,6
/proc/24186/stat : 24186 (glucosInc) R 24176 24175 22913 0 -1 4202496 6406 0 0 0 61 1 0 0 20 0 1 0 377160686 28729344 5540 33554432000 4194304 5654031 140737100252624 140737100250408 4233232 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24186/statm: 7014 5540 132 357 0 6654 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 60116
[startup+3.10029 s]
/proc/loadavg: 1.93 1.99 1.99 3/181 24186
/proc/meminfo: memFree=25139132/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=0.84 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 9768 13904 0 0 27 6 46 5 20 0 1 0 377160599 23461888 4802 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24176/statm: 5728 4802 183 442 0 5282 0
[pid=24186] ppid=24176 vsize=28188 CPUtime=2.22 cores=0,2,4,6
/proc/24186/stat : 24186 (glucosInc) R 24176 24175 22913 0 -1 4202496 6778 0 0 0 221 1 0 0 20 0 1 0 377160686 28864512 5907 33554432000 4194304 5654031 140737100252624 140737100250408 4216213 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24186/statm: 7047 5907 132 357 0 6687 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 60248
[startup+6.30032 s]
/proc/loadavg: 1.93 1.99 1.99 3/181 24186
/proc/meminfo: memFree=25133048/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=0.84 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 9768 13904 0 0 27 6 46 5 20 0 1 0 377160599 23461888 4802 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24176/statm: 5728 4802 183 442 0 5282 0
[pid=24186] ppid=24176 vsize=28876 CPUtime=5.42 cores=0,2,4,6
/proc/24186/stat : 24186 (glucosInc) R 24176 24175 22913 0 -1 4202496 7618 0 0 0 541 1 0 0 20 0 1 0 377160686 29569024 6407 33554432000 4194304 5654031 140737100252624 140737100240440 4216557 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24186/statm: 7219 6407 141 357 0 6859 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 60936
[startup+12.7002 s]
/proc/loadavg: 1.94 1.99 1.99 3/181 24190
/proc/meminfo: memFree=25136784/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=12.66 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 18737 35678 0 0 59 9 1187 11 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 32060
[startup+25.5004 s]
/proc/loadavg: 1.95 1.99 1.99 3/181 24192
/proc/meminfo: memFree=25113012/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=12.66 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 18737 35678 0 0 59 9 1187 11 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24192] ppid=24176 vsize=45504 CPUtime=12.79 cores=0,2,4,6
/proc/24192/stat : 24192 (glucosInc) R 24176 24175 22913 0 -1 4202496 7562 0 0 0 1278 1 0 0 20 0 1 0 377161868 46596096 10544 33554432000 4194304 5654031 140735818148688 140735818146488 4232782 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24192/statm: 11376 10544 141 357 0 11016 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 77564
[startup+51.1003 s]
/proc/loadavg: 1.97 1.99 1.99 3/181 24194
/proc/meminfo: memFree=25140340/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=49.06 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 21722 44934 0 0 70 10 4813 13 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24194] ppid=24176 vsize=26824 CPUtime=1.98 cores=0,2,4,6
/proc/24194/stat : 24194 (glucosInc) R 24176 24175 22913 0 -1 4202496 6575 0 0 0 197 1 0 0 20 0 1 0 377165510 27467776 5759 33554432000 4194304 5654031 140736273738064 140736273725880 4232651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24194/statm: 6706 5759 141 357 0 6346 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 58884
[startup+102.307 s]
/proc/loadavg: 1.98 1.99 1.99 3/181 24222
/proc/meminfo: memFree=25117232/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=91.05 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 59117 132213 0 0 193 23 8849 40 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24222] ppid=24176 vsize=33736 CPUtime=11.15 cores=0,2,4,6
/proc/24222/stat : 24222 (glucosInc) R 24176 24175 22913 0 -1 4202496 6510 0 0 0 1114 1 0 0 20 0 1 0 377169713 34545664 7547 33554432000 4194304 5654031 140734677168144 140734677155960 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24222/statm: 8434 7547 141 357 0 8074 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 65796
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 24226
/proc/meminfo: memFree=25143008/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=112.68 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 62998 144668 0 0 208 25 10991 44 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24226] ppid=24176 vsize=33500 CPUtime=49.49 cores=0,2,4,6
/proc/24226/stat : 24226 (glucosInc) R 24176 24175 22913 0 -1 4202496 6323 0 0 0 4948 1 0 0 20 0 1 0 377171877 34304000 7482 33554432000 4194304 5654031 140735535705776 140735535693592 4215653 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24226/statm: 8375 7482 141 357 0 8015 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 65560
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/181 24235
/proc/meminfo: memFree=25133036/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=180.96 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 70750 168782 0 0 238 28 17778 52 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24235] ppid=24176 vsize=33520 CPUtime=41.2 cores=0,2,4,6
/proc/24235/stat : 24235 (glucosInc) R 24176 24175 22913 0 -1 4202496 6965 0 0 0 4118 2 0 0 20 0 1 0 377178707 34324480 7500 33554432000 4194304 5654031 140735596251744 140735596239560 4218799 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24235/statm: 8380 7500 141 357 0 8020 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 65580
[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.99 3/182 24246
/proc/meminfo: memFree=25130212/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=25305912/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1047.21 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 93912 258405 0 0 329 38 104270 84 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24267] ppid=24176 vsize=63696 CPUtime=254.72 cores=0,2,4,6
/proc/24267/stat : 24267 (glucosInc) R 24176 24175 22913 0 -1 4202496 8730 0 0 0 25469 3 0 0 20 0 1 0 377265352 65224704 11954 33554432000 4194304 5654031 140735659212192 140735659200008 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24267/statm: 15924 11954 141 357 0 15564 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 95756
[startup+1362.3 s]
/proc/loadavg: 1.02 1.46 1.77 2/173 24293
/proc/meminfo: memFree=25303864/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1047.21 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 93912 258405 0 0 329 38 104270 84 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24267] ppid=24176 vsize=63696 CPUtime=314.71 cores=0,2,4,6
/proc/24267/stat : 24267 (glucosInc) R 24176 24175 22913 0 -1 4202496 8731 0 0 0 31468 3 0 0 20 0 1 0 377265352 65224704 12466 33554432000 4194304 5654031 140735659212192 140735659200008 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24267/statm: 15924 12466 141 357 0 15564 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 95756
[startup+1422.31 s]
/proc/loadavg: 1.00 1.37 1.72 2/173 24296
/proc/meminfo: memFree=25323976/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1407.5 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 95833 268192 0 0 337 39 140286 88 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24296] ppid=24176 vsize=33516 CPUtime=14.4 cores=0,2,4,6
/proc/24296/stat : 24296 (glucosInc) R 24176 24175 22913 0 -1 4202496 6286 0 0 0 1438 2 0 0 20 0 1 0 377301388 34320384 7451 33554432000 4194304 5654031 140734457506048 140734457493864 4216213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24296/statm: 8379 7451 141 357 0 8019 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 65576
[startup+1482.3 s]
/proc/loadavg: 1.00 1.30 1.67 2/174 24299
/proc/meminfo: memFree=25316920/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1407.5 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 95833 268192 0 0 337 39 140286 88 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24296] ppid=24176 vsize=40676 CPUtime=74.38 cores=0,2,4,6
/proc/24296/stat : 24296 (glucosInc) R 24176 24175 22913 0 -1 4202496 8331 0 0 0 7435 3 0 0 20 0 1 0 377301388 41652224 9369 33554432000 4194304 5654031 140734457506048 140734457493864 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24296/statm: 10169 9369 141 357 0 9809 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 72736
[startup+1542.3 s]
/proc/loadavg: 1.00 1.25 1.63 2/173 24299
/proc/meminfo: memFree=25308392/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1407.5 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 95833 268192 0 0 337 39 140286 88 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24296] ppid=24176 vsize=52376 CPUtime=134.37 cores=0,2,4,6
/proc/24296/stat : 24296 (glucosInc) R 24176 24175 22913 0 -1 4202496 9274 0 0 0 13433 4 0 0 20 0 1 0 377301388 53633024 11547 33554432000 4194304 5654031 140734457506048 140734457493864 4216464 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24296/statm: 13094 11547 141 357 0 12734 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 84436
[startup+1602.3 s]
/proc/loadavg: 1.00 1.20 1.59 2/173 24301
/proc/meminfo: memFree=25317760/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1542.98 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 97754 277996 0 0 345 40 153820 93 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24301] ppid=24176 vsize=40664 CPUtime=58.88 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24176 24175 22913 0 -1 4202496 7402 0 0 0 5886 2 0 0 20 0 1 0 377314938 41639936 9356 33554432000 4194304 5654031 140735001758128 140735001755928 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24301/statm: 10166 9356 141 357 0 9806 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 72724
[startup+1662.3 s]
/proc/loadavg: 1.00 1.16 1.54 2/173 24301
/proc/meminfo: memFree=25317016/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1542.98 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 97754 277996 0 0 345 40 153820 93 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24301] ppid=24176 vsize=40664 CPUtime=118.87 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24176 24175 22913 0 -1 4202496 7422 0 0 0 11885 2 0 0 20 0 1 0 377314938 41639936 9376 33554432000 4194304 5654031 140735001758128 140735001745944 4214993 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24301/statm: 10166 9376 141 357 0 9806 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 72724
[startup+1722.3 s]
/proc/loadavg: 1.00 1.13 1.51 2/173 24302
/proc/meminfo: memFree=25319124/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1542.98 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 97754 277996 0 0 345 40 153820 93 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24301] ppid=24176 vsize=52264 CPUtime=178.87 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24176 24175 22913 0 -1 4202496 8494 0 0 0 17884 3 0 0 20 0 1 0 377314938 53518336 8865 33554432000 4194304 5654031 140735001758128 140735001756008 4232839 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24301/statm: 13066 8865 141 357 0 12706 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 84324
[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/173 24303
/proc/meminfo: memFree=25303048/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1542.98 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 97754 277996 0 0 345 40 153820 93 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24301] ppid=24176 vsize=59588 CPUtime=238.85 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24176 24175 22913 0 -1 4202496 9017 0 0 0 23882 3 0 0 20 0 1 0 377314938 61018112 12961 33554432000 4194304 5654031 140735001758128 140735001745944 4233187 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24301/statm: 14897 12961 141 357 0 14537 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 91648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 1.00 1.09 1.46 2/174 24304
/proc/meminfo: memFree=25302668/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1542.98 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 97754 277996 0 0 345 40 153820 93 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24301] ppid=24176 vsize=59588 CPUtime=257.06 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24176 24175 22913 0 -1 4202496 9017 0 0 0 25703 3 0 0 20 0 1 0 377314938 61018112 12961 33554432000 4194304 5654031 140735001758128 140735001745944 4233315 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24301/statm: 14897 12961 141 357 0 14537 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 91648
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 1.00 1.09 1.46 2/174 24304
/proc/meminfo: memFree=25302668/32873844 swapFree=8652/8652
[pid=24175] ppid=24173 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24175/stat : 24175 (npSolver-pbo-It) S 24173 24175 22913 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377160599 9367552 274 33554432000 4194304 5064252 140734408830464 140734408829376 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/24175/statm: 2287 274 233 213 0 72 0
[pid=24176] ppid=24175 vsize=22912 CPUtime=1542.98 cores=0,2,4,6
/proc/24176/stat : 24176 (npSolver-pbo) S 24175 24175 22913 0 -1 4202496 97754 277996 0 0 345 40 153820 93 20 0 1 0 377160599 23461888 4803 33554432000 4194304 6004724 140734165185712 140734165171560 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24176/statm: 5728 4803 183 442 0 5282 0
[pid=24301] ppid=24176 vsize=59588 CPUtime=257.06 cores=0,2,4,6
/proc/24301/stat : 24301 (glucosInc) R 24176 24175 22913 0 -1 4202496 9017 0 0 0 25703 3 0 0 20 0 1 0 377314938 61018112 12961 33554432000 4194304 5654031 140735001758128 140735001745944 4233315 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24301/statm: 14897 12961 141 357 0 14537 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 91648
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1798.69
CPU system time (s): 1.38179
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 114440
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.69
system time used= 1.38179
maximum resident set size= 68356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 385147
page faults= 0
swaps= 0
block input operations= 0
block output operations= 405224
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3255
involuntary context switches= 3062
runsolver used 3.48647 second user time and 8.41472 second system time
The end