0.00/0.00 c run inc solver
0.00/0.00 c [INC SYSTEM] run initial solver
0.00/0.00 c [INC SYSTEM] preprocess with white file
0.00/0.01 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.01 c [INC SYSTEM] execute solver
0.00/0.01 c [INC SEARCH] formula is SAT
0.00/0.01 c [INC SYSTEM] solved the initial formula
0.00/0.01 c model valid
0.00/0.01 c current solution ok
0.00/0.01 o 12511
0.00/0.01 c starting approximation
0.00/0.01 c factor = 204
0.00/0.01 c current bound: 6255
0.00/0.27 c leaving approximation
0.00/0.27 c finished approximation
0.00/0.27 c [INC SYSTEM] there exists a inc, kill it!
0.00/0.27 c write failed with 2
0.00/0.27 c [INC SEARCH] iteration: 0
0.00/0.27 c [INC BOUNDS] best value:12511 search for 12510
0.00/0.27 c [INC SYSTEM] create new solver instance
0.00/0.27 c [INC] encode full formula
0.00/0.27 c fallback to adder encoding
0.00/0.29 c set iterative enc to: adder
0.00/0.29 c set iterative enc to: none
0.00/0.30 c [INC SEARCH] isOptimum variable: 0
1.96/2.04 c formula is SAT
1.96/2.04 c [INC SEARCH] copied best model
1.96/2.04 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
1.96/2.04 c model valid
1.96/2.04 c current solution ok
1.96/2.04 o 12424
1.96/2.04 c [INC SEARCH] iteration: 1
1.96/2.04 c [INC BOUNDS] best value:12424 search for 12423
1.96/2.04 c [INC SYSTEM] there exists a inc, kill it!
1.96/2.04 c write failed with 2
1.96/2.04 c [INC SYSTEM] create new solver instance
1.96/2.04 c [INC] encode full formula
1.96/2.04 c fallback to adder encoding
1.96/2.06 c set iterative enc to: adder
1.96/2.06 c set iterative enc to: none
1.96/2.06 c [INC SEARCH] isOptimum variable: 0
2.95/3.05 c formula is SAT
2.95/3.05 c [INC SEARCH] copied best model
2.95/3.05 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
2.95/3.05 c model valid
2.95/3.05 c current solution ok
2.95/3.05 o 12399
2.95/3.05 c [INC SEARCH] iteration: 2
2.95/3.05 c [INC BOUNDS] best value:12399 search for 12398
2.95/3.05 c [INC SYSTEM] there exists a inc, kill it!
2.95/3.05 c write failed with 2
2.95/3.05 c [INC SYSTEM] create new solver instance
2.95/3.05 c [INC] encode full formula
2.95/3.05 c fallback to adder encoding
2.95/3.07 c set iterative enc to: adder
2.95/3.07 c set iterative enc to: none
2.95/3.08 c [INC SEARCH] isOptimum variable: 0
3.96/4.00 c formula is SAT
3.96/4.00 c [INC SEARCH] copied best model
3.96/4.00 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
3.96/4.00 c model valid
3.96/4.00 c current solution ok
3.96/4.00 o 12223
3.96/4.00 c [INC SEARCH] iteration: 3
3.96/4.00 c [INC BOUNDS] best value:12223 search for 12222
3.96/4.00 c [INC SYSTEM] there exists a inc, kill it!
3.96/4.00 c write failed with 2
3.96/4.00 c [INC SYSTEM] create new solver instance
3.96/4.00 c [INC] encode full formula
3.96/4.00 c fallback to adder encoding
3.96/4.02 c set iterative enc to: adder
3.96/4.02 c set iterative enc to: none
3.96/4.02 c [INC SEARCH] isOptimum variable: 0
5.06/5.19 c formula is SAT
5.06/5.19 c [INC SEARCH] copied best model
5.06/5.19 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
5.06/5.19 c model valid
5.06/5.19 c current solution ok
5.06/5.19 o 10174
5.06/5.19 c [INC SEARCH] iteration: 4
5.06/5.19 c [INC BOUNDS] best value:10174 search for 10173
5.06/5.19 c [INC SYSTEM] there exists a inc, kill it!
5.06/5.19 c write failed with 2
5.06/5.19 c [INC SYSTEM] create new solver instance
5.06/5.19 c [INC] encode full formula
5.06/5.19 c fallback to adder encoding
5.17/5.21 c set iterative enc to: adder
5.17/5.21 c set iterative enc to: none
5.17/5.21 c [INC SEARCH] isOptimum variable: 0
6.26/6.38 c formula is SAT
6.26/6.38 c [INC SEARCH] copied best model
6.26/6.38 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
6.26/6.38 c model valid
6.26/6.38 c current solution ok
6.26/6.38 o 10013
6.26/6.38 c [INC SEARCH] iteration: 5
6.26/6.38 c [INC BOUNDS] best value:10013 search for 10012
6.26/6.38 c [INC SYSTEM] there exists a inc, kill it!
6.26/6.38 c write failed with 2
6.26/6.38 c [INC SYSTEM] create new solver instance
6.26/6.38 c [INC] encode full formula
6.26/6.38 c fallback to adder encoding
6.36/6.40 c set iterative enc to: adder
6.36/6.40 c set iterative enc to: none
6.36/6.40 c [INC SEARCH] isOptimum variable: 0
10.25/10.37 c formula is SAT
10.25/10.37 c [INC SEARCH] copied best model
10.25/10.37 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
10.25/10.37 c model valid
10.25/10.37 c current solution ok
10.25/10.37 o 9785
10.25/10.37 c [INC SEARCH] iteration: 6
10.25/10.37 c [INC BOUNDS] best value:9785 search for 9784
10.25/10.37 c [INC SYSTEM] there exists a inc, kill it!
10.25/10.37 c write failed with 2
10.25/10.37 c [INC SYSTEM] create new solver instance
10.25/10.37 c [INC] encode full formula
10.25/10.37 c fallback to adder encoding
10.25/10.39 c set iterative enc to: adder
10.25/10.39 c set iterative enc to: none
10.25/10.39 c [INC SEARCH] isOptimum variable: 0
14.86/14.95 c formula is SAT
14.86/14.95 c [INC SEARCH] copied best model
14.86/14.95 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
14.86/14.95 c model valid
14.86/14.95 c current solution ok
14.86/14.95 o 9784
14.86/14.95 c [INC SEARCH] iteration: 7
14.86/14.95 c [INC BOUNDS] best value:9784 search for 9783
14.86/14.95 c [INC SYSTEM] there exists a inc, kill it!
14.86/14.95 c write failed with 2
14.86/14.95 c [INC SYSTEM] create new solver instance
14.86/14.95 c [INC] encode full formula
14.86/14.95 c fallback to adder encoding
14.86/14.97 c set iterative enc to: adder
14.86/14.97 c set iterative enc to: none
14.86/14.97 c [INC SEARCH] isOptimum variable: 0
18.75/18.86 c formula is SAT
18.75/18.86 c [INC SEARCH] copied best model
18.75/18.86 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
18.75/18.86 c model valid
18.75/18.86 c current solution ok
18.75/18.86 o 9771
18.75/18.86 c [INC SEARCH] iteration: 8
18.75/18.86 c [INC BOUNDS] best value:9771 search for 9770
18.75/18.86 c [INC SYSTEM] there exists a inc, kill it!
18.75/18.86 c write failed with 2
18.75/18.86 c [INC SYSTEM] create new solver instance
18.75/18.86 c [INC] encode full formula
18.75/18.86 c fallback to adder encoding
18.75/18.88 c set iterative enc to: adder
18.75/18.88 c set iterative enc to: none
18.75/18.88 c [INC SEARCH] isOptimum variable: 0
25.64/25.76 c formula is SAT
25.64/25.76 c [INC SEARCH] copied best model
25.64/25.76 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
25.64/25.76 c model valid
25.64/25.76 c current solution ok
25.64/25.76 o 9748
25.64/25.76 c [INC SEARCH] iteration: 9
25.64/25.76 c [INC BOUNDS] best value:9748 search for 9747
25.64/25.76 c [INC SYSTEM] there exists a inc, kill it!
25.64/25.76 c write failed with 2
25.64/25.77 c [INC SYSTEM] create new solver instance
25.64/25.77 c [INC] encode full formula
25.64/25.77 c fallback to adder encoding
25.64/25.78 c set iterative enc to: adder
25.64/25.78 c set iterative enc to: none
25.64/25.79 c [INC SEARCH] isOptimum variable: 0
30.15/30.24 c formula is SAT
30.15/30.24 c [INC SEARCH] copied best model
30.15/30.24 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
30.15/30.24 c model valid
30.15/30.24 c current solution ok
30.15/30.24 o 9562
30.15/30.24 c [INC SEARCH] iteration: 10
30.15/30.24 c [INC BOUNDS] best value:9562 search for 9561
30.15/30.24 c [INC SYSTEM] there exists a inc, kill it!
30.15/30.24 c write failed with 2
30.15/30.24 c [INC SYSTEM] create new solver instance
30.15/30.24 c [INC] encode full formula
30.15/30.24 c fallback to adder encoding
30.15/30.26 c set iterative enc to: adder
30.15/30.26 c set iterative enc to: none
30.15/30.26 c [INC SEARCH] isOptimum variable: 0
32.04/32.17 c formula is SAT
32.04/32.17 c [INC SEARCH] copied best model
32.04/32.17 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
32.04/32.17 c model valid
32.04/32.17 c current solution ok
32.04/32.17 o 9470
32.04/32.17 c [INC SEARCH] iteration: 11
32.04/32.17 c [INC BOUNDS] best value:9470 search for 9469
32.04/32.17 c [INC SYSTEM] there exists a inc, kill it!
32.04/32.17 c write failed with 2
32.04/32.17 c [INC SYSTEM] create new solver instance
32.04/32.17 c [INC] encode full formula
32.04/32.17 c fallback to adder encoding
32.04/32.19 c set iterative enc to: adder
32.04/32.19 c set iterative enc to: none
32.15/32.20 c [INC SEARCH] isOptimum variable: 0
35.73/35.82 c formula is SAT
35.73/35.82 c [INC SEARCH] copied best model
35.73/35.82 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
35.73/35.82 c model valid
35.73/35.82 c current solution ok
35.73/35.82 o 9385
35.73/35.82 c [INC SEARCH] iteration: 12
35.73/35.82 c [INC BOUNDS] best value:9385 search for 9384
35.73/35.82 c [INC SYSTEM] there exists a inc, kill it!
35.73/35.82 c write failed with 2
35.73/35.82 c [INC SYSTEM] create new solver instance
35.73/35.82 c [INC] encode full formula
35.73/35.82 c fallback to adder encoding
35.73/35.84 c set iterative enc to: adder
35.73/35.84 c set iterative enc to: none
35.73/35.84 c [INC SEARCH] isOptimum variable: 0
40.14/40.21 c formula is SAT
40.14/40.21 c [INC SEARCH] copied best model
40.14/40.21 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
40.14/40.21 c model valid
40.14/40.21 c current solution ok
40.14/40.21 o 9381
40.14/40.21 c [INC SEARCH] iteration: 13
40.14/40.21 c [INC BOUNDS] best value:9381 search for 9380
40.14/40.21 c [INC SYSTEM] there exists a inc, kill it!
40.14/40.21 c write failed with 2
40.14/40.21 c [INC SYSTEM] create new solver instance
40.14/40.21 c [INC] encode full formula
40.14/40.21 c fallback to adder encoding
40.14/40.23 c set iterative enc to: adder
40.14/40.23 c set iterative enc to: none
40.14/40.23 c [INC SEARCH] isOptimum variable: 0
46.44/46.59 c formula is SAT
46.44/46.59 c [INC SEARCH] copied best model
46.44/46.59 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
46.44/46.59 c model valid
46.44/46.59 c current solution ok
46.44/46.59 o 9373
46.44/46.59 c [INC SEARCH] iteration: 14
46.44/46.59 c [INC BOUNDS] best value:9373 search for 9372
46.44/46.59 c [INC SYSTEM] there exists a inc, kill it!
46.44/46.59 c write failed with 2
46.44/46.59 c [INC SYSTEM] create new solver instance
46.44/46.59 c [INC] encode full formula
46.44/46.59 c fallback to adder encoding
46.55/46.61 c set iterative enc to: adder
46.55/46.61 c set iterative enc to: none
46.55/46.61 c [INC SEARCH] isOptimum variable: 0
51.34/51.42 c formula is SAT
51.34/51.42 c [INC SEARCH] copied best model
51.34/51.42 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
51.34/51.42 c model valid
51.34/51.42 c current solution ok
51.34/51.42 o 9358
51.34/51.42 c [INC SEARCH] iteration: 15
51.34/51.42 c [INC BOUNDS] best value:9358 search for 9357
51.34/51.42 c [INC SYSTEM] there exists a inc, kill it!
51.34/51.42 c write failed with 2
51.34/51.42 c [INC SYSTEM] create new solver instance
51.34/51.42 c [INC] encode full formula
51.34/51.42 c fallback to adder encoding
51.34/51.43 c set iterative enc to: adder
51.34/51.43 c set iterative enc to: none
51.34/51.44 c [INC SEARCH] isOptimum variable: 0
55.23/55.36 c formula is SAT
55.23/55.36 c [INC SEARCH] copied best model
55.23/55.36 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
55.23/55.36 c model valid
55.23/55.36 c current solution ok
55.23/55.36 o 9354
55.23/55.36 c [INC SEARCH] iteration: 16
55.23/55.36 c [INC BOUNDS] best value:9354 search for 9353
55.23/55.36 c [INC SYSTEM] there exists a inc, kill it!
55.23/55.36 c write failed with 2
55.23/55.36 c [INC SYSTEM] create new solver instance
55.23/55.36 c [INC] encode full formula
55.23/55.36 c fallback to adder encoding
55.23/55.38 c set iterative enc to: adder
55.23/55.38 c set iterative enc to: none
55.23/55.39 c [INC SEARCH] isOptimum variable: 0
56.93/57.07 c formula is SAT
56.93/57.07 c [INC SEARCH] copied best model
56.93/57.07 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
56.93/57.07 c model valid
56.93/57.07 c current solution ok
56.93/57.07 o 9332
56.93/57.07 c [INC SEARCH] iteration: 17
56.93/57.07 c [INC BOUNDS] best value:9332 search for 9331
56.93/57.07 c [INC SYSTEM] there exists a inc, kill it!
56.93/57.07 c write failed with 2
56.93/57.07 c [INC SYSTEM] create new solver instance
56.93/57.07 c [INC] encode full formula
56.93/57.07 c fallback to adder encoding
56.93/57.09 c set iterative enc to: adder
56.93/57.09 c set iterative enc to: none
56.93/57.10 c [INC SEARCH] isOptimum variable: 0
67.94/68.01 c formula is SAT
67.94/68.01 c [INC SEARCH] copied best model
67.94/68.01 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
67.94/68.01 c model valid
67.94/68.01 c current solution ok
67.94/68.01 o 9313
67.94/68.01 c [INC SEARCH] iteration: 18
67.94/68.01 c [INC BOUNDS] best value:9313 search for 9312
67.94/68.01 c [INC SYSTEM] there exists a inc, kill it!
67.94/68.01 c write failed with 2
67.94/68.01 c [INC SYSTEM] create new solver instance
67.94/68.01 c [INC] encode full formula
67.94/68.01 c fallback to adder encoding
67.94/68.03 c set iterative enc to: adder
67.94/68.03 c set iterative enc to: none
67.94/68.04 c [INC SEARCH] isOptimum variable: 0
69.15/69.20 c formula is SAT
69.15/69.20 c [INC SEARCH] copied best model
69.15/69.20 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
69.15/69.20 c model valid
69.15/69.20 c current solution ok
69.15/69.20 o 9305
69.15/69.20 c [INC SEARCH] iteration: 19
69.15/69.20 c [INC BOUNDS] best value:9305 search for 9304
69.15/69.20 c [INC SYSTEM] there exists a inc, kill it!
69.15/69.20 c write failed with 2
69.15/69.21 c [INC SYSTEM] create new solver instance
69.15/69.21 c [INC] encode full formula
69.15/69.21 c fallback to adder encoding
69.15/69.22 c set iterative enc to: adder
69.15/69.22 c set iterative enc to: none
69.15/69.23 c [INC SEARCH] isOptimum variable: 0
74.73/74.85 c formula is SAT
74.73/74.85 c [INC SEARCH] copied best model
74.73/74.85 c [INC SEARCH] sat variable: 1 optimum/unsat variable: 0
74.73/74.85 c model valid
74.73/74.85 c current solution ok
74.73/74.85 o 8908
74.73/74.85 c [INC SEARCH] iteration: 20
74.73/74.85 c [INC BOUNDS] best value:8908 search for 8907
74.73/74.85 c [INC SYSTEM] there exists a inc, kill it!
74.73/74.85 c write failed with 2
74.73/74.85 c [INC SYSTEM] create new solver instance
74.73/74.85 c [INC] encode full formula
74.73/74.85 c fallback to adder encoding
74.73/74.87 c set iterative enc to: adder
74.73/74.87 c set iterative enc to: none
74.73/74.87 c [INC SEARCH] isOptimum variable: 0
83.32/83.43 c [INC SEARCH] formula is UNSAT
83.32/83.43 c [INC SYSTEM] there exists a inc, kill it!
83.32/83.43 c write failed with 2
83.32/83.43 c [INC SEARCH] sat variable: 0 optimum/unsat variable: 1
83.32/83.43 c [INC SEARCH] found optimum
83.32/83.43 c display solution
83.32/83.43 s OPTIMUM FOUND
83.32/83.43 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 x249 -x250 -x251 x252 -x253
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-3703085-1338073521/watcher-3703085-1338073521 -o /tmp/evaluation-result-3703085-1338073521/solver-3703085-1338073521 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703085-1338073521.opb 1165368420 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.02 2.26 2.16 3/178 9843
/proc/meminfo: memFree=31223868/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[startup+0.083004 s]
/proc/loadavg: 2.02 2.26 2.16 3/178 9843
/proc/meminfo: memFree=31223868/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100293 s]
/proc/loadavg: 2.02 2.26 2.16 3/178 9843
/proc/meminfo: memFree=31223868/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300089 s]
/proc/loadavg: 2.02 2.26 2.16 3/178 9843
/proc/meminfo: memFree=31223868/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700239 s]
/proc/loadavg: 2.02 2.26 2.16 3/178 9843
/proc/meminfo: memFree=31223868/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.02 2.26 2.16 3/181 9859
/proc/meminfo: memFree=31213248/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2336 CPUtime=0.27 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 1393 7269 0 0 2 0 25 0 20 0 1 0 273477756 2392064 304 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 584 304 196 440 0 140 0
[pid=9859] ppid=9844 vsize=10932 CPUtime=1.19 cores=1,3,5,7
/proc/9859/stat : 9859 (glucosInc) R 9844 9843 10128 0 -1 4202496 2481 0 0 0 118 1 0 0 20 0 1 0 273477786 11194368 2408 33554432000 4194304 5654031 140734178936400 140734178934280 4215076 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9859/statm: 2733 2408 132 357 0 2373 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 22416
[startup+3.1003 s]
/proc/loadavg: 2.02 2.26 2.16 3/181 9861
/proc/meminfo: memFree=31216916/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=3.05 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 3042 13811 0 0 5 1 296 3 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 11420
[startup+6.30032 s]
/proc/loadavg: 2.02 2.26 2.16 3/181 9867
/proc/meminfo: memFree=31184832/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=5.19 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 4690 20522 0 0 9 1 504 5 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9867] ppid=9844 vsize=11024 CPUtime=1.07 cores=1,3,5,7
/proc/9867/stat : 9867 (glucosInc) R 9844 9843 10128 0 -1 4202496 3081 0 0 0 107 0 0 0 20 0 1 0 273478278 11288576 2281 33554432000 4194304 5654031 140734837606320 140734837594136 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9867/statm: 2756 2281 142 357 0 2396 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22444
[startup+12.7003 s]
/proc/loadavg: 2.02 2.25 2.16 3/181 9871
/proc/meminfo: memFree=31181136/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=10.37 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 6338 28562 0 0 12 2 1016 7 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9871] ppid=9844 vsize=12620 CPUtime=2.29 cores=1,3,5,7
/proc/9871/stat : 9871 (glucosInc) R 9844 9843 10128 0 -1 4202496 3680 0 0 0 229 0 0 0 20 0 1 0 273478796 12922880 2834 33554432000 4194304 5654031 140733978020768 140733978008584 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9871/statm: 3155 2834 142 357 0 2795 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 24040
[startup+25.5003 s]
/proc/loadavg: 2.09 2.25 2.16 3/181 9875
/proc/meminfo: memFree=31171276/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=18.84 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 7986 37862 0 0 16 2 1857 9 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9875] ppid=9844 vsize=18140 CPUtime=6.6 cores=1,3,5,7
/proc/9875/stat : 9875 (glucosInc) R 9844 9843 10128 0 -1 4202496 4325 0 0 0 660 0 0 0 20 0 1 0 273479644 18575360 3998 33554432000 4194304 5654031 140736515410848 140736515398664 4234125 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/9875/statm: 4535 3998 142 357 0 4175 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 29560
[startup+51.1003 s]
/proc/loadavg: 2.06 2.23 2.15 3/181 9887
/proc/meminfo: memFree=31210492/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=46.57 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 12930 64731 0 0 26 4 4609 18 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9887] ppid=9844 vsize=14344 CPUtime=4.47 cores=1,3,5,7
/proc/9887/stat : 9887 (glucosInc) R 9844 9843 10128 0 -1 4202496 3141 0 0 0 447 0 0 0 20 0 1 0 273482417 14688256 3272 33554432000 4194304 5654031 140735284081600 140735284069416 4232794 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9887/statm: 3586 3272 142 357 0 3226 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 25764
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 2.13 2.24 2.16 3/181 9893
/proc/meminfo: memFree=31204476/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=57.05 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 15402 77451 0 0 31 5 5648 21 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9893] ppid=9844 vsize=21444 CPUtime=6.78 cores=1,3,5,7
/proc/9893/stat : 9893 (glucosInc) R 9844 9843 10128 0 -1 4202496 4043 0 0 0 678 0 0 0 20 0 1 0 273483466 21958656 4651 33554432000 4194304 5654031 140734171151968 140734171139784 4215071 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9893/statm: 5361 4651 142 357 0 5001 0
Current children cumulated CPU time (s) 63.83
Current children cumulated vsize (KiB) 32864
[startup+76.7003 s]
/proc/loadavg: 2.10 2.23 2.15 3/181 9899
/proc/meminfo: memFree=31181696/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=74.81 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 17874 91223 0 0 36 5 7415 25 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9899] ppid=9844 vsize=10936 CPUtime=1.81 cores=1,3,5,7
/proc/9899/stat : 9899 (glucosInc) R 9844 9843 10128 0 -1 4202496 3243 0 0 0 181 0 0 0 20 0 1 0 273485243 11198464 2418 33554432000 4194304 5654031 140734994937632 140734994925448 4233213 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9899/statm: 2734 2418 142 357 0 2374 0
Current children cumulated CPU time (s) 76.62
Current children cumulated vsize (KiB) 22356
[startup+79.9003 s]
/proc/loadavg: 2.10 2.23 2.15 3/181 9899
/proc/meminfo: memFree=31172080/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=74.81 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 17874 91223 0 0 36 5 7415 25 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9899] ppid=9844 vsize=18184 CPUtime=5.01 cores=1,3,5,7
/proc/9899/stat : 9899 (glucosInc) R 9844 9843 10128 0 -1 4202496 3833 0 0 0 501 0 0 0 20 0 1 0 273485243 18620416 4016 33554432000 4194304 5654031 140734994937632 140734994925448 4215307 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9899/statm: 4546 4016 142 357 0 4186 0
Current children cumulated CPU time (s) 79.82
Current children cumulated vsize (KiB) 29604
[startup+81.5004 s]
/proc/loadavg: 2.09 2.22 2.15 3/181 9899
/proc/meminfo: memFree=31172080/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=74.81 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 17874 91223 0 0 36 5 7415 25 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9899] ppid=9844 vsize=18184 CPUtime=6.61 cores=1,3,5,7
/proc/9899/stat : 9899 (glucosInc) R 9844 9843 10128 0 -1 4202496 3833 0 0 0 661 0 0 0 20 0 1 0 273485243 18620416 4016 33554432000 4194304 5654031 140734994937632 140734994925448 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9899/statm: 4546 4016 142 357 0 4186 0
Current children cumulated CPU time (s) 81.42
Current children cumulated vsize (KiB) 29604
[startup+82.3003 s]
/proc/loadavg: 2.09 2.22 2.15 3/181 9899
/proc/meminfo: memFree=31172080/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=74.81 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 17874 91223 0 0 36 5 7415 25 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9899] ppid=9844 vsize=18184 CPUtime=7.41 cores=1,3,5,7
/proc/9899/stat : 9899 (glucosInc) R 9844 9843 10128 0 -1 4202496 3833 0 0 0 741 0 0 0 20 0 1 0 273485243 18620416 4016 33554432000 4194304 5654031 140734994937632 140734994925448 4217712 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9899/statm: 4546 4016 142 357 0 4186 0
Current children cumulated CPU time (s) 82.22
Current children cumulated vsize (KiB) 29604
[startup+83.1004 s]
/proc/loadavg: 2.09 2.22 2.15 3/181 9899
/proc/meminfo: memFree=31172080/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=74.81 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 17874 91223 0 0 36 5 7415 25 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9899] ppid=9844 vsize=18184 CPUtime=8.21 cores=1,3,5,7
/proc/9899/stat : 9899 (glucosInc) R 9844 9843 10128 0 -1 4202496 3833 0 0 0 821 0 0 0 20 0 1 0 273485243 18620416 4016 33554432000 4194304 5654031 140734994937632 140734994925448 4232984 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9899/statm: 4546 4016 142 357 0 4186 0
Current children cumulated CPU time (s) 83.02
Current children cumulated vsize (KiB) 29604
[startup+83.3003 s]
/proc/loadavg: 2.09 2.22 2.15 3/181 9899
/proc/meminfo: memFree=31172080/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=74.81 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 17874 91223 0 0 36 5 7415 25 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9899] ppid=9844 vsize=18184 CPUtime=8.41 cores=1,3,5,7
/proc/9899/stat : 9899 (glucosInc) R 9844 9843 10128 0 -1 4202496 3833 0 0 0 841 0 0 0 20 0 1 0 273485243 18620416 4016 33554432000 4194304 5654031 140734994937632 140734994925448 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9899/statm: 4546 4016 142 357 0 4186 0
Current children cumulated CPU time (s) 83.22
Current children cumulated vsize (KiB) 29604
[startup+83.4004 s]
/proc/loadavg: 2.09 2.22 2.15 3/181 9899
/proc/meminfo: memFree=31172080/32873844 swapFree=7624/7624
[pid=9843] ppid=9841 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9843/stat : 9843 (npSolver-pbo-It) S 9841 9843 10128 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 273477756 9367552 274 33554432000 4194304 5064252 140736883293712 140736883292624 214369461838 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/9843/statm: 2287 274 233 213 0 72 0
[pid=9844] ppid=9843 vsize=2272 CPUtime=74.81 cores=1,3,5,7
/proc/9844/stat : 9844 (npSolver-pbo) S 9843 9843 10128 0 -1 4202496 17874 91223 0 0 36 5 7415 25 20 0 1 0 273477756 2326528 289 33554432000 4194304 5992684 140733667043776 140733667029608 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/9844/statm: 568 289 197 440 0 124 0
[pid=9899] ppid=9844 vsize=18184 CPUtime=8.51 cores=1,3,5,7
/proc/9899/stat : 9899 (glucosInc) R 9844 9843 10128 0 -1 4202496 3833 0 0 0 851 0 0 0 20 0 1 0 273485243 18620416 4016 33554432000 4194304 5654031 140734994937632 140734994925448 4233204 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/9899/statm: 4546 4016 142 357 0 4186 0
Current children cumulated CPU time (s) 83.32
Current children cumulated vsize (KiB) 29604
Child status: 0
Real time (s): 83.4372
CPU time (s): 83.4013
CPU user time (s): 83.0774
CPU system time (s): 0.32395
CPU usage (%): 99.957
Max. virtual memory (cumulated for all children) (KiB): 41772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 83.0774
system time used= 0.32395
maximum resident set size= 24848
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113766
page faults= 0
swaps= 0
block input operations= 0
block output operations= 40720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 350
involuntary context switches= 271
runsolver used 0.160975 second user time and 0.382941 second system time
The end