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-3701244-1338063257/watcher-3701244-1338063257 -o /tmp/evaluation-result-3701244-1338063257/solver-3701244-1338063257 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701244-1338063257.opb 941425242 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.01 2.01 2.00 3/179 16645
/proc/meminfo: memFree=29126092/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[startup+0.07406 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16645
/proc/meminfo: memFree=29126092/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100159 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16645
/proc/meminfo: memFree=29126092/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300239 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16645
/proc/meminfo: memFree=29126092/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700268 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 16645
/proc/meminfo: memFree=29126092/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16666
/proc/meminfo: memFree=29107972/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=0.75 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 2544 11951 0 0 14 4 54 3 20 0 1 0 272450627 6983680 1091 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1091 177 440 0 1261 0
[pid=16665] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16665/stat : 16665 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 600 0 0 0 0 0 0 0 20 0 1 0 272450717 9367552 267 33554432000 4194304 5064252 140734007506416 140734007505328 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16665/statm: 2287 267 226 213 0 72 0
[pid=16666] ppid=16665 vsize=18196 CPUtime=0.59 cores=0,2,4,6
/proc/16666/stat : 16666 (glucose) R 16665 16645 15154 0 -1 4202496 3662 0 0 0 59 0 0 0 20 0 1 0 272450717 18632704 3348 33554432000 4194304 5208918 140733684875200 140733684873032 4228965 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16666/statm: 4549 3348 95 248 0 4298 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 43312
[startup+3.10038 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 16673
/proc/meminfo: memFree=29103232/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=1.66 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 3420 18490 0 0 16 5 141 4 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
[pid=16672] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16672/stat : 16672 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272450808 9367552 267 33554432000 4194304 5064252 140736791209872 140736791208784 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16672/statm: 2287 267 226 213 0 72 0
[pid=16673] ppid=16672 vsize=16908 CPUtime=1.28 cores=0,2,4,6
/proc/16673/stat : 16673 (glucose) R 16672 16645 15154 0 -1 4202496 4244 0 0 0 128 0 0 0 20 0 1 0 272450808 17313792 3532 33554432000 4194304 5208918 140734756927744 140734756925576 4218843 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16673/statm: 4227 3532 102 248 0 3976 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 42024
[startup+6.30033 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 16680
/proc/meminfo: memFree=29100836/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=6.06 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 5172 33879 0 0 20 5 574 7 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
Current children cumulated CPU time (s) 6.06
Current children cumulated vsize (KiB) 15968
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 16702
/proc/meminfo: memFree=29095552/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=12.32 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 7869 57855 0 0 36 6 1168 22 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
Current children cumulated CPU time (s) 12.32
Current children cumulated vsize (KiB) 15968
[startup+25.5004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 16709
/proc/meminfo: memFree=29076096/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=12.32 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 7869 57855 0 0 36 6 1168 22 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
[pid=16708] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16708/stat : 16708 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272451882 9367552 267 33554432000 4194304 5064252 140734458218720 140734458217632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16708/statm: 2287 267 226 213 0 72 0
[pid=16709] ppid=16708 vsize=29092 CPUtime=12.94 cores=0,2,4,6
/proc/16709/stat : 16709 (glucose) R 16708 16645 15154 0 -1 4202496 7166 0 0 0 1293 1 0 0 20 0 1 0 272451882 29790208 6796 33554432000 4194304 5208918 140733734317792 140733734315656 4228975 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16709/statm: 7273 6796 105 248 0 7022 0
Current children cumulated CPU time (s) 25.26
Current children cumulated vsize (KiB) 54208
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16709
/proc/meminfo: memFree=29118004/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=12.32 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 7869 57855 0 0 36 6 1168 22 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
[pid=16708] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16708/stat : 16708 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 272451882 9367552 267 33554432000 4194304 5064252 140734458218720 140734458217632 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16708/statm: 2287 267 226 213 0 72 0
[pid=16709] ppid=16708 vsize=43360 CPUtime=38.53 cores=0,2,4,6
/proc/16709/stat : 16709 (glucose) R 16708 16645 15154 0 -1 4202496 8178 0 0 0 3852 1 0 0 20 0 1 0 272451882 44400640 8657 33554432000 4194304 5208918 140733734317792 140733734314168 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16709/statm: 10840 8657 105 248 0 10589 0
Current children cumulated CPU time (s) 50.85
Current children cumulated vsize (KiB) 68476
Solver just ended. Dumping a history of the last processes samples
[startup+54.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16716
/proc/meminfo: memFree=29136052/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=52.11 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 8768 69801 0 0 41 6 5135 29 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
[pid=16715] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16715/stat : 16715 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272455862 9367552 267 33554432000 4194304 5064252 140736349815104 140736349814016 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16715/statm: 2287 267 226 213 0 72 0
[pid=16716] ppid=16715 vsize=18832 CPUtime=1.94 cores=0,2,4,6
/proc/16716/stat : 16716 (glucose) R 16715 16645 15154 0 -1 4202496 3935 0 0 0 194 0 0 0 20 0 1 0 272455862 19283968 4119 33554432000 4194304 5208918 140733905131392 140733905129224 4229483 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16716/statm: 4708 4119 103 248 0 4457 0
Current children cumulated CPU time (s) 54.05
Current children cumulated vsize (KiB) 43948
[startup+55.9004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16716
/proc/meminfo: memFree=29136424/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=52.11 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 8768 69801 0 0 41 6 5135 29 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
[pid=16715] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16715/stat : 16715 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272455862 9367552 267 33554432000 4194304 5064252 140736349815104 140736349814016 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16715/statm: 2287 267 226 213 0 72 0
[pid=16716] ppid=16715 vsize=19300 CPUtime=3.54 cores=0,2,4,6
/proc/16716/stat : 16716 (glucose) R 16715 16645 15154 0 -1 4202496 4311 0 0 0 353 1 0 0 20 0 1 0 272455862 19763200 4014 33554432000 4194304 5208918 140733905131392 140733905129480 4232672 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16716/statm: 4825 4014 105 248 0 4574 0
Current children cumulated CPU time (s) 55.65
Current children cumulated vsize (KiB) 44416
[startup+56.3004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16716
/proc/meminfo: memFree=29104712/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=52.11 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 8768 69801 0 0 41 6 5135 29 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
[pid=16715] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16715/stat : 16715 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272455862 9367552 267 33554432000 4194304 5064252 140736349815104 140736349814016 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16715/statm: 2287 267 226 213 0 72 0
[pid=16716] ppid=16715 vsize=17640 CPUtime=3.94 cores=0,2,4,6
/proc/16716/stat : 16716 (glucose) R 16715 16645 15154 0 -1 4202496 4988 0 0 0 393 1 0 0 20 0 1 0 272455862 18063360 3778 33554432000 4194304 5208918 140733905131392 140733905129480 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16716/statm: 4410 3778 105 248 0 4159 0
Current children cumulated CPU time (s) 56.05
Current children cumulated vsize (KiB) 42756
[startup+56.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 16716
/proc/meminfo: memFree=29104712/32873844 swapFree=6856/6856
[pid=16645] ppid=16643 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16645/stat : 16645 (npSolver-pbo.sh) S 16643 16645 15154 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 272450627 9367552 275 33554432000 4194304 5064252 140735336200000 140735336198912 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16645/statm: 2287 275 233 213 0 72 0
[pid=16646] ppid=16645 vsize=6820 CPUtime=52.11 cores=0,2,4,6
/proc/16646/stat : 16646 (npSolver-pbo) S 16645 16645 15154 0 -1 4202496 8768 69801 0 0 41 6 5135 29 20 0 1 0 272450627 6983680 1114 33554432000 4194304 5992684 140736217603488 140736217595808 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 13 0 0
/proc/16646/statm: 1705 1114 177 440 0 1261 0
[pid=16715] ppid=16646 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16715/stat : 16715 (satsolver.sh) S 16646 16645 15154 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 272455862 9367552 267 33554432000 4194304 5064252 140736349815104 140736349814016 223651456590 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/16715/statm: 2287 267 226 213 0 72 0
[pid=16716] ppid=16715 vsize=17640 CPUtime=4.14 cores=0,2,4,6
/proc/16716/stat : 16716 (glucose) R 16715 16645 15154 0 -1 4202496 5061 0 0 0 413 1 0 0 20 0 1 0 272455862 18063360 3850 33554432000 4194304 5208918 140733905131392 140733905129480 4231508 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/16716/statm: 4410 3850 105 248 0 4159 0
Current children cumulated CPU time (s) 56.25
Current children cumulated vsize (KiB) 42756
Child status: 0
Real time (s): 56.5413
CPU time (s): 56.3304
CPU user time (s): 55.9385
CPU system time (s): 0.39194
CPU usage (%): 99.6271
Max. virtual memory (cumulated for all children) (KiB): 68476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 55.9385
system time used= 0.39194
maximum resident set size= 35996
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 87852
page faults= 0
swaps= 0
block input operations= 0
block output operations= 32064
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 416
involuntary context switches= 171
runsolver used 0.091986 second user time and 0.281957 second system time
The end