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.32 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.32 c [INC SYSTEM] execute solver
4.47/4.57 c [INC SEARCH] formula is SAT
4.47/4.57 c [INC SYSTEM] solved the initial formula
4.47/4.57 c model valid
4.47/4.57 c current solution ok
4.47/4.58 o 167
4.47/4.58 c execute binary inc search
4.47/4.58 c [INC SEARCH] current bound: 83
4.47/4.58 c [INC SEARCH] iteration: 0
4.47/4.58 c [INC SEARCH] lower bound: 0 upperbound 167 current bound: 83 best value:167
4.47/4.58 c [INC SYSTEM] there exists a inc, kill it!
4.47/4.58 c write failed with 2
4.47/4.59 c [INC SYSTEM] create new solver instance
4.47/4.59 c [INC] encode full formula
4.47/4.59 c set iterative enc to: swc
4.47/4.59 c [INC SEARCH] isOptimum variable: 0
4.47/4.59 c [INC SEARCH] formula is UNSAT
4.47/4.59 c [INC SYSTEM] there exists a inc, kill it!
4.47/4.59 c write failed with 2
4.47/4.59 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xcc8a00)
4.47/4.59 c sat variable: 0 optimum/unsat variable: 1
4.47/4.59 c [INC SEARCH] set lower bound to 84 upperbound 167
4.47/4.59 c [INC SEARCH] current bound: 125
4.47/4.59 c [INC SEARCH] iteration: 1
4.47/4.59 c [INC SEARCH] lower bound: 84 upperbound 167 current bound: 125 best value:167
4.47/4.59 c [INC SYSTEM] create new solver instance
4.47/4.59 c [INC] encode full formula
4.47/4.60 c set iterative enc to: swc
4.57/4.60 c [INC SEARCH] isOptimum variable: 0
4.57/4.80 c [INC SEARCH] formula is UNSAT
4.57/4.80 c [INC SYSTEM] there exists a inc, kill it!
4.57/4.80 c write failed with 2
4.57/4.80 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xcc8a00)
4.57/4.80 c sat variable: 0 optimum/unsat variable: 1
4.57/4.80 c [INC SEARCH] set lower bound to 126 upperbound 167
4.57/4.80 c [INC SEARCH] current bound: 146
4.57/4.80 c [INC SEARCH] iteration: 2
4.57/4.80 c [INC SEARCH] lower bound: 126 upperbound 167 current bound: 146 best value:167
4.57/4.80 c [INC SYSTEM] create new solver instance
4.57/4.80 c [INC] encode full formula
4.57/4.80 c set iterative enc to: swc
4.57/4.80 c [INC SEARCH] isOptimum variable: 0
7.06/7.18 c [INC SEARCH] formula is UNSAT
7.06/7.18 c [INC SYSTEM] there exists a inc, kill it!
7.06/7.18 c write failed with 2
7.06/7.18 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xcc8a00)
7.06/7.18 c sat variable: 0 optimum/unsat variable: 1
7.06/7.18 c [INC SEARCH] set lower bound to 147 upperbound 167
7.06/7.18 c [INC SEARCH] current bound: 157
7.06/7.18 c [INC SEARCH] iteration: 3
7.06/7.18 c [INC SEARCH] lower bound: 147 upperbound 167 current bound: 157 best value:167
7.06/7.18 c [INC SYSTEM] create new solver instance
7.06/7.18 c [INC] encode full formula
7.06/7.19 c set iterative enc to: swc
7.06/7.19 c [INC SEARCH] isOptimum variable: 0
12.77/12.82 c [INC SEARCH] formula is UNSAT
12.77/12.82 c [INC SYSTEM] there exists a inc, kill it!
12.77/12.82 c write failed with 2
12.77/12.82 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xcc8a00)
12.77/12.82 c sat variable: 0 optimum/unsat variable: 1
12.77/12.82 c [INC SEARCH] set lower bound to 158 upperbound 167
12.77/12.82 c [INC SEARCH] current bound: 162
12.77/12.82 c [INC SEARCH] iteration: 4
12.77/12.82 c [INC SEARCH] lower bound: 158 upperbound 167 current bound: 162 best value:167
12.77/12.82 c [INC SYSTEM] create new solver instance
12.77/12.82 c [INC] encode full formula
12.77/12.82 c set iterative enc to: swc
12.77/12.82 c [INC SEARCH] isOptimum variable: 0
14.36/14.41 c [INC SEARCH] formula is UNSAT
14.36/14.41 c [INC SYSTEM] there exists a inc, kill it!
14.36/14.41 c write failed with 2
14.36/14.41 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xcc8a00)
14.36/14.41 c sat variable: 0 optimum/unsat variable: 1
14.36/14.41 c [INC SEARCH] set lower bound to 163 upperbound 167
14.36/14.41 c [INC SEARCH] current bound: 165
14.36/14.41 c [INC SEARCH] iteration: 5
14.36/14.41 c [INC SEARCH] lower bound: 163 upperbound 167 current bound: 165 best value:167
14.36/14.41 c [INC SYSTEM] create new solver instance
14.36/14.41 c [INC] encode full formula
14.36/14.42 c set iterative enc to: swc
14.36/14.42 c [INC SEARCH] isOptimum variable: 0
16.66/16.72 c [INC SEARCH] formula is UNSAT
16.66/16.72 c [INC SYSTEM] there exists a inc, kill it!
16.66/16.72 c write failed with 2
16.66/16.72 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xcc8a00)
16.66/16.72 c sat variable: 0 optimum/unsat variable: 1
16.66/16.72 c [INC SEARCH] set lower bound to 166 upperbound 167
16.66/16.72 c [INC SEARCH] current bound: 166
16.66/16.72 c [INC SEARCH] iteration: 6
16.66/16.72 c [INC SEARCH] lower bound: 166 upperbound 167 current bound: 166 best value:167
16.66/16.72 c [INC SYSTEM] create new solver instance
16.66/16.72 c [INC] encode full formula
16.66/16.72 c set iterative enc to: swc
16.66/16.73 c [INC SEARCH] isOptimum variable: 0
18.26/18.37 c [INC SEARCH] formula is UNSAT
18.26/18.37 c [INC SYSTEM] there exists a inc, kill it!
18.26/18.37 c write failed with 2
18.26/18.37 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0xcc8a00)
18.26/18.37 c sat variable: 0 optimum/unsat variable: 1
18.26/18.37 c [INC SEARCH] set lower bound to 167 upperbound 167
18.26/18.37 c display solution
18.26/18.37 s OPTIMUM FOUND
18.26/18.37 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-3699796-1338067700/watcher-3699796-1338067700 -o /tmp/evaluation-result-3699796-1338067700/solver-3699796-1338067700 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699796-1338067700.opb 960043652 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.31 4.12 3.85 2/180 12566
/proc/meminfo: memFree=30574256/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[startup+0.058825 s]
/proc/loadavg: 2.31 4.12 3.85 2/180 12566
/proc/meminfo: memFree=30574256/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100306 s]
/proc/loadavg: 2.31 4.12 3.85 2/180 12566
/proc/meminfo: memFree=30574256/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300139 s]
/proc/loadavg: 2.31 4.12 3.85 2/180 12566
/proc/meminfo: memFree=30574256/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700199 s]
/proc/loadavg: 2.31 4.12 3.85 2/180 12566
/proc/meminfo: memFree=30574256/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.31 4.12 3.85 3/183 12572
/proc/meminfo: memFree=30549672/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=0.3 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 5859 3015 0 0 15 1 14 0 20 0 1 0 272895381 23580672 5390 33554432000 4194304 5992684 140735623461440 140735623447704 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12567/statm: 5757 5390 175 440 0 5313 0
[pid=12572] ppid=12567 vsize=7792 CPUtime=1.17 cores=0,2,4,6
/proc/12572/stat : 12572 (glucosInc) R 12567 12566 8474 0 -1 4202496 1412 0 0 0 117 0 0 0 20 0 1 0 272895413 7979008 1020 33554432000 4194304 5654031 140736914586016 140736914583800 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12572/statm: 1948 1020 137 357 0 1588 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 39968
[startup+3.10029 s]
/proc/loadavg: 2.29 4.09 3.84 3/183 12572
/proc/meminfo: memFree=30545376/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=0.3 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 5859 3015 0 0 15 1 14 0 20 0 1 0 272895381 23580672 5390 33554432000 4194304 5992684 140735623461440 140735623447704 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12567/statm: 5757 5390 175 440 0 5313 0
[pid=12572] ppid=12567 vsize=8840 CPUtime=2.77 cores=0,2,4,6
/proc/12572/stat : 12572 (glucosInc) R 12567 12566 8474 0 -1 4202496 2107 0 0 0 277 0 0 0 20 0 1 0 272895413 9052160 1671 33554432000 4194304 5654031 140736914586016 140736914583816 4215344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12572/statm: 2210 1671 137 357 0 1850 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 41016
[startup+6.30025 s]
/proc/loadavg: 2.29 4.09 3.84 3/183 12579
/proc/meminfo: memFree=30547484/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=4.78 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 6122 8841 0 0 15 2 459 2 20 0 1 0 272895381 23580672 5402 33554432000 4194304 5992684 140735623461440 140735623446344 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12567/statm: 5757 5402 187 440 0 5313 0
[pid=12579] ppid=12567 vsize=7808 CPUtime=1.48 cores=0,2,4,6
/proc/12579/stat : 12579 (glucosInc) R 12567 12566 8474 0 -1 4202496 1555 0 0 0 148 0 0 0 20 0 1 0 272895861 7995392 1083 33554432000 4194304 5654031 140734611060864 140734611058744 4232710 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12579/statm: 1952 1083 137 357 0 1592 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 39984
[startup+12.7002 s]
/proc/loadavg: 2.32 4.03 3.83 3/183 12581
/proc/meminfo: memFree=30543424/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=7.16 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 6192 11140 0 0 15 2 697 2 20 0 1 0 272895381 23580672 5402 33554432000 4194304 5992684 140735623461440 140735623446344 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12567/statm: 5757 5402 187 440 0 5313 0
[pid=12581] ppid=12567 vsize=9376 CPUtime=5.49 cores=0,2,4,6
/proc/12581/stat : 12581 (glucosInc) R 12567 12566 8474 0 -1 4202496 2373 0 0 0 549 0 0 0 20 0 1 0 272896100 9601024 1840 33554432000 4194304 5654031 140736078685488 140736078683288 4232803 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12581/statm: 2344 1840 138 357 0 1984 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 41552
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 2.32 4.03 3.83 3/183 12585
/proc/meminfo: memFree=30546772/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=14.39 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 6332 16037 0 0 15 2 1418 4 20 0 1 0 272895381 23580672 5402 33554432000 4194304 5992684 140735623461440 140735623446344 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/12567/statm: 5757 5402 187 440 0 5313 0
[pid=12585] ppid=12567 vsize=7880 CPUtime=1.47 cores=0,2,4,6
/proc/12585/stat : 12585 (glucosInc) R 12567 12566 8474 0 -1 4202496 1697 0 0 0 147 0 0 0 20 0 1 0 272896823 8069120 1305 33554432000 4194304 5654031 140734308537808 140734308535688 4232916 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12585/statm: 1970 1305 138 357 0 1610 0
Current children cumulated CPU time (s) 15.86
Current children cumulated vsize (KiB) 40056
[startup+17.5002 s]
/proc/loadavg: 2.29 4.00 3.82 3/183 12587
/proc/meminfo: memFree=30546780/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=16.7 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 6402 18390 0 0 16 2 1648 4 20 0 1 0 272895381 23580672 5402 33554432000 4194304 5992684 140735623461440 140735623446344 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12567/statm: 5757 5402 187 440 0 5313 0
[pid=12587] ppid=12567 vsize=5212 CPUtime=0.76 cores=0,2,4,6
/proc/12587/stat : 12587 (glucosInc) R 12567 12566 8474 0 -1 4202496 1287 0 0 0 76 0 0 0 20 0 1 0 272897054 5337088 797 33554432000 4194304 5654031 140733858818464 140733858816488 4232700 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12587/statm: 1303 797 138 357 0 943 0
Current children cumulated CPU time (s) 17.46
Current children cumulated vsize (KiB) 37388
[startup+17.9002 s]
/proc/loadavg: 2.29 4.00 3.82 3/183 12587
/proc/meminfo: memFree=30546780/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=16.7 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 6402 18390 0 0 16 2 1648 4 20 0 1 0 272895381 23580672 5402 33554432000 4194304 5992684 140735623461440 140735623446344 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12567/statm: 5757 5402 187 440 0 5313 0
[pid=12587] ppid=12567 vsize=7884 CPUtime=1.16 cores=0,2,4,6
/proc/12587/stat : 12587 (glucosInc) R 12567 12566 8474 0 -1 4202496 1572 0 0 0 116 0 0 0 20 0 1 0 272897054 8073216 1073 33554432000 4194304 5654031 140733858818464 140733858816344 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12587/statm: 1971 1073 138 357 0 1611 0
Current children cumulated CPU time (s) 17.86
Current children cumulated vsize (KiB) 40060
[startup+18.3002 s]
/proc/loadavg: 2.29 4.00 3.82 3/183 12587
/proc/meminfo: memFree=30546780/32873844 swapFree=7112/7112
[pid=12566] ppid=12564 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12566/stat : 12566 (npSolver-pbo-I.) S 12564 12566 8474 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 272895381 9367552 274 33554432000 4194304 5064252 140735461159808 140735461158720 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12566/statm: 2287 274 233 213 0 72 0
[pid=12567] ppid=12566 vsize=23028 CPUtime=16.7 cores=0,2,4,6
/proc/12567/stat : 12567 (npSolver-pbo) S 12566 12566 8474 0 -1 4202496 6402 18390 0 0 16 2 1648 4 20 0 1 0 272895381 23580672 5402 33554432000 4194304 5992684 140735623461440 140735623446344 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12567/statm: 5757 5402 187 440 0 5313 0
[pid=12587] ppid=12567 vsize=7884 CPUtime=1.56 cores=0,2,4,6
/proc/12587/stat : 12587 (glucosInc) R 12567 12566 8474 0 -1 4202496 1812 0 0 0 156 0 0 0 20 0 1 0 272897054 8073216 1294 33554432000 4194304 5654031 140733858818464 140733858816344 4232651 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12587/statm: 1971 1294 138 357 0 1611 0
Current children cumulated CPU time (s) 18.26
Current children cumulated vsize (KiB) 40060
Child status: 0
Real time (s): 18.3765
CPU time (s): 18.3652
CPU user time (s): 18.2822
CPU system time (s): 0.082987
CPU usage (%): 99.9385
Max. virtual memory (cumulated for all children) (KiB): 42680
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.2822
system time used= 0.082987
maximum resident set size= 22276
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27459
page faults= 0
swaps= 0
block input operations= 0
block output operations= 4672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 87
runsolver used 0.031995 second user time and 0.104984 second system time
The end