0.00/0.26 c old isEQ: 88, 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.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.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.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.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.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.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.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.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: 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.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.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.31 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 20, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.32 c old isEQ: 0, new EQ is 0
0.00/0.50 c run inc solver
0.00/0.50 c [INC SYSTEM] run initial solver
0.00/0.50 c [INC SYSTEM] preprocess with white file
6.18/6.20 c [INC SYSTEM] finished preprocessing in 5 s
6.18/6.20 c [INC SYSTEM] execute solver
6.47/6.54 c [INC SEARCH] formula is SAT
6.47/6.55 c [INC SYSTEM] solved the initial formula
6.57/6.68 c model valid
6.57/6.68 c current solution ok
7.57/7.64 o 87569
7.57/7.64 c [INC SYSTEM] there exists a inc, kill it!
7.57/7.64 c write failed with 2
7.57/7.64 c [INC SEARCH] iteration: 0
7.57/7.64 c [INC BOUNDS] best value:87569 search for 87568
7.57/7.64 c [INC SYSTEM] create new solver instance
7.57/7.64 c [INC] encode full formula
7.57/7.64 c fallback to adder encoding
7.68/7.73 c set iterative enc to: adder
7.68/7.73 c set iterative enc to: none
7.68/7.76 c [INC SEARCH] isOptimum variable: 0
7.75/8.58 c formula is SAT
7.75/8.59 c [INC SEARCH] copied best model
7.75/8.59 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
8.68/8.72 c model valid
8.68/8.72 c current solution ok
8.68/8.72 o 85902
8.68/8.72 c [INC SEARCH] iteration: 1
8.68/8.72 c [INC BOUNDS] best value:85902 search for 85901
8.68/8.72 c [INC SYSTEM] there exists a inc, kill it!
8.68/8.72 c write failed with 2
8.68/8.72 c [INC SYSTEM] create new solver instance
8.68/8.72 c [INC] encode full formula
8.68/8.72 c fallback to adder encoding
8.79/8.81 c set iterative enc to: adder
8.79/8.81 c set iterative enc to: none
8.79/8.84 c [INC SEARCH] isOptimum variable: 0
16.27/16.34 c formula is SAT
16.27/16.35 c [INC SEARCH] copied best model
16.27/16.35 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
16.38/16.48 c model valid
16.38/16.48 c current solution ok
16.38/16.48 o 85678
16.38/16.48 c [INC SEARCH] iteration: 2
16.38/16.48 c [INC BOUNDS] best value:85678 search for 85677
16.38/16.48 c [INC SYSTEM] there exists a inc, kill it!
16.38/16.48 c write failed with 2
16.38/16.48 c [INC SYSTEM] create new solver instance
16.38/16.48 c [INC] encode full formula
16.38/16.48 c fallback to adder encoding
16.49/16.57 c set iterative enc to: adder
16.49/16.57 c set iterative enc to: none
16.59/16.60 c [INC SEARCH] isOptimum variable: 0
32.68/32.79 c formula is SAT
32.78/32.80 c [INC SEARCH] copied best model
32.78/32.80 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
32.88/32.93 c model valid
32.88/32.93 c current solution ok
32.88/32.93 o 85609
32.88/32.93 c [INC SEARCH] iteration: 3
32.88/32.93 c [INC BOUNDS] best value:85609 search for 85608
32.88/32.93 c [INC SYSTEM] there exists a inc, kill it!
32.88/32.93 c write failed with 2
32.88/32.93 c [INC SYSTEM] create new solver instance
32.88/32.93 c [INC] encode full formula
32.88/32.93 c fallback to adder encoding
33.00/33.02 c set iterative enc to: adder
33.00/33.02 c set iterative enc to: none
33.00/33.05 c [INC SEARCH] isOptimum variable: 0
41.57/41.65 c formula is SAT
41.57/41.66 c [INC SEARCH] copied best model
41.57/41.66 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
41.68/41.79 c model valid
41.68/41.79 c current solution ok
41.68/41.79 o 84637
41.68/41.79 c [INC SEARCH] iteration: 4
41.68/41.79 c [INC BOUNDS] best value:84637 search for 84636
41.68/41.79 c [INC SYSTEM] there exists a inc, kill it!
41.68/41.79 c write failed with 2
41.68/41.79 c [INC SYSTEM] create new solver instance
41.68/41.79 c [INC] encode full formula
41.68/41.79 c fallback to adder encoding
41.79/41.88 c set iterative enc to: adder
41.79/41.88 c set iterative enc to: none
41.90/41.90 c [INC SEARCH] isOptimum variable: 0
94.06/94.15 c formula is SAT
94.06/94.17 c [INC SEARCH] copied best model
94.06/94.17 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
94.17/94.29 c model valid
94.17/94.29 c current solution ok
94.17/94.29 o 83812
94.17/94.29 c [INC SEARCH] iteration: 5
94.17/94.29 c [INC BOUNDS] best value:83812 search for 83811
94.17/94.29 c [INC SYSTEM] there exists a inc, kill it!
94.17/94.29 c write failed with 2
94.27/94.30 c [INC SYSTEM] create new solver instance
94.27/94.30 c [INC] encode full formula
94.27/94.30 c fallback to adder encoding
94.27/94.38 c set iterative enc to: adder
94.27/94.38 c set iterative enc to: none
94.36/94.41 c [INC SEARCH] isOptimum variable: 0
164.32/164.40 c formula is SAT
164.32/164.42 c [INC SEARCH] copied best model
164.32/164.42 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
164.43/164.54 c model valid
164.43/164.54 c current solution ok
164.43/164.54 o 83309
164.43/164.54 c [INC SEARCH] iteration: 6
164.43/164.54 c [INC BOUNDS] best value:83309 search for 83308
164.43/164.54 c [INC SYSTEM] there exists a inc, kill it!
164.43/164.54 c write failed with 2
164.43/164.54 c [INC SYSTEM] create new solver instance
164.43/164.54 c [INC] encode full formula
164.43/164.54 c fallback to adder encoding
164.55/164.63 c set iterative enc to: adder
164.55/164.63 c set iterative enc to: none
164.55/164.66 c [INC SEARCH] isOptimum variable: 0
449.46/449.62 c formula is SAT
449.46/449.63 c [INC SEARCH] copied best model
449.46/449.64 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
449.56/449.75 c model valid
449.56/449.75 c current solution ok
449.56/449.75 o 83008
449.56/449.75 c [INC SEARCH] iteration: 7
449.56/449.75 c [INC BOUNDS] best value:83008 search for 83007
449.56/449.75 c [INC SYSTEM] there exists a inc, kill it!
449.56/449.75 c write failed with 2
449.56/449.75 c [INC SYSTEM] create new solver instance
449.56/449.75 c [INC] encode full formula
449.56/449.75 c fallback to adder encoding
449.69/449.83 c set iterative enc to: adder
449.69/449.83 c set iterative enc to: none
449.69/449.86 c [INC SEARCH] isOptimum variable: 0
515.04/515.25 c formula is SAT
515.04/515.26 c [INC SEARCH] copied best model
515.04/515.26 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
515.17/515.38 c model valid
515.17/515.38 c current solution ok
515.17/515.38 o 82349
515.17/515.38 c [INC SEARCH] iteration: 8
515.17/515.38 c [INC BOUNDS] best value:82349 search for 82348
515.17/515.38 c [INC SYSTEM] there exists a inc, kill it!
515.17/515.38 c write failed with 2
515.17/515.39 c [INC SYSTEM] create new solver instance
515.17/515.39 c [INC] encode full formula
515.17/515.39 c fallback to adder encoding
515.28/515.47 c set iterative enc to: adder
515.28/515.47 c set iterative enc to: none
515.37/515.50 c [INC SEARCH] isOptimum variable: 0
938.58/938.89 c formula is SAT
938.67/938.90 c [INC SEARCH] copied best model
938.67/938.90 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
938.77/939.02 c model valid
938.77/939.02 c current solution ok
938.77/939.02 o 82246
938.77/939.02 c [INC SEARCH] iteration: 9
938.77/939.02 c [INC BOUNDS] best value:82246 search for 82245
938.77/939.02 c [INC SYSTEM] there exists a inc, kill it!
938.77/939.02 c write failed with 2
938.77/939.02 c [INC SYSTEM] create new solver instance
938.77/939.02 c [INC] encode full formula
938.77/939.02 c fallback to adder encoding
938.88/939.10 c set iterative enc to: adder
938.88/939.10 c set iterative enc to: none
938.88/939.13 c [INC SEARCH] isOptimum variable: 0
1800.10/1800.50 c [INC SYSTEM] an unexpexted return value has been received, exit
1800.10/1800.50 s UNKNOWN
1800.10/1800.50 c [INC SYSTEM] there exists a inc, kill it!
1800.10/1800.50 c write failed with -1
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3747148-1339099978/watcher-3747148-1339099978 -o /tmp/evaluation-result-3747148-1339099978/solver-3747148-1339099978 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747148-1339099978.opb 1295137325 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 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[startup+0.0404371 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300159 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70027 s]
/proc/loadavg: 2.00 1.97 1.68 2/169 21613
/proc/meminfo: memFree=27726048/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27410024/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=37784 CPUtime=0.5 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 9637 0 0 0 46 4 0 0 20 0 1 0 376123769 38690816 8981 33554432000 4194304 6004724 140736796630736 140736796625200 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 9446 8981 164 442 0 9000 0
[pid=21631] ppid=21614 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21631/stat : 21631 (cp2_pre.sh) S 21614 21613 21457 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376123820 9367552 277 33554432000 4194304 5064252 140733812069856 140733812068560 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21631/statm: 2287 277 234 213 0 72 0
[pid=21632] ppid=21631 vsize=154564 CPUtime=0.98 cores=0,2,4,6
/proc/21632/stat : 21632 (coprocessor) R 21631 21613 21457 0 -1 4202496 28119 0 0 0 93 5 0 0 20 0 1 0 376123820 158273536 37842 33554432000 4194304 6586260 140737079911744 140737079908072 5599186 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/21632/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 210644
[startup+3.10037 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27324252/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=37784 CPUtime=0.5 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 9637 0 0 0 46 4 0 0 20 0 1 0 376123769 38690816 8981 33554432000 4194304 6004724 140736796630736 140736796625200 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 9446 8981 164 442 0 9000 0
[pid=21631] ppid=21614 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21631/stat : 21631 (cp2_pre.sh) S 21614 21613 21457 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 376123820 9367552 277 33554432000 4194304 5064252 140733812069856 140733812068560 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/21631/statm: 2287 277 234 213 0 72 0
[pid=21632] ppid=21631 vsize=154564 CPUtime=2.58 cores=0,2,4,6
/proc/21632/stat : 21632 (coprocessor) R 21631 21613 21457 0 -1 4202496 28119 0 0 0 253 5 0 0 20 0 1 0 376123820 158273536 37842 33554432000 4194304 6586260 140737079911744 140737079907608 5599216 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/21632/statm: 38641 37842 191 584 0 38053 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 210644
[startup+6.30057 s]
/proc/loadavg: 2.00 1.97 1.68 3/181 21634
/proc/meminfo: memFree=27322268/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=37784 CPUtime=6.18 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 9653 29430 0 0 46 4 556 12 20 0 1 0 376123769 38690816 8984 33554432000 4194304 6004724 140736796630736 140736796617016 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 9446 8984 167 442 0 9000 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 46932
[startup+12.7004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21650
/proc/meminfo: memFree=27445792/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=8.82 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 18198 61028 0 0 105 88 666 23 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21646] ppid=21614 vsize=73764 CPUtime=3.85 cores=0,2,4,6
/proc/21646/stat : 21646 (glucosInc) R 21614 21613 21457 0 -1 4202496 16979 0 0 0 383 2 0 0 20 0 1 0 376124653 75534336 17206 33554432000 4194304 5654031 140733535824992 140733535812808 4232755 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21646/statm: 18441 17206 141 357 0 18081 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 138708
[startup+25.5004 s]
/proc/loadavg: 2.00 1.97 1.68 3/179 21654
/proc/meminfo: memFree=27404632/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=16.59 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 21758 79514 0 0 128 90 1413 28 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21654] ppid=21614 vsize=93560 CPUtime=8.89 cores=0,2,4,6
/proc/21654/stat : 21654 (glucosInc) R 21614 21613 21457 0 -1 4202496 17722 0 0 0 885 4 0 0 20 0 1 0 376125429 95805440 20926 33554432000 4194304 5654031 140734513650880 140734513638696 4216159 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21654/statm: 23390 20926 141 357 0 23030 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 158504
[startup+51.1003 s]
/proc/loadavg: 2.00 1.97 1.69 3/179 21658
/proc/meminfo: memFree=27412384/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=41.9 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 28876 118032 0 0 175 92 3882 41 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21658] ppid=21614 vsize=81916 CPUtime=9.18 cores=0,2,4,6
/proc/21658/stat : 21658 (glucosInc) R 21614 21613 21457 0 -1 4202496 16939 0 0 0 914 4 0 0 20 0 1 0 376127960 83881984 18879 33554432000 4194304 5654031 140735269264352 140735269262136 4216274 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21658/statm: 20479 18879 141 357 0 20119 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 146860
[startup+102.307 s]
/proc/loadavg: 2.00 1.97 1.71 3/179 21664
/proc/meminfo: memFree=27327720/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=94.38 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 32435 138171 0 0 197 94 9097 50 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21662] ppid=21614 vsize=93568 CPUtime=7.87 cores=0,2,4,6
/proc/21662/stat : 21662 (glucosInc) R 21614 21613 21457 0 -1 4202496 18858 0 0 0 782 5 0 0 20 0 1 0 376133211 95813632 21593 33554432000 4194304 5654031 140734326479792 140734326467608 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21662/statm: 23392 21593 141 357 0 23032 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 158512
[startup+162.3 s]
/proc/loadavg: 2.00 1.97 1.72 3/179 21665
/proc/meminfo: memFree=27286784/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=94.38 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 32435 138171 0 0 197 94 9097 50 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21662] ppid=21614 vsize=123916 CPUtime=67.84 cores=0,2,4,6
/proc/21662/stat : 21662 (glucosInc) R 21614 21613 21457 0 -1 4202496 20819 0 0 0 6778 6 0 0 20 0 1 0 376133211 126889984 29517 33554432000 4194304 5654031 140734326479792 140734326467608 4216461 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21662/statm: 30979 29517 141 357 0 30619 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 188860
[startup+222.3 s]
/proc/loadavg: 2.00 1.97 1.74 3/179 21667
/proc/meminfo: memFree=27232140/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=164.6 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 35994 159647 0 0 220 96 16085 59 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21667] ppid=21614 vsize=124076 CPUtime=57.62 cores=0,2,4,6
/proc/21667/stat : 21667 (glucosInc) R 21614 21613 21457 0 -1 4202496 20474 0 0 0 5755 7 0 0 20 0 1 0 376140236 127053824 28469 33554432000 4194304 5654031 140736369036064 140736369023880 4232960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21667/statm: 31019 28469 141 357 0 30659 0
Current children cumulated CPU time (s) 222.22
################
# More data... #
################
/proc/meminfo: memFree=27105996/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=181920 CPUtime=363.07 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 26508 0 0 0 36289 18 0 0 20 0 1 0 376217683 186286080 44239 33554432000 4194304 5654031 140736123531328 140736123529416 4215357 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21678/statm: 45480 44239 141 357 0 45120 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 246864
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/178 21682
/proc/meminfo: memFree=27161896/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=181920 CPUtime=423.05 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 28435 0 0 0 42284 21 0 0 20 0 1 0 376217683 186286080 41002 33554432000 4194304 5654031 140736123531328 140736123519144 4232784 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21678/statm: 45480 41002 141 357 0 45120 0
Current children cumulated CPU time (s) 1361.97
Current children cumulated vsize (KiB) 246864
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27123608/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=213588 CPUtime=483.04 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 30571 0 0 0 48280 24 0 0 20 0 1 0 376217683 218714112 45889 33554432000 4194304 5654031 140736123531328 140736123519144 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21678/statm: 53397 45889 141 357 0 53037 0
Current children cumulated CPU time (s) 1421.96
Current children cumulated vsize (KiB) 278532
[startup+1482.3 s]
/proc/loadavg: 2.08 2.02 1.91 3/179 21683
/proc/meminfo: memFree=27128180/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=543.03 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 33141 0 0 0 54275 28 0 0 20 0 1 0 376217683 187154432 40702 33554432000 4194304 5654031 140736123531328 140736123519144 4232495 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 40702 141 357 0 45332 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 247712
[startup+1542.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/179 21683
/proc/meminfo: memFree=27183740/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=163800 CPUtime=603.02 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 35166 0 0 0 60270 32 0 0 20 0 1 0 376217683 167731200 37588 33554432000 4194304 5654031 140736123531328 140736123519144 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 40950 37588 141 357 0 40590 0
Current children cumulated CPU time (s) 1541.94
Current children cumulated vsize (KiB) 228744
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 21683
/proc/meminfo: memFree=27152920/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=663.01 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 37087 0 0 0 66265 36 0 0 20 0 1 0 376217683 187154432 42238 33554432000 4194304 5654031 140736123531328 140736123519144 4232994 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 42238 141 357 0 45332 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 247712
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/180 21686
/proc/meminfo: memFree=27140652/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=723 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 39612 0 0 0 72260 40 0 0 20 0 1 0 376217683 187154432 41726 33554432000 4194304 5654031 140736123531328 140736123529416 4232794 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 41726 141 357 0 45332 0
Current children cumulated CPU time (s) 1661.92
Current children cumulated vsize (KiB) 247712
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27118432/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=182768 CPUtime=782.98 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 41536 0 0 0 78255 43 0 0 20 0 1 0 376217683 187154432 43774 33554432000 4194304 5654031 140736123531328 140736123519144 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 45692 43774 141 357 0 45332 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 247712
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27093436/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=213588 CPUtime=842.97 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 43390 0 0 0 84251 46 0 0 20 0 1 0 376217683 218714112 45377 33554432000 4194304 5654031 140736123531328 140736123519144 4232984 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 53397 45377 141 357 0 53037 0
Current children cumulated CPU time (s) 1781.89
Current children cumulated vsize (KiB) 278532
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27111788/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=163800 CPUtime=861.18 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 43648 0 0 0 86071 47 0 0 20 0 1 0 376217683 167731200 39790 33554432000 4194304 5654031 140736123531328 140736123529352 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 40950 39790 141 357 0 40590 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228744
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.00 2.00 1.91 3/179 21687
/proc/meminfo: memFree=27111788/32873852 swapFree=6860/6860
[pid=21613] ppid=21611 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21613/stat : 21613 (npSolver-pbo-It) S 21611 21613 21457 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 376123769 9367552 274 33554432000 4194304 5064252 140736703540352 140736703539264 273448330830 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/21613/statm: 2287 274 233 213 0 72 0
[pid=21614] ppid=21613 vsize=55796 CPUtime=938.92 cores=0,2,4,6
/proc/21614/stat : 21614 (npSolver-pbo) S 21613 21613 21457 0 -1 4202496 46671 226991 0 0 285 100 93408 99 20 0 1 0 376123769 57135104 13382 33554432000 4194304 6004724 140736796630736 140736796616584 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/21614/statm: 13949 13382 183 442 0 13503 0
[pid=21678] ppid=21614 vsize=163800 CPUtime=861.18 cores=0,2,4,6
/proc/21678/stat : 21678 (glucosInc) R 21614 21613 21457 0 -1 4202496 43648 0 0 0 86071 47 0 0 20 0 1 0 376217683 167731200 39790 33554432000 4194304 5654031 140736123531328 140736123529352 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21678/statm: 40950 39790 141 357 0 40590 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 228744
Child status: 0
Real time (s): 1800.51
CPU time (s): 1800.14
CPU user time (s): 1797.65
CPU system time (s): 2.48862
CPU usage (%): 99.9792
Max. virtual memory (cumulated for all children) (KiB): 308884
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.65
system time used= 2.48862
maximum resident set size= 233004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 317688
page faults= 0
swaps= 0
block input operations= 0
block output operations= 322640
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5016
involuntary context switches= 3031
runsolver used 2.68059 second user time and 7.14791 second system time
The end