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-3701489-1338070610/watcher-3701489-1338070610 -o /tmp/evaluation-result-3701489-1338070610/solver-3701489-1338070610 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701489-1338070610.opb 82342072 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.46 2.97 2.51 3/178 7845
/proc/meminfo: memFree=28964356/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[startup+0.0427061 s]
/proc/loadavg: 2.46 2.97 2.51 3/178 7845
/proc/meminfo: memFree=28964356/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100226 s]
/proc/loadavg: 2.46 2.97 2.51 3/178 7845
/proc/meminfo: memFree=28964356/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300178 s]
/proc/loadavg: 2.46 2.97 2.51 3/178 7845
/proc/meminfo: memFree=28964356/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700172 s]
/proc/loadavg: 2.46 2.97 2.51 3/178 7845
/proc/meminfo: memFree=28964356/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 2.46 2.97 2.51 3/182 7859
/proc/meminfo: memFree=28955824/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=1.28 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 1648 11369 0 0 3 0 124 1 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
Current children cumulated CPU time (s) 1.28
Current children cumulated vsize (KiB) 13524
[startup+3.10028 s]
/proc/loadavg: 2.42 2.95 2.50 3/182 7866
/proc/meminfo: memFree=28952660/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=1.28 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 1648 11369 0 0 3 0 124 1 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7865] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7865/stat : 7865 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273186636 9367552 267 33554432000 4194304 5064252 140734142629504 140734142628416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7865/statm: 2287 267 226 213 0 72 0
[pid=7866] ppid=7865 vsize=11192 CPUtime=1.78 cores=1,3,5,7
/proc/7866/stat : 7866 (glucose) R 7865 7845 3117 0 -1 4202496 3269 0 0 0 178 0 0 0 20 0 1 0 273186637 11460608 2554 33554432000 4194304 5208918 140735643281888 140735643279752 4229326 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7866/statm: 2798 2554 104 248 0 2547 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 33864
[startup+6.30029 s]
/proc/loadavg: 2.42 2.95 2.50 3/182 7866
/proc/meminfo: memFree=28948844/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=1.28 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 1648 11369 0 0 3 0 124 1 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7865] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7865/stat : 7865 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273186636 9367552 267 33554432000 4194304 5064252 140734142629504 140734142628416 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7865/statm: 2287 267 226 213 0 72 0
[pid=7866] ppid=7865 vsize=12868 CPUtime=4.98 cores=1,3,5,7
/proc/7866/stat : 7866 (glucose) R 7865 7845 3117 0 -1 4202496 4198 0 0 0 498 0 0 0 20 0 1 0 273186637 13176832 2973 33554432000 4194304 5208918 140735643281888 140735643279752 4229528 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7866/statm: 3217 2973 105 248 0 2966 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 35540
[startup+12.7002 s]
/proc/loadavg: 2.35 2.92 2.50 3/182 7873
/proc/meminfo: memFree=28947988/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=12.29 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 2811 26324 0 0 6 1 1217 5 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 13524
[startup+25.5003 s]
/proc/loadavg: 2.30 2.89 2.49 3/182 7887
/proc/meminfo: memFree=28943184/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=18.74 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 3391 33370 0 0 8 1 1859 6 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7886] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7886/stat : 7886 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273188382 9367552 267 33554432000 4194304 5064252 140736119964048 140736119962960 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7886/statm: 2287 267 226 213 0 72 0
[pid=7887] ppid=7886 vsize=16636 CPUtime=6.72 cores=1,3,5,7
/proc/7887/stat : 7887 (glucose) R 7886 7845 3117 0 -1 4202496 4227 0 0 0 672 0 0 0 20 0 1 0 273188382 17035264 3907 33554432000 4194304 5208918 140733222805424 140733222803288 4212630 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7887/statm: 4159 3907 105 248 0 3908 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 39308
[startup+51.1004 s]
/proc/loadavg: 2.20 2.82 2.48 3/181 7908
/proc/meminfo: memFree=28921508/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=42.12 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 5155 55989 0 0 13 1 4187 11 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7907] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7907/stat : 7907 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273190721 9367552 266 33554432000 4194304 5064252 140734690168112 140734690167024 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7907/statm: 2287 266 226 213 0 72 0
[pid=7908] ppid=7907 vsize=23024 CPUtime=8.93 cores=1,3,5,7
/proc/7908/stat : 7908 (glucose) R 7907 7845 3117 0 -1 4202496 5136 0 0 0 893 0 0 0 20 0 1 0 273190721 23576576 4521 33554432000 4194304 5208918 140733346923760 140733346921704 4229776 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 5756 4521 105 248 0 5505 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 45696
Solver just ended. Dumping a history of the last processes samples
[startup+51.2003 s]
/proc/loadavg: 2.20 2.82 2.48 3/181 7908
/proc/meminfo: memFree=28921508/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=42.12 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 5155 55989 0 0 13 1 4187 11 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7907] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7907/stat : 7907 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273190721 9367552 266 33554432000 4194304 5064252 140734690168112 140734690167024 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7907/statm: 2287 266 226 213 0 72 0
[pid=7908] ppid=7907 vsize=23024 CPUtime=9.03 cores=1,3,5,7
/proc/7908/stat : 7908 (glucose) R 7907 7845 3117 0 -1 4202496 5136 0 0 0 903 0 0 0 20 0 1 0 273190721 23576576 4521 33554432000 4194304 5208918 140733346923760 140733346921704 4205234 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7908/statm: 5756 4521 105 248 0 5505 0
Current children cumulated CPU time (s) 51.15
Current children cumulated vsize (KiB) 45696
[startup+64.0003 s]
/proc/loadavg: 2.15 2.78 2.47 3/181 7923
/proc/meminfo: memFree=28915920/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=58.13 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 6339 71492 0 0 16 2 5780 15 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7922] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7922/stat : 7922 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 273192322 9367552 267 33554432000 4194304 5064252 140736674570784 140736674569696 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7922/statm: 2287 267 226 213 0 72 0
[pid=7923] ppid=7922 vsize=15064 CPUtime=5.83 cores=1,3,5,7
/proc/7923/stat : 7923 (glucose) R 7922 7845 3117 0 -1 4202496 4437 0 0 0 583 0 0 0 20 0 1 0 273192322 15425536 3515 33554432000 4194304 5208918 140734855910784 140734855908728 4211668 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7923/statm: 3766 3515 105 248 0 3515 0
Current children cumulated CPU time (s) 63.96
Current children cumulated vsize (KiB) 37736
[startup+70.4003 s]
/proc/loadavg: 2.14 2.76 2.46 3/181 7930
/proc/meminfo: memFree=28921072/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=65.92 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 6919 79321 0 0 18 2 6556 16 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7929] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7929/stat : 7929 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 273193101 9367552 267 33554432000 4194304 5064252 140736904730304 140736904729216 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7929/statm: 2287 267 226 213 0 72 0
[pid=7930] ppid=7929 vsize=17780 CPUtime=4.44 cores=1,3,5,7
/proc/7930/stat : 7930 (glucose) R 7929 7845 3117 0 -1 4202496 4276 0 0 0 444 0 0 0 20 0 1 0 273193101 18206720 3874 33554432000 4194304 5208918 140733981634352 140733981632296 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7930/statm: 4445 3874 105 248 0 4194 0
Current children cumulated CPU time (s) 70.36
Current children cumulated vsize (KiB) 40452
[startup+76.8003 s]
/proc/loadavg: 2.13 2.75 2.46 3/181 7937
/proc/meminfo: memFree=28923184/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=72.19 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 7499 87067 0 0 19 2 7180 18 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7936] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7936/stat : 7936 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273193729 9367552 267 33554432000 4194304 5064252 140735894296112 140735894295024 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7936/statm: 2287 267 226 213 0 72 0
[pid=7937] ppid=7936 vsize=17740 CPUtime=4.56 cores=1,3,5,7
/proc/7937/stat : 7937 (glucose) R 7936 7845 3117 0 -1 4202496 3636 0 0 0 456 0 0 0 20 0 1 0 273193729 18165760 3532 33554432000 4194304 5208918 140733916166624 140733916164568 4211553 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7937/statm: 4435 3532 105 248 0 4184 0
Current children cumulated CPU time (s) 76.75
Current children cumulated vsize (KiB) 40412
[startup+78.4003 s]
/proc/loadavg: 2.12 2.74 2.46 3/181 7937
/proc/meminfo: memFree=28918712/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=72.19 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 7499 87067 0 0 19 2 7180 18 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7936] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7936/stat : 7936 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273193729 9367552 267 33554432000 4194304 5064252 140735894296112 140735894295024 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7936/statm: 2287 267 226 213 0 72 0
[pid=7937] ppid=7936 vsize=17740 CPUtime=6.16 cores=1,3,5,7
/proc/7937/stat : 7937 (glucose) R 7936 7845 3117 0 -1 4202496 3688 0 0 0 616 0 0 0 20 0 1 0 273193729 18165760 4094 33554432000 4194304 5208918 140733916166624 140733916163000 4239877 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7937/statm: 4435 4094 105 248 0 4184 0
Current children cumulated CPU time (s) 78.35
Current children cumulated vsize (KiB) 40412
[startup+80.0003 s]
/proc/loadavg: 2.12 2.74 2.46 3/181 7937
/proc/meminfo: memFree=28918712/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=72.19 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 7499 87067 0 0 19 2 7180 18 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7936] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7936/stat : 7936 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273193729 9367552 267 33554432000 4194304 5064252 140735894296112 140735894295024 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7936/statm: 2287 267 226 213 0 72 0
[pid=7937] ppid=7936 vsize=17740 CPUtime=7.76 cores=1,3,5,7
/proc/7937/stat : 7937 (glucose) R 7936 7845 3117 0 -1 4202496 3688 0 0 0 776 0 0 0 20 0 1 0 273193729 18165760 4094 33554432000 4194304 5208918 140733916166624 140733916163000 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7937/statm: 4435 4094 105 248 0 4184 0
Current children cumulated CPU time (s) 79.95
Current children cumulated vsize (KiB) 40412
[startup+80.4064 s]
/proc/loadavg: 2.12 2.74 2.46 3/181 7937
/proc/meminfo: memFree=28918712/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=72.19 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 7499 87067 0 0 19 2 7180 18 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7936] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7936/stat : 7936 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273193729 9367552 267 33554432000 4194304 5064252 140735894296112 140735894295024 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7936/statm: 2287 267 226 213 0 72 0
[pid=7937] ppid=7936 vsize=17740 CPUtime=8.16 cores=1,3,5,7
/proc/7937/stat : 7937 (glucose) R 7936 7845 3117 0 -1 4202496 3688 0 0 0 816 0 0 0 20 0 1 0 273193729 18165760 4094 33554432000 4194304 5208918 140733916166624 140733916163000 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7937/statm: 4435 4094 105 248 0 4184 0
Current children cumulated CPU time (s) 80.35
Current children cumulated vsize (KiB) 40412
[startup+80.6003 s]
/proc/loadavg: 2.12 2.74 2.46 3/181 7937
/proc/meminfo: memFree=28918712/32873624 swapFree=7104/7104
[pid=7845] ppid=7843 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7845/stat : 7845 (npSolver-pbo.sh) S 7843 7845 3117 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273186506 9367552 275 33554432000 4194304 5064252 140734051628992 140734051627904 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/7845/statm: 2287 275 233 213 0 72 0
[pid=7846] ppid=7845 vsize=4376 CPUtime=72.19 cores=1,3,5,7
/proc/7846/stat : 7846 (npSolver-pbo) S 7845 7845 3117 0 -1 4202496 7499 87067 0 0 19 2 7180 18 20 0 1 0 273186506 4481024 746 33554432000 4194304 5992684 140734898848768 140734898841088 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/7846/statm: 1094 746 179 440 0 650 0
[pid=7936] ppid=7846 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/7936/stat : 7936 (satsolver.sh) S 7846 7845 3117 0 -1 4202496 599 0 0 0 0 0 0 0 20 0 1 0 273193729 9367552 267 33554432000 4194304 5064252 140735894296112 140735894295024 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/7936/statm: 2287 267 226 213 0 72 0
[pid=7937] ppid=7936 vsize=17740 CPUtime=8.36 cores=1,3,5,7
/proc/7937/stat : 7937 (glucose) R 7936 7845 3117 0 -1 4202496 3688 0 0 0 836 0 0 0 20 0 1 0 273193729 18165760 4094 33554432000 4194304 5208918 140733916166624 140733916163000 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/7937/statm: 4435 4094 105 248 0 4184 0
Current children cumulated CPU time (s) 80.55
Current children cumulated vsize (KiB) 40412
Child status: 0
Real time (s): 80.6856
CPU time (s): 80.6617
CPU user time (s): 80.4418
CPU system time (s): 0.219966
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 48056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.4418
system time used= 0.219966
maximum resident set size= 21244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 102465
page faults= 0
swaps= 0
block input operations= 0
block output operations= 23280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 218
involuntary context switches= 221
runsolver used 0.151976 second user time and 0.433934 second system time
The end