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-3749443-1339112153/watcher-3749443-1339112153 -o /tmp/evaluation-result-3749443-1339112153/solver-3749443-1339112153 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3749443-1339112153.opb 564582983 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: 1.00 1.02 1.27 2/173 28809
/proc/meminfo: memFree=28921224/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0

[startup+0.0426879 s]
/proc/loadavg: 1.00 1.02 1.27 2/173 28809
/proc/meminfo: memFree=28921224/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.100323 s]
/proc/loadavg: 1.00 1.02 1.27 2/173 28809
/proc/meminfo: memFree=28921224/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.30028 s]
/proc/loadavg: 1.00 1.02 1.27 2/173 28809
/proc/meminfo: memFree=28921224/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+0.700284 s]
/proc/loadavg: 1.00 1.02 1.27 2/173 28809
/proc/meminfo: memFree=28921224/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148

[startup+1.50032 s]
/proc/loadavg: 1.00 1.02 1.27 3/175 28811
/proc/meminfo: memFree=28745352/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=184456 CPUtime=1.49 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) R 28809 28809 25783 0 -1 4202496 27598 0 0 0 144 5 0 0 20 0 1 0 377341197 188882944 43854 33554432000 4194304 6004724 140733429495312 140733429492120 4582708 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 46114 43854 154 442 0 45668 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 193604

[startup+3.10021 s]
/proc/loadavg: 1.00 1.02 1.27 3/173 28811
/proc/meminfo: memFree=28616916/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=3.01 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) S 28809 28809 25783 0 -1 4202496 29660 0 0 0 275 26 0 0 20 0 1 0 377341197 289591296 67953 33554432000 4194304 6004724 140733429495312 140733429489360 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67953 163 442 0 70255 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 291952

[startup+6.30028 s]
/proc/loadavg: 1.08 1.03 1.28 3/181 28824
/proc/meminfo: memFree=27670164/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=3.01 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) S 28809 28809 25783 0 -1 4202496 29660 0 0 0 275 26 0 0 20 0 1 0 377341197 289591296 67953 33554432000 4194304 6004724 140733429495312 140733429489360 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67953 163 442 0 70255 0
[pid=28823] ppid=28810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28823/stat : 28823 (cp2_pre.sh) S 28810 28809 25783 0 -1 4202496 610 0 0 0 0 0 0 0 20 0 1 0 377341499 9367552 277 33554432000 4194304 5064252 140734027482368 140734027481072 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28823/statm: 2287 277 234 213 0 72 0
[pid=28824] ppid=28823 vsize=544088 CPUtime=3.26 cores=0,2,4,6
/proc/28824/stat : 28824 (coprocessor) R 28823 28809 25783 0 -1 4202496 58232 0 0 0 313 13 0 0 20 0 1 0 377341499 557146112 122766 33554432000 4194304 6586260 140736047851440 140736047847704 5518625 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/28824/statm: 136022 122766 167 584 0 135434 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 845188

[startup+12.7004 s]
/proc/loadavg: 1.23 1.07 1.29 3/181 28827
/proc/meminfo: memFree=27184884/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=12.05 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) S 28809 28809 25783 0 -1 4202496 29667 72586 0 0 275 26 863 41 20 0 1 0 377341197 289591296 67953 33554432000 4194304 6004724 140733429495312 140733429490448 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67953 163 442 0 70255 0
[pid=28826] ppid=28810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28826/stat : 28826 (satsolver.sh) S 28810 28809 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377342404 9367552 267 33554432000 4194304 5064252 140734950614416 140734950613328 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28826/statm: 2287 267 226 213 0 72 0
[pid=28827] ppid=28826 vsize=218736 CPUtime=0.61 cores=0,2,4,6
/proc/28827/stat : 28827 (glucose) R 28826 28809 25783 0 -1 4202496 36847 0 0 0 54 7 0 0 20 0 1 0 377342405 223985664 48643 33554432000 4194304 5208918 140737254894384 140737253843880 4463999 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28827/statm: 54684 48644 70 248 0 54433 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 519836

Solver just ended. Dumping a history of the last processes samples

[startup+13.1004 s]
/proc/loadavg: 1.23 1.07 1.29 3/181 28827
/proc/meminfo: memFree=27184884/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=12.05 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) S 28809 28809 25783 0 -1 4202496 29667 72586 0 0 275 26 863 41 20 0 1 0 377341197 289591296 67953 33554432000 4194304 6004724 140733429495312 140733429490448 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67953 163 442 0 70255 0
[pid=28826] ppid=28810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28826/stat : 28826 (satsolver.sh) S 28810 28809 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377342404 9367552 267 33554432000 4194304 5064252 140734950614416 140734950613328 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28826/statm: 2287 267 226 213 0 72 0
[pid=28827] ppid=28826 vsize=234504 CPUtime=1.01 cores=0,2,4,6
/proc/28827/stat : 28827 (glucose) R 28826 28809 25783 0 -1 4202496 41892 0 0 0 93 8 0 0 20 0 1 0 377342405 240132096 54078 33554432000 4194304 5208918 140737254894384 140737253843784 4229776 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28827/statm: 58626 54078 103 248 0 58375 0
Current children cumulated CPU time (s) 13.06
Current children cumulated vsize (KiB) 535604

[startup+16.3004 s]
/proc/loadavg: 1.29 1.08 1.29 3/181 28827
/proc/meminfo: memFree=26856468/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=12.05 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) S 28809 28809 25783 0 -1 4202496 29667 72586 0 0 275 26 863 41 20 0 1 0 377341197 289591296 67953 33554432000 4194304 6004724 140733429495312 140733429490448 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67953 163 442 0 70255 0
[pid=28826] ppid=28810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28826/stat : 28826 (satsolver.sh) S 28810 28809 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377342404 9367552 267 33554432000 4194304 5064252 140734950614416 140734950613328 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28826/statm: 2287 267 226 213 0 72 0
[pid=28827] ppid=28826 vsize=238764 CPUtime=4.21 cores=0,2,4,6
/proc/28827/stat : 28827 (glucose) R 28826 28809 25783 0 -1 4202496 42988 0 0 0 413 8 0 0 20 0 1 0 377342405 244494336 55174 33554432000 4194304 5208918 140737254894384 140737254892232 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28827/statm: 59691 55174 104 248 0 59440 0
Current children cumulated CPU time (s) 16.26
Current children cumulated vsize (KiB) 539864

[startup+17.9004 s]
/proc/loadavg: 1.35 1.10 1.29 3/181 28827
/proc/meminfo: memFree=26703428/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=12.05 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) S 28809 28809 25783 0 -1 4202496 29667 72586 0 0 275 26 863 41 20 0 1 0 377341197 289591296 67953 33554432000 4194304 6004724 140733429495312 140733429490448 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67953 163 442 0 70255 0
[pid=28826] ppid=28810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28826/stat : 28826 (satsolver.sh) S 28810 28809 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377342404 9367552 267 33554432000 4194304 5064252 140734950614416 140734950613328 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28826/statm: 2287 267 226 213 0 72 0
[pid=28827] ppid=28826 vsize=239424 CPUtime=5.81 cores=0,2,4,6
/proc/28827/stat : 28827 (glucose) R 28826 28809 25783 0 -1 4202496 43178 0 0 0 573 8 0 0 20 0 1 0 377342405 245170176 55364 33554432000 4194304 5208918 140737254894384 140737254892232 4229203 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28827/statm: 59856 55364 104 248 0 59605 0
Current children cumulated CPU time (s) 17.86
Current children cumulated vsize (KiB) 540524

[startup+19.5003 s]
/proc/loadavg: 1.35 1.10 1.29 3/181 28827
/proc/meminfo: memFree=26622812/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=12.05 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) S 28809 28809 25783 0 -1 4202496 29667 72586 0 0 275 26 863 41 20 0 1 0 377341197 289591296 67953 33554432000 4194304 6004724 140733429495312 140733429490448 5186782 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67953 163 442 0 70255 0
[pid=28826] ppid=28810 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28826/stat : 28826 (satsolver.sh) S 28810 28809 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 377342404 9367552 267 33554432000 4194304 5064252 140734950614416 140734950613328 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/28826/statm: 2287 267 226 213 0 72 0
[pid=28827] ppid=28826 vsize=240632 CPUtime=7.41 cores=0,2,4,6
/proc/28827/stat : 28827 (glucose) R 28826 28809 25783 0 -1 4202496 43490 0 0 0 732 9 0 0 20 0 1 0 377342405 246407168 55676 33554432000 4194304 5208918 140737254894384 140737254892232 4228997 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/28827/statm: 60158 55676 104 248 0 59907 0
Current children cumulated CPU time (s) 19.46
Current children cumulated vsize (KiB) 541732

[startup+20.3003 s]
/proc/loadavg: 1.35 1.10 1.29 3/182 28830
/proc/meminfo: memFree=26744388/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=20.21 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) R 28809 28809 25783 0 -1 4202496 32517 123234 0 0 275 27 1663 56 20 0 1 0 377341197 289591296 67956 33554432000 4194304 6004724 140733429495312 140733429489936 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67956 166 442 0 70255 0
Current children cumulated CPU time (s) 20.21
Current children cumulated vsize (KiB) 291952

[startup+20.7002 s]
/proc/loadavg: 1.35 1.10 1.29 3/182 28830
/proc/meminfo: memFree=26744388/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282804 CPUtime=20.61 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) R 28809 28809 25783 0 -1 4202496 35348 123234 0 0 315 27 1663 56 20 0 1 0 377341197 289591296 67958 33554432000 4194304 6004724 140733429495312 140733429489936 5190736 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70701 67958 168 442 0 70255 0
Current children cumulated CPU time (s) 20.61
Current children cumulated vsize (KiB) 291952

[startup+20.8003 s]
/proc/loadavg: 1.35 1.10 1.29 3/182 28830
/proc/meminfo: memFree=26744388/32873648 swapFree=7112/7112
[pid=28809] ppid=28807 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/28809/stat : 28809 (npSolver-pbo.sh) S 28807 28809 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377341197 9367552 275 33554432000 4194304 5064252 140735170860576 140735170859488 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/28809/statm: 2287 275 233 213 0 72 0
[pid=28810] ppid=28809 vsize=282808 CPUtime=20.71 cores=0,2,4,6
/proc/28810/stat : 28810 (npSolver-pbo) R 28809 28809 25783 0 -1 4202496 36413 123234 0 0 325 27 1663 56 20 0 1 0 377341197 289595392 67961 33554432000 4194304 6004724 140733429495312 140733429489688 4962859 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/28810/statm: 70702 67961 170 442 0 70256 0
Current children cumulated CPU time (s) 20.71
Current children cumulated vsize (KiB) 291956

Child status: 0
Real time (s): 20.846
CPU time (s): 20.7748
CPU user time (s): 19.923
CPU system time (s): 0.85187
CPU usage (%): 99.6588
Max. virtual memory (cumulated for all children) (KiB): 938292

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.923
system time used= 0.85187
maximum resident set size= 618456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 170345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 359392
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1297
involuntary context switches= 140

runsolver used 0.031995 second user time and 0.114982 second system time

The end