0.00/0.09 c old isEQ: 120, new EQ is 1
0.00/0.09 c old isEQ: 1, new EQ is 1
0.00/0.09 c old isEQ: 1, new EQ is 1
0.00/0.09 c old isEQ: 1, new EQ is 1
0.00/0.09 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.10 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.11 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.12 c old isEQ: 1, new EQ is 1
0.00/0.13 c old isEQ: 1, new EQ is 1
0.00/0.13 c old isEQ: 1, new EQ is 1
0.00/0.13 c old isEQ: 1, new EQ is 1
0.00/0.13 c old isEQ: 1, new EQ is 1
0.00/0.13 c old isEQ: 1, new EQ is 1
0.00/0.13 c old isEQ: 1, new EQ is 1
0.00/0.14 c old isEQ: 1, new EQ is 1
0.00/0.14 c old isEQ: 1, new EQ is 1
0.00/0.14 c old isEQ: 1, new EQ is 1
0.00/0.14 c old isEQ: 1, new EQ is 1
0.00/0.14 c old isEQ: 1, new EQ is 1
0.00/0.15 c old isEQ: 1, new EQ is 1
0.00/0.15 c old isEQ: 1, new EQ is 1
0.00/0.15 c old isEQ: 1, new EQ is 1
0.00/0.15 c old isEQ: 1, new EQ is 1
0.00/0.15 c old isEQ: 1, new EQ is 1
0.00/0.15 c old isEQ: 1, new EQ is 1
0.00/0.16 c old isEQ: 1, new EQ is 1
0.00/0.16 c old isEQ: 1, new EQ is 1
0.00/0.16 c old isEQ: 1, new EQ is 1
0.00/0.16 c old isEQ: 1, new EQ is 1
0.00/0.16 c old isEQ: 1, new EQ is 1
0.00/0.16 c old isEQ: 1, new EQ is 1
0.00/0.17 c old isEQ: 1, new EQ is 1
0.00/0.17 c old isEQ: 1, new EQ is 1
0.00/0.17 c old isEQ: 1, new EQ is 1
0.00/0.17 c old isEQ: 1, new EQ is 1
0.00/0.17 c old isEQ: 1, new EQ is 1
0.00/0.17 c old isEQ: 1, new EQ is 1
0.00/0.18 c old isEQ: 1, new EQ is 1
0.00/0.18 c old isEQ: 1, new EQ is 1
0.00/0.18 c old isEQ: 1, new EQ is 1
0.00/0.18 c old isEQ: 1, new EQ is 1
0.00/0.18 c old isEQ: 1, new EQ is 1
0.00/0.18 c old isEQ: 1, new EQ is 1
0.00/0.19 c old isEQ: 1, new EQ is 1
0.00/0.19 c old isEQ: 1, new EQ is 1
0.00/0.19 c old isEQ: 1, new EQ is 1
0.00/0.19 c old isEQ: 1, new EQ is 1
0.00/0.19 c old isEQ: 1, new EQ is 1
0.00/0.19 c old isEQ: 1, new EQ is 1
0.00/0.20 c old isEQ: 1, new EQ is 1
0.00/0.20 c old isEQ: 1, new EQ is 1
0.00/0.20 c old isEQ: 1, new EQ is 1
0.00/0.20 c old isEQ: 1, new EQ is 1
0.00/0.20 c old isEQ: 1, new EQ is 1
0.00/0.21 c old isEQ: 1, new EQ is 1
0.00/0.21 c old isEQ: 1, new EQ is 1
0.00/0.21 c old isEQ: 1, new EQ is 1
0.00/0.21 c old isEQ: 1, new EQ is 1
0.00/0.21 c old isEQ: 1, new EQ is 1
0.00/0.21 c old isEQ: 1, new EQ is 1
0.00/0.22 c old isEQ: 1, new EQ is 1
0.00/0.24 c run inc solver
0.00/0.24 c [INC SYSTEM] run initial solver
0.00/0.24 c [INC SYSTEM] preprocess with white file
0.00/0.71 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.71 c [INC SYSTEM] execute solver
0.00/0.83 c [INC SEARCH] formula is SAT
0.00/0.83 c [INC SYSTEM] solved the initial formula
0.00/0.87 c model valid
0.00/0.87 c current solution ok
0.97/1.09 o 851
0.97/1.09 c [INC SYSTEM] there exists a inc, kill it!
0.97/1.09 c write failed with 2
0.97/1.10 c [INC SEARCH] iteration: 0
0.97/1.10 c [INC BOUNDS] best value:851 search for 850
0.97/1.10 c [INC SYSTEM] create new solver instance
0.97/1.10 c [INC] encode full formula
0.97/1.10 c fallback to adder encoding
1.08/1.17 c set iterative enc to: adder
1.08/1.17 c set iterative enc to: none
1.08/1.18 c [INC SEARCH] isOptimum variable: 0
1.17/1.42 c formula is SAT
1.17/1.42 c [INC SEARCH] copied best model
1.17/1.42 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.17/1.46 c model valid
1.17/1.46 c current solution ok
1.17/1.46 o 766
1.17/1.46 c [INC SEARCH] iteration: 1
1.17/1.46 c [INC BOUNDS] best value:766 search for 765
1.17/1.46 c [INC SYSTEM] there exists a inc, kill it!
1.17/1.46 c write failed with 2
1.17/1.46 c [INC SYSTEM] create new solver instance
1.17/1.46 c [INC] encode full formula
1.17/1.46 c fallback to adder encoding
1.47/1.54 c set iterative enc to: adder
1.47/1.54 c set iterative enc to: none
1.47/1.55 c [INC SEARCH] isOptimum variable: 0
2.36/2.43 c formula is SAT
2.36/2.44 c [INC SEARCH] copied best model
2.36/2.44 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.36/2.48 c model valid
2.36/2.48 c current solution ok
2.36/2.48 o 758
2.36/2.48 c [INC SEARCH] iteration: 2
2.36/2.48 c [INC BOUNDS] best value:758 search for 757
2.36/2.48 c [INC SYSTEM] there exists a inc, kill it!
2.36/2.48 c write failed with 2
2.36/2.48 c [INC SYSTEM] create new solver instance
2.36/2.48 c [INC] encode full formula
2.36/2.48 c fallback to adder encoding
2.47/2.55 c set iterative enc to: adder
2.47/2.55 c set iterative enc to: none
2.47/2.57 c [INC SEARCH] isOptimum variable: 0
2.55/2.98 c formula is SAT
2.55/2.99 c [INC SEARCH] copied best model
2.55/2.99 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.58/3.02 c model valid
2.58/3.02 c current solution ok
2.58/3.02 o 716
2.58/3.02 c [INC SEARCH] iteration: 3
2.58/3.02 c [INC BOUNDS] best value:716 search for 715
2.58/3.02 c [INC SYSTEM] there exists a inc, kill it!
2.58/3.02 c write failed with 2
2.58/3.03 c [INC SYSTEM] create new solver instance
2.58/3.03 c [INC] encode full formula
2.58/3.03 c fallback to adder encoding
3.09/3.10 c set iterative enc to: adder
3.09/3.10 c set iterative enc to: none
3.09/3.12 c [INC SEARCH] isOptimum variable: 0
3.37/3.45 c formula is SAT
3.37/3.45 c [INC SEARCH] copied best model
3.37/3.45 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.37/3.49 c model valid
3.37/3.49 c current solution ok
3.37/3.49 o 712
3.37/3.49 c [INC SEARCH] iteration: 4
3.37/3.49 c [INC BOUNDS] best value:712 search for 711
3.37/3.49 c [INC SYSTEM] there exists a inc, kill it!
3.37/3.49 c write failed with 2
3.37/3.49 c [INC SYSTEM] create new solver instance
3.37/3.49 c [INC] encode full formula
3.37/3.49 c fallback to adder encoding
3.48/3.56 c set iterative enc to: adder
3.48/3.56 c set iterative enc to: none
3.48/3.58 c [INC SEARCH] isOptimum variable: 0
3.56/4.29 c formula is SAT
3.56/4.30 c [INC SEARCH] copied best model
4.38/4.48 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
4.38/4.48 c model valid
4.38/4.48 c current solution ok
4.38/4.48 o 705
4.38/4.48 c [INC SEARCH] iteration: 5
4.38/4.48 c [INC BOUNDS] best value:705 search for 704
4.38/4.48 c [INC SYSTEM] there exists a inc, kill it!
4.38/4.48 c write failed with 2
4.38/4.48 c [INC SYSTEM] create new solver instance
4.38/4.48 c [INC] encode full formula
4.38/4.48 c fallback to adder encoding
4.38/4.48 c set iterative enc to: adder
4.38/4.48 c set iterative enc to: none
4.39/4.67 c [INC SEARCH] isOptimum variable: 0
5.41/5.71 c formula is SAT
5.41/5.72 c [INC SEARCH] copied best model
5.41/5.72 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.41/5.76 c model valid
5.41/5.76 c current solution ok
5.41/5.76 o 701
5.41/5.76 c [INC SEARCH] iteration: 6
5.41/5.76 c [INC BOUNDS] best value:701 search for 700
5.41/5.76 c [INC SYSTEM] there exists a inc, kill it!
5.41/5.76 c write failed with 2
5.41/5.76 c [INC SYSTEM] create new solver instance
5.41/5.76 c [INC] encode full formula
5.41/5.76 c fallback to adder encoding
5.53/5.83 c set iterative enc to: adder
5.53/5.83 c set iterative enc to: none
5.53/5.85 c [INC SEARCH] isOptimum variable: 0
7.23/7.52 c formula is SAT
7.23/7.52 c [INC SEARCH] copied best model
7.23/7.52 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.23/7.56 c model valid
7.23/7.56 c current solution ok
7.23/7.56 o 696
7.23/7.56 c [INC SEARCH] iteration: 7
7.23/7.56 c [INC BOUNDS] best value:696 search for 695
7.23/7.56 c [INC SYSTEM] there exists a inc, kill it!
7.23/7.56 c write failed with 2
7.23/7.57 c [INC SYSTEM] create new solver instance
7.23/7.57 c [INC] encode full formula
7.23/7.57 c fallback to adder encoding
7.35/7.64 c set iterative enc to: adder
7.35/7.64 c set iterative enc to: none
7.35/7.66 c [INC SEARCH] isOptimum variable: 0
9.11/9.40 c formula is SAT
9.23/9.51 c [INC SEARCH] copied best model
9.23/9.51 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
9.23/9.51 c model valid
9.23/9.51 c current solution ok
9.23/9.51 o 689
9.23/9.51 c [INC SEARCH] iteration: 8
9.23/9.51 c [INC BOUNDS] best value:689 search for 688
9.23/9.51 c [INC SYSTEM] there exists a inc, kill it!
9.23/9.51 c write failed with 2
9.23/9.51 c [INC SYSTEM] create new solver instance
9.23/9.51 c [INC] encode full formula
9.23/9.51 c fallback to adder encoding
9.23/9.52 c set iterative enc to: adder
9.23/9.52 c set iterative enc to: none
9.23/9.56 c [INC SEARCH] isOptimum variable: 0
9.68/10.04 c formula is SAT
9.68/10.04 c [INC SEARCH] copied best model
9.68/10.04 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
9.68/10.09 c model valid
9.68/10.09 c current solution ok
9.68/10.09 o 656
9.68/10.09 c [INC SEARCH] iteration: 9
9.68/10.09 c [INC BOUNDS] best value:656 search for 655
9.68/10.09 c [INC SYSTEM] there exists a inc, kill it!
9.68/10.09 c write failed with 2
9.68/10.09 c [INC SYSTEM] create new solver instance
9.68/10.09 c [INC] encode full formula
9.68/10.09 c fallback to adder encoding
9.81/10.17 c set iterative enc to: adder
9.81/10.17 c set iterative enc to: none
9.81/10.18 c [INC SEARCH] isOptimum variable: 0
32.70/33.06 c formula is SAT
32.70/33.07 c [INC SEARCH] copied best model
32.70/33.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
32.79/33.11 c model valid
32.79/33.11 c current solution ok
32.79/33.11 o 653
32.79/33.11 c [INC SEARCH] iteration: 10
32.79/33.11 c [INC BOUNDS] best value:653 search for 652
32.79/33.11 c [INC SYSTEM] there exists a inc, kill it!
32.79/33.11 c write failed with 2
32.79/33.11 c [INC SYSTEM] create new solver instance
32.79/33.11 c [INC] encode full formula
32.79/33.11 c fallback to adder encoding
32.79/33.19 c set iterative enc to: adder
32.79/33.19 c set iterative enc to: none
32.89/33.21 c [INC SEARCH] isOptimum variable: 0
34.18/34.57 c formula is SAT
34.18/34.58 c [INC SEARCH] copied best model
34.18/34.58 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
34.29/34.62 c model valid
34.29/34.62 c current solution ok
34.29/34.62 o 643
34.29/34.62 c [INC SEARCH] iteration: 11
34.29/34.62 c [INC BOUNDS] best value:643 search for 642
34.29/34.62 c [INC SYSTEM] there exists a inc, kill it!
34.29/34.62 c write failed with 2
34.29/34.62 c [INC SYSTEM] create new solver instance
34.29/34.62 c [INC] encode full formula
34.29/34.62 c fallback to adder encoding
34.29/34.69 c set iterative enc to: adder
34.29/34.69 c set iterative enc to: none
34.40/34.71 c [INC SEARCH] isOptimum variable: 0
34.41/34.93 c formula is SAT
34.41/34.93 c [INC SEARCH] copied best model
34.41/34.93 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
34.41/34.97 c model valid
34.41/34.97 c current solution ok
34.41/34.97 o 612
34.41/34.97 c [INC SEARCH] iteration: 12
34.41/34.97 c [INC BOUNDS] best value:612 search for 611
34.41/34.97 c [INC SYSTEM] there exists a inc, kill it!
34.41/34.97 c write failed with 2
34.41/34.97 c [INC SYSTEM] create new solver instance
34.41/34.97 c [INC] encode full formula
34.41/34.97 c fallback to adder encoding
34.70/35.05 c set iterative enc to: adder
34.70/35.05 c set iterative enc to: none
34.70/35.06 c [INC SEARCH] isOptimum variable: 0
55.57/55.95 c formula is SAT
55.57/55.96 c [INC SEARCH] copied best model
55.57/55.96 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
55.57/56.00 c model valid
55.57/56.00 c current solution ok
55.57/56.00 o 599
55.57/56.00 c [INC SEARCH] iteration: 13
55.57/56.00 c [INC BOUNDS] best value:599 search for 598
55.57/56.00 c [INC SYSTEM] there exists a inc, kill it!
55.57/56.00 c write failed with 2
55.57/56.00 c [INC SYSTEM] create new solver instance
55.57/56.00 c [INC] encode full formula
55.57/56.00 c fallback to adder encoding
55.70/56.07 c set iterative enc to: adder
55.70/56.07 c set iterative enc to: none
55.70/56.09 c [INC SEARCH] isOptimum variable: 0
82.07/82.47 c formula is SAT
82.07/82.47 c [INC SEARCH] copied best model
82.07/82.47 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
82.18/82.51 c model valid
82.18/82.51 c current solution ok
82.18/82.51 o 562
82.18/82.51 c [INC SEARCH] iteration: 14
82.18/82.51 c [INC BOUNDS] best value:562 search for 561
82.18/82.51 c [INC SYSTEM] there exists a inc, kill it!
82.18/82.51 c write failed with 2
82.18/82.51 c [INC SYSTEM] create new solver instance
82.18/82.51 c [INC] encode full formula
82.18/82.51 c fallback to adder encoding
82.18/82.59 c set iterative enc to: adder
82.18/82.59 c set iterative enc to: none
82.27/82.61 c [INC SEARCH] isOptimum variable: 0
299.92/300.35 c formula is SAT
299.92/300.36 c [INC SEARCH] copied best model
299.92/300.36 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
300.01/300.40 c model valid
300.01/300.40 c current solution ok
300.01/300.40 o 558
300.01/300.40 c [INC SEARCH] iteration: 15
300.01/300.40 c [INC BOUNDS] best value:558 search for 557
300.01/300.40 c [INC SYSTEM] there exists a inc, kill it!
300.01/300.40 c write failed with 2
300.01/300.40 c [INC SYSTEM] create new solver instance
300.01/300.40 c [INC] encode full formula
300.01/300.40 c fallback to adder encoding
300.01/300.47 c set iterative enc to: adder
300.01/300.47 c set iterative enc to: none
300.01/300.49 c [INC SEARCH] isOptimum variable: 0
397.81/398.21 c formula is SAT
397.81/398.22 c [INC SEARCH] copied best model
397.81/398.22 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
397.81/398.26 c model valid
397.81/398.26 c current solution ok
397.81/398.26 o 557
397.81/398.26 c [INC SEARCH] iteration: 16
397.81/398.26 c [INC BOUNDS] best value:557 search for 556
397.81/398.26 c [INC SYSTEM] there exists a inc, kill it!
397.81/398.26 c write failed with 2
397.81/398.26 c [INC SYSTEM] create new solver instance
397.81/398.26 c [INC] encode full formula
397.81/398.26 c fallback to adder encoding
397.90/398.34 c set iterative enc to: adder
397.90/398.34 c set iterative enc to: none
397.90/398.36 c [INC SEARCH] isOptimum variable: 0
516.77/517.23 c formula is SAT
516.77/517.23 c [INC SEARCH] copied best model
516.77/517.23 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
516.77/517.27 c model valid
516.77/517.27 c current solution ok
516.77/517.27 o 553
516.77/517.27 c [INC SEARCH] iteration: 17
516.77/517.27 c [INC BOUNDS] best value:553 search for 552
516.77/517.27 c [INC SYSTEM] there exists a inc, kill it!
516.77/517.27 c write failed with 2
516.77/517.27 c [INC SYSTEM] create new solver instance
516.77/517.27 c [INC] encode full formula
516.77/517.27 c fallback to adder encoding
516.87/517.35 c set iterative enc to: adder
516.87/517.35 c set iterative enc to: none
516.87/517.37 c [INC SEARCH] isOptimum variable: 0
936.18/936.76 c formula is SAT
936.18/936.77 c [INC SEARCH] copied best model
936.18/936.77 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
936.29/936.81 c model valid
936.29/936.81 c current solution ok
936.29/936.81 o 546
936.29/936.81 c [INC SEARCH] iteration: 18
936.29/936.81 c [INC BOUNDS] best value:546 search for 545
936.29/936.81 c [INC SYSTEM] there exists a inc, kill it!
936.29/936.81 c write failed with 2
936.29/936.81 c [INC SYSTEM] create new solver instance
936.29/936.81 c [INC] encode full formula
936.29/936.81 c fallback to adder encoding
936.29/936.89 c set iterative enc to: adder
936.29/936.89 c set iterative enc to: none
936.39/936.91 c [INC SEARCH] isOptimum variable: 0
1057.85/1058.43 c formula is SAT
1057.85/1058.43 c [INC SEARCH] copied best model
1057.85/1058.43 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1057.85/1058.47 c model valid
1057.85/1058.47 c current solution ok
1057.85/1058.47 o 545
1057.85/1058.47 c [INC SEARCH] iteration: 19
1057.85/1058.47 c [INC BOUNDS] best value:545 search for 544
1057.85/1058.47 c [INC SYSTEM] there exists a inc, kill it!
1057.85/1058.47 c write failed with 2
1057.85/1058.47 c [INC SYSTEM] create new solver instance
1057.85/1058.47 c [INC] encode full formula
1057.85/1058.47 c fallback to adder encoding
1057.95/1058.55 c set iterative enc to: adder
1057.95/1058.55 c set iterative enc to: none
1057.95/1058.57 c [INC SEARCH] isOptimum variable: 0
1389.89/1390.56 c formula is SAT
1389.89/1390.56 c [INC SEARCH] copied best model
1389.89/1390.56 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1389.99/1390.60 c model valid
1389.99/1390.60 c current solution ok
1389.99/1390.60 o 527
1389.99/1390.60 c [INC SEARCH] iteration: 20
1389.99/1390.60 c [INC BOUNDS] best value:527 search for 526
1389.99/1390.60 c [INC SYSTEM] there exists a inc, kill it!
1389.99/1390.60 c write failed with 2
1389.99/1390.60 c [INC SYSTEM] create new solver instance
1389.99/1390.60 c [INC] encode full formula
1389.99/1390.60 c fallback to adder encoding
1389.99/1390.68 c set iterative enc to: adder
1389.99/1390.68 c set iterative enc to: none
1390.09/1390.70 c [INC SEARCH] isOptimum variable: 0
1629.74/1630.45 c formula is SAT
1629.74/1630.46 c [INC SEARCH] copied best model
1629.74/1630.46 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1629.85/1630.50 c model valid
1629.85/1630.50 c current solution ok
1629.85/1630.50 o 524
1629.85/1630.50 c [INC SEARCH] iteration: 21
1629.85/1630.50 c [INC BOUNDS] best value:524 search for 523
1629.85/1630.50 c [INC SYSTEM] there exists a inc, kill it!
1629.85/1630.50 c write failed with 2
1629.85/1630.50 c [INC SYSTEM] create new solver instance
1629.85/1630.50 c [INC] encode full formula
1629.85/1630.50 c fallback to adder encoding
1629.85/1630.58 c set iterative enc to: adder
1629.85/1630.58 c set iterative enc to: none
1629.95/1630.60 c [INC SEARCH] isOptimum variable: 0
1800.01/1800.71 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.01/1800.71 s UNKNOWN
1800.01/1800.71 c [INC SYSTEM] there exists a inc, kill it!
1800.01/1800.71 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-3747593-1339105429/watcher-3747593-1339105429 -o /tmp/evaluation-result-3747593-1339105429/solver-3747593-1339105429 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747593-1339105429.opb 385249570 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: 2.00 2.06 2.24 3/179 3956
/proc/meminfo: memFree=28518844/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[startup+0.0807871 s]
/proc/loadavg: 2.00 2.06 2.24 3/179 3956
/proc/meminfo: memFree=28518844/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100341 s]
/proc/loadavg: 2.00 2.06 2.24 3/179 3956
/proc/meminfo: memFree=28518844/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300251 s]
/proc/loadavg: 2.00 2.06 2.24 3/179 3956
/proc/meminfo: memFree=28518844/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700264 s]
/proc/loadavg: 2.00 2.06 2.24 3/179 3956
/proc/meminfo: memFree=28518844/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.00 2.06 2.24 3/182 3962
/proc/meminfo: memFree=28477256/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1.47 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) R 3956 3956 2890 0 -1 4202496 11254 23932 0 0 45 20 76 6 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776027560 5056450 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 46124
[startup+3.10031 s]
/proc/loadavg: 2.00 2.06 2.24 3/182 3967
/proc/meminfo: memFree=28443812/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=3.09 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) R 3956 3956 2890 0 -1 4202496 18425 40676 0 0 73 23 202 11 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776027760 4534761 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46124
[startup+6.30022 s]
/proc/loadavg: 2.00 2.06 2.24 3/182 3975
/proc/meminfo: memFree=28441276/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=5.59 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 29077 66614 0 0 109 26 405 19 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
Current children cumulated CPU time (s) 5.59
Current children cumulated vsize (KiB) 46124
[startup+12.7003 s]
/proc/loadavg: 2.00 2.05 2.24 3/182 3983
/proc/meminfo: memFree=28417352/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=9.89 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 38857 92247 0 0 145 29 788 27 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=3983] ppid=3957 vsize=36128 CPUtime=2.5 cores=0,2,4,6
/proc/3983/stat : 3983 (glucosInc) R 3957 3956 2890 0 -1 4202496 8642 0 0 0 249 1 0 0 20 0 1 0 376670736 36995072 7871 33554432000 4194304 5654031 140737335708000 140737335695816 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3983/statm: 9032 7871 141 357 0 8672 0
Current children cumulated CPU time (s) 12.39
Current children cumulated vsize (KiB) 82252
[startup+25.5004 s]
/proc/loadavg: 2.08 2.07 2.24 3/182 3983
/proc/meminfo: memFree=28421032/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=9.89 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 38857 92247 0 0 145 29 788 27 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=3983] ppid=3957 vsize=66512 CPUtime=15.29 cores=0,2,4,6
/proc/3983/stat : 3983 (glucosInc) R 3957 3956 2890 0 -1 4202496 9962 0 0 0 1527 2 0 0 20 0 1 0 376670736 68108288 12986 33554432000 4194304 5654031 140737335708000 140737335695816 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3983/statm: 16628 12986 141 357 0 16268 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 112636
[startup+51.1003 s]
/proc/loadavg: 2.12 2.08 2.24 3/182 3989
/proc/meminfo: memFree=28389332/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=34.76 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 48637 119812 0 0 181 32 3228 35 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=3989] ppid=3957 vsize=62056 CPUtime=16.02 cores=0,2,4,6
/proc/3989/stat : 3989 (glucosInc) R 3957 3956 2890 0 -1 4202496 10482 0 0 0 1600 2 0 0 20 0 1 0 376673225 63545344 14661 33554432000 4194304 5654031 140734925510464 140734925498280 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3989/statm: 15514 14661 141 357 0 15154 0
Current children cumulated CPU time (s) 50.78
Current children cumulated vsize (KiB) 108180
[startup+102.307 s]
/proc/loadavg: 2.10 2.08 2.23 3/181 3993
/proc/meminfo: memFree=28346936/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=82.29 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 55157 141545 0 0 205 34 7948 42 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=3993] ppid=3957 vsize=67120 CPUtime=19.67 cores=0,2,4,6
/proc/3993/stat : 3993 (glucosInc) R 3957 3956 2890 0 -1 4202496 10875 0 0 0 1965 2 0 0 20 0 1 0 376677979 68730880 15741 33554432000 4194304 5654031 140737033959232 140737033947048 4214616 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3993/statm: 16780 15741 141 357 0 16420 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 113244
[startup+162.3 s]
/proc/loadavg: 2.13 2.09 2.22 3/181 3993
/proc/meminfo: memFree=28326652/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=82.29 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 55157 141545 0 0 205 34 7948 42 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=3993] ppid=3957 vsize=85976 CPUtime=79.64 cores=0,2,4,6
/proc/3993/stat : 3993 (glucosInc) R 3957 3956 2890 0 -1 4202496 12497 0 0 0 7961 3 0 0 20 0 1 0 376677979 88039424 19413 33554432000 4194304 5654031 140737033959232 140737033947048 4216668 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3993/statm: 21494 19413 141 357 0 21134 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 132100
[startup+222.3 s]
/proc/loadavg: 2.10 2.09 2.21 3/181 3994
/proc/meminfo: memFree=28277068/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=82.29 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 55157 141545 0 0 205 34 7948 42 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=3993] ppid=3957 vsize=135296 CPUtime=139.64 cores=0,2,4,6
/proc/3993/stat : 3993 (glucosInc) R 3957 3956 2890 0 -1 4202496 13269 0 0 0 13959 5 0 0 20 0 1 0 376677979 138543104 31176 33554432000 4194304 5654031 140737033959232 140737033947048 4232949 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/3993/statm: 33824 31176 141 357 0 33464 0
Current children cumulated CPU time (s) 221.93
Current children cumulated vsize (KiB) 181420
[startup+282.3 s]
/proc/loadavg: 2.09 2.08 2.19 3/181 3994
/proc/meminfo: memFree=28317552/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=82.29 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 55157 141545 0 0 205 34 7948 42 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=3993] ppid=3957 vsize=85976 CPUtime=199.63 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=28254796/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1058.03 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 71588 208130 0 0 267 39 105416 81 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4090] ppid=3957 vsize=165452 CPUtime=183.68 cores=0,2,4,6
/proc/4090/stat : 4090 (glucosInc) R 3957 3956 2890 0 -1 4202496 13341 0 0 0 18360 8 0 0 20 0 1 0 376775575 169422848 33603 33554432000 4194304 5654031 140735347853088 140735347851016 4217744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4090/statm: 41363 33603 141 357 0 41003 0
Current children cumulated CPU time (s) 1241.71
Current children cumulated vsize (KiB) 211576
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.05 3/181 4134
/proc/meminfo: memFree=28274628/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1058.03 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 71588 208130 0 0 267 39 105416 81 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4090] ppid=3957 vsize=116132 CPUtime=243.67 cores=0,2,4,6
/proc/4090/stat : 4090 (glucosInc) R 3957 3956 2890 0 -1 4202496 13408 0 0 0 24358 9 0 0 20 0 1 0 376775575 118919168 23863 33554432000 4194304 5654031 140735347853088 140735347840904 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4090/statm: 29033 23863 141 357 0 28673 0
Current children cumulated CPU time (s) 1301.7
Current children cumulated vsize (KiB) 162256
[startup+1362.3 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 4134
/proc/meminfo: memFree=28278728/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1058.03 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 71588 208130 0 0 267 39 105416 81 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4090] ppid=3957 vsize=116132 CPUtime=303.65 cores=0,2,4,6
/proc/4090/stat : 4090 (glucosInc) R 3957 3956 2890 0 -1 4202496 13480 0 0 0 30355 10 0 0 20 0 1 0 376775575 118919168 23863 33554432000 4194304 5654031 140735347853088 140735347840904 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4090/statm: 29033 23863 141 357 0 28673 0
Current children cumulated CPU time (s) 1361.68
Current children cumulated vsize (KiB) 162256
[startup+1422.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 4136
/proc/meminfo: memFree=28271036/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1390.1 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 74880 222174 0 0 280 40 138597 93 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4136] ppid=3957 vsize=62612 CPUtime=31.59 cores=0,2,4,6
/proc/4136/stat : 4136 (glucosInc) R 3957 3956 2890 0 -1 4202496 11636 0 0 0 3156 3 0 0 20 0 1 0 376808788 64114688 14808 33554432000 4194304 5654031 140733833538416 140733833526232 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4136/statm: 15653 14808 141 357 0 15293 0
Current children cumulated CPU time (s) 1421.69
Current children cumulated vsize (KiB) 108736
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 4137
/proc/meminfo: memFree=28304148/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1390.1 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 74880 222174 0 0 280 40 138597 93 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4136] ppid=3957 vsize=85888 CPUtime=91.58 cores=0,2,4,6
/proc/4136/stat : 4136 (glucosInc) R 3957 3956 2890 0 -1 4202496 13282 0 0 0 9153 5 0 0 20 0 1 0 376808788 87949312 20270 33554432000 4194304 5654031 140733833538416 140733833526232 4215112 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4136/statm: 21472 20270 141 357 0 21112 0
Current children cumulated CPU time (s) 1481.68
Current children cumulated vsize (KiB) 132012
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.04 3/181 4137
/proc/meminfo: memFree=28277160/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1390.1 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 74880 222174 0 0 280 40 138597 93 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4136] ppid=3957 vsize=85888 CPUtime=151.56 cores=0,2,4,6
/proc/4136/stat : 4136 (glucosInc) R 3957 3956 2890 0 -1 4202496 14019 0 0 0 15150 6 0 0 20 0 1 0 376808788 87949312 20686 33554432000 4194304 5654031 140733833538416 140733833526232 4215091 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4136/statm: 21472 20686 141 357 0 21112 0
Current children cumulated CPU time (s) 1541.66
Current children cumulated vsize (KiB) 132012
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/182 4140
/proc/meminfo: memFree=28263628/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1390.1 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 74880 222174 0 0 280 40 138597 93 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4136] ppid=3957 vsize=85888 CPUtime=211.55 cores=0,2,4,6
/proc/4136/stat : 4136 (glucosInc) R 3957 3956 2890 0 -1 4202496 14251 0 0 0 21147 8 0 0 20 0 1 0 376808788 87949312 20686 33554432000 4194304 5654031 140733833538416 140733833526232 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/4136/statm: 21472 20686 141 357 0 21112 0
Current children cumulated CPU time (s) 1601.65
Current children cumulated vsize (KiB) 132012
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 4142
/proc/meminfo: memFree=28281376/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1629.95 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 78172 237072 0 0 292 41 162559 103 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4142] ppid=3957 vsize=62200 CPUtime=31.66 cores=0,2,4,6
/proc/4142/stat : 4142 (glucosInc) R 3957 3956 2890 0 -1 4202496 9689 0 0 0 3164 2 0 0 20 0 1 0 376832778 63692800 14748 33554432000 4194304 5654031 140736621348960 140736621336776 4208599 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4142/statm: 15550 14748 141 357 0 15190 0
Current children cumulated CPU time (s) 1661.61
Current children cumulated vsize (KiB) 108324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.02 3/181 4142
/proc/meminfo: memFree=28264548/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1629.95 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 78172 237072 0 0 292 41 162559 103 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4142] ppid=3957 vsize=85476 CPUtime=91.66 cores=0,2,4,6
/proc/4142/stat : 4142 (glucosInc) R 3957 3956 2890 0 -1 4202496 11297 0 0 0 9162 4 0 0 20 0 1 0 376832778 87527424 20418 33554432000 4194304 5654031 140736621348960 140736621336776 4232772 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4142/statm: 21369 20418 141 357 0 21009 0
Current children cumulated CPU time (s) 1721.61
Current children cumulated vsize (KiB) 131600
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 4143
/proc/meminfo: memFree=28260800/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1629.95 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 78172 237072 0 0 292 41 162559 103 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4142] ppid=3957 vsize=97732 CPUtime=151.65 cores=0,2,4,6
/proc/4142/stat : 4142 (glucosInc) R 3957 3956 2890 0 -1 4202496 12630 0 0 0 15160 5 0 0 20 0 1 0 376832778 100077568 23631 33554432000 4194304 5654031 140736621348960 140736621336776 4215898 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4142/statm: 24433 23631 141 357 0 24073 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 143856
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.7 s]
/proc/loadavg: 2.00 2.00 2.01 3/181 4143
/proc/meminfo: memFree=28191092/32873648 swapFree=7376/7376
[pid=3956] ppid=3954 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/3956/stat : 3956 (npSolver-pbo-It) S 3954 3956 2890 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 376669718 9367552 275 33554432000 4194304 5064252 140733554498176 140733554497088 213192959566 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/3956/statm: 2287 275 233 213 0 72 0
[pid=3957] ppid=3956 vsize=36976 CPUtime=1629.95 cores=0,2,4,6
/proc/3957/stat : 3957 (npSolver-pbo) S 3956 3956 2890 0 -1 4202496 78172 237072 0 0 292 41 162559 103 20 0 1 0 376669718 37863424 8083 33554432000 4194304 6004724 140735776032272 140735776018120 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/3957/statm: 9244 8083 183 442 0 8798 0
[pid=4142] ppid=3957 vsize=147052 CPUtime=170.06 cores=0,2,4,6
/proc/4142/stat : 4142 (glucosInc) R 3957 3956 2890 0 -1 4202496 12966 0 0 0 17000 6 0 0 20 0 1 0 376832778 150581248 32143 33554432000 4194304 5654031 140736621348960 140736621336776 4215353 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/4142/statm: 36763 32143 141 357 0 36403 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 193176
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.72
CPU time (s): 1800.05
CPU user time (s): 1798.53
CPU system time (s): 1.51877
CPU usage (%): 99.9627
Max. virtual memory (cumulated for all children) (KiB): 224068
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.53
system time used= 1.51877
maximum resident set size= 154380
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 328592
page faults= 0
swaps= 0
block input operations= 0
block output operations= 333672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3340
involuntary context switches= 2478
runsolver used 3.08053 second user time and 8.44172 second system time
The end