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-3701403-1338065981/watcher-3701403-1338065981 -o /tmp/evaluation-result-3701403-1338065981/solver-3701403-1338065981 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701403-1338065981.opb 2142301784 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.41 2.81 2.39 3/179 13808
/proc/meminfo: memFree=29372240/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[startup+0.0726791 s]
/proc/loadavg: 2.41 2.81 2.39 3/179 13808
/proc/meminfo: memFree=29372240/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100243 s]
/proc/loadavg: 2.41 2.81 2.39 3/179 13808
/proc/meminfo: memFree=29372240/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/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.41 2.81 2.39 3/179 13808
/proc/meminfo: memFree=29372240/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700136 s]
/proc/loadavg: 2.41 2.81 2.39 3/179 13808
/proc/meminfo: memFree=29372240/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.41 2.81 2.39 3/183 13836
/proc/meminfo: memFree=29349576/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23032 CPUtime=0.61 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6081 10100 0 0 15 2 42 2 20 0 1 0 272723557 23584768 5406 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5758 5406 183 440 0 5314 0
[pid=13828] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13828/stat : 13828 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272723622 9367552 267 33554432000 4194304 5064252 140734507662544 140734507661456 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13828/statm: 2287 267 226 213 0 72 0
[pid=13829] ppid=13828 vsize=6028 CPUtime=0.84 cores=1,3,5,7
/proc/13829/stat : 13829 (glucose) R 13828 13808 11614 0 -1 4202496 1576 0 0 0 84 0 0 0 20 0 1 0 272723623 6172672 999 33554432000 4194304 5208918 140736317556656 140736317554504 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13829/statm: 1507 999 102 248 0 1256 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 47356
[startup+3.10014 s]
/proc/loadavg: 2.41 2.81 2.39 4/183 13836
/proc/meminfo: memFree=29345408/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=2.27 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6189 15059 0 0 15 2 208 2 20 0 1 0 272723557 23826432 5418 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5418 183 440 0 5373 0
Current children cumulated CPU time (s) 2.27
Current children cumulated vsize (KiB) 32416
heavy processes:
[startup+6.30023 s]
/proc/loadavg: 2.37 2.79 2.39 3/183 13850
/proc/meminfo: memFree=29341532/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=2.27 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6189 15059 0 0 15 2 208 2 20 0 1 0 272723557 23826432 5418 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5418 183 440 0 5373 0
[pid=13842] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13842/stat : 13842 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272723789 9367552 267 33554432000 4194304 5064252 140736072040336 140736072039248 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/13842/statm: 2287 267 226 213 0 72 0
[pid=13843] ppid=13842 vsize=10060 CPUtime=3.96 cores=1,3,5,7
/proc/13843/stat : 13843 (glucose) R 13842 13808 11614 0 -1 4202496 2165 0 0 0 396 0 0 0 20 0 1 0 272723790 10301440 2040 33554432000 4194304 5208918 140736503400800 140736503398744 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/13843/statm: 2515 2040 96 248 0 2264 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 51624
[startup+12.7002 s]
/proc/loadavg: 2.34 2.78 2.39 3/183 13982
/proc/meminfo: memFree=29125616/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=12.44 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6608 30275 0 0 15 3 1220 6 20 0 1 0 272723557 23826432 5439 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5439 183 440 0 5373 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 32416
Solver just ended. Dumping a history of the last processes samples
[startup+15.9003 s]
/proc/loadavg: 2.32 2.77 2.38 3/183 14013
/proc/meminfo: memFree=29248464/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=15.16 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6736 35416 0 0 15 3 1491 7 20 0 1 0 272723557 23826432 5439 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5439 183 440 0 5373 0
[pid=14012] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14012/stat : 14012 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272725079 9367552 266 33554432000 4194304 5064252 140735462399472 140735462398384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14012/statm: 2287 266 226 213 0 72 0
[pid=14013] ppid=14012 vsize=6196 CPUtime=0.67 cores=1,3,5,7
/proc/14013/stat : 14013 (glucose) R 14012 13808 11614 0 -1 4202496 1238 0 0 0 67 0 0 0 20 0 1 0 272725079 6344704 968 33554432000 4194304 5208918 140734091988928 140735462398408 4229319 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14013/statm: 1549 968 96 248 0 1298 0
Current children cumulated CPU time (s) 15.83
Current children cumulated vsize (KiB) 47760
[startup+19.1003 s]
/proc/loadavg: 2.32 2.77 2.38 3/183 14013
/proc/meminfo: memFree=29242504/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=15.16 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6736 35416 0 0 15 3 1491 7 20 0 1 0 272723557 23826432 5439 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5439 183 440 0 5373 0
[pid=14012] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14012/stat : 14012 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272725079 9367552 266 33554432000 4194304 5064252 140735462399472 140735462398384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14012/statm: 2287 266 226 213 0 72 0
[pid=14013] ppid=14012 vsize=10068 CPUtime=3.87 cores=1,3,5,7
/proc/14013/stat : 14013 (glucose) R 14012 13808 11614 0 -1 4202496 2191 0 0 0 387 0 0 0 20 0 1 0 272725079 10309632 2049 33554432000 4194304 5208918 140734091988928 140734091986872 4229072 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14013/statm: 2517 2049 96 248 0 2266 0
Current children cumulated CPU time (s) 19.03
Current children cumulated vsize (KiB) 51632
[startup+19.9003 s]
/proc/loadavg: 2.32 2.77 2.38 3/186 14016
/proc/meminfo: memFree=29242388/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=15.16 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6736 35416 0 0 15 3 1491 7 20 0 1 0 272723557 23826432 5439 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5439 183 440 0 5373 0
[pid=14012] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14012/stat : 14012 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272725079 9367552 266 33554432000 4194304 5064252 140735462399472 140735462398384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14012/statm: 2287 266 226 213 0 72 0
[pid=14013] ppid=14012 vsize=12856 CPUtime=4.67 cores=1,3,5,7
/proc/14013/stat : 14013 (glucose) R 14012 13808 11614 0 -1 4202496 2193 0 0 0 467 0 0 0 20 0 1 0 272725079 13164544 2562 33554432000 4194304 5208918 140734091988928 140734091986872 4229859 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14013/statm: 3214 2562 96 248 0 2963 0
Current children cumulated CPU time (s) 19.83
Current children cumulated vsize (KiB) 54420
[startup+20.7003 s]
/proc/loadavg: 2.32 2.77 2.38 3/186 14016
/proc/meminfo: memFree=29242388/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=15.16 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6736 35416 0 0 15 3 1491 7 20 0 1 0 272723557 23826432 5439 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5439 183 440 0 5373 0
[pid=14012] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14012/stat : 14012 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272725079 9367552 266 33554432000 4194304 5064252 140735462399472 140735462398384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14012/statm: 2287 266 226 213 0 72 0
[pid=14013] ppid=14012 vsize=12856 CPUtime=5.47 cores=1,3,5,7
/proc/14013/stat : 14013 (glucose) R 14012 13808 11614 0 -1 4202496 2193 0 0 0 547 0 0 0 20 0 1 0 272725079 13164544 2562 33554432000 4194304 5208918 140734091988928 140734091986872 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14013/statm: 3214 2562 96 248 0 2963 0
Current children cumulated CPU time (s) 20.63
Current children cumulated vsize (KiB) 54420
[startup+20.9068 s]
/proc/loadavg: 2.45 2.79 2.39 3/184 14016
/proc/meminfo: memFree=29239828/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=15.16 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6736 35416 0 0 15 3 1491 7 20 0 1 0 272723557 23826432 5439 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5439 183 440 0 5373 0
[pid=14012] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14012/stat : 14012 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272725079 9367552 266 33554432000 4194304 5064252 140735462399472 140735462398384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14012/statm: 2287 266 226 213 0 72 0
[pid=14013] ppid=14012 vsize=12856 CPUtime=5.67 cores=1,3,5,7
/proc/14013/stat : 14013 (glucose) R 14012 13808 11614 0 -1 4202496 2193 0 0 0 567 0 0 0 20 0 1 0 272725079 13164544 2562 33554432000 4194304 5208918 140734091988928 140734091986872 4205203 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14013/statm: 3214 2562 96 248 0 2963 0
Current children cumulated CPU time (s) 20.83
Current children cumulated vsize (KiB) 54420
[startup+21.0004 s]
/proc/loadavg: 2.45 2.79 2.39 3/184 14016
/proc/meminfo: memFree=29239828/32873648 swapFree=6864/6864
[pid=13808] ppid=13806 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/13808/stat : 13808 (npSolver-pbo.sh) S 13806 13808 11614 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272723557 9367552 275 33554432000 4194304 5064252 140733314646720 140733314645632 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/13808/statm: 2287 275 233 213 0 72 0
[pid=13809] ppid=13808 vsize=23268 CPUtime=15.16 cores=1,3,5,7
/proc/13809/stat : 13809 (npSolver-pbo) S 13808 13808 11614 0 -1 4202496 6736 35416 0 0 15 3 1491 7 20 0 1 0 272723557 23826432 5439 33554432000 4194304 5992684 140734424420960 140734424413280 5175646 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/13809/statm: 5817 5439 183 440 0 5373 0
[pid=14012] ppid=13809 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/14012/stat : 14012 (satsolver.sh) S 13809 13808 11614 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 272725079 9367552 266 33554432000 4194304 5064252 140735462399472 140735462398384 270707353166 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/14012/statm: 2287 266 226 213 0 72 0
[pid=14013] ppid=14012 vsize=12856 CPUtime=5.77 cores=1,3,5,7
/proc/14013/stat : 14013 (glucose) R 14012 13808 11614 0 -1 4202496 2193 0 0 0 577 0 0 0 20 0 1 0 272725079 13164544 2562 33554432000 4194304 5208918 140734091988928 140734091986872 4212856 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/14013/statm: 3214 2562 96 248 0 2963 0
Current children cumulated CPU time (s) 20.93
Current children cumulated vsize (KiB) 54420
Child status: 0
Real time (s): 21.0467
CPU time (s): 21.0118
CPU user time (s): 20.8798
CPU system time (s): 0.131979
CPU usage (%): 99.8341
Max. virtual memory (cumulated for all children) (KiB): 54420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8798
system time used= 0.131979
maximum resident set size= 22336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48074
page faults= 0
swaps= 0
block input operations= 0
block output operations= 5776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124
involuntary context switches= 111
runsolver used 0.041993 second user time and 0.110983 second system time
The end