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-3719054-1338272771/watcher-3719054-1338272771 -o /tmp/evaluation-result-3719054-1338272771/solver-3719054-1338272771 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719054-1338272771.opb PrimePower CARD.SN ./CryptoMiniSat
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 1.91 3/176 29923
/proc/meminfo: memFree=27506248/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/29923/stat : 29923 (python) R 29921 29923 29464 0 -1 4202496 739 0 0 0 0 0 0 0 20 0 1 0 293402981 15749120 617 33554432000 4194304 5683644 140735767545952 140735767500168 273448518544 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 3845 617 331 364 0 287 0
[startup+0.0611751 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29923
/proc/meminfo: memFree=27506248/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.10025 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29923
/proc/meminfo: memFree=27506248/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.30022 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29923
/proc/meminfo: memFree=27506248/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.700227 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29923
/proc/meminfo: memFree=27506248/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+1.50039 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29928
/proc/meminfo: memFree=27252504/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=791628 CPUtime=1.42 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 85650 0 0 0 90 52 0 0 20 0 1 0 293402987 810627072 85593 33554432000 4194304 4943705 140734748036880 140734748035792 4358535 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/29928/statm: 197907 85593 357 183 0 194277 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 843660
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29928
/proc/meminfo: memFree=27057264/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1333580 CPUtime=3.03 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 144912 0 0 0 213 90 0 0 20 0 1 0 293402987 1365585920 144855 33554432000 4194304 4943705 140734748036880 140734748035792 4358535 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/29928/statm: 333395 144858 357 183 0 329765 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 1385612
[startup+6.3004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29928
/proc/meminfo: memFree=26798164/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1599116 CPUtime=6.1 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 174208 0 0 0 333 277 0 0 20 0 1 0 293402987 1637494784 173999 33554432000 4194304 4943705 140734748036880 140734748034288 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 12 0 0
/proc/29928/statm: 399779 173999 365 183 0 396149 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 1651148
[startup+12.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29928
/proc/meminfo: memFree=26776612/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1617996 CPUtime=12.5 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 176932 0 0 0 482 768 0 0 20 0 1 0 293402987 1656827904 176259 33554432000 4194304 4943705 140734748036880 140734748034288 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 12 0 0
/proc/29928/statm: 404499 176259 365 183 0 400869 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 1670028
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29928
/proc/meminfo: memFree=26729668/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1654508 CPUtime=25.3 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 184212 0 0 0 775 1755 0 0 20 0 1 0 293402987 1694216192 181355 33554432000 4194304 4943705 140734748036880 140734748032848 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 12 0 0
/proc/29928/statm: 413627 181355 365 183 0 409997 0
Current children cumulated CPU time (s) 25.33
Current children cumulated vsize (KiB) 1706540
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29928
/proc/meminfo: memFree=26602984/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1754732 CPUtime=50.88 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 209866 0 0 0 1377 3711 0 0 20 0 1 0 293402987 1796845568 200481 33554432000 4194304 4943705 140734748036880 140734748032656 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/29928/statm: 438683 200481 365 183 0 435053 0
Current children cumulated CPU time (s) 50.91
Current children cumulated vsize (KiB) 1806764
Solver just ended. Dumping a history of the last processes samples
[startup+76.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26459128/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1868396 CPUtime=76.46 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 241688 0 0 0 1984 5662 0 0 20 0 1 0 293402987 1913237504 223279 33554432000 4194304 4943705 140734748036880 140734748033936 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/29928/statm: 467099 223279 365 183 0 463469 0
Current children cumulated CPU time (s) 76.49
Current children cumulated vsize (KiB) 1920428
[startup+83.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26358068/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1896812 CPUtime=82.86 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 251804 0 0 0 2140 6146 0 0 20 0 1 0 293402987 1942335488 228979 33554432000 4194304 4943705 140734748036880 140734748034288 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/29928/statm: 474203 228979 365 183 0 470573 0
Current children cumulated CPU time (s) 82.89
Current children cumulated vsize (KiB) 1948844
[startup+86.3004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26339768/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1910124 CPUtime=86.06 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 256560 0 0 0 2219 6387 0 0 20 0 1 0 293402987 1955966976 231623 33554432000 4194304 4943705 140734748036880 140734748032080 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/29928/statm: 477531 231623 365 183 0 473901 0
Current children cumulated CPU time (s) 86.09
Current children cumulated vsize (KiB) 1962156
[startup+87.9004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26391352/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1917548 CPUtime=87.66 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 259172 0 0 0 2257 6509 0 0 20 0 1 0 293402987 1963569152 233083 33554432000 4194304 4943705 140734748036880 140734748032272 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/29928/statm: 479387 233083 365 183 0 475757 0
Current children cumulated CPU time (s) 87.69
Current children cumulated vsize (KiB) 1969580
[startup+88.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26391352/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1921388 CPUtime=88.46 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 260506 0 0 0 2278 6568 0 0 20 0 1 0 293402987 1967501312 233841 33554432000 4194304 4943705 140734748036880 140734748031792 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/29928/statm: 480347 233841 365 183 0 476717 0
Current children cumulated CPU time (s) 88.49
Current children cumulated vsize (KiB) 1973420
[startup+89.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26384904/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1924716 CPUtime=89.26 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 261756 0 0 0 2296 6630 0 0 20 0 1 0 293402987 1970909184 234515 33554432000 4194304 4943705 140734748036880 140734748033168 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/29928/statm: 481179 234515 365 183 0 477549 0
Current children cumulated CPU time (s) 89.29
Current children cumulated vsize (KiB) 1976748
[startup+89.7005 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26384904/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1332 0 0 0 2 0 0 0 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543800 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
[pid=29925] ppid=29923 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29925/stat : 29925 (sh) S 29923 29923 29464 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293402984 9367552 267 33554432000 4194304 5064252 140737207523024 140737207521728 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29925/statm: 2287 267 226 213 0 72 0
[pid=29926] ppid=29925 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/29926/stat : 29926 (python) S 29925 29923 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293402985 17141760 1059 33554432000 4194304 5683644 140733649117216 140733649115064 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29926/statm: 4185 1059 429 364 0 627 0
[pid=29927] ppid=29926 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29927/stat : 29927 (sh) S 29926 29923 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293402987 9367552 268 33554432000 4194304 5064252 140734212876608 140734212875312 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29927/statm: 2287 268 226 213 0 72 0
[pid=29928] ppid=29927 vsize=1924460 CPUtime=89.46 cores=0,2,4,6
/proc/29928/stat : 29928 (PBPASSolver-817) R 29927 29923 29464 0 -1 4202496 261820 0 0 0 2302 6644 0 0 20 0 1 0 293402987 1970647040 234451 33554432000 4194304 4943705 140734748036880 140734748033168 4881530 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/29928/statm: 481115 234451 365 183 0 477485 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 1976492
[startup+89.8004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29929
/proc/meminfo: memFree=26384904/32873852 swapFree=6856/6856
[pid=29923] ppid=29921 vsize=16996 CPUtime=89.58 cores=0,2,4,6
/proc/29923/stat : 29923 (python) S 29921 29923 29464 0 -1 4202496 1404 264351 0 0 2 0 2304 6652 20 0 1 0 293402981 17403904 1081 33554432000 4194304 5683644 140735767545952 140735767543496 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29923/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 89.58
Current children cumulated vsize (KiB) 16996
Child status: 0
Real time (s): 89.8035
CPU time (s): 89.6214
CPU user time (s): 23.0885
CPU system time (s): 66.5329
CPU usage (%): 99.7972
Max. virtual memory (cumulated for all children) (KiB): 1977004
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.0885
system time used= 66.5329
maximum resident set size= 938316
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269710
page faults= 0
swaps= 0
block input operations= 0
block output operations= 346472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 166
involuntary context switches= 140
runsolver used 0.32795 second user time and 0.870867 second system time
The end