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-3701246-1338061394/watcher-3701246-1338061394 -o /tmp/evaluation-result-3701246-1338061394/solver-3701246-1338061394 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701246-1338061394.opb 1930460989 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.00 2.00 2.00 3/173 16207
/proc/meminfo: memFree=29327836/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[startup+0.0527169 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 16207
/proc/meminfo: memFree=29327836/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100262 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 16207
/proc/meminfo: memFree=29327836/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300183 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 16207
/proc/meminfo: memFree=29327836/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70027 s]
/proc/loadavg: 2.00 2.00 2.00 3/173 16207
/proc/meminfo: memFree=29327836/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16247
/proc/meminfo: memFree=29293352/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=1 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 2643 13258 0 0 19 6 73 2 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 15972
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16258
/proc/meminfo: memFree=29277152/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=2.3 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 3515 20300 0 0 22 7 197 4 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 15972
heavy processes:
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16286
/proc/meminfo: memFree=29276812/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=4.34 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 4387 27373 0 0 24 7 398 5 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16278] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16278/stat : 16278 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272264771 9367552 267 33554432000 4194304 5064252 140735380702848 140735380701760 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16278/statm: 2287 267 226 213 0 72 0
[pid=16279] ppid=16278 vsize=19216 CPUtime=1.92 cores=0,2,4,6
/proc/16279/stat : 16279 (glucose) R 16278 16207 15154 0 -1 4202496 3869 0 0 0 192 0 0 0 20 0 1 0 272264771 19677184 4031 33554432000 4194304 5208918 140736098779104 140736098776936 4212601 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16279/statm: 4804 4031 103 248 0 4553 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 44336
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16321
/proc/meminfo: memFree=29275464/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=8.71 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 6155 42983 0 0 34 8 817 12 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16306] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16306/stat : 16306 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272265207 9367552 267 33554432000 4194304 5064252 140737090344720 140737090343632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16306/statm: 2287 267 226 213 0 72 0
[pid=16307] ppid=16306 vsize=17964 CPUtime=3.96 cores=0,2,4,6
/proc/16307/stat : 16307 (glucose) R 16306 16207 15154 0 -1 4202496 5116 0 0 0 396 0 0 0 20 0 1 0 272265207 18395136 3992 33554432000 4194304 5208918 140734920502992 140734920500824 4205227 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16307/statm: 4491 3992 105 248 0 4240 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 43084
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16342
/proc/meminfo: memFree=29258584/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=18.62 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 7923 61678 0 0 43 8 1791 20 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16341] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16341/stat : 16341 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272266201 9367552 266 33554432000 4194304 5064252 140733868141888 140733868140800 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16341/statm: 2287 266 226 213 0 72 0
[pid=16342] ppid=16341 vsize=29408 CPUtime=6.83 cores=0,2,4,6
/proc/16342/stat : 16342 (glucose) R 16341 16207 15154 0 -1 4202496 7124 0 0 0 682 1 0 0 20 0 1 0 272266201 30113792 5824 33554432000 4194304 5208918 140735400774144 140735400772088 4229299 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16342/statm: 7352 5824 105 248 0 7101 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 54528
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16357
/proc/meminfo: memFree=29246204/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=41.78 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 8819 73322 0 0 51 9 4091 27 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16356] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16356/stat : 16356 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 272268516 9367552 266 33554432000 4194304 5064252 140736812928464 140736812927376 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16356/statm: 2287 266 226 213 0 72 0
[pid=16357] ppid=16356 vsize=31560 CPUtime=9.27 cores=0,2,4,6
/proc/16357/stat : 16357 (glucose) R 16356 16207 15154 0 -1 4202496 7318 0 0 0 926 1 0 0 20 0 1 0 272268516 32317440 7351 33554432000 4194304 5208918 140733667068320 140733667066264 4229021 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16357/statm: 7890 7351 105 248 0 7639 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 56680
Solver just ended. Dumping a history of the last processes samples
[startup+57.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16364
/proc/meminfo: memFree=29251100/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=54.6 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 9715 83981 0 0 58 9 5361 32 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16363] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16363/stat : 16363 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272269799 9367552 267 33554432000 4194304 5064252 140733868759536 140733868758448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16363/statm: 2287 267 226 213 0 72 0
[pid=16364] ppid=16363 vsize=17560 CPUtime=2.84 cores=0,2,4,6
/proc/16364/stat : 16364 (glucose) R 16363 16207 15154 0 -1 4202496 4667 0 0 0 283 1 0 0 20 0 1 0 272269799 17981440 3839 33554432000 4194304 5208918 140733966896848 140733966894936 4229151 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16364/statm: 4390 3839 105 248 0 4139 0
Current children cumulated CPU time (s) 57.44
Current children cumulated vsize (KiB) 42680
[startup+59.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16364
/proc/meminfo: memFree=29251164/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=54.6 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 9715 83981 0 0 58 9 5361 32 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16363] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16363/stat : 16363 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272269799 9367552 267 33554432000 4194304 5064252 140733868759536 140733868758448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16363/statm: 2287 267 226 213 0 72 0
[pid=16364] ppid=16363 vsize=22320 CPUtime=4.44 cores=0,2,4,6
/proc/16364/stat : 16364 (glucose) R 16363 16207 15154 0 -1 4202496 5909 0 0 0 443 1 0 0 20 0 1 0 272269799 22855680 5101 33554432000 4194304 5208918 140733966896848 140733966894680 4213136 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16364/statm: 5580 5101 105 248 0 5329 0
Current children cumulated CPU time (s) 59.04
Current children cumulated vsize (KiB) 47440
[startup+60.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16364
/proc/meminfo: memFree=29244340/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=54.6 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 9715 83981 0 0 58 9 5361 32 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16363] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16363/stat : 16363 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272269799 9367552 267 33554432000 4194304 5064252 140733868759536 140733868758448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16363/statm: 2287 267 226 213 0 72 0
[pid=16364] ppid=16363 vsize=24996 CPUtime=6.04 cores=0,2,4,6
/proc/16364/stat : 16364 (glucose) R 16363 16207 15154 0 -1 4202496 6686 0 0 0 603 1 0 0 20 0 1 0 272269799 25595904 5770 33554432000 4194304 5208918 140733966896848 140733966894712 4229538 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16364/statm: 6249 5770 105 248 0 5998 0
Current children cumulated CPU time (s) 60.64
Current children cumulated vsize (KiB) 50116
[startup+61.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16364
/proc/meminfo: memFree=29244340/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=54.6 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 9715 83981 0 0 58 9 5361 32 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16363] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16363/stat : 16363 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272269799 9367552 267 33554432000 4194304 5064252 140733868759536 140733868758448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16363/statm: 2287 267 226 213 0 72 0
[pid=16364] ppid=16363 vsize=24996 CPUtime=6.44 cores=0,2,4,6
/proc/16364/stat : 16364 (glucose) R 16363 16207 15154 0 -1 4202496 6686 0 0 0 643 1 0 0 20 0 1 0 272269799 25595904 5770 33554432000 4194304 5208918 140733966896848 140733966894712 4229386 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16364/statm: 6249 5770 105 248 0 5998 0
Current children cumulated CPU time (s) 61.04
Current children cumulated vsize (KiB) 50116
[startup+61.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16364
/proc/meminfo: memFree=29244340/32873844 swapFree=6856/6856
[pid=16207] ppid=16205 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16207/stat : 16207 (npSolver-pbo.sh) S 16205 16207 15154 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 272264335 9367552 274 33554432000 4194304 5064252 140735616093600 140735616092512 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/16207/statm: 2287 274 233 213 0 72 0
[pid=16208] ppid=16207 vsize=6824 CPUtime=54.6 cores=0,2,4,6
/proc/16208/stat : 16208 (npSolver-pbo) S 16207 16207 15154 0 -1 4202496 9715 83981 0 0 58 9 5361 32 20 0 1 0 272264335 6987776 1153 33554432000 4194304 5992684 140734308910608 140734308902928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16208/statm: 1706 1153 177 440 0 1262 0
[pid=16363] ppid=16208 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16363/stat : 16363 (satsolver.sh) S 16208 16207 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272269799 9367552 267 33554432000 4194304 5064252 140733868759536 140733868758448 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16363/statm: 2287 267 226 213 0 72 0
[pid=16364] ppid=16363 vsize=24996 CPUtime=6.64 cores=0,2,4,6
/proc/16364/stat : 16364 (glucose) R 16363 16207 15154 0 -1 4202496 6723 0 0 0 663 1 0 0 20 0 1 0 272269799 25595904 5805 33554432000 4194304 5208918 140733966896848 140733966894712 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/16364/statm: 6249 5805 105 248 0 5998 0
Current children cumulated CPU time (s) 61.24
Current children cumulated vsize (KiB) 50116
Child status: 0
Real time (s): 61.3355
CPU time (s): 61.3077
CPU user time (s): 60.8518
CPU system time (s): 0.45593
CPU usage (%): 99.9547
Max. virtual memory (cumulated for all children) (KiB): 70444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 60.8517
system time used= 0.45593
maximum resident set size= 42576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 39560
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 434
involuntary context switches= 227
runsolver used 0.099984 second user time and 0.274958 second system time
The end