0.00/0.07 c run inc solver
0.00/0.07 c [INC SYSTEM] run initial solver
0.00/0.07 c [INC SYSTEM] preprocess with white file
0.00/0.37 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.37 c [INC SYSTEM] execute solver
1.46/1.58 c [INC SEARCH] formula is SAT
1.46/1.58 c [INC SYSTEM] solved the initial formula
1.56/1.60 c model valid
1.56/1.60 c current solution ok
1.67/1.74 o 225069336
1.67/1.74 c [INC SYSTEM] there exists a inc, kill it!
1.67/1.74 c write failed with 2
1.67/1.74 c [INC SEARCH] iteration: 0
1.67/1.74 c [INC BOUNDS] best value:225069351 search for 225069350
1.67/1.74 c [INC SYSTEM] create new solver instance
1.67/1.74 c [INC] encode full formula
1.67/1.74 c fallback to adder encoding
1.78/1.83 c set iterative enc to: adder
1.78/1.83 c set iterative enc to: none
1.78/1.85 c [INC SEARCH] isOptimum variable: 0
2.46/2.56 c formula is SAT
2.46/2.56 c [INC SEARCH] copied best model
2.46/2.56 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.46/2.58 c model valid
2.46/2.58 c current solution ok
2.46/2.58 o 208185368
2.46/2.58 c [INC SEARCH] iteration: 1
2.46/2.58 c [INC BOUNDS] best value:208185383 search for 208185382
2.46/2.58 c [INC SYSTEM] there exists a inc, kill it!
2.46/2.58 c write failed with 2
2.46/2.58 c [INC SYSTEM] create new solver instance
2.46/2.58 c [INC] encode full formula
2.46/2.58 c fallback to adder encoding
2.57/2.67 c set iterative enc to: adder
2.57/2.67 c set iterative enc to: none
2.57/2.69 c [INC SEARCH] isOptimum variable: 0
3.57/3.63 c formula is SAT
3.57/3.63 c [INC SEARCH] copied best model
3.57/3.63 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.57/3.64 c model valid
3.57/3.64 c current solution ok
3.57/3.64 o 181320432
3.57/3.64 c [INC SEARCH] iteration: 2
3.57/3.64 c [INC BOUNDS] best value:181320447 search for 181320446
3.57/3.64 c [INC SYSTEM] there exists a inc, kill it!
3.57/3.64 c write failed with 2
3.57/3.65 c [INC SYSTEM] create new solver instance
3.57/3.65 c [INC] encode full formula
3.57/3.65 c fallback to adder encoding
3.69/3.74 c set iterative enc to: adder
3.69/3.74 c set iterative enc to: none
3.69/3.76 c [INC SEARCH] isOptimum variable: 0
9.36/9.43 c formula is SAT
9.36/9.43 c [INC SEARCH] copied best model
9.36/9.43 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
9.36/9.44 c model valid
9.36/9.44 c current solution ok
9.36/9.44 o 160290946
9.36/9.44 c [INC SEARCH] iteration: 3
9.36/9.44 c [INC BOUNDS] best value:160290961 search for 160290960
9.36/9.44 c [INC SYSTEM] there exists a inc, kill it!
9.36/9.44 c write failed with 2
9.36/9.45 c [INC SYSTEM] create new solver instance
9.36/9.45 c [INC] encode full formula
9.36/9.45 c fallback to adder encoding
9.48/9.54 c set iterative enc to: adder
9.48/9.54 c set iterative enc to: none
9.48/9.56 c [INC SEARCH] isOptimum variable: 0
11.47/11.56 c formula is SAT
11.47/11.57 c [INC SEARCH] copied best model
11.58/11.67 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
11.58/11.67 c model valid
11.58/11.67 c current solution ok
11.58/11.67 o 156121978
11.58/11.67 c [INC SEARCH] iteration: 4
11.58/11.67 c [INC BOUNDS] best value:156121993 search for 156121992
11.58/11.67 c [INC SYSTEM] there exists a inc, kill it!
11.58/11.67 c write failed with 2
11.58/11.67 c [INC SYSTEM] create new solver instance
11.58/11.67 c [INC] encode full formula
11.58/11.67 c fallback to adder encoding
11.58/11.67 c set iterative enc to: adder
11.58/11.67 c set iterative enc to: none
11.66/11.74 c [INC SEARCH] isOptimum variable: 0
13.62/13.79 c formula is SAT
13.62/13.79 c [INC SEARCH] copied best model
13.62/13.79 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.72/13.80 c model valid
13.72/13.80 c current solution ok
13.72/13.80 o 153571208
13.72/13.80 c [INC SEARCH] iteration: 5
13.72/13.80 c [INC BOUNDS] best value:153571223 search for 153571222
13.72/13.80 c [INC SYSTEM] there exists a inc, kill it!
13.72/13.80 c write failed with 2
13.72/13.81 c [INC SYSTEM] create new solver instance
13.72/13.81 c [INC] encode full formula
13.72/13.81 c fallback to adder encoding
13.83/13.90 c set iterative enc to: adder
13.83/13.90 c set iterative enc to: none
13.83/13.92 c [INC SEARCH] isOptimum variable: 0
16.53/16.62 c formula is SAT
16.53/16.63 c [INC SEARCH] copied best model
16.68/16.83 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.68/16.83 c model valid
16.68/16.83 c current solution ok
16.68/16.83 o 153555150
16.68/16.83 c [INC SEARCH] iteration: 6
16.68/16.83 c [INC BOUNDS] best value:153555165 search for 153555164
16.68/16.83 c [INC SYSTEM] there exists a inc, kill it!
16.68/16.83 c write failed with 2
16.68/16.83 c [INC SYSTEM] create new solver instance
16.68/16.83 c [INC] encode full formula
16.68/16.83 c fallback to adder encoding
16.68/16.83 c set iterative enc to: adder
16.68/16.83 c set iterative enc to: none
16.68/16.83 c [INC SEARCH] isOptimum variable: 0
17.91/18.07 c formula is SAT
17.91/18.07 c [INC SEARCH] copied best model
17.91/18.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.91/18.08 c model valid
17.91/18.08 c current solution ok
17.91/18.08 o 121645318
17.91/18.08 c [INC SEARCH] iteration: 7
17.91/18.08 c [INC BOUNDS] best value:121645333 search for 121645332
17.91/18.08 c [INC SYSTEM] there exists a inc, kill it!
17.91/18.08 c write failed with 2
17.91/18.09 c [INC SYSTEM] create new solver instance
17.91/18.09 c [INC] encode full formula
17.91/18.09 c fallback to adder encoding
18.02/18.18 c set iterative enc to: adder
18.02/18.18 c set iterative enc to: none
18.02/18.20 c [INC SEARCH] isOptimum variable: 0
27.92/28.01 c formula is SAT
27.92/28.01 c [INC SEARCH] copied best model
27.92/28.01 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
27.92/28.02 c model valid
27.92/28.02 c current solution ok
27.92/28.02 o 114127408
27.92/28.02 c [INC SEARCH] iteration: 8
27.92/28.02 c [INC BOUNDS] best value:114127423 search for 114127422
27.92/28.02 c [INC SYSTEM] there exists a inc, kill it!
27.92/28.02 c write failed with 2
27.92/28.02 c [INC SYSTEM] create new solver instance
27.92/28.02 c [INC] encode full formula
27.92/28.02 c fallback to adder encoding
28.03/28.11 c set iterative enc to: adder
28.03/28.11 c set iterative enc to: none
28.03/28.13 c [INC SEARCH] isOptimum variable: 0
28.62/28.71 c formula is SAT
28.62/28.71 c [INC SEARCH] copied best model
28.62/28.71 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
28.62/28.72 c model valid
28.62/28.72 c current solution ok
28.62/28.72 o 106067210
28.62/28.72 c [INC SEARCH] iteration: 9
28.62/28.72 c [INC BOUNDS] best value:106067225 search for 106067224
28.62/28.72 c [INC SYSTEM] there exists a inc, kill it!
28.62/28.72 c write failed with 2
28.62/28.73 c [INC SYSTEM] create new solver instance
28.62/28.73 c [INC] encode full formula
28.62/28.73 c fallback to adder encoding
28.72/28.82 c set iterative enc to: adder
28.72/28.82 c set iterative enc to: none
28.72/28.83 c [INC SEARCH] isOptimum variable: 0
30.02/30.16 c formula is SAT
30.02/30.16 c [INC SEARCH] copied best model
30.02/30.16 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
30.02/30.17 c model valid
30.02/30.17 c current solution ok
30.02/30.17 o 91034894
30.02/30.17 c [INC SEARCH] iteration: 10
30.02/30.17 c [INC BOUNDS] best value:91034909 search for 91034908
30.02/30.17 c [INC SYSTEM] there exists a inc, kill it!
30.02/30.17 c write failed with 2
30.02/30.18 c [INC SYSTEM] create new solver instance
30.02/30.18 c [INC] encode full formula
30.02/30.18 c fallback to adder encoding
30.12/30.26 c set iterative enc to: adder
30.12/30.26 c set iterative enc to: none
30.12/30.28 c [INC SEARCH] isOptimum variable: 0
31.91/32.06 c formula is SAT
31.91/32.06 c [INC SEARCH] copied best model
31.91/32.06 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
31.91/32.07 c model valid
31.91/32.07 c current solution ok
31.91/32.07 o 79972926
31.91/32.07 c [INC SEARCH] iteration: 11
31.91/32.07 c [INC BOUNDS] best value:79972941 search for 79972940
31.91/32.07 c [INC SYSTEM] there exists a inc, kill it!
31.91/32.07 c write failed with 2
31.91/32.08 c [INC SYSTEM] create new solver instance
31.91/32.08 c [INC] encode full formula
31.91/32.08 c fallback to adder encoding
32.03/32.16 c set iterative enc to: adder
32.03/32.16 c set iterative enc to: none
32.03/32.18 c [INC SEARCH] isOptimum variable: 0
33.31/33.45 c formula is SAT
33.31/33.46 c [INC SEARCH] copied best model
33.31/33.46 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
33.31/33.47 c model valid
33.31/33.47 c current solution ok
33.31/33.47 o 71326370
33.31/33.47 c [INC SEARCH] iteration: 12
33.31/33.47 c [INC BOUNDS] best value:71326385 search for 71326384
33.31/33.47 c [INC SYSTEM] there exists a inc, kill it!
33.31/33.47 c write failed with 2
33.31/33.47 c [INC SYSTEM] create new solver instance
33.31/33.47 c [INC] encode full formula
33.31/33.47 c fallback to adder encoding
33.44/33.56 c set iterative enc to: adder
33.44/33.56 c set iterative enc to: none
33.44/33.58 c [INC SEARCH] isOptimum variable: 0
34.92/35.07 c formula is SAT
34.92/35.07 c [INC SEARCH] copied best model
34.92/35.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
34.92/35.08 c model valid
34.92/35.08 c current solution ok
34.92/35.08 o 66491170
34.92/35.08 c [INC SEARCH] iteration: 13
34.92/35.08 c [INC BOUNDS] best value:66491185 search for 66491184
34.92/35.08 c [INC SYSTEM] there exists a inc, kill it!
34.92/35.08 c write failed with 2
34.92/35.09 c [INC SYSTEM] create new solver instance
34.92/35.09 c [INC] encode full formula
34.92/35.09 c fallback to adder encoding
35.03/35.17 c set iterative enc to: adder
35.03/35.17 c set iterative enc to: none
35.03/35.19 c [INC SEARCH] isOptimum variable: 0
35.12/35.66 c formula is SAT
35.12/35.67 c [INC SEARCH] copied best model
35.12/35.67 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
35.12/35.68 c model valid
35.12/35.68 c current solution ok
35.12/35.68 o 54204160
35.12/35.68 c [INC SEARCH] iteration: 14
35.12/35.68 c [INC BOUNDS] best value:54204175 search for 54204174
35.12/35.68 c [INC SYSTEM] there exists a inc, kill it!
35.12/35.68 c write failed with 2
35.12/35.68 c [INC SYSTEM] create new solver instance
35.12/35.68 c [INC] encode full formula
35.12/35.68 c fallback to adder encoding
35.63/35.76 c set iterative enc to: adder
35.63/35.76 c set iterative enc to: none
35.63/35.78 c [INC SEARCH] isOptimum variable: 0
41.03/41.13 c formula is SAT
41.03/41.14 c [INC SEARCH] copied best model
41.03/41.14 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
41.03/41.15 c model valid
41.03/41.15 c current solution ok
41.03/41.15 o 29334440
41.03/41.15 c [INC SEARCH] iteration: 15
41.03/41.15 c [INC BOUNDS] best value:29334455 search for 29334454
41.03/41.15 c [INC SYSTEM] there exists a inc, kill it!
41.03/41.15 c write failed with 2
41.03/41.15 c [INC SYSTEM] create new solver instance
41.03/41.15 c [INC] encode full formula
41.03/41.15 c fallback to adder encoding
41.13/41.23 c set iterative enc to: adder
41.13/41.23 c set iterative enc to: none
41.13/41.25 c [INC SEARCH] isOptimum variable: 0
42.03/42.13 c formula is SAT
42.03/42.13 c [INC SEARCH] copied best model
42.03/42.13 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
42.03/42.14 c model valid
42.03/42.14 c current solution ok
42.03/42.14 o 23840772
42.03/42.14 c [INC SEARCH] iteration: 16
42.03/42.14 c [INC BOUNDS] best value:23840787 search for 23840786
42.03/42.14 c [INC SYSTEM] there exists a inc, kill it!
42.03/42.14 c write failed with 2
42.03/42.15 c [INC SYSTEM] create new solver instance
42.03/42.15 c [INC] encode full formula
42.03/42.15 c fallback to adder encoding
42.14/42.22 c set iterative enc to: adder
42.14/42.22 c set iterative enc to: none
42.14/42.24 c [INC SEARCH] isOptimum variable: 0
43.42/43.56 c formula is SAT
43.42/43.57 c [INC SEARCH] copied best model
43.42/43.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
43.42/43.58 c model valid
43.42/43.58 c current solution ok
43.42/43.58 o 23732394
43.42/43.58 c [INC SEARCH] iteration: 17
43.42/43.58 c [INC BOUNDS] best value:23732409 search for 23732408
43.42/43.58 c [INC SYSTEM] there exists a inc, kill it!
43.42/43.58 c write failed with 2
43.42/43.58 c [INC SYSTEM] create new solver instance
43.42/43.58 c [INC] encode full formula
43.42/43.58 c fallback to adder encoding
43.53/43.65 c set iterative enc to: adder
43.53/43.65 c set iterative enc to: none
43.53/43.67 c [INC SEARCH] isOptimum variable: 0
45.32/45.45 c formula is SAT
45.32/45.45 c [INC SEARCH] copied best model
45.32/45.45 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
45.32/45.46 c model valid
45.32/45.46 c current solution ok
45.32/45.46 o 14630176
45.32/45.46 c [INC SEARCH] iteration: 18
45.32/45.46 c [INC BOUNDS] best value:14630191 search for 14630190
45.32/45.46 c [INC SYSTEM] there exists a inc, kill it!
45.32/45.46 c write failed with 2
45.32/45.47 c [INC SYSTEM] create new solver instance
45.32/45.47 c [INC] encode full formula
45.32/45.47 c fallback to adder encoding
45.44/45.53 c set iterative enc to: adder
45.44/45.53 c set iterative enc to: none
45.44/45.55 c [INC SEARCH] isOptimum variable: 0
54.12/54.27 c formula is SAT
54.12/54.27 c [INC SEARCH] copied best model
54.12/54.27 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
54.12/54.28 c model valid
54.12/54.28 c current solution ok
54.12/54.28 o 13478734
54.12/54.28 c [INC SEARCH] iteration: 19
54.12/54.28 c [INC BOUNDS] best value:13478749 search for 13478748
54.12/54.28 c [INC SYSTEM] there exists a inc, kill it!
54.12/54.28 c write failed with 2
54.12/54.28 c [INC SYSTEM] create new solver instance
54.12/54.28 c [INC] encode full formula
54.12/54.28 c fallback to adder encoding
54.24/54.35 c set iterative enc to: adder
54.24/54.35 c set iterative enc to: none
54.24/54.37 c [INC SEARCH] isOptimum variable: 0
56.93/57.08 c formula is SAT
56.93/57.08 c [INC SEARCH] copied best model
56.93/57.08 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
56.93/57.10 c model valid
56.93/57.10 c current solution ok
56.93/57.10 o 12641338
56.93/57.10 c [INC SEARCH] iteration: 20
56.93/57.10 c [INC BOUNDS] best value:12641353 search for 12641352
56.93/57.10 c [INC SYSTEM] there exists a inc, kill it!
56.93/57.10 c write failed with 2
56.93/57.10 c [INC SYSTEM] create new solver instance
56.93/57.10 c [INC] encode full formula
56.93/57.10 c fallback to adder encoding
57.04/57.17 c set iterative enc to: adder
57.04/57.17 c set iterative enc to: none
57.04/57.19 c [INC SEARCH] isOptimum variable: 0
65.40/65.56 c formula is SAT
65.40/65.57 c [INC SEARCH] copied best model
65.40/65.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
65.40/65.58 c model valid
65.40/65.58 c current solution ok
65.40/65.58 o 12172646
65.40/65.58 c [INC SEARCH] iteration: 21
65.40/65.58 c [INC BOUNDS] best value:12172661 search for 12172660
65.40/65.58 c [INC SYSTEM] there exists a inc, kill it!
65.40/65.58 c write failed with 2
65.40/65.58 c [INC SYSTEM] create new solver instance
65.40/65.58 c [INC] encode full formula
65.40/65.58 c fallback to adder encoding
65.52/65.65 c set iterative enc to: adder
65.52/65.65 c set iterative enc to: none
65.52/65.66 c [INC SEARCH] isOptimum variable: 0
75.09/75.22 c formula is SAT
75.09/75.22 c [INC SEARCH] copied best model
75.09/75.22 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
75.09/75.23 c model valid
75.09/75.23 c current solution ok
75.09/75.23 o 11420268
75.09/75.23 c [INC SEARCH] iteration: 22
75.09/75.23 c [INC BOUNDS] best value:11420283 search for 11420282
75.09/75.23 c [INC SYSTEM] there exists a inc, kill it!
75.09/75.23 c write failed with 2
75.09/75.24 c [INC SYSTEM] create new solver instance
75.09/75.24 c [INC] encode full formula
75.09/75.24 c fallback to adder encoding
75.22/75.31 c set iterative enc to: adder
75.22/75.31 c set iterative enc to: none
75.22/75.32 c [INC SEARCH] isOptimum variable: 0
77.10/77.23 c formula is SAT
77.10/77.23 c [INC SEARCH] copied best model
77.10/77.23 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
77.10/77.24 c model valid
77.10/77.24 c current solution ok
77.10/77.24 o 10705446
77.10/77.24 c [INC SEARCH] iteration: 23
77.10/77.24 c [INC BOUNDS] best value:10705461 search for 10705460
77.10/77.24 c [INC SYSTEM] there exists a inc, kill it!
77.10/77.24 c write failed with 2
77.10/77.24 c [INC SYSTEM] create new solver instance
77.10/77.24 c [INC] encode full formula
77.10/77.24 c fallback to adder encoding
77.20/77.31 c set iterative enc to: adder
77.20/77.31 c set iterative enc to: none
77.20/77.33 c [INC SEARCH] isOptimum variable: 0
79.38/79.55 c formula is SAT
79.38/79.55 c [INC SEARCH] copied best model
79.38/79.56 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
79.38/79.57 c model valid
79.38/79.57 c current solution ok
79.38/79.57 o 10454158
79.38/79.57 c [INC SEARCH] iteration: 24
79.38/79.57 c [INC BOUNDS] best value:10454173 search for 10454172
79.38/79.57 c [INC SYSTEM] there exists a inc, kill it!
79.38/79.57 c write failed with 2
79.38/79.57 c [INC SYSTEM] create new solver instance
79.38/79.57 c [INC] encode full formula
79.38/79.57 c fallback to adder encoding
79.51/79.63 c set iterative enc to: adder
79.51/79.63 c set iterative enc to: none
79.51/79.65 c [INC SEARCH] isOptimum variable: 0
91.79/91.98 c formula is SAT
91.79/91.98 c [INC SEARCH] copied best model
91.79/91.98 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
91.79/91.99 c model valid
91.79/91.99 c current solution ok
91.79/91.99 o 10015054
91.79/91.99 c [INC SEARCH] iteration: 25
91.79/91.99 c [INC BOUNDS] best value:10015069 search for 10015068
91.79/91.99 c [INC SYSTEM] there exists a inc, kill it!
91.79/91.99 c write failed with 2
91.79/91.99 c [INC SYSTEM] create new solver instance
91.79/91.99 c [INC] encode full formula
91.79/91.99 c fallback to adder encoding
91.90/92.06 c set iterative enc to: adder
91.90/92.06 c set iterative enc to: none
91.90/92.07 c [INC SEARCH] isOptimum variable: 0
97.59/97.71 c formula is SAT
97.59/97.72 c [INC SEARCH] copied best model
97.70/97.84 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
97.70/97.84 c model valid
97.70/97.84 c current solution ok
97.70/97.84 o 9797844
97.70/97.84 c [INC SEARCH] iteration: 26
97.70/97.84 c [INC BOUNDS] best value:9797859 search for 9797858
97.70/97.84 c [INC SYSTEM] there exists a inc, kill it!
97.70/97.84 c write failed with 2
97.70/97.84 c [INC SYSTEM] create new solver instance
97.70/97.84 c [INC] encode full formula
97.70/97.84 c fallback to adder encoding
97.70/97.84 c set iterative enc to: adder
97.70/97.84 c set iterative enc to: none
97.70/97.85 c [INC SEARCH] isOptimum variable: 0
104.63/104.83 c formula is SAT
104.63/104.83 c [INC SEARCH] copied best model
104.63/104.83 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
104.63/104.84 c model valid
104.63/104.84 c current solution ok
104.63/104.84 o 9667176
104.63/104.84 c [INC SEARCH] iteration: 27
104.63/104.84 c [INC BOUNDS] best value:9667191 search for 9667190
104.63/104.84 c [INC SYSTEM] there exists a inc, kill it!
104.63/104.84 c write failed with 2
104.63/104.84 c [INC SYSTEM] create new solver instance
104.63/104.84 c [INC] encode full formula
104.63/104.84 c fallback to adder encoding
104.75/104.91 c set iterative enc to: adder
104.75/104.91 c set iterative enc to: none
104.75/104.92 c [INC SEARCH] isOptimum variable: 0
125.32/125.58 c formula is SAT
125.32/125.59 c [INC SEARCH] copied best model
125.32/125.59 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
125.43/125.60 c model valid
125.43/125.60 c current solution ok
125.43/125.60 o 9653298
125.43/125.60 c [INC SEARCH] iteration: 28
125.43/125.60 c [INC BOUNDS] best value:9653313 search for 9653312
125.43/125.60 c [INC SYSTEM] there exists a inc, kill it!
125.43/125.60 c write failed with 2
125.43/125.60 c [INC SYSTEM] create new solver instance
125.43/125.60 c [INC] encode full formula
125.43/125.60 c fallback to adder encoding
125.43/125.67 c set iterative enc to: adder
125.43/125.67 c set iterative enc to: none
125.43/125.68 c [INC SEARCH] isOptimum variable: 0
129.33/129.54 c formula is SAT
129.33/129.54 c [INC SEARCH] copied best model
129.33/129.54 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
129.33/129.55 c model valid
129.33/129.55 c current solution ok
129.33/129.55 o 9633392
129.33/129.55 c [INC SEARCH] iteration: 29
129.33/129.55 c [INC BOUNDS] best value:9633407 search for 9633406
129.33/129.55 c [INC SYSTEM] there exists a inc, kill it!
129.33/129.55 c write failed with 2
129.33/129.56 c [INC SYSTEM] create new solver instance
129.33/129.56 c [INC] encode full formula
129.33/129.56 c fallback to adder encoding
129.44/129.62 c set iterative enc to: adder
129.44/129.62 c set iterative enc to: none
129.44/129.64 c [INC SEARCH] isOptimum variable: 0
131.11/131.38 c formula is SAT
131.11/131.38 c [INC SEARCH] copied best model
131.11/131.38 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
131.11/131.39 c model valid
131.11/131.39 c current solution ok
131.11/131.39 o 9232374
131.11/131.39 c [INC SEARCH] iteration: 30
131.11/131.39 c [INC BOUNDS] best value:9232389 search for 9232388
131.11/131.39 c [INC SYSTEM] there exists a inc, kill it!
131.11/131.39 c write failed with 2
131.11/131.39 c [INC SYSTEM] create new solver instance
131.11/131.39 c [INC] encode full formula
131.11/131.39 c fallback to adder encoding
131.21/131.46 c set iterative enc to: adder
131.21/131.46 c set iterative enc to: none
131.21/131.48 c [INC SEARCH] isOptimum variable: 0
145.60/145.84 c formula is SAT
145.60/145.85 c [INC SEARCH] copied best model
145.60/145.85 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
145.60/145.86 c model valid
145.60/145.86 c current solution ok
145.60/145.86 o 9012796
145.60/145.86 c [INC SEARCH] iteration: 31
145.60/145.86 c [INC BOUNDS] best value:9012811 search for 9012810
145.60/145.86 c [INC SYSTEM] there exists a inc, kill it!
145.60/145.86 c write failed with 2
145.60/145.86 c [INC SYSTEM] create new solver instance
145.60/145.86 c [INC] encode full formula
145.60/145.86 c fallback to adder encoding
145.72/145.93 c set iterative enc to: adder
145.72/145.93 c set iterative enc to: none
145.72/145.94 c [INC SEARCH] isOptimum variable: 0
151.01/151.27 c formula is SAT
151.01/151.28 c [INC SEARCH] copied best model
151.11/151.38 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
151.11/151.38 c model valid
151.11/151.38 c current solution ok
151.11/151.38 o 8926168
151.11/151.38 c [INC SEARCH] iteration: 32
151.11/151.38 c [INC BOUNDS] best value:8926183 search for 8926182
151.11/151.38 c [INC SYSTEM] there exists a inc, kill it!
151.11/151.38 c write failed with 2
151.11/151.38 c [INC SYSTEM] create new solver instance
151.11/151.38 c [INC] encode full formula
151.11/151.38 c fallback to adder encoding
151.11/151.38 c set iterative enc to: adder
151.11/151.38 c set iterative enc to: none
151.18/151.40 c [INC SEARCH] isOptimum variable: 0
203.74/204.03 c formula is SAT
203.74/204.03 c [INC SEARCH] copied best model
203.74/204.03 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
203.74/204.04 c model valid
203.74/204.04 c current solution ok
203.74/204.04 o 8788748
203.74/204.04 c [INC SEARCH] iteration: 33
203.74/204.04 c [INC BOUNDS] best value:8788763 search for 8788762
203.74/204.04 c [INC SYSTEM] there exists a inc, kill it!
203.74/204.04 c write failed with 2
203.74/204.05 c [INC SYSTEM] create new solver instance
203.74/204.05 c [INC] encode full formula
203.74/204.05 c fallback to adder encoding
203.86/204.11 c set iterative enc to: adder
203.86/204.11 c set iterative enc to: none
203.86/204.13 c [INC SEARCH] isOptimum variable: 0
210.04/210.33 c formula is SAT
210.04/210.34 c [INC SEARCH] copied best model
210.04/210.34 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
210.04/210.35 c model valid
210.04/210.35 c current solution ok
210.04/210.35 o 8702246
210.04/210.35 c [INC SEARCH] iteration: 34
210.04/210.35 c [INC BOUNDS] best value:8702261 search for 8702260
210.04/210.35 c [INC SYSTEM] there exists a inc, kill it!
210.04/210.35 c write failed with 2
210.04/210.35 c [INC SYSTEM] create new solver instance
210.04/210.35 c [INC] encode full formula
210.04/210.35 c fallback to adder encoding
210.16/210.42 c set iterative enc to: adder
210.16/210.42 c set iterative enc to: none
210.16/210.43 c [INC SEARCH] isOptimum variable: 0
225.53/225.89 c formula is SAT
225.63/225.90 c [INC SEARCH] copied best model
225.63/225.90 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
225.63/225.91 c model valid
225.63/225.91 c current solution ok
225.63/225.91 o 8406588
225.63/225.91 c [INC SEARCH] iteration: 35
225.63/225.91 c [INC BOUNDS] best value:8406603 search for 8406602
225.63/225.91 c [INC SYSTEM] there exists a inc, kill it!
225.63/225.91 c write failed with 2
225.63/225.91 c [INC SYSTEM] create new solver instance
225.63/225.91 c [INC] encode full formula
225.63/225.91 c fallback to adder encoding
225.63/225.98 c set iterative enc to: adder
225.63/225.98 c set iterative enc to: none
225.63/225.99 c [INC SEARCH] isOptimum variable: 0
256.11/256.46 c formula is SAT
256.11/256.46 c [INC SEARCH] copied best model
256.11/256.46 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
256.11/256.47 c model valid
256.11/256.47 c current solution ok
256.11/256.47 o 8119754
256.11/256.47 c [INC SEARCH] iteration: 36
256.11/256.47 c [INC BOUNDS] best value:8119769 search for 8119768
256.11/256.47 c [INC SYSTEM] there exists a inc, kill it!
256.11/256.47 c write failed with 2
256.11/256.48 c [INC SYSTEM] create new solver instance
256.11/256.48 c [INC] encode full formula
256.11/256.48 c fallback to adder encoding
256.22/256.54 c set iterative enc to: adder
256.22/256.54 c set iterative enc to: none
256.22/256.55 c [INC SEARCH] isOptimum variable: 0
285.90/286.29 c formula is SAT
285.99/286.30 c [INC SEARCH] copied best model
285.99/286.30 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
285.99/286.31 c model valid
285.99/286.31 c current solution ok
285.99/286.31 o 8060936
285.99/286.31 c [INC SEARCH] iteration: 37
285.99/286.31 c [INC BOUNDS] best value:8060951 search for 8060950
285.99/286.31 c [INC SYSTEM] there exists a inc, kill it!
285.99/286.31 c write failed with 2
285.99/286.31 c [INC SYSTEM] create new solver instance
285.99/286.31 c [INC] encode full formula
285.99/286.31 c fallback to adder encoding
285.99/286.37 c set iterative enc to: adder
285.99/286.37 c set iterative enc to: none
285.99/286.39 c [INC SEARCH] isOptimum variable: 0
387.57/387.92 c formula is SAT
387.57/387.92 c [INC SEARCH] copied best model
387.57/387.92 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
387.57/387.93 c model valid
387.57/387.93 c current solution ok
387.57/387.93 o 8031882
387.57/387.93 c [INC SEARCH] iteration: 38
387.57/387.93 c [INC BOUNDS] best value:8031897 search for 8031896
387.57/387.93 c [INC SYSTEM] there exists a inc, kill it!
387.57/387.93 c write failed with 2
387.57/387.93 c [INC SYSTEM] create new solver instance
387.57/387.93 c [INC] encode full formula
387.57/387.93 c fallback to adder encoding
387.57/387.99 c set iterative enc to: adder
387.57/387.99 c set iterative enc to: none
387.67/388.01 c [INC SEARCH] isOptimum variable: 0
479.65/480.07 c formula is SAT
479.65/480.07 c [INC SEARCH] copied best model
479.65/480.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
479.65/480.08 c model valid
479.65/480.08 c current solution ok
479.65/480.08 o 7907044
479.65/480.08 c [INC SEARCH] iteration: 39
479.65/480.08 c [INC BOUNDS] best value:7907059 search for 7907058
479.65/480.08 c [INC SYSTEM] there exists a inc, kill it!
479.65/480.08 c write failed with 2
479.65/480.08 c [INC SYSTEM] create new solver instance
479.65/480.08 c [INC] encode full formula
479.65/480.08 c fallback to adder encoding
479.75/480.14 c set iterative enc to: adder
479.75/480.14 c set iterative enc to: none
479.75/480.16 c [INC SEARCH] isOptimum variable: 0
666.61/667.06 c formula is SAT
666.61/667.07 c [INC SEARCH] copied best model
666.61/667.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
666.61/667.08 c model valid
666.61/667.08 c current solution ok
666.61/667.08 o 7885252
666.61/667.08 c [INC SEARCH] iteration: 40
666.61/667.08 c [INC BOUNDS] best value:7885267 search for 7885266
666.61/667.08 c [INC SYSTEM] there exists a inc, kill it!
666.61/667.08 c write failed with 2
666.61/667.08 c [INC SYSTEM] create new solver instance
666.61/667.08 c [INC] encode full formula
666.61/667.08 c fallback to adder encoding
666.72/667.14 c set iterative enc to: adder
666.72/667.14 c set iterative enc to: none
666.72/667.16 c [INC SEARCH] isOptimum variable: 0
1800.04/1800.61 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.04/1800.61 s UNKNOWN
1800.04/1800.61 c [INC SYSTEM] there exists a inc, kill it!
1800.04/1800.61 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-3697764-1338134996/watcher-3697764-1338134996 -o /tmp/evaluation-result-3697764-1338134996/solver-3697764-1338134996 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3697764-1338134996.opb 1578234903 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28081
/proc/meminfo: memFree=28348252/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[startup+0.09946 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28081
/proc/meminfo: memFree=28348252/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100321 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28081
/proc/meminfo: memFree=28348252/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300323 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28081
/proc/meminfo: memFree=28348252/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700257 s]
/proc/loadavg: 1.92 1.98 1.99 3/176 28081
/proc/meminfo: memFree=28348252/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 28087
/proc/meminfo: memFree=28332224/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=6244 CPUtime=0.35 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 2255 6264 0 0 6 0 27 2 20 0 1 0 279625085 6393856 1232 33554432000 4194304 5992684 140737148673984 140737148660248 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28082/statm: 1561 1232 168 440 0 1117 0
[pid=28087] ppid=28082 vsize=14892 CPUtime=1.11 cores=1,3,5,7
/proc/28087/stat : 28087 (glucosInc) R 28082 28081 26585 0 -1 4202496 2804 0 0 0 111 0 0 0 20 0 1 0 279625123 15249408 2665 33554432000 4194304 5654031 140734084746416 140734084744200 4218874 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28087/statm: 3723 2665 140 357 0 3363 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 30284
[startup+3.10029 s]
/proc/loadavg: 1.92 1.98 1.99 3/179 28090
/proc/meminfo: memFree=28304636/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7392 CPUtime=2.68 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 8714 17059 0 0 30 15 218 5 20 0 1 0 279625085 7569408 1537 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28082/statm: 1848 1537 184 440 0 1404 0
Current children cumulated CPU time (s) 2.68
Current children cumulated vsize (KiB) 16540
[startup+6.30043 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 28097
/proc/meminfo: memFree=28303640/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7152 CPUtime=3.74 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 12677 24503 0 0 41 16 310 7 20 0 1 0 279625085 7323648 1478 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28082/statm: 1788 1478 185 440 0 1344 0
[pid=28094] ppid=28082 vsize=32056 CPUtime=2.52 cores=1,3,5,7
/proc/28094/stat : 28094 (glucosInc) R 28082 28081 26585 0 -1 4202496 6338 0 0 0 251 1 0 0 20 0 1 0 279625462 32825344 6890 33554432000 4194304 5654031 140733733580032 140733733577720 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28094/statm: 8014 6890 141 357 0 7654 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 48356
[startup+12.7005 s]
/proc/loadavg: 1.93 1.98 1.99 3/180 28101
/proc/meminfo: memFree=28304532/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7152 CPUtime=11.68 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 20602 38435 0 0 62 20 1074 12 20 0 1 0 279625085 7323648 1478 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28082/statm: 1788 1478 185 440 0 1344 0
[pid=28101] ppid=28082 vsize=32060 CPUtime=0.94 cores=1,3,5,7
/proc/28101/stat : 28101 (glucosInc) R 28082 28081 26585 0 -1 4202496 6325 0 0 0 93 1 0 0 20 0 1 0 279626260 32829440 6880 33554432000 4194304 5654031 140733630854528 140733629803960 4232707 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28101/statm: 8015 6880 132 357 0 7655 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 48360
[startup+25.5005 s]
/proc/loadavg: 1.95 1.98 1.99 3/180 28107
/proc/meminfo: memFree=28304996/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7152 CPUtime=18.13 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 30123 61512 0 0 93 25 1675 20 20 0 1 0 279625085 7323648 1478 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28082/statm: 1788 1478 185 440 0 1344 0
[pid=28107] ppid=28082 vsize=32400 CPUtime=7.29 cores=1,3,5,7
/proc/28107/stat : 28107 (glucosInc) R 28082 28081 26585 0 -1 4202496 7420 0 0 0 728 1 0 0 20 0 1 0 279626905 33177600 6854 33554432000 4194304 5654031 140736649743328 140736649741224 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28107/statm: 8100 6854 141 357 0 7740 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 48700
[startup+51.1004 s]
/proc/loadavg: 2.11 2.02 2.01 3/180 28131
/proc/meminfo: memFree=28282040/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7104 CPUtime=45.49 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 52229 138852 0 0 199 41 4261 48 20 0 1 0 279625085 7274496 1466 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28082/statm: 1776 1466 185 440 0 1332 0
[pid=28131] ppid=28082 vsize=28016 CPUtime=5.54 cores=1,3,5,7
/proc/28131/stat : 28131 (glucosInc) R 28082 28081 26585 0 -1 4202496 6261 0 0 0 553 1 0 0 20 0 1 0 279629640 28688384 5815 33554432000 4194304 5654031 140733482653376 140733482641192 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28131/statm: 7004 5815 142 357 0 6644 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 44268
[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 28149
/proc/meminfo: memFree=28279992/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7080 CPUtime=97.71 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 76281 195967 0 0 263 51 9389 68 20 0 1 0 279625085 7249920 1460 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28082/statm: 1770 1460 185 440 0 1326 0
[pid=28149] ppid=28082 vsize=32028 CPUtime=4.43 cores=1,3,5,7
/proc/28149/stat : 28149 (glucosInc) R 28082 28081 26585 0 -1 4202496 7317 0 0 0 441 2 0 0 20 0 1 0 279634871 32796672 6994 33554432000 4194304 5654031 140735847812880 140735847810904 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28149/statm: 8007 6994 141 357 0 7647 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 48256
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 28161
/proc/meminfo: memFree=28223044/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7080 CPUtime=151.18 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 94193 240989 0 0 310 58 14666 84 20 0 1 0 279625085 7249920 1460 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 1770 1460 185 440 0 1326 0
[pid=28161] ppid=28082 vsize=27280 CPUtime=10.87 cores=1,3,5,7
/proc/28161/stat : 28161 (glucosInc) R 28082 28081 26585 0 -1 4202496 6187 0 0 0 1086 1 0 0 20 0 1 0 279640225 27934720 5581 33554432000 4194304 5654031 140734290677568 140734290675656 4233344 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28161/statm: 6820 5581 141 357 0 6460 0
Current children cumulated CPU time (s) 162.05
Current children cumulated vsize (KiB) 43508
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 28166
/proc/meminfo: memFree=28209024/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=7080 CPUtime=210.19 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 100159 256613 0 0 326 61 20542 90 20 0 1 0 279625085 7249920 1460 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 1770 1460 185 440 0 1326 0
[pid=28166] ppid=28082 vsize=28268 CPUtime=11.85 cores=1,3,5,7
/proc/28166/stat : 28166 (glucosInc) R 28082 28081 26585 0 -1 4202496 6490 0 0 0 1184 1 0 0 20 0 1 0 279646129 28946432 6357 33554432000 4194304 5654031 140736092832208 140736092820024 4233176 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/28166/statm: 7067 6357 142 357 0 6707 0
Current children cumulated CPU time (s) 222.04
Current children cumulated vsize (KiB) 44496
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28170
/proc/meminfo: memFree=28201696/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=28210624/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=575.03 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8368 0 0 0 57500 3 0 0 20 0 1 0 279691801 67313664 13233 33554432000 4194304 5654031 140734214813696 140734214801512 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 13233 142 357 0 16074 0
Current children cumulated CPU time (s) 1241.81
Current children cumulated vsize (KiB) 90612
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28191
/proc/meminfo: memFree=28173148/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=635.03 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8368 0 0 0 63500 3 0 0 20 0 1 0 279691801 67313664 13233 33554432000 4194304 5654031 140734214813696 140734214801512 4233306 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 13233 142 357 0 16074 0
Current children cumulated CPU time (s) 1301.81
Current children cumulated vsize (KiB) 90612
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 28191
/proc/meminfo: memFree=28166816/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=695.01 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8368 0 0 0 69498 3 0 0 20 0 1 0 279691801 67313664 13233 33554432000 4194304 5654031 140734214813696 140734214801512 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 13233 142 357 0 16074 0
Current children cumulated CPU time (s) 1361.79
Current children cumulated vsize (KiB) 90612
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28192
/proc/meminfo: memFree=28210584/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=755.01 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8368 0 0 0 75498 3 0 0 20 0 1 0 279691801 67313664 13233 33554432000 4194304 5654031 140734214813696 140734214801512 4217712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 13233 142 357 0 16074 0
Current children cumulated CPU time (s) 1421.79
Current children cumulated vsize (KiB) 90612
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 28246
/proc/meminfo: memFree=28402796/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=815 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8748 0 0 0 81496 4 0 0 20 0 1 0 279691801 67313664 13233 33554432000 4194304 5654031 140734214813696 140734214811720 4232611 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 13233 142 357 0 16074 0
Current children cumulated CPU time (s) 1481.78
Current children cumulated vsize (KiB) 90612
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28274
/proc/meminfo: memFree=28394856/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=874.98 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8752 0 0 0 87494 4 0 0 20 0 1 0 279691801 67313664 15281 33554432000 4194304 5654031 140734214813696 140734214801512 4233008 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 15281 142 357 0 16074 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 90612
[startup+1602.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 28284
/proc/meminfo: memFree=28392548/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=934.97 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8954 0 0 0 93493 4 0 0 20 0 1 0 279691801 67313664 15987 33554432000 4194304 5654031 140734214813696 140734214801512 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 15987 142 357 0 16074 0
Current children cumulated CPU time (s) 1601.75
Current children cumulated vsize (KiB) 90612
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 28292
/proc/meminfo: memFree=28391488/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=994.97 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8954 0 0 0 99493 4 0 0 20 0 1 0 279691801 67313664 15987 33554432000 4194304 5654031 140734214813696 140734214801512 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 15987 142 357 0 16074 0
Current children cumulated CPU time (s) 1661.75
Current children cumulated vsize (KiB) 90612
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28295
/proc/meminfo: memFree=28384024/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=1054.96 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8954 0 0 0 105492 4 0 0 20 0 1 0 279691801 67313664 15987 33554432000 4194304 5654031 140734214813696 140734214801512 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 15987 142 357 0 16074 0
Current children cumulated CPU time (s) 1721.74
Current children cumulated vsize (KiB) 90612
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28299
/proc/meminfo: memFree=28383772/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=1114.95 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8954 0 0 0 111491 4 0 0 20 0 1 0 279691801 67313664 15987 33554432000 4194304 5654031 140734214813696 140734214801512 4232932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 15987 142 357 0 16074 0
Current children cumulated CPU time (s) 1781.73
Current children cumulated vsize (KiB) 90612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 28299
/proc/meminfo: memFree=28383772/32873852 swapFree=6848/6848
[pid=28081] ppid=28079 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28081/stat : 28081 (npSolver-pbo-It) S 28079 28081 26585 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 279625085 9367552 274 33554432000 4194304 5064252 140737297817920 140737297816832 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/28081/statm: 2287 274 233 213 0 72 0
[pid=28082] ppid=28081 vsize=15728 CPUtime=666.78 cores=1,3,5,7
/proc/28082/stat : 28082 (npSolver-pbo) S 28081 28081 26585 0 -1 4202496 117319 311773 0 0 372 66 66124 116 20 0 1 0 279625085 16105472 3564 33554432000 4194304 5992684 140737148673984 140737148659816 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28082/statm: 3932 3564 185 440 0 3488 0
[pid=28184] ppid=28082 vsize=65736 CPUtime=1133.26 cores=1,3,5,7
/proc/28184/stat : 28184 (glucosInc) R 28082 28081 26585 0 -1 4202496 8954 0 0 0 113322 4 0 0 20 0 1 0 279691801 67313664 15987 33554432000 4194304 5654031 140734214813696 140734214801512 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28184/statm: 16434 15987 142 357 0 16074 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 90612
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.62
CPU time (s): 1800.06
CPU user time (s): 1798.18
CPU system time (s): 1.87971
CPU usage (%): 99.9693
Max. virtual memory (cumulated for all children) (KiB): 120964
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.18
system time used= 1.87971
maximum resident set size= 74892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438423
page faults= 0
swaps= 0
block input operations= 0
block output operations= 532688
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4246
involuntary context switches= 3219
runsolver used 6.39403 second user time and 19.2561 second system time
The end