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.85/2.93 c [INC SEARCH] formula is SAT
2.85/2.93 c [INC SYSTEM] solved the initial formula
2.85/2.93 c model valid
2.85/2.93 c current solution ok
2.85/2.94 o 179
2.85/2.94 c execute binary inc search
2.85/2.94 c [INC SEARCH] current bound: 89
2.85/2.94 c [INC SEARCH] iteration: 0
2.85/2.94 c [INC SEARCH] lower bound: 0 upperbound 179 current bound: 89 best value:179
2.85/2.94 c [INC SYSTEM] there exists a inc, kill it!
2.85/2.94 c write failed with 2
2.85/2.95 c [INC SYSTEM] create new solver instance
2.85/2.95 c [INC] encode full formula
2.85/2.95 c set iterative enc to: swc
2.85/2.95 c [INC SEARCH] isOptimum variable: 0
4.37/4.41 c [INC SEARCH] formula is UNSAT
4.37/4.41 c [INC SYSTEM] there exists a inc, kill it!
4.37/4.41 c write failed with 2
4.37/4.41 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x25c0b60)
4.37/4.41 c sat variable: 0 optimum/unsat variable: 1
4.37/4.41 c [INC SEARCH] set lower bound to 90 upperbound 179
4.37/4.41 c [INC SEARCH] current bound: 134
4.37/4.41 c [INC SEARCH] iteration: 1
4.37/4.41 c [INC SEARCH] lower bound: 90 upperbound 179 current bound: 134 best value:179
4.37/4.41 c [INC SYSTEM] create new solver instance
4.37/4.41 c [INC] encode full formula
4.37/4.41 c set iterative enc to: swc
4.37/4.41 c [INC SEARCH] isOptimum variable: 0
6.26/6.30 c [INC SEARCH] formula is UNSAT
6.26/6.30 c [INC SYSTEM] there exists a inc, kill it!
6.26/6.30 c write failed with 2
6.26/6.31 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x25c0b60)
6.26/6.31 c sat variable: 0 optimum/unsat variable: 1
6.26/6.31 c [INC SEARCH] set lower bound to 135 upperbound 179
6.26/6.31 c [INC SEARCH] current bound: 157
6.26/6.31 c [INC SEARCH] iteration: 2
6.26/6.31 c [INC SEARCH] lower bound: 135 upperbound 179 current bound: 157 best value:179
6.26/6.31 c [INC SYSTEM] create new solver instance
6.26/6.31 c [INC] encode full formula
6.26/6.31 c set iterative enc to: swc
6.26/6.31 c [INC SEARCH] isOptimum variable: 0
8.76/8.89 c [INC SEARCH] formula is UNSAT
8.76/8.89 c [INC SYSTEM] there exists a inc, kill it!
8.76/8.89 c write failed with 2
8.76/8.89 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x25c0b60)
8.76/8.89 c sat variable: 0 optimum/unsat variable: 1
8.76/8.89 c [INC SEARCH] set lower bound to 158 upperbound 179
8.76/8.89 c [INC SEARCH] current bound: 168
8.76/8.89 c [INC SEARCH] iteration: 3
8.76/8.89 c [INC SEARCH] lower bound: 158 upperbound 179 current bound: 168 best value:179
8.76/8.89 c [INC SYSTEM] create new solver instance
8.76/8.89 c [INC] encode full formula
8.76/8.89 c set iterative enc to: swc
8.76/8.89 c [INC SEARCH] isOptimum variable: 0
10.36/10.41 c [INC SEARCH] formula is SAT
10.36/10.41 c [INC SEARCH] copied best model
10.36/10.41 c sat variable: 1 optimum/unsat variable: 0
10.36/10.41 c model valid
10.36/10.41 c current solution ok
10.36/10.41 o 167
10.36/10.41 c [INC SEARCH] current bound: 162
10.36/10.41 c [INC SEARCH] iteration: 4
10.36/10.41 c [INC SEARCH] lower bound: 158 upperbound 167 current bound: 162 best value:167
10.36/10.41 c [INC ENCODE] setup new number of clauses ...
10.36/10.41 c [INC] encode incremental formula
10.36/10.41 c return only the limitting unit clause for 162
10.36/10.41 c [INC SYSTEM] transmit new clauses to solver: 1
10.36/10.41 c [INC SEARCH] isOptimum variable: 0
10.86/10.92 c [INC SEARCH] formula is UNSAT
10.86/10.92 c [INC SYSTEM] there exists a inc, kill it!
10.86/10.92 c write failed with 2
10.86/10.92 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x25c0b60)
10.86/10.92 c sat variable: 0 optimum/unsat variable: 1
10.86/10.92 c [INC SEARCH] set lower bound to 163 upperbound 167
10.86/10.92 c [INC SEARCH] current bound: 165
10.86/10.92 c [INC SEARCH] iteration: 5
10.86/10.92 c [INC SEARCH] lower bound: 163 upperbound 167 current bound: 165 best value:167
10.86/10.92 c [INC SYSTEM] create new solver instance
10.86/10.92 c [INC] encode full formula
10.86/10.92 c set iterative enc to: swc
10.86/10.92 c [INC SEARCH] isOptimum variable: 0
13.75/13.83 c [INC SEARCH] formula is UNSAT
13.75/13.83 c [INC SYSTEM] there exists a inc, kill it!
13.75/13.83 c write failed with 2
13.75/13.83 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x25c0b60)
13.75/13.83 c sat variable: 0 optimum/unsat variable: 1
13.75/13.83 c [INC SEARCH] set lower bound to 166 upperbound 167
13.75/13.83 c [INC SEARCH] current bound: 166
13.75/13.83 c [INC SEARCH] iteration: 6
13.75/13.83 c [INC SEARCH] lower bound: 166 upperbound 167 current bound: 166 best value:167
13.75/13.83 c [INC SYSTEM] create new solver instance
13.75/13.83 c [INC] encode full formula
13.75/13.83 c set iterative enc to: swc
13.75/13.83 c [INC SEARCH] isOptimum variable: 0
15.75/15.82 c [INC SEARCH] formula is UNSAT
15.75/15.82 c [INC SYSTEM] there exists a inc, kill it!
15.75/15.82 c write failed with 2
15.75/15.82 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x25c0b60)
15.75/15.82 c sat variable: 0 optimum/unsat variable: 1
15.75/15.82 c [INC SEARCH] set lower bound to 167 upperbound 167
15.75/15.82 c display solution
15.75/15.82 s OPTIMUM FOUND
15.75/15.82 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-3699795-1338067684/watcher-3699795-1338067684 -o /tmp/evaluation-result-3699795-1338067684/solver-3699795-1338067684 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699795-1338067684.opb 84110663 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: 3.37 2.96 2.39 3/179 16364
/proc/meminfo: memFree=27387440/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[startup+0.062996 s]
/proc/loadavg: 3.37 2.96 2.39 3/179 16364
/proc/meminfo: memFree=27387440/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100319 s]
/proc/loadavg: 3.37 2.96 2.39 3/179 16364
/proc/meminfo: memFree=27387440/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30015 s]
/proc/loadavg: 3.37 2.96 2.39 3/179 16364
/proc/meminfo: memFree=27387440/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700227 s]
/proc/loadavg: 3.37 2.96 2.39 3/179 16364
/proc/meminfo: memFree=27387440/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 3.37 2.96 2.39 3/182 16370
/proc/meminfo: memFree=27361072/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23032 CPUtime=0.27 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 5847 2994 0 0 14 0 13 0 20 0 1 0 272893836 23584768 5384 33554432000 4194304 5992684 140734995977472 140734995963736 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16365/statm: 5758 5384 175 440 0 5314 0
[pid=16370] ppid=16365 vsize=7532 CPUtime=1.18 cores=1,3,5,7
/proc/16370/stat : 16370 (glucosInc) R 16365 16364 14700 0 -1 4202496 1714 0 0 0 118 0 0 0 20 0 1 0 272893867 7712768 1267 33554432000 4194304 5654031 140734831827856 140734831815672 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16370/statm: 1883 1267 137 357 0 1523 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 39712
[startup+3.10016 s]
/proc/loadavg: 3.37 2.96 2.39 3/182 16370
/proc/meminfo: memFree=27358824/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23032 CPUtime=2.93 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 5980 6046 0 0 15 2 275 1 20 0 1 0 272893836 23584768 5395 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16365/statm: 5758 5395 186 440 0 5314 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 32180
[startup+6.30031 s]
/proc/loadavg: 3.34 2.96 2.39 3/182 16375
/proc/meminfo: memFree=27356128/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23032 CPUtime=4.39 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 6046 8226 0 0 15 2 420 2 20 0 1 0 272893836 23584768 5396 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16365/statm: 5758 5396 187 440 0 5314 0
[pid=16375] ppid=16365 vsize=7700 CPUtime=1.87 cores=1,3,5,7
/proc/16375/stat : 16375 (glucosInc) R 16365 16364 14700 0 -1 4202496 1705 0 0 0 187 0 0 0 20 0 1 0 272894278 7884800 1347 33554432000 4194304 5654031 140734711408992 140734711406872 4232830 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16375/statm: 1925 1347 141 357 0 1565 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39880
[startup+12.7003 s]
/proc/loadavg: 3.23 2.94 2.39 3/182 16381
/proc/meminfo: memFree=27347876/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23196 CPUtime=10.88 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 6292 15109 0 0 15 2 1068 3 20 0 1 0 272893836 23752704 5405 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/16365/statm: 5799 5405 187 440 0 5355 0
[pid=16381] ppid=16365 vsize=7824 CPUtime=1.77 cores=1,3,5,7
/proc/16381/stat : 16381 (glucosInc) R 16365 16364 14700 0 -1 4202496 1871 0 0 0 177 0 0 0 20 0 1 0 272894928 8011776 1377 33554432000 4194304 5654031 140735840756240 140735840754120 4232752 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/16381/statm: 1956 1377 138 357 0 1596 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 40168
Solver just ended. Dumping a history of the last processes samples
[startup+14.3063 s]
/proc/loadavg: 3.13 2.93 2.39 3/182 16383
/proc/meminfo: memFree=27346952/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23196 CPUtime=13.8 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 6361 17521 0 0 15 2 1359 4 20 0 1 0 272893836 23752704 5405 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16365/statm: 5799 5405 187 440 0 5355 0
[pid=16383] ppid=16365 vsize=5424 CPUtime=0.46 cores=1,3,5,7
/proc/16383/stat : 16383 (glucosInc) R 16365 16364 14700 0 -1 4202496 939 0 0 0 46 0 0 0 20 0 1 0 272895220 5554176 764 33554432000 4194304 5654031 140734738243408 140734738241496 4232916 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16383/statm: 1356 767 138 357 0 996 0
Current children cumulated CPU time (s) 14.26
Current children cumulated vsize (KiB) 37768
[startup+15.1002 s]
/proc/loadavg: 3.13 2.93 2.39 3/182 16383
/proc/meminfo: memFree=27346952/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23196 CPUtime=13.8 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 6361 17521 0 0 15 2 1359 4 20 0 1 0 272893836 23752704 5405 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16365/statm: 5799 5405 187 440 0 5355 0
[pid=16383] ppid=16365 vsize=7836 CPUtime=1.25 cores=1,3,5,7
/proc/16383/stat : 16383 (glucosInc) R 16365 16364 14700 0 -1 4202496 1502 0 0 0 125 0 0 0 20 0 1 0 272895220 8024064 1069 33554432000 4194304 5654031 140734738243408 140734738241192 4232817 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16383/statm: 1959 1069 138 357 0 1599 0
Current children cumulated CPU time (s) 15.05
Current children cumulated vsize (KiB) 40180
[startup+15.5002 s]
/proc/loadavg: 3.13 2.93 2.39 3/182 16383
/proc/meminfo: memFree=27345364/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23196 CPUtime=13.8 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 6361 17521 0 0 15 2 1359 4 20 0 1 0 272893836 23752704 5405 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16365/statm: 5799 5405 187 440 0 5355 0
[pid=16383] ppid=16365 vsize=7836 CPUtime=1.65 cores=1,3,5,7
/proc/16383/stat : 16383 (glucosInc) R 16365 16364 14700 0 -1 4202496 1749 0 0 0 165 0 0 0 20 0 1 0 272895220 8024064 1300 33554432000 4194304 5654031 140734738243408 140734738241288 4233160 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16383/statm: 1959 1300 138 357 0 1599 0
Current children cumulated CPU time (s) 15.45
Current children cumulated vsize (KiB) 40180
[startup+15.7002 s]
/proc/loadavg: 3.13 2.93 2.39 3/182 16383
/proc/meminfo: memFree=27345364/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23196 CPUtime=13.8 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 6361 17521 0 0 15 2 1359 4 20 0 1 0 272893836 23752704 5405 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16365/statm: 5799 5405 187 440 0 5355 0
[pid=16383] ppid=16365 vsize=7836 CPUtime=1.85 cores=1,3,5,7
/proc/16383/stat : 16383 (glucosInc) R 16365 16364 14700 0 -1 4202496 1842 0 0 0 185 0 0 0 20 0 1 0 272895220 8024064 1385 33554432000 4194304 5654031 140734738243408 140734738241288 4233213 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16383/statm: 1959 1385 138 357 0 1599 0
Current children cumulated CPU time (s) 15.65
Current children cumulated vsize (KiB) 40180
[startup+15.8002 s]
/proc/loadavg: 3.13 2.93 2.39 3/182 16383
/proc/meminfo: memFree=27345364/32873648 swapFree=7104/7104
[pid=16364] ppid=16362 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16364/stat : 16364 (npSolver-pbo-I.) S 16362 16364 14700 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272893836 9367552 275 33554432000 4194304 5064252 140734320047232 140734320046144 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/16364/statm: 2287 275 233 213 0 72 0
[pid=16365] ppid=16364 vsize=23196 CPUtime=13.8 cores=1,3,5,7
/proc/16365/stat : 16365 (npSolver-pbo) S 16364 16364 14700 0 -1 4202496 6361 17521 0 0 15 2 1359 4 20 0 1 0 272893836 23752704 5405 33554432000 4194304 5992684 140734995977472 140734995962376 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/16365/statm: 5799 5405 187 440 0 5355 0
[pid=16383] ppid=16365 vsize=7836 CPUtime=1.95 cores=1,3,5,7
/proc/16383/stat : 16383 (glucosInc) R 16365 16364 14700 0 -1 4202496 1856 0 0 0 195 0 0 0 20 0 1 0 272895220 8024064 1396 33554432000 4194304 5654031 140734738243408 140734738241288 4233012 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/16383/statm: 1959 1396 138 357 0 1599 0
Current children cumulated CPU time (s) 15.75
Current children cumulated vsize (KiB) 40180
Child status: 0
Real time (s): 15.8267
CPU time (s): 15.8036
CPU user time (s): 15.7296
CPU system time (s): 0.073988
CPU usage (%): 99.8542
Max. virtual memory (cumulated for all children) (KiB): 41364
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.7296
system time used= 0.073988
maximum resident set size= 22224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26582
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63
involuntary context switches= 100
runsolver used 0.06199 second user time and 0.115982 second system time
The end