0.00/0.25 c old isEQ: 88, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.25 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.26 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.27 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.28 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.29 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 20, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.30 c old isEQ: 0, new EQ is 0
0.00/0.47 c run inc solver
0.00/0.47 c [INC SYSTEM] run initial solver
0.00/0.47 c [INC SYSTEM] preprocess with white file
6.28/6.39 c [INC SYSTEM] finished preprocessing in 5 s
6.28/6.39 c [INC SYSTEM] execute solver
6.66/6.76 c [INC SEARCH] formula is SAT
6.66/6.77 c [INC SYSTEM] solved the initial formula
6.76/6.88 c model valid
6.76/6.88 c current solution ok
7.67/7.78 o 392
7.67/7.78 c [INC SYSTEM] there exists a inc, kill it!
7.67/7.78 c write failed with 2
7.67/7.78 c [INC SEARCH] iteration: 0
7.67/7.78 c [INC BOUNDS] best value:392 search for 391
7.67/7.78 c [INC SYSTEM] create new solver instance
7.67/7.78 c [INC] encode full formula
7.67/7.78 c fallback to adder encoding
7.78/7.83 c set iterative enc to: adder
7.78/7.83 c set iterative enc to: none
7.78/7.85 c [INC SEARCH] isOptimum variable: 0
7.84/8.46 c formula is SAT
7.84/8.47 c [INC SEARCH] copied best model
7.84/8.47 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
7.88/8.59 c model valid
7.88/8.59 c current solution ok
7.88/8.59 o 386
7.88/8.59 c [INC SEARCH] iteration: 1
7.88/8.59 c [INC BOUNDS] best value:386 search for 385
7.88/8.59 c [INC SYSTEM] there exists a inc, kill it!
7.88/8.59 c write failed with 2
7.88/8.59 c [INC SYSTEM] create new solver instance
7.88/8.59 c [INC] encode full formula
7.88/8.59 c fallback to adder encoding
8.59/8.64 c set iterative enc to: adder
8.59/8.64 c set iterative enc to: none
8.59/8.66 c [INC SEARCH] isOptimum variable: 0
10.48/10.57 c formula is SAT
10.48/10.58 c [INC SEARCH] copied best model
10.73/10.87 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
10.73/10.87 c model valid
10.73/10.87 c current solution ok
10.73/10.87 o 376
10.73/10.87 c [INC SEARCH] iteration: 2
10.73/10.87 c [INC BOUNDS] best value:376 search for 375
10.73/10.87 c [INC SYSTEM] there exists a inc, kill it!
10.73/10.87 c write failed with 2
10.73/10.87 c [INC SYSTEM] create new solver instance
10.73/10.87 c [INC] encode full formula
10.73/10.87 c fallback to adder encoding
10.73/10.87 c set iterative enc to: adder
10.73/10.87 c set iterative enc to: none
10.73/11.35 c [INC SEARCH] isOptimum variable: 0
14.08/14.72 c formula is SAT
14.08/14.74 c [INC SEARCH] copied best model
14.08/14.74 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
14.19/14.86 c model valid
14.19/14.86 c current solution ok
14.19/14.86 o 374
14.19/14.86 c [INC SEARCH] iteration: 3
14.19/14.86 c [INC BOUNDS] best value:374 search for 373
14.19/14.86 c [INC SYSTEM] there exists a inc, kill it!
14.19/14.86 c write failed with 2
14.19/14.86 c [INC SYSTEM] create new solver instance
14.19/14.86 c [INC] encode full formula
14.19/14.86 c fallback to adder encoding
14.32/14.90 c set iterative enc to: adder
14.32/14.90 c set iterative enc to: none
14.32/14.93 c [INC SEARCH] isOptimum variable: 0
52.89/53.55 c formula is SAT
52.89/53.57 c [INC SEARCH] copied best model
52.89/53.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
52.98/53.68 c model valid
52.98/53.68 c current solution ok
52.98/53.68 o 372
52.98/53.68 c [INC SEARCH] iteration: 4
52.98/53.68 c [INC BOUNDS] best value:372 search for 371
52.98/53.68 c [INC SYSTEM] there exists a inc, kill it!
52.98/53.68 c write failed with 2
52.98/53.69 c [INC SYSTEM] create new solver instance
52.98/53.69 c [INC] encode full formula
52.98/53.69 c fallback to adder encoding
53.12/53.73 c set iterative enc to: adder
53.12/53.73 c set iterative enc to: none
53.12/53.75 c [INC SEARCH] isOptimum variable: 0
97.09/97.70 c formula is SAT
97.09/97.72 c [INC SEARCH] copied best model
97.09/97.72 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
97.20/97.83 c model valid
97.20/97.83 c current solution ok
97.20/97.83 o 370
97.20/97.83 c [INC SEARCH] iteration: 5
97.20/97.83 c [INC BOUNDS] best value:370 search for 369
97.20/97.83 c [INC SYSTEM] there exists a inc, kill it!
97.20/97.83 c write failed with 2
97.20/97.84 c [INC SYSTEM] create new solver instance
97.20/97.84 c [INC] encode full formula
97.40/98.01 c set iterative enc to: swc
97.40/98.05 c [INC SEARCH] isOptimum variable: 0
140.08/140.72 c formula is SAT
140.08/140.75 c [INC SEARCH] copied best model
140.08/140.75 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
140.18/140.87 c model valid
140.18/140.87 c current solution ok
140.18/140.87 o 368
140.18/140.87 c [INC SEARCH] iteration: 6
140.18/140.87 c [INC BOUNDS] best value:368 search for 367
140.18/140.87 c [INC ENCODE] setup new number of clauses ...
140.18/140.87 c [INC] encode incremental formula
140.18/140.87 c return only the limitting unit clause for 367
140.18/140.87 c [INC SYSTEM] transmit new clauses to solver: 1
140.18/140.87 c [INC SEARCH] isOptimum variable: 0
217.63/218.38 c formula is SAT
217.73/218.41 c [INC SEARCH] copied best model
217.73/218.41 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
217.83/218.53 c model valid
217.83/218.53 c current solution ok
217.83/218.53 o 366
217.83/218.53 c [INC SEARCH] iteration: 7
217.83/218.53 c [INC BOUNDS] best value:366 search for 365
217.83/218.53 c [INC ENCODE] setup new number of clauses ...
217.83/218.53 c [INC] encode incremental formula
217.83/218.53 c return only the limitting unit clause for 365
217.83/218.53 c [INC SYSTEM] transmit new clauses to solver: 1
217.83/218.53 c [INC SEARCH] isOptimum variable: 0
230.84/231.57 c formula is SAT
230.94/231.60 c [INC SEARCH] copied best model
230.94/231.60 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
231.04/231.72 c model valid
231.04/231.72 c current solution ok
231.04/231.72 o 364
231.04/231.72 c [INC SEARCH] iteration: 8
231.04/231.72 c [INC BOUNDS] best value:364 search for 363
231.04/231.72 c [INC ENCODE] setup new number of clauses ...
231.04/231.72 c [INC] encode incremental formula
231.04/231.72 c return only the limitting unit clause for 363
231.04/231.72 c [INC SYSTEM] transmit new clauses to solver: 1
231.04/231.72 c [INC SEARCH] isOptimum variable: 0
275.52/276.25 c formula is SAT
275.52/276.28 c [INC SEARCH] copied best model
275.52/276.28 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
275.73/276.40 c model valid
275.73/276.40 c current solution ok
275.73/276.40 o 362
275.73/276.40 c [INC SEARCH] iteration: 9
275.73/276.40 c [INC BOUNDS] best value:362 search for 361
275.73/276.40 c [INC ENCODE] setup new number of clauses ...
275.73/276.40 c [INC] encode incremental formula
275.73/276.40 c return only the limitting unit clause for 361
275.73/276.40 c [INC SYSTEM] transmit new clauses to solver: 1
275.73/276.40 c [INC SEARCH] isOptimum variable: 0
276.23/276.93 c formula is SAT
276.23/276.96 c [INC SEARCH] copied best model
276.23/276.96 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
276.33/277.08 c model valid
276.33/277.08 c current solution ok
276.33/277.08 o 360
276.33/277.08 c [INC SEARCH] iteration: 10
276.33/277.08 c [INC BOUNDS] best value:360 search for 359
276.33/277.08 c [INC ENCODE] setup new number of clauses ...
276.33/277.08 c [INC] encode incremental formula
276.33/277.08 c return only the limitting unit clause for 359
276.33/277.08 c [INC SYSTEM] transmit new clauses to solver: 1
276.33/277.08 c [INC SEARCH] isOptimum variable: 0
472.80/473.50 c formula is SAT
472.80/473.53 c [INC SEARCH] copied best model
472.80/473.53 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
472.90/473.65 c model valid
472.90/473.65 c current solution ok
472.90/473.65 o 354
472.90/473.65 c [INC SEARCH] iteration: 11
472.90/473.65 c [INC BOUNDS] best value:354 search for 353
472.90/473.65 c [INC ENCODE] setup new number of clauses ...
472.90/473.65 c [INC] encode incremental formula
472.90/473.65 c return only the limitting unit clause for 353
472.90/473.65 c [INC SYSTEM] transmit new clauses to solver: 1
472.90/473.65 c [INC SEARCH] isOptimum variable: 0
473.31/474.07 c formula is SAT
473.41/474.11 c [INC SEARCH] copied best model
473.41/474.11 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
473.51/474.22 c model valid
473.51/474.22 c current solution ok
473.51/474.22 o 352
473.51/474.22 c [INC SEARCH] iteration: 12
473.51/474.22 c [INC BOUNDS] best value:352 search for 351
473.51/474.22 c [INC ENCODE] setup new number of clauses ...
473.51/474.22 c [INC] encode incremental formula
473.51/474.22 c return only the limitting unit clause for 351
473.51/474.22 c [INC SYSTEM] transmit new clauses to solver: 1
473.51/474.22 c [INC SEARCH] isOptimum variable: 0
669.27/670.09 c formula is SAT
669.38/670.13 c [INC SEARCH] copied best model
669.38/670.13 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
669.48/670.24 c model valid
669.48/670.24 c current solution ok
669.48/670.24 o 350
669.48/670.24 c [INC SEARCH] iteration: 13
669.48/670.24 c [INC BOUNDS] best value:350 search for 349
669.48/670.24 c [INC ENCODE] setup new number of clauses ...
669.48/670.24 c [INC] encode incremental formula
669.48/670.24 c return only the limitting unit clause for 349
669.48/670.24 c [INC SYSTEM] transmit new clauses to solver: 1
669.48/670.24 c [INC SEARCH] isOptimum variable: 0
1540.03/1540.95 c formula is SAT
1540.03/1540.98 c [INC SEARCH] copied best model
1540.03/1540.98 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1540.14/1541.10 c model valid
1540.14/1541.10 c current solution ok
1540.14/1541.10 o 348
1540.14/1541.10 c [INC SEARCH] iteration: 14
1540.14/1541.10 c [INC BOUNDS] best value:348 search for 347
1540.14/1541.10 c [INC ENCODE] setup new number of clauses ...
1540.14/1541.10 c [INC] encode incremental formula
1540.14/1541.10 c return only the limitting unit clause for 347
1540.14/1541.10 c [INC SYSTEM] transmit new clauses to solver: 1
1540.14/1541.10 c [INC SEARCH] isOptimum variable: 0
1800.09/1801.01 HOME/npSolver-pbo-Itd.sh: line 18: 21629 Terminated ./npSolver-pbo $file $tmp -rnd_seed=$seed -useQuickBound=0 -useBinSearch=0 -useCP2=1 -useInc=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-3747144-1339099979/watcher-3747144-1339099979 -o /tmp/evaluation-result-3747144-1339099979/solver-3747144-1339099979 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747144-1339099979.opb 1295137325 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: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[startup+0.0432179 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100237 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30027 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700271 s]
/proc/loadavg: 2.00 1.97 1.68 3/175 21628
/proc/meminfo: memFree=27658512/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50042 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27367956/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=37784 CPUtime=0.47 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 9306 0 0 0 44 3 0 0 20 0 1 0 376123800 38690816 9004 33554432000 4194304 6004724 140733563700704 140733563695168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 9446 9004 164 442 0 9000 0
[pid=21633] ppid=21629 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21633/stat : 21633 (cp2_pre.sh) S 21629 21628 21457 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 376123847 9367552 277 33554432000 4194304 5064252 140734926152528 140734926151232 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21633/statm: 2287 277 234 213 0 72 0
[pid=21634] ppid=21633 vsize=154564 CPUtime=1.01 cores=1,3,5,7
/proc/21634/stat : 21634 (coprocessor) R 21633 21628 21457 0 -1 4202496 28118 0 0 0 95 6 0 0 20 0 1 0 376123847 158273536 37842 33554432000 4194304 6586260 140733354068880 140733354065144 4676458 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21634/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 210644
[startup+3.10042 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27324252/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=37784 CPUtime=0.47 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 9306 0 0 0 44 3 0 0 20 0 1 0 376123800 38690816 9004 33554432000 4194304 6004724 140733563700704 140733563695168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 9446 9004 164 442 0 9000 0
[pid=21633] ppid=21629 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21633/stat : 21633 (cp2_pre.sh) S 21629 21628 21457 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 376123847 9367552 277 33554432000 4194304 5064252 140734926152528 140734926151232 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21633/statm: 2287 277 234 213 0 72 0
[pid=21634] ppid=21633 vsize=154564 CPUtime=2.61 cores=1,3,5,7
/proc/21634/stat : 21634 (coprocessor) R 21633 21628 21457 0 -1 4202496 28118 0 0 0 255 6 0 0 20 0 1 0 376123847 158273536 37842 33554432000 4194304 6586260 140733354068880 140733354064744 5599305 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21634/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 210644
[startup+6.30031 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27323012/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=37784 CPUtime=0.47 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 9306 0 0 0 44 3 0 0 20 0 1 0 376123800 38690816 9004 33554432000 4194304 6004724 140733563700704 140733563695168 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 9446 9004 164 442 0 9000 0
[pid=21633] ppid=21629 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21633/stat : 21633 (cp2_pre.sh) S 21629 21628 21457 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 376123847 9367552 277 33554432000 4194304 5064252 140734926152528 140734926151232 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21633/statm: 2287 277 234 213 0 72 0
[pid=21634] ppid=21633 vsize=154568 CPUtime=5.81 cores=1,3,5,7
/proc/21634/stat : 21634 (coprocessor) R 21633 21628 21457 0 -1 4202496 28527 0 0 0 570 11 0 0 20 0 1 0 376123847 158277632 37860 33554432000 4194304 6586260 140733354068880 140733354064744 4557929 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/21634/statm: 38642 37860 198 584 0 38054 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 210648
[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21650
/proc/meminfo: memFree=27448704/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=41880 CPUtime=10.76 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 20569 74626 0 0 112 79 855 30 20 0 1 0 376123800 42885120 9950 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 10470 9950 182 442 0 10024 0
[pid=21650] ppid=21629 vsize=70188 CPUtime=1.33 cores=1,3,5,7
/proc/21650/stat : 21650 (glucosInc) R 21629 21628 21457 0 -1 4202496 14328 0 0 0 130 3 0 0 20 0 1 0 376124935 71872512 16172 33554432000 4194304 5654031 140733554042240 140733554030056 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21650/statm: 17547 16172 140 357 0 17187 0
Current children cumulated CPU time (s) 12.09
Current children cumulated vsize (KiB) 121216
[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21654
/proc/meminfo: memFree=27404632/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=41880 CPUtime=14.34 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 24512 90782 0 0 130 80 1188 36 20 0 1 0 376123800 42885120 9950 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 10470 9950 182 442 0 10024 0
[pid=21652] ppid=21629 vsize=100676 CPUtime=10.56 cores=1,3,5,7
/proc/21652/stat : 21652 (glucosInc) R 21629 21628 21457 0 -1 4202496 16813 0 0 0 1052 4 0 0 20 0 1 0 376125293 103092224 23213 33554432000 4194304 5654031 140735363392864 140735363390664 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 25169 23213 141 357 0 24809 0
Current children cumulated CPU time (s) 24.9
Current children cumulated vsize (KiB) 151704
[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 21658
/proc/meminfo: memFree=27410336/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=41880 CPUtime=14.34 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 24512 90782 0 0 130 80 1188 36 20 0 1 0 376123800 42885120 9950 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 10470 9950 182 442 0 10024 0
[pid=21652] ppid=21629 vsize=100676 CPUtime=36.15 cores=1,3,5,7
/proc/21652/stat : 21652 (glucosInc) R 21629 21628 21457 0 -1 4202496 16872 0 0 0 3611 4 0 0 20 0 1 0 376125293 103092224 23906 33554432000 4194304 5654031 140735363392864 140735363380680 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/21652/statm: 25169 23906 141 357 0 24809 0
Current children cumulated CPU time (s) 50.49
Current children cumulated vsize (KiB) 151704
[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.71 3/179 21664
/proc/meminfo: memFree=27327720/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=50740 CPUtime=97.45 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 33491 126470 0 0 178 84 9433 50 20 0 1 0 376123800 51957760 12264 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 12685 12264 184 442 0 12239 0
[pid=21664] ppid=21629 vsize=168360 CPUtime=4.23 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 31309 0 0 0 417 6 0 0 20 0 1 0 376133605 172400640 36940 33554432000 4194304 5654031 140734587987280 140734587985064 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21664/statm: 42090 36940 141 357 0 41730 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 228248
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/179 21665
/proc/meminfo: memFree=27286784/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=54252 CPUtime=97.63 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 37278 126470 0 0 195 85 9433 50 20 0 1 0 376123800 55554048 13143 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 13563 13143 185 442 0 13117 0
[pid=21664] ppid=21629 vsize=173208 CPUtime=64.04 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 34204 0 0 0 6395 9 0 0 20 0 1 0 376133605 177364992 38559 33554432000 4194304 5654031 140734587987280 140734587975096 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 43302 38559 152 357 0 42942 0
Current children cumulated CPU time (s) 161.67
Current children cumulated vsize (KiB) 236608
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 21667
/proc/meminfo: memFree=27232140/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=97.79 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.90 3/179 21682
/proc/meminfo: memFree=27105624/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1202.68 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 40787 0 0 0 120240 28 0 0 20 0 1 0 376133605 291450880 68098 33554432000 4194304 5654031 140734587987280 140734587975096 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 68098 152 357 0 70795 0
Current children cumulated CPU time (s) 1301.48
Current children cumulated vsize (KiB) 350524
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 21682
/proc/meminfo: memFree=27159848/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=253800 CPUtime=1262.67 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 41696 0 0 0 126236 31 0 0 20 0 1 0 376133605 259891200 57791 33554432000 4194304 5654031 140734587987280 140734587975096 4232477 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 63450 57791 152 357 0 63090 0
Current children cumulated CPU time (s) 1361.47
Current children cumulated vsize (KiB) 319704
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27123608/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1322.66 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 42287 0 0 0 132234 32 0 0 20 0 1 0 376133605 291450880 61954 33554432000 4194304 5654031 140734587987280 140734587975096 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 61954 152 357 0 70795 0
Current children cumulated CPU time (s) 1421.46
Current children cumulated vsize (KiB) 350524
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/179 21683
/proc/meminfo: memFree=27125636/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.8 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 310 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1382.65 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 42309 0 0 0 138233 32 0 0 20 0 1 0 376133605 291450880 66562 33554432000 4194304 5654031 140734587987280 140734587975096 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 66562 152 357 0 70795 0
Current children cumulated CPU time (s) 1481.45
Current children cumulated vsize (KiB) 350524
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 21683
/proc/meminfo: memFree=27205804/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=204480 CPUtime=1442.48 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43224 0 0 0 144213 35 0 0 20 0 1 0 376133605 209387520 48506 33554432000 4194304 5654031 140734587987280 140734587975096 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 51120 48506 152 357 0 50760 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 270384
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27152920/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=253800 CPUtime=1502.47 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43312 0 0 0 150211 36 0 0 20 0 1 0 376133605 259891200 58303 33554432000 4194304 5654031 140734587987280 140734587975096 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 63450 58303 152 357 0 63090 0
Current children cumulated CPU time (s) 1601.43
Current children cumulated vsize (KiB) 319704
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21686
/proc/meminfo: memFree=27138604/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1562.45 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43901 0 0 0 156208 37 0 0 20 0 1 0 376133605 291450880 62466 33554432000 4194304 5654031 140734587987280 140734587975096 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 62466 152 357 0 70795 0
Current children cumulated CPU time (s) 1661.41
Current children cumulated vsize (KiB) 350524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27118432/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=284620 CPUtime=1622.45 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 43908 0 0 0 162207 38 0 0 20 0 1 0 376133605 291450880 66050 33554432000 4194304 5654031 140734587987280 140734587975096 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 71155 66050 152 357 0 70795 0
Current children cumulated CPU time (s) 1721.41
Current children cumulated vsize (KiB) 350524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27093436/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=334708 CPUtime=1682.44 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 44739 0 0 0 168205 39 0 0 20 0 1 0 376133605 342740992 69935 33554432000 4194304 5654031 140734587987280 140734587975096 4216427 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 83677 69935 152 357 0 83317 0
Current children cumulated CPU time (s) 1781.4
Current children cumulated vsize (KiB) 400612
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21731
/proc/meminfo: memFree=27335776/32873852 swapFree=6860/6860
[pid=21628] ppid=21626 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21628/stat : 21628 (npSolver-pbo-It) S 21626 21628 21457 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376123799 9367552 274 33554432000 4194304 5064252 140733326409088 140733326408000 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/21628/statm: 2287 274 233 213 0 72 0
[pid=21629] ppid=21628 vsize=56756 CPUtime=98.96 cores=1,3,5,7
/proc/21629/stat : 21629 (npSolver-pbo) S 21628 21628 21457 0 -1 4202496 38320 126470 0 0 326 87 9433 50 20 0 1 0 376123800 58118144 13868 33554432000 4194304 6004724 140733563700704 140733563686552 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21629/statm: 14189 13868 185 442 0 13743 0
[pid=21664] ppid=21629 vsize=334708 CPUtime=1701.13 cores=1,3,5,7
/proc/21664/stat : 21664 (glucosInc) R 21629 21628 21457 0 -1 4202496 44756 0 0 0 170074 39 0 0 20 0 1 0 376133605 342740992 71471 33554432000 4194304 5654031 140734587987280 140734587975096 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/21664/statm: 83677 71471 152 357 0 83317 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 400612
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21628 and gives
# childrusage.ru_utime.tv_sec=97
# childrusage.ru_utime.tv_usec=601162
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=382789
# CPU time returned by wait4() is 98.984
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.02
CPU time (s): 1800.09
CPU user time (s): 1798.33
CPU system time (s): 1.76
CPU usage (%): 99.9486
Max. virtual memory (cumulated for all children) (KiB): 400612
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 97.6012
system time used= 1.38279
maximum resident set size= 157080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 165164
page faults= 0
swaps= 0
block input operations= 0
block output operations= 204464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 12137
involuntary context switches= 151
runsolver used 6.80896 second user time and 19.1541 second system time
The end