0.00/0.13 c fallback to adder encoding
0.00/0.19 c run inc solver
0.00/0.19 c [INC SYSTEM] run initial solver
0.00/0.19 c [INC SYSTEM] preprocess with white file
0.00/0.33 c [INC SYSTEM] finished preprocessing in 0 s
0.00/0.33 c [INC SYSTEM] execute solver
2.36/2.48 c [INC SEARCH] formula is SAT
2.36/2.48 c [INC SYSTEM] solved the initial formula
2.36/2.48 c model valid
2.36/2.48 c current solution ok
2.47/2.50 o 419
2.47/2.50 c execute binary inc search
2.47/2.50 c [INC SEARCH] current bound: 209
2.47/2.50 c [INC SEARCH] iteration: 0
2.47/2.50 c [INC SEARCH] lower bound: 0 upperbound 419 current bound: 209 best value:419
2.47/2.50 c [INC SYSTEM] there exists a inc, kill it!
2.47/2.50 c write failed with 2
2.47/2.50 c [INC SYSTEM] create new solver instance
2.47/2.50 c [INC] encode full formula
2.47/2.50 c set iterative enc to: swc
2.47/2.50 c [INC SEARCH] isOptimum variable: 0
7.97/8.06 c [INC SEARCH] formula is SAT
7.97/8.06 c [INC SEARCH] copied best model
7.97/8.06 c sat variable: 1 optimum/unsat variable: 0
7.97/8.06 c model valid
7.97/8.06 c current solution ok
7.97/8.06 o 59
7.97/8.06 c [INC SEARCH] current bound: 29
7.97/8.06 c [INC SEARCH] iteration: 1
7.97/8.06 c [INC SEARCH] lower bound: 0 upperbound 59 current bound: 29 best value:59
7.97/8.06 c [INC ENCODE] setup new number of clauses ...
7.97/8.06 c [INC] encode incremental formula
7.97/8.06 c return only the limitting unit clause for 29
7.97/8.06 c [INC SYSTEM] transmit new clauses to solver: 1
7.97/8.06 c [INC SEARCH] isOptimum variable: 0
7.97/8.06 c [INC SEARCH] formula is UNSAT
7.97/8.06 c [INC SYSTEM] there exists a inc, kill it!
7.97/8.06 c write failed with 2
7.97/8.06 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x216fb10)
7.97/8.06 c sat variable: 0 optimum/unsat variable: 1
7.97/8.06 c [INC SEARCH] set lower bound to 30 upperbound 59
7.97/8.06 c [INC SEARCH] current bound: 44
7.97/8.06 c [INC SEARCH] iteration: 2
7.97/8.06 c [INC SEARCH] lower bound: 30 upperbound 59 current bound: 44 best value:59
7.97/8.06 c [INC SYSTEM] create new solver instance
7.97/8.06 c [INC] encode full formula
7.97/8.06 c set iterative enc to: swc
7.97/8.07 c [INC SEARCH] isOptimum variable: 0
7.97/8.08 c [INC SEARCH] formula is UNSAT
7.97/8.08 c [INC SYSTEM] there exists a inc, kill it!
7.97/8.08 c write failed with 2
7.97/8.08 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x216fb10)
7.97/8.08 c sat variable: 0 optimum/unsat variable: 1
7.97/8.08 c [INC SEARCH] set lower bound to 45 upperbound 59
7.97/8.08 c [INC SEARCH] current bound: 52
7.97/8.08 c [INC SEARCH] iteration: 3
7.97/8.08 c [INC SEARCH] lower bound: 45 upperbound 59 current bound: 52 best value:59
7.97/8.08 c [INC SYSTEM] create new solver instance
7.97/8.08 c [INC] encode full formula
7.97/8.08 c set iterative enc to: swc
7.97/8.08 c [INC SEARCH] isOptimum variable: 0
8.67/8.70 c [INC SEARCH] formula is UNSAT
8.67/8.70 c [INC SYSTEM] there exists a inc, kill it!
8.67/8.70 c write failed with 2
8.67/8.70 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x216fb10)
8.67/8.70 c sat variable: 0 optimum/unsat variable: 1
8.67/8.70 c [INC SEARCH] set lower bound to 53 upperbound 59
8.67/8.70 c [INC SEARCH] current bound: 56
8.67/8.70 c [INC SEARCH] iteration: 4
8.67/8.70 c [INC SEARCH] lower bound: 53 upperbound 59 current bound: 56 best value:59
8.67/8.70 c [INC SYSTEM] create new solver instance
8.67/8.70 c [INC] encode full formula
8.67/8.70 c set iterative enc to: swc
8.67/8.71 c [INC SEARCH] isOptimum variable: 0
8.68/8.93 c [INC SEARCH] formula is UNSAT
8.68/8.93 c [INC SYSTEM] there exists a inc, kill it!
8.68/8.93 c write failed with 2
8.68/8.93 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x216fb10)
8.68/8.93 c sat variable: 0 optimum/unsat variable: 1
8.68/8.93 c [INC SEARCH] set lower bound to 57 upperbound 59
8.68/8.93 c [INC SEARCH] current bound: 58
8.68/8.93 c [INC SEARCH] iteration: 5
8.68/8.93 c [INC SEARCH] lower bound: 57 upperbound 59 current bound: 58 best value:59
8.68/8.93 c [INC SYSTEM] create new solver instance
8.68/8.93 c [INC] encode full formula
8.68/8.93 c set iterative enc to: swc
8.68/8.93 c [INC SEARCH] isOptimum variable: 0
10.36/10.42 c [INC SEARCH] formula is UNSAT
10.36/10.42 c [INC SYSTEM] there exists a inc, kill it!
10.36/10.42 c write failed with 2
10.36/10.42 c [INC SYSTEM] there exists an encoder, kill it! (ptr=0x216fb10)
10.36/10.42 c sat variable: 0 optimum/unsat variable: 1
10.36/10.42 c [INC SEARCH] set lower bound to 59 upperbound 59
10.36/10.42 c display solution
10.36/10.42 s OPTIMUM FOUND
10.36/10.42 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-3699813-1338067698/watcher-3699813-1338067698 -o /tmp/evaluation-result-3699813-1338067698/solver-3699813-1338067698 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699813-1338067698.opb 1217842054 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.15 2.39 2.19 3/176 20400
/proc/meminfo: memFree=28734336/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[startup+0.0319091 s]
/proc/loadavg: 2.15 2.39 2.19 3/176 20400
/proc/meminfo: memFree=28734336/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100359 s]
/proc/loadavg: 2.15 2.39 2.19 3/176 20400
/proc/meminfo: memFree=28734336/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300154 s]
/proc/loadavg: 2.15 2.39 2.19 3/176 20400
/proc/meminfo: memFree=28734336/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700285 s]
/proc/loadavg: 2.15 2.39 2.19 3/176 20400
/proc/meminfo: memFree=28734336/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50034 s]
/proc/loadavg: 2.15 2.39 2.19 3/179 20406
/proc/meminfo: memFree=28707900/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23184 CPUtime=0.31 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 5884 2465 0 0 17 0 13 1 20 0 1 0 272895218 23740416 5422 33554432000 4194304 5992684 140737208674416 140737208660680 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20401/statm: 5796 5422 175 440 0 5352 0
[pid=20406] ppid=20401 vsize=7556 CPUtime=1.15 cores=1,3,5,7
/proc/20406/stat : 20406 (glucosInc) R 20401 20400 18146 0 -1 4202496 1551 0 0 0 115 0 0 0 20 0 1 0 272895252 7737344 1083 33554432000 4194304 5654031 140733315315984 140733315314008 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20406/statm: 1889 1083 137 357 0 1529 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 39888
[startup+3.10032 s]
/proc/loadavg: 2.15 2.39 2.19 3/179 20406
/proc/meminfo: memFree=28704668/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23348 CPUtime=2.48 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 6107 5392 0 0 18 2 227 1 20 0 1 0 272895218 23908352 5448 33554432000 4194304 5992684 140737208674416 140737208659320 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20401/statm: 5837 5448 186 440 0 5393 0
Current children cumulated CPU time (s) 2.48
Current children cumulated vsize (KiB) 32496
heavy processes:
[startup+6.30031 s]
/proc/loadavg: 2.14 2.38 2.19 3/179 20409
/proc/meminfo: memFree=28700204/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23348 CPUtime=2.48 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 6107 5392 0 0 18 2 227 1 20 0 1 0 272895218 23908352 5448 33554432000 4194304 5992684 140737208674416 140737208659320 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20401/statm: 5837 5448 186 440 0 5393 0
[pid=20409] ppid=20401 vsize=9676 CPUtime=3.79 cores=1,3,5,7
/proc/20409/stat : 20409 (glucosInc) R 20401 20400 18146 0 -1 4202496 2242 0 0 0 379 0 0 0 20 0 1 0 272895469 9908224 1737 33554432000 4194304 5654031 140735375623664 140735375621464 4232466 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2419 1737 141 357 0 2059 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 42172
Solver just ended. Dumping a history of the last processes samples
[startup+7.90031 s]
/proc/loadavg: 2.14 2.38 2.19 3/179 20415
/proc/meminfo: memFree=28706288/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23348 CPUtime=2.48 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 6107 5392 0 0 18 2 227 1 20 0 1 0 272895218 23908352 5448 33554432000 4194304 5992684 140737208674416 140737208659320 5179600 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/20401/statm: 5837 5448 186 440 0 5393 0
[pid=20409] ppid=20401 vsize=9676 CPUtime=5.39 cores=1,3,5,7
/proc/20409/stat : 20409 (glucosInc) R 20401 20400 18146 0 -1 4202496 2309 0 0 0 539 0 0 0 20 0 1 0 272895469 9908224 1800 33554432000 4194304 5654031 140735375623664 140735375621544 4233443 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/20409/statm: 2419 1800 141 357 0 2059 0
Current children cumulated CPU time (s) 7.87
Current children cumulated vsize (KiB) 42172
[startup+9.50017 s]
/proc/loadavg: 2.13 2.38 2.19 3/179 20419
/proc/meminfo: memFree=28707296/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23348 CPUtime=8.91 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 6461 12331 0 0 18 2 868 3 20 0 1 0 272895218 23908352 5449 33554432000 4194304 5992684 140737208674416 140737208659320 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20401/statm: 5837 5449 187 440 0 5393 0
Current children cumulated CPU time (s) 8.91
Current children cumulated vsize (KiB) 32496
[startup+9.90683 s]
/proc/loadavg: 2.13 2.38 2.19 3/179 20423
/proc/meminfo: memFree=28705972/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23348 CPUtime=8.91 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 6461 12331 0 0 18 2 868 3 20 0 1 0 272895218 23908352 5449 33554432000 4194304 5992684 140737208674416 140737208659320 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20401/statm: 5837 5449 187 440 0 5393 0
[pid=20423] ppid=20401 vsize=6128 CPUtime=0.96 cores=1,3,5,7
/proc/20423/stat : 20423 (glucosInc) R 20401 20400 18146 0 -1 4202496 1243 0 0 0 96 0 0 0 20 0 1 0 272896112 6275072 934 33554432000 4194304 5654031 140735298604512 140735298602392 4232949 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20423/statm: 1532 934 137 357 0 1172 0
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (KiB) 38624
[startup+10.3003 s]
/proc/loadavg: 2.13 2.38 2.19 3/179 20423
/proc/meminfo: memFree=28705972/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23348 CPUtime=8.91 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 6461 12331 0 0 18 2 868 3 20 0 1 0 272895218 23908352 5449 33554432000 4194304 5992684 140737208674416 140737208659320 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20401/statm: 5837 5449 187 440 0 5393 0
[pid=20423] ppid=20401 vsize=7776 CPUtime=1.35 cores=1,3,5,7
/proc/20423/stat : 20423 (glucosInc) R 20401 20400 18146 0 -1 4202496 1494 0 0 0 135 0 0 0 20 0 1 0 272896112 7962624 1167 33554432000 4194304 5654031 140735298604512 140735298602392 4215124 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20423/statm: 1944 1167 137 357 0 1584 0
Current children cumulated CPU time (s) 10.26
Current children cumulated vsize (KiB) 40272
[startup+10.4003 s]
/proc/loadavg: 2.13 2.38 2.19 3/179 20423
/proc/meminfo: memFree=28705972/32873852 swapFree=6848/6848
[pid=20400] ppid=20398 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/20400/stat : 20400 (npSolver-pbo-I.) S 20398 20400 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272895218 9367552 275 33554432000 4194304 5064252 140736652118000 140736652116912 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/20400/statm: 2287 275 233 213 0 72 0
[pid=20401] ppid=20400 vsize=23348 CPUtime=8.91 cores=1,3,5,7
/proc/20401/stat : 20401 (npSolver-pbo) S 20400 20400 18146 0 -1 4202496 6461 12331 0 0 18 2 868 3 20 0 1 0 272895218 23908352 5449 33554432000 4194304 5992684 140737208674416 140737208659320 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/20401/statm: 5837 5449 187 440 0 5393 0
[pid=20423] ppid=20401 vsize=7776 CPUtime=1.45 cores=1,3,5,7
/proc/20423/stat : 20423 (glucosInc) R 20401 20400 18146 0 -1 4202496 1504 0 0 0 145 0 0 0 20 0 1 0 272896112 7962624 1177 33554432000 4194304 5654031 140735298604512 140735298602392 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20423/statm: 1944 1177 137 357 0 1584 0
Current children cumulated CPU time (s) 10.36
Current children cumulated vsize (KiB) 40272
Child status: 0
Real time (s): 10.4261
CPU time (s): 10.4184
CPU user time (s): 10.3514
CPU system time (s): 0.066989
CPU usage (%): 99.9264
Max. virtual memory (cumulated for all children) (KiB): 42172
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.3514
system time used= 0.066989
maximum resident set size= 22376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3672
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 61
involuntary context switches= 68
runsolver used 0.011998 second user time and 0.075988 second system time
The end