0.00/0.01 c old isEQ: 11, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.01 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c old isEQ: 0, new EQ is 0
0.00/0.02 c run inc solver
0.00/0.02 c [INC SYSTEM] run initial solver
0.00/0.02 c [INC SYSTEM] preprocess with white file
0.00/0.07 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.07 c [INC SYSTEM] execute solver
0.00/0.08 c [INC SEARCH] formula is SAT
0.00/0.08 c [INC SYSTEM] solved the initial formula
0.00/0.08 c model valid
0.00/0.08 c current solution ok
0.00/0.10 o 331
0.00/0.10 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.10 c write failed with 2
0.00/0.10 c [INC SEARCH] iteration: 0
0.00/0.10 c [INC BOUNDS] best value:884 search for 883
0.00/0.10 c [INC SYSTEM] create new solver instance
0.00/0.10 c [INC] encode full formula
0.00/0.10 c fallback to adder encoding
0.00/0.14 c set iterative enc to: adder
0.00/0.14 c set iterative enc to: none
0.00/0.15 c [INC SEARCH] isOptimum variable: 0
5.85/5.90 c formula is SAT
5.85/5.90 c [INC SEARCH] copied best model
5.85/5.90 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.85/5.90 c model valid
5.85/5.90 c current solution ok
5.85/5.90 o 324
5.85/5.90 c [INC SEARCH] iteration: 1
5.85/5.90 c [INC BOUNDS] best value:877 search for 876
5.85/5.90 c [INC SYSTEM] there exists a inc, kill it!
5.85/5.90 c write failed with 2
5.85/5.90 c [INC SYSTEM] create new solver instance
5.85/5.90 c [INC] encode full formula
5.85/5.90 c fallback to adder encoding
5.85/5.95 c set iterative enc to: adder
5.85/5.95 c set iterative enc to: none
5.85/5.95 c [INC SEARCH] isOptimum variable: 0
13.46/13.59 c formula is SAT
13.46/13.59 c [INC SEARCH] copied best model
13.46/13.59 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
13.46/13.59 c model valid
13.46/13.59 c current solution ok
13.46/13.59 o 310
13.46/13.59 c [INC SEARCH] iteration: 2
13.46/13.59 c [INC BOUNDS] best value:863 search for 862
13.46/13.59 c [INC SYSTEM] there exists a inc, kill it!
13.46/13.59 c write failed with 2
13.55/13.60 c [INC SYSTEM] create new solver instance
13.55/13.60 c [INC] encode full formula
13.55/13.60 c fallback to adder encoding
13.55/13.64 c set iterative enc to: adder
13.55/13.64 c set iterative enc to: none
13.55/13.65 c [INC SEARCH] isOptimum variable: 0
17.56/17.62 c formula is SAT
17.56/17.62 c [INC SEARCH] copied best model
17.56/17.62 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
17.56/17.62 c model valid
17.56/17.62 c current solution ok
17.56/17.62 o 249
17.56/17.62 c [INC SEARCH] iteration: 3
17.56/17.62 c [INC BOUNDS] best value:802 search for 801
17.56/17.62 c [INC SYSTEM] there exists a inc, kill it!
17.56/17.62 c write failed with 2
17.56/17.62 c [INC SYSTEM] create new solver instance
17.56/17.62 c [INC] encode full formula
17.56/17.62 c fallback to adder encoding
17.56/17.67 c set iterative enc to: adder
17.56/17.67 c set iterative enc to: none
17.56/17.67 c [INC SEARCH] isOptimum variable: 0
45.13/45.20 c formula is SAT
45.13/45.20 c [INC SEARCH] copied best model
45.13/45.20 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
45.13/45.20 c model valid
45.13/45.20 c current solution ok
45.13/45.20 o 242
45.13/45.20 c [INC SEARCH] iteration: 4
45.13/45.20 c [INC BOUNDS] best value:795 search for 794
45.13/45.20 c [INC SYSTEM] there exists a inc, kill it!
45.13/45.20 c write failed with 2
45.13/45.20 c [INC SYSTEM] create new solver instance
45.13/45.20 c [INC] encode full formula
45.13/45.20 c fallback to adder encoding
45.13/45.25 c set iterative enc to: adder
45.13/45.25 c set iterative enc to: none
45.13/45.26 c [INC SEARCH] isOptimum variable: 0
74.22/74.39 c formula is SAT
74.22/74.39 c [INC SEARCH] copied best model
74.22/74.39 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
74.22/74.39 c model valid
74.22/74.39 c current solution ok
74.22/74.39 o 241
74.22/74.39 c [INC SEARCH] iteration: 5
74.22/74.39 c [INC BOUNDS] best value:794 search for 793
74.22/74.39 c [INC SYSTEM] there exists a inc, kill it!
74.22/74.39 c write failed with 2
74.22/74.39 c [INC SYSTEM] create new solver instance
74.22/74.39 c [INC] encode full formula
74.22/74.39 c fallback to adder encoding
74.34/74.44 c set iterative enc to: adder
74.34/74.44 c set iterative enc to: none
74.34/74.45 c [INC SEARCH] isOptimum variable: 0
98.41/98.56 c formula is SAT
98.41/98.57 c [INC SEARCH] copied best model
98.41/98.57 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
98.41/98.57 c model valid
98.41/98.57 c current solution ok
98.41/98.57 o 227
98.41/98.57 c [INC SEARCH] iteration: 6
98.41/98.57 c [INC BOUNDS] best value:780 search for 779
98.41/98.57 c [INC SYSTEM] there exists a inc, kill it!
98.41/98.57 c write failed with 2
98.41/98.57 c [INC SYSTEM] create new solver instance
98.41/98.57 c [INC] encode full formula
98.41/98.57 c fallback to adder encoding
98.52/98.62 c set iterative enc to: adder
98.52/98.62 c set iterative enc to: none
98.52/98.62 c [INC SEARCH] isOptimum variable: 0
208.36/208.58 c formula is SAT
208.36/208.58 c [INC SEARCH] copied best model
208.36/208.58 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
208.36/208.58 c model valid
208.36/208.58 c current solution ok
208.36/208.58 o 210
208.36/208.58 c [INC SEARCH] iteration: 7
208.36/208.58 c [INC BOUNDS] best value:763 search for 762
208.36/208.58 c [INC SYSTEM] there exists a inc, kill it!
208.36/208.58 c write failed with 2
208.36/208.59 c [INC SYSTEM] create new solver instance
208.36/208.59 c [INC] encode full formula
208.36/208.59 c fallback to adder encoding
208.48/208.63 c set iterative enc to: adder
208.48/208.63 c set iterative enc to: none
208.48/208.64 c [INC SEARCH] isOptimum variable: 0
270.94/271.18 c formula is SAT
270.94/271.18 c [INC SEARCH] copied best model
270.94/271.18 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
270.94/271.18 c model valid
270.94/271.18 c current solution ok
270.94/271.18 o 202
270.94/271.18 c [INC SEARCH] iteration: 8
270.94/271.18 c [INC BOUNDS] best value:755 search for 754
270.94/271.18 c [INC SYSTEM] there exists a inc, kill it!
270.94/271.18 c write failed with 2
270.94/271.18 c [INC SYSTEM] create new solver instance
270.94/271.18 c [INC] encode full formula
270.94/271.18 c fallback to adder encoding
271.06/271.22 c set iterative enc to: adder
271.06/271.22 c set iterative enc to: none
271.06/271.23 c [INC SEARCH] isOptimum variable: 0
344.42/344.67 c formula is SAT
344.42/344.67 c [INC SEARCH] copied best model
344.42/344.67 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
344.42/344.67 c model valid
344.42/344.67 c current solution ok
344.42/344.67 o 188
344.42/344.67 c [INC SEARCH] iteration: 9
344.42/344.67 c [INC BOUNDS] best value:741 search for 740
344.42/344.67 c [INC SYSTEM] there exists a inc, kill it!
344.42/344.67 c write failed with 2
344.42/344.67 c [INC SYSTEM] create new solver instance
344.42/344.67 c [INC] encode full formula
344.42/344.67 c fallback to adder encoding
344.52/344.72 c set iterative enc to: adder
344.52/344.72 c set iterative enc to: none
344.52/344.73 c [INC SEARCH] isOptimum variable: 0
489.67/489.92 c formula is SAT
489.67/489.92 c [INC SEARCH] copied best model
489.67/489.92 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
489.67/489.92 c model valid
489.67/489.92 c current solution ok
489.67/489.92 o 135
489.67/489.92 c [INC SEARCH] iteration: 10
489.67/489.92 c [INC BOUNDS] best value:688 search for 687
489.67/489.92 c [INC SYSTEM] there exists a inc, kill it!
489.67/489.92 c write failed with 2
489.67/489.92 c [INC SYSTEM] create new solver instance
489.67/489.92 c [INC] encode full formula
489.67/489.92 c fallback to adder encoding
489.67/489.97 c set iterative enc to: adder
489.67/489.97 c set iterative enc to: none
489.67/489.98 c [INC SEARCH] isOptimum variable: 0
1800.03/1800.51 HOME/npSolver-pbo-Itd.sh: line 18: 15648 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-3747243-1339100007/watcher-3747243-1339100007 -o /tmp/evaluation-result-3747243-1339100007/solver-3747243-1339100007 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747243-1339100007.opb 829369486 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[startup+0.051602 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100288 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300151 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700122 s]
/proc/loadavg: 1.92 1.97 1.68 3/178 15647
/proc/meminfo: memFree=29489368/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 1.92 1.97 1.68 3/181 15656
/proc/meminfo: memFree=29460684/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11276 CPUtime=0.12 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 3633 3892 0 0 6 2 4 0 20 0 1 0 376129324 11546624 2157 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2819 2157 182 442 0 2373 0
[pid=15656] ppid=15648 vsize=14176 CPUtime=1.33 cores=0,2,4,6
/proc/15656/stat : 15656 (glucosInc) R 15648 15647 15254 0 -1 4202496 3988 0 0 0 133 0 0 0 20 0 1 0 376129340 14516224 3089 33554432000 4194304 5654031 140735078640496 140735078628312 4215091 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15656/statm: 3544 3089 141 357 0 3184 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 34600
[startup+3.1003 s]
/proc/loadavg: 1.92 1.97 1.68 3/181 15656
/proc/meminfo: memFree=29453984/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11276 CPUtime=0.12 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 3633 3892 0 0 6 2 4 0 20 0 1 0 376129324 11546624 2157 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2819 2157 182 442 0 2373 0
[pid=15656] ppid=15648 vsize=21580 CPUtime=2.93 cores=0,2,4,6
/proc/15656/stat : 15656 (glucosInc) R 15648 15647 15254 0 -1 4202496 5249 0 0 0 292 1 0 0 20 0 1 0 376129340 22097920 4763 33554432000 4194304 5654031 140735078640496 140735078628312 4214494 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15656/statm: 5395 4763 141 357 0 5035 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 42004
[startup+6.30018 s]
/proc/loadavg: 1.93 1.97 1.68 3/181 15656
/proc/meminfo: memFree=29439636/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=5.93 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 5845 10476 0 0 11 3 577 2 20 0 1 0 376129324 11796480 2219 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2219 182 442 0 2434 0
Current children cumulated CPU time (s) 5.93
Current children cumulated vsize (KiB) 20668
[startup+12.7003 s]
/proc/loadavg: 1.93 1.97 1.68 3/181 15658
/proc/meminfo: memFree=29754512/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=5.93 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 5845 10476 0 0 11 3 577 2 20 0 1 0 376129324 11796480 2219 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2219 182 442 0 2434 0
[pid=15658] ppid=15648 vsize=26044 CPUtime=6.73 cores=0,2,4,6
/proc/15658/stat : 15658 (glucosInc) R 15648 15647 15254 0 -1 4202496 5491 0 0 0 673 0 0 0 20 0 1 0 376129920 26669056 6047 33554432000 4194304 5654031 140734027835920 140734027823736 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15658/statm: 6511 6047 141 357 0 6151 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 46712
[startup+25.5004 s]
/proc/loadavg: 1.87 1.95 1.68 2/174 15687
/proc/meminfo: memFree=30329320/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=17.64 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 10268 22375 0 0 21 4 1735 4 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15662] ppid=15648 vsize=25992 CPUtime=7.8 cores=0,2,4,6
/proc/15662/stat : 15662 (glucosInc) R 15648 15647 15254 0 -1 4202496 5123 0 0 0 779 1 0 0 20 0 1 0 376131092 26615808 6045 33554432000 4194304 5654031 140735689598352 140735689586168 4219849 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15662/statm: 6498 6045 141 357 0 6138 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 46660
[startup+51.1004 s]
/proc/loadavg: 1.97 1.97 1.70 3/181 15721
/proc/meminfo: memFree=30222708/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=45.2 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 12479 30021 0 0 26 4 4483 7 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15721] ppid=15648 vsize=25960 CPUtime=5.82 cores=0,2,4,6
/proc/15721/stat : 15721 (glucosInc) R 15648 15647 15254 0 -1 4202496 6103 0 0 0 582 0 0 0 20 0 1 0 376133850 26583040 6027 33554432000 4194304 5654031 140737188588400 140737188576216 4232403 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15721/statm: 6490 6027 141 357 0 6130 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 46628
[startup+102.306 s]
/proc/loadavg: 2.03 1.99 1.72 3/181 15731
/proc/meminfo: memFree=30209856/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=98.54 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 16901 45521 0 0 36 5 9802 11 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15731] ppid=15648 vsize=21572 CPUtime=3.66 cores=0,2,4,6
/proc/15731/stat : 15731 (glucosInc) R 15648 15647 15254 0 -1 4202496 5562 0 0 0 365 1 0 0 20 0 1 0 376139187 22089728 4838 33554432000 4194304 5654031 140735979173968 140735979161784 4209211 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15731/statm: 5393 4838 141 357 0 5033 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 42240
[startup+162.3 s]
/proc/loadavg: 2.13 2.02 1.74 3/181 15736
/proc/meminfo: memFree=30202132/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=98.54 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 16901 45521 0 0 36 5 9802 11 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15731] ppid=15648 vsize=71160 CPUtime=63.64 cores=0,2,4,6
/proc/15731/stat : 15731 (glucosInc) R 15648 15647 15254 0 -1 4202496 9367 0 0 0 6360 4 0 0 20 0 1 0 376139187 72867840 11996 33554432000 4194304 5654031 140735979173968 140735979161784 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15731/statm: 17790 11996 141 357 0 17430 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 91828
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.75 3/181 15738
/proc/meminfo: memFree=30186624/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=208.52 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 19112 56868 0 0 41 6 20788 17 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15738] ppid=15648 vsize=40556 CPUtime=13.64 cores=0,2,4,6
/proc/15738/stat : 15738 (glucosInc) R 15648 15647 15254 0 -1 4202496 6022 0 0 0 1363 1 0 0 20 0 1 0 376150188 41529344 7865 33554432000 4194304 5654031 140734878324672 140734878312488 4215188 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/15738/statm: 10139 7865 141 357 0 9779 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 61224
[startup+282.3 s]
/proc/loadavg: 2.07 2.02 1.77 3/181 15742
/proc/meminfo: memFree=30205616/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.06 2.03 1.92 3/181 15756
/proc/meminfo: memFree=29977144/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=872.15 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 27368 0 0 0 87176 39 0 0 20 0 1 0 376178322 167931904 37761 33554432000 4194304 5654031 140737381082352 140737381070168 4232830 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 37761 141 357 0 40639 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 184664
[startup+1422.31 s]
/proc/loadavg: 2.07 2.04 1.93 3/181 15756
/proc/meminfo: memFree=29997520/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=932.14 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 28592 0 0 0 93173 41 0 0 20 0 1 0 376178322 167931904 39297 33554432000 4194304 5654031 140737381082352 140737381070168 4233036 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 39297 141 357 0 40639 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 184664
[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 1.93 3/181 15756
/proc/meminfo: memFree=29982240/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=992.13 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 29819 0 0 0 99169 44 0 0 20 0 1 0 376178322 167931904 40321 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 40321 141 357 0 40639 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 184664
[startup+1542.3 s]
/proc/loadavg: 2.08 2.05 1.94 3/181 15756
/proc/meminfo: memFree=29978336/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1052.11 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 31360 0 0 0 105164 47 0 0 20 0 1 0 376178322 219222016 41134 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 41134 141 357 0 53161 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 234752
[startup+1602.3 s]
/proc/loadavg: 2.13 2.07 1.95 3/182 15759
/proc/meminfo: memFree=29940708/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1112.1 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 32586 0 0 0 111160 50 0 0 20 0 1 0 376178322 219222016 41646 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 41646 141 357 0 53161 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 234752
[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/181 15760
/proc/meminfo: memFree=29938812/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1172.09 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 33815 0 0 0 117156 53 0 0 20 0 1 0 376178322 219222016 41646 33554432000 4194304 5654031 140737381082352 140737381070168 4232963 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 41646 141 357 0 53161 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 234752
[startup+1722.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/181 15760
/proc/meminfo: memFree=29944648/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1232.08 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 34969 0 0 0 123152 56 0 0 20 0 1 0 376178322 219222016 40548 33554432000 4194304 5654031 140737381082352 140737381070168 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 40548 141 357 0 53161 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 234752
[startup+1782.3 s]
/proc/loadavg: 2.07 2.06 1.96 3/181 15760
/proc/meminfo: memFree=29956816/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=163996 CPUtime=1292.07 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 35970 0 0 0 129149 58 0 0 20 0 1 0 376178322 167931904 38273 33554432000 4194304 5654031 140737381082352 140737381070168 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 40999 38273 141 357 0 40639 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 184664
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 1.96 3/181 15760
/proc/meminfo: memFree=29928456/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1310.27 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 36280 0 0 0 130969 58 0 0 20 0 1 0 376178322 219222016 42670 33554432000 4194304 5654031 140737381082352 140737381070168 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 42670 141 357 0 53161 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 234752
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.05 2.05 1.96 3/181 15760
/proc/meminfo: memFree=29928456/32873844 swapFree=7116/7116
[pid=15647] ppid=15645 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/15647/stat : 15647 (npSolver-pbo-It) S 15645 15647 15254 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 376129324 9367552 275 33554432000 4194304 5064252 140733649375712 140733649374624 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/15647/statm: 2287 275 233 213 0 72 0
[pid=15648] ppid=15647 vsize=11520 CPUtime=489.76 cores=0,2,4,6
/proc/15648/stat : 15648 (npSolver-pbo) S 15647 15647 15254 0 -1 4202496 25745 87834 0 0 56 7 48880 33 20 0 1 0 376129324 11796480 2220 33554432000 4194304 6004724 140734245530352 140734245516200 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/15648/statm: 2880 2220 183 442 0 2434 0
[pid=15750] ppid=15648 vsize=214084 CPUtime=1310.27 cores=0,2,4,6
/proc/15750/stat : 15750 (glucosInc) R 15648 15647 15254 0 -1 4202496 36280 0 0 0 130969 58 0 0 20 0 1 0 376178322 219222016 42670 33554432000 4194304 5654031 140737381082352 140737381070168 4215344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/15750/statm: 53521 42670 141 357 0 53161 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 234752
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15647 and gives
# childrusage.ru_utime.tv_sec=489
# childrusage.ru_utime.tv_usec=370604
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=411937
# CPU time returned by wait4() is 489.783
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.03
CPU user time (s): 1799.05
CPU system time (s): 0.98
CPU usage (%): 99.9732
Max. virtual memory (cumulated for all children) (KiB): 314892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 489.371
system time used= 0.411937
maximum resident set size= 122056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 64056
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 487
involuntary context switches= 1313
runsolver used 6.96894 second user time and 17.8653 second system time
The end