0.00/0.13 c fallback to adder encoding
0.00/0.17 c run inc solver
0.00/0.17 c [INC SYSTEM] run initial solver
0.00/0.17 c [INC SYSTEM] preprocess with white file
0.00/0.32 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.32 c [INC SYSTEM] execute solver
3.45/3.59 c [INC SEARCH] formula is SAT
3.45/3.59 c [INC SYSTEM] solved the initial formula
3.45/3.59 c model valid
3.45/3.59 c current solution ok
3.55/3.61 o 307
3.55/3.61 c execute binary inc search
3.55/3.61 c [INC SEARCH] current bound: 153
3.55/3.61 c [INC SEARCH] iteration: 0
3.55/3.61 c [INC SEARCH] lower bound: 0 upperbound 307 current bound: 153 best value:307
3.55/3.61 c [INC SYSTEM] there exists a inc, kill it!
3.55/3.61 c write failed with 2
3.55/3.61 c [INC SYSTEM] create new solver instance
3.55/3.61 c [INC] encode full formula
3.55/3.61 c set iterative enc to: swc
3.55/3.61 c [INC SEARCH] isOptimum variable: 0
4.26/4.33 c [INC SEARCH] formula is UNSAT
4.26/4.33 c [INC SYSTEM] there exists a inc, kill it!
4.26/4.33 c write failed with 2
4.26/4.33 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xf19a60)
4.26/4.33 c sat variable: 0 optimum/unsat variable: 1
4.26/4.33 c [INC SEARCH] set lower bound to 154 upperbound 307
4.26/4.33 c [INC SEARCH] current bound: 230
4.26/4.33 c [INC SEARCH] iteration: 1
4.26/4.33 c [INC SEARCH] lower bound: 154 upperbound 307 current bound: 230 best value:307
4.26/4.33 c [INC SYSTEM] create new solver instance
4.26/4.33 c [INC] encode full formula
4.26/4.33 c set iterative enc to: swc
4.26/4.33 c [INC SEARCH] isOptimum variable: 0
5.86/5.98 c [INC SEARCH] formula is UNSAT
5.86/5.98 c [INC SYSTEM] there exists a inc, kill it!
5.86/5.98 c write failed with 2
5.86/5.98 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xf19a60)
5.86/5.98 c sat variable: 0 optimum/unsat variable: 1
5.86/5.98 c [INC SEARCH] set lower bound to 231 upperbound 307
5.86/5.98 c [INC SEARCH] current bound: 269
5.86/5.98 c [INC SEARCH] iteration: 2
5.86/5.98 c [INC SEARCH] lower bound: 231 upperbound 307 current bound: 269 best value:307
5.86/5.98 c [INC SYSTEM] create new solver instance
5.86/5.98 c [INC] encode full formula
5.86/5.98 c set iterative enc to: swc
5.86/5.98 c [INC SEARCH] isOptimum variable: 0
7.96/8.01 c [INC SEARCH] formula is SAT
7.96/8.01 c [INC SEARCH] copied best model
7.96/8.01 c sat variable: 1 optimum/unsat variable: 0
7.96/8.01 c model valid
7.96/8.01 c current solution ok
7.96/8.01 o 251
7.96/8.01 c [INC SEARCH] current bound: 241
7.96/8.01 c [INC SEARCH] iteration: 3
7.96/8.01 c [INC SEARCH] lower bound: 231 upperbound 251 current bound: 241 best value:251
7.96/8.01 c [INC ENCODE] setup new number of clauses ...
7.96/8.01 c [INC] encode incremental formula
7.96/8.01 c return only the limitting unit clause for 241
7.96/8.01 c [INC SYSTEM] transmit new clauses to solver: 1
7.96/8.01 c [INC SEARCH] isOptimum variable: 0
9.06/9.15 c [INC SEARCH] formula is UNSAT
9.06/9.15 c [INC SYSTEM] there exists a inc, kill it!
9.06/9.15 c write failed with 2
9.12/9.21 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xf19a60)
9.12/9.21 c sat variable: 0 optimum/unsat variable: 1
9.12/9.21 c [INC SEARCH] set lower bound to 242 upperbound 251
9.12/9.21 c [INC SEARCH] current bound: 246
9.12/9.21 c [INC SEARCH] iteration: 4
9.12/9.21 c [INC SEARCH] lower bound: 242 upperbound 251 current bound: 246 best value:251
9.12/9.21 c [INC SYSTEM] create new solver instance
9.12/9.21 c [INC] encode full formula
9.12/9.21 c set iterative enc to: swc
9.12/9.21 c [INC SEARCH] isOptimum variable: 0
14.22/14.33 c [INC SEARCH] formula is UNSAT
14.22/14.33 c [INC SYSTEM] there exists a inc, kill it!
14.22/14.33 c write failed with 2
14.22/14.33 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xf19a60)
14.22/14.33 c sat variable: 0 optimum/unsat variable: 1
14.22/14.33 c [INC SEARCH] set lower bound to 247 upperbound 251
14.22/14.33 c [INC SEARCH] current bound: 249
14.22/14.33 c [INC SEARCH] iteration: 5
14.22/14.33 c [INC SEARCH] lower bound: 247 upperbound 251 current bound: 249 best value:251
14.22/14.33 c [INC SYSTEM] create new solver instance
14.22/14.33 c [INC] encode full formula
14.22/14.33 c set iterative enc to: swc
14.22/14.35 c [INC SEARCH] isOptimum variable: 0
18.81/18.90 c [INC SEARCH] formula is UNSAT
18.81/18.90 c [INC SYSTEM] there exists a inc, kill it!
18.81/18.90 c write failed with 2
18.81/18.90 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xf19a60)
18.81/18.90 c sat variable: 0 optimum/unsat variable: 1
18.81/18.90 c [INC SEARCH] set lower bound to 250 upperbound 251
18.81/18.90 c [INC SEARCH] current bound: 250
18.81/18.90 c [INC SEARCH] iteration: 6
18.81/18.90 c [INC SEARCH] lower bound: 250 upperbound 251 current bound: 250 best value:251
18.81/18.90 c [INC SYSTEM] create new solver instance
18.81/18.90 c [INC] encode full formula
18.81/18.90 c set iterative enc to: swc
18.81/18.90 c [INC SEARCH] isOptimum variable: 0
22.99/23.12 c [INC SEARCH] formula is UNSAT
22.99/23.12 c [INC SYSTEM] there exists a inc, kill it!
22.99/23.12 c write failed with 2
22.99/23.12 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xf19a60)
22.99/23.12 c sat variable: 0 optimum/unsat variable: 1
22.99/23.12 c [INC SEARCH] set lower bound to 251 upperbound 251
22.99/23.12 c display solution
22.99/23.12 s OPTIMUM FOUND
22.99/23.12 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-3699802-1338067581/watcher-3699802-1338067581 -o /tmp/evaluation-result-3699802-1338067581/solver-3699802-1338067581 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699802-1338067581.opb 717186571 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: 4.34 5.18 4.12 3/181 12057
/proc/meminfo: memFree=30593724/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (runsolver) D 12055 12057 8474 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 272883440 12095488 50 33554432000 4194304 5436572 140735354526688 140735354522984 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/12057/statm: 2953 50 31 304 0 2645 0
[startup+0.0567371 s]
/proc/loadavg: 4.34 5.18 4.12 3/181 12057
/proc/meminfo: memFree=30593724/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.1003 s]
/proc/loadavg: 4.34 5.18 4.12 3/181 12057
/proc/meminfo: memFree=30593724/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 4.34 5.18 4.12 3/181 12057
/proc/meminfo: memFree=30593724/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7002 s]
/proc/loadavg: 4.34 5.18 4.12 3/181 12057
/proc/meminfo: memFree=30593724/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 4.34 5.18 4.12 3/184 12063
/proc/meminfo: memFree=30568628/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23200 CPUtime=0.29 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 5916 2531 0 0 15 1 13 0 20 0 1 0 272883441 23756800 5440 33554432000 4194304 5992684 140733995314096 140733995300360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12059/statm: 5800 5440 175 440 0 5356 0
[pid=12063] ppid=12059 vsize=7808 CPUtime=1.17 cores=0,2,4,6
/proc/12063/stat : 12063 (glucosInc) R 12059 12057 8474 0 -1 4202496 1531 0 0 0 117 0 0 0 20 0 1 0 272883473 7995392 1035 33554432000 4194304 5654031 140735768394384 140735768392264 4234964 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12063/statm: 1952 1035 138 357 0 1592 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 40156
[startup+3.10027 s]
/proc/loadavg: 4.16 5.13 4.10 3/184 12063
/proc/meminfo: memFree=30565668/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23200 CPUtime=0.29 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 5916 2531 0 0 15 1 13 0 20 0 1 0 272883441 23756800 5440 33554432000 4194304 5992684 140733995314096 140733995300360 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12059/statm: 5800 5440 175 440 0 5356 0
[pid=12063] ppid=12059 vsize=8840 CPUtime=2.76 cores=0,2,4,6
/proc/12063/stat : 12063 (glucosInc) R 12059 12057 8474 0 -1 4202496 2207 0 0 0 276 0 0 0 20 0 1 0 272883473 9052160 1664 33554432000 4194304 5654031 140735768394384 140735768392264 4232752 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12063/statm: 2210 1664 138 357 0 1850 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 41188
[startup+6.30015 s]
/proc/loadavg: 4.16 5.13 4.10 3/184 12068
/proc/meminfo: memFree=30565668/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23356 CPUtime=5.96 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 6238 9658 0 0 16 3 575 2 20 0 1 0 272883441 23916544 5462 33554432000 4194304 5992684 140733995314096 140733995299000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12059/statm: 5839 5462 187 440 0 5395 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 32504
[startup+12.7003 s]
/proc/loadavg: 3.82 5.02 4.08 3/184 12072
/proc/meminfo: memFree=30563196/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23356 CPUtime=9.12 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 6356 12351 0 0 16 3 891 2 20 0 1 0 272883441 23916544 5462 33554432000 4194304 5992684 140733995314096 140733995299000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12059/statm: 5839 5462 187 440 0 5395 0
[pid=12072] ppid=12059 vsize=9608 CPUtime=3.49 cores=0,2,4,6
/proc/12072/stat : 12072 (glucosInc) R 12059 12057 8474 0 -1 4202496 2474 0 0 0 349 0 0 0 20 0 1 0 272884360 9838592 1901 33554432000 4194304 5654031 140734271314624 140734271312424 4232509 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12072/statm: 2402 1901 138 357 0 2042 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 42112
Solver just ended. Dumping a history of the last processes samples
[startup+19.1002 s]
/proc/loadavg: 3.68 4.97 4.07 3/184 12074
/proc/meminfo: memFree=30560980/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23356 CPUtime=18.81 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 6531 18378 0 0 16 3 1859 3 20 0 1 0 272883441 23916544 5462 33554432000 4194304 5992684 140733995314096 140733995299000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12059/statm: 5839 5462 187 440 0 5395 0
Current children cumulated CPU time (s) 18.81
Current children cumulated vsize (KiB) 32504
[startup+20.7003 s]
/proc/loadavg: 3.68 4.97 4.07 3/184 12076
/proc/meminfo: memFree=30564700/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23356 CPUtime=18.81 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 6531 18378 0 0 16 3 1859 3 20 0 1 0 272883441 23916544 5462 33554432000 4194304 5992684 140733995314096 140733995299000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12059/statm: 5839 5462 187 440 0 5395 0
[pid=12076] ppid=12059 vsize=8208 CPUtime=1.78 cores=0,2,4,6
/proc/12076/stat : 12076 (glucosInc) R 12059 12057 8474 0 -1 4202496 2073 0 0 0 178 0 0 0 20 0 1 0 272885331 8404992 1482 33554432000 4194304 5654031 140735829118352 140735829116232 4232960 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12076/statm: 2052 1482 138 357 0 1692 0
Current children cumulated CPU time (s) 20.59
Current children cumulated vsize (KiB) 40712
[startup+22.3003 s]
/proc/loadavg: 3.54 4.92 4.06 3/184 12076
/proc/meminfo: memFree=30559552/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23356 CPUtime=18.81 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 6531 18378 0 0 16 3 1859 3 20 0 1 0 272883441 23916544 5462 33554432000 4194304 5992684 140733995314096 140733995299000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12059/statm: 5839 5462 187 440 0 5395 0
[pid=12076] ppid=12059 vsize=9968 CPUtime=3.38 cores=0,2,4,6
/proc/12076/stat : 12076 (glucosInc) R 12059 12057 8474 0 -1 4202496 2352 0 0 0 338 0 0 0 20 0 1 0 272885331 10207232 1755 33554432000 4194304 5654031 140735829118352 140735829116232 4232949 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12076/statm: 2492 1755 138 357 0 2132 0
Current children cumulated CPU time (s) 22.19
Current children cumulated vsize (KiB) 42472
[startup+22.7003 s]
/proc/loadavg: 3.54 4.92 4.06 3/184 12076
/proc/meminfo: memFree=30559552/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23356 CPUtime=18.81 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 6531 18378 0 0 16 3 1859 3 20 0 1 0 272883441 23916544 5462 33554432000 4194304 5992684 140733995314096 140733995299000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12059/statm: 5839 5462 187 440 0 5395 0
[pid=12076] ppid=12059 vsize=10140 CPUtime=3.78 cores=0,2,4,6
/proc/12076/stat : 12076 (glucosInc) R 12059 12057 8474 0 -1 4202496 2385 0 0 0 378 0 0 0 20 0 1 0 272885331 10383360 1788 33554432000 4194304 5654031 140735829118352 140735829116232 4232495 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12076/statm: 2535 1788 138 357 0 2175 0
Current children cumulated CPU time (s) 22.59
Current children cumulated vsize (KiB) 42644
[startup+23.1064 s]
/proc/loadavg: 3.54 4.92 4.06 3/184 12076
/proc/meminfo: memFree=30557692/32873844 swapFree=7112/7112
[pid=12057] ppid=12055 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12057/stat : 12057 (npSolver-pbo-I.) S 12055 12057 8474 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 272883440 9367552 275 33554432000 4194304 5064252 140737239504288 140737239503200 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12057/statm: 2287 275 233 213 0 72 0
[pid=12059] ppid=12057 vsize=23356 CPUtime=18.81 cores=0,2,4,6
/proc/12059/stat : 12059 (npSolver-pbo) S 12057 12057 8474 0 -1 4202496 6531 18378 0 0 16 3 1859 3 20 0 1 0 272883441 23916544 5462 33554432000 4194304 5992684 140733995314096 140733995299000 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12059/statm: 5839 5462 187 440 0 5395 0
[pid=12076] ppid=12059 vsize=11788 CPUtime=4.18 cores=0,2,4,6
/proc/12076/stat : 12076 (glucosInc) R 12059 12057 8474 0 -1 4202496 2752 0 0 0 418 0 0 0 20 0 1 0 272885331 12070912 2121 33554432000 4194304 5654031 140735829118352 140735829116232 4232477 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12076/statm: 2947 2121 138 357 0 2587 0
Current children cumulated CPU time (s) 22.99
Current children cumulated vsize (KiB) 44292
Child status: 0
Real time (s): 23.1334
CPU time (s): 23.0595
CPU user time (s): 22.9705
CPU system time (s): 0.088986
CPU usage (%): 99.6804
Max. virtual memory (cumulated for all children) (KiB): 44292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.9705
system time used= 0.088986
maximum resident set size= 22504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28508
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 84
involuntary context switches= 93
runsolver used 0.043993 second user time and 0.090986 second system time
The end