0.00/0.12 c fallback to adder encoding
0.00/0.16 c run inc solver
0.00/0.16 c [INC SYSTEM] run initial solver
0.00/0.16 c [INC SYSTEM] preprocess with white file
0.00/0.31 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.31 c [INC SYSTEM] execute solver
2.26/2.33 c [INC SEARCH] formula is SAT
2.26/2.33 c [INC SYSTEM] solved the initial formula
2.26/2.33 c model valid
2.26/2.33 c current solution ok
2.26/2.34 o 257
2.26/2.34 c execute binary inc search
2.26/2.34 c [INC SEARCH] current bound: 128
2.26/2.34 c [INC SEARCH] iteration: 0
2.26/2.34 c [INC SEARCH] lower bound: 0 upperbound 257 current bound: 128 best value:257
2.26/2.34 c [INC SYSTEM] there exists a inc, kill it!
2.26/2.34 c write failed with 2
2.26/2.35 c [INC SYSTEM] create new solver instance
2.26/2.35 c [INC] encode full formula
2.26/2.35 c set iterative enc to: swc
2.26/2.35 c [INC SEARCH] isOptimum variable: 0
2.26/2.36 c [INC SEARCH] formula is UNSAT
2.26/2.36 c [INC SYSTEM] there exists a inc, kill it!
2.26/2.36 c write failed with 2
2.26/2.36 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
2.26/2.36 c sat variable: 0 optimum/unsat variable: 1
2.26/2.36 c [INC SEARCH] set lower bound to 129 upperbound 257
2.26/2.36 c [INC SEARCH] current bound: 193
2.26/2.36 c [INC SEARCH] iteration: 1
2.26/2.36 c [INC SEARCH] lower bound: 129 upperbound 257 current bound: 193 best value:257
2.26/2.36 c [INC SYSTEM] create new solver instance
2.26/2.36 c [INC] encode full formula
2.26/2.36 c set iterative enc to: swc
2.26/2.36 c [INC SEARCH] isOptimum variable: 0
4.76/4.83 c [INC SEARCH] formula is UNSAT
4.76/4.83 c [INC SYSTEM] there exists a inc, kill it!
4.76/4.83 c write failed with 2
4.76/4.83 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
4.76/4.83 c sat variable: 0 optimum/unsat variable: 1
4.76/4.83 c [INC SEARCH] set lower bound to 194 upperbound 257
4.76/4.83 c [INC SEARCH] current bound: 225
4.76/4.83 c [INC SEARCH] iteration: 2
4.76/4.83 c [INC SEARCH] lower bound: 194 upperbound 257 current bound: 225 best value:257
4.76/4.83 c [INC SYSTEM] create new solver instance
4.76/4.83 c [INC] encode full formula
4.76/4.84 c set iterative enc to: swc
4.76/4.84 c [INC SEARCH] isOptimum variable: 0
7.67/7.75 c [INC SEARCH] formula is UNSAT
7.67/7.75 c [INC SYSTEM] there exists a inc, kill it!
7.67/7.75 c write failed with 2
7.67/7.75 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
7.67/7.75 c sat variable: 0 optimum/unsat variable: 1
7.67/7.75 c [INC SEARCH] set lower bound to 226 upperbound 257
7.67/7.75 c [INC SEARCH] current bound: 241
7.67/7.75 c [INC SEARCH] iteration: 3
7.67/7.75 c [INC SEARCH] lower bound: 226 upperbound 257 current bound: 241 best value:257
7.67/7.75 c [INC SYSTEM] create new solver instance
7.67/7.75 c [INC] encode full formula
7.67/7.75 c set iterative enc to: swc
7.67/7.75 c [INC SEARCH] isOptimum variable: 0
11.75/11.84 c [INC SEARCH] formula is UNSAT
11.75/11.84 c [INC SYSTEM] there exists a inc, kill it!
11.75/11.84 c write failed with 2
11.75/11.84 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
11.75/11.84 c sat variable: 0 optimum/unsat variable: 1
11.75/11.84 c [INC SEARCH] set lower bound to 242 upperbound 257
11.75/11.84 c [INC SEARCH] current bound: 249
11.75/11.84 c [INC SEARCH] iteration: 4
11.75/11.84 c [INC SEARCH] lower bound: 242 upperbound 257 current bound: 249 best value:257
11.75/11.84 c [INC SYSTEM] create new solver instance
11.75/11.84 c [INC] encode full formula
11.75/11.84 c set iterative enc to: swc
11.75/11.85 c [INC SEARCH] isOptimum variable: 0
15.96/16.05 c [INC SEARCH] formula is UNSAT
15.96/16.05 c [INC SYSTEM] there exists a inc, kill it!
15.96/16.05 c write failed with 2
15.96/16.05 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
15.96/16.05 c sat variable: 0 optimum/unsat variable: 1
15.96/16.05 c [INC SEARCH] set lower bound to 250 upperbound 257
15.96/16.05 c [INC SEARCH] current bound: 253
15.96/16.05 c [INC SEARCH] iteration: 5
15.96/16.05 c [INC SEARCH] lower bound: 250 upperbound 257 current bound: 253 best value:257
15.96/16.05 c [INC SYSTEM] create new solver instance
15.96/16.05 c [INC] encode full formula
15.96/16.05 c set iterative enc to: swc
15.96/16.05 c [INC SEARCH] isOptimum variable: 0
18.44/18.54 c [INC SEARCH] formula is UNSAT
18.44/18.54 c [INC SYSTEM] there exists a inc, kill it!
18.44/18.54 c write failed with 2
18.44/18.54 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
18.44/18.54 c sat variable: 0 optimum/unsat variable: 1
18.44/18.54 c [INC SEARCH] set lower bound to 254 upperbound 257
18.44/18.54 c [INC SEARCH] current bound: 255
18.44/18.54 c [INC SEARCH] iteration: 6
18.44/18.54 c [INC SEARCH] lower bound: 254 upperbound 257 current bound: 255 best value:257
18.44/18.54 c [INC SYSTEM] create new solver instance
18.44/18.54 c [INC] encode full formula
18.44/18.54 c set iterative enc to: swc
18.44/18.55 c [INC SEARCH] isOptimum variable: 0
20.45/20.51 c [INC SEARCH] formula is UNSAT
20.45/20.51 c [INC SYSTEM] there exists a inc, kill it!
20.45/20.51 c write failed with 2
20.45/20.51 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
20.45/20.51 c sat variable: 0 optimum/unsat variable: 1
20.45/20.51 c [INC SEARCH] set lower bound to 256 upperbound 257
20.45/20.51 c [INC SEARCH] current bound: 256
20.45/20.51 c [INC SEARCH] iteration: 7
20.45/20.51 c [INC SEARCH] lower bound: 256 upperbound 257 current bound: 256 best value:257
20.45/20.51 c [INC SYSTEM] create new solver instance
20.45/20.51 c [INC] encode full formula
20.45/20.51 c set iterative enc to: swc
20.45/20.51 c [INC SEARCH] isOptimum variable: 0
23.65/23.71 c [INC SEARCH] formula is UNSAT
23.65/23.71 c [INC SYSTEM] there exists a inc, kill it!
23.65/23.71 c write failed with 2
23.65/23.71 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x21c4a20)
23.65/23.77 c sat variable: 0 optimum/unsat variable: 1
23.65/23.77 c [INC SEARCH] set lower bound to 257 upperbound 257
23.65/23.77 c display solution
23.65/23.77 s OPTIMUM FOUND
23.65/23.77 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
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-3699803-1338067644/watcher-3699803-1338067644 -o /tmp/evaluation-result-3699803-1338067644/solver-3699803-1338067644 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699803-1338067644.opb 1731742120 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: 4.67 3.10 2.41 3/178 16245
/proc/meminfo: memFree=27411712/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[startup+0.093971 s]
/proc/loadavg: 4.67 3.10 2.41 3/178 16245
/proc/meminfo: memFree=27411712/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100227 s]
/proc/loadavg: 4.67 3.10 2.41 3/178 16245
/proc/meminfo: memFree=27411712/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300143 s]
/proc/loadavg: 4.67 3.10 2.41 3/178 16245
/proc/meminfo: memFree=27411712/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700173 s]
/proc/loadavg: 4.67 3.10 2.41 3/178 16245
/proc/meminfo: memFree=27411712/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 4.67 3.10 2.41 3/181 16251
/proc/meminfo: memFree=27387376/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23148 CPUtime=0.28 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 5903 2543 0 0 14 1 13 0 20 0 1 0 272889849 23703552 5427 33554432000 4194304 5992684 140734167672512 140734167658776 5179600 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/16246/statm: 5787 5427 175 440 0 5343 0
[pid=16251] ppid=16246 vsize=7824 CPUtime=1.18 cores=1,3,5,7
/proc/16251/stat : 16251 (glucosInc) R 16246 16245 14700 0 -1 4202496 1537 0 0 0 118 0 0 0 20 0 1 0 272889880 8011776 1066 33554432000 4194304 5654031 140733848920016 140733848917896 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16251/statm: 1956 1066 137 357 0 1596 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40120
[startup+3.10014 s]
/proc/loadavg: 4.67 3.10 2.41 3/181 16251
/proc/meminfo: memFree=27383236/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=2.34 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6186 6594 0 0 14 3 216 1 20 0 1 0 272889849 23855104 5444 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16246/statm: 5824 5444 187 440 0 5380 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 32444
heavy processes:
[startup+6.30016 s]
/proc/loadavg: 4.46 3.08 2.41 3/182 16259
/proc/meminfo: memFree=27385864/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=4.82 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6273 9080 0 0 14 3 463 2 20 0 1 0 272889849 23855104 5445 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16246/statm: 5824 5445 187 440 0 5380 0
[pid=16259] ppid=16246 vsize=8052 CPUtime=1.45 cores=1,3,5,7
/proc/16259/stat : 16259 (glucosInc) R 16246 16245 14700 0 -1 4202496 1729 0 0 0 145 0 0 0 20 0 1 0 272890333 8245248 1199 33554432000 4194304 5654031 140736528570064 140736528567944 4232960 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16259/statm: 2013 1199 138 357 0 1653 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 40496
[startup+12.7002 s]
/proc/loadavg: 4.26 3.06 2.40 3/182 16263
/proc/meminfo: memFree=27381520/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=11.82 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6448 14506 0 0 14 3 1162 3 20 0 1 0 272889849 23855104 5447 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16246/statm: 5824 5447 187 440 0 5380 0
[pid=16263] ppid=16246 vsize=6456 CPUtime=0.84 cores=1,3,5,7
/proc/16263/stat : 16263 (glucosInc) R 16246 16245 14700 0 -1 4202496 1342 0 0 0 84 0 0 0 20 0 1 0 272891034 6610944 874 33554432000 4194304 5654031 140735943639024 140735943637112 4234964 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16263/statm: 1614 874 132 357 0 1254 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 38900
Solver just ended. Dumping a history of the last processes samples
[startup+19.1003 s]
/proc/loadavg: 3.91 3.02 2.40 3/182 16267
/proc/meminfo: memFree=27379396/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=18.51 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6626 19383 0 0 15 3 1829 4 20 0 1 0 272889849 23855104 5447 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16246/statm: 5824 5447 187 440 0 5380 0
[pid=16267] ppid=16246 vsize=5776 CPUtime=0.54 cores=1,3,5,7
/proc/16267/stat : 16267 (glucosInc) R 16246 16245 14700 0 -1 4202496 1121 0 0 0 54 0 0 0 20 0 1 0 272891704 5914624 911 33554432000 4194304 5654031 140736790666560 140736790664344 4232916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16267/statm: 1444 911 138 357 0 1084 0
Current children cumulated CPU time (s) 19.05
Current children cumulated vsize (KiB) 38220
[startup+22.3003 s]
/proc/loadavg: 3.91 3.02 2.40 3/182 16269
/proc/meminfo: memFree=27374560/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=20.48 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6717 21802 0 0 15 3 2025 5 20 0 1 0 272889849 23855104 5448 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16246/statm: 5824 5448 187 440 0 5380 0
[pid=16269] ppid=16246 vsize=10236 CPUtime=1.77 cores=1,3,5,7
/proc/16269/stat : 16269 (glucosInc) R 16246 16245 14700 0 -1 4202496 1914 0 0 0 177 0 0 0 20 0 1 0 272891900 10481664 1981 33554432000 4194304 5654031 140735345501088 140735345498968 4216337 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16269/statm: 2559 1981 132 357 0 2199 0
Current children cumulated CPU time (s) 22.25
Current children cumulated vsize (KiB) 42680
[startup+23.1061 s]
/proc/loadavg: 3.76 3.01 2.40 3/182 16269
/proc/meminfo: memFree=27372264/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=20.48 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6717 21802 0 0 15 3 2025 5 20 0 1 0 272889849 23855104 5448 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16246/statm: 5824 5448 187 440 0 5380 0
[pid=16269] ppid=16246 vsize=10236 CPUtime=2.58 cores=1,3,5,7
/proc/16269/stat : 16269 (glucosInc) R 16246 16245 14700 0 -1 4202496 2002 0 0 0 258 0 0 0 20 0 1 0 272891900 10481664 2062 33554432000 4194304 5654031 140735345501088 140735345498968 4232997 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16269/statm: 2559 2062 138 357 0 2199 0
Current children cumulated CPU time (s) 23.06
Current children cumulated vsize (KiB) 42680
[startup+23.5003 s]
/proc/loadavg: 3.76 3.01 2.40 3/182 16269
/proc/meminfo: memFree=27372264/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=20.48 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6717 21802 0 0 15 3 2025 5 20 0 1 0 272889849 23855104 5448 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16246/statm: 5824 5448 187 440 0 5380 0
[pid=16269] ppid=16246 vsize=10236 CPUtime=2.97 cores=1,3,5,7
/proc/16269/stat : 16269 (glucosInc) R 16246 16245 14700 0 -1 4202496 2007 0 0 0 297 0 0 0 20 0 1 0 272891900 10481664 2067 33554432000 4194304 5654031 140735345501088 140735345488904 4215827 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16269/statm: 2559 2067 138 357 0 2199 0
Current children cumulated CPU time (s) 23.45
Current children cumulated vsize (KiB) 42680
[startup+23.7002 s]
/proc/loadavg: 3.76 3.01 2.40 3/182 16269
/proc/meminfo: memFree=27372264/32873648 swapFree=7104/7104
[pid=16245] ppid=16243 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16245/stat : 16245 (npSolver-pbo-I.) S 16243 16245 14700 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272889849 9367552 275 33554432000 4194304 5064252 140736319400192 140736319399104 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16245/statm: 2287 275 233 213 0 72 0
[pid=16246] ppid=16245 vsize=23296 CPUtime=20.48 cores=1,3,5,7
/proc/16246/stat : 16246 (npSolver-pbo) S 16245 16245 14700 0 -1 4202496 6717 21802 0 0 15 3 2025 5 20 0 1 0 272889849 23855104 5448 33554432000 4194304 5992684 140734167672512 140734167657416 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16246/statm: 5824 5448 187 440 0 5380 0
[pid=16269] ppid=16246 vsize=10236 CPUtime=3.17 cores=1,3,5,7
/proc/16269/stat : 16269 (glucosInc) R 16246 16245 14700 0 -1 4202496 2007 0 0 0 317 0 0 0 20 0 1 0 272891900 10481664 2067 33554432000 4194304 5654031 140735345501088 140735345488904 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16269/statm: 2559 2067 138 357 0 2199 0
Current children cumulated CPU time (s) 23.65
Current children cumulated vsize (KiB) 42680
Child status: 0
Real time (s): 23.7643
CPU time (s): 23.6994
CPU user time (s): 23.6004
CPU system time (s): 0.098984
CPU usage (%): 99.7267
Max. virtual memory (cumulated for all children) (KiB): 42680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.6004
system time used= 0.098984
maximum resident set size= 22452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31370
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 83
involuntary context switches= 133
runsolver used 0.037994 second user time and 0.102984 second system time
The end