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-3719126-1338272861/watcher-3719126-1338272861 -o /tmp/evaluation-result-3719126-1338272861/solver-3719126-1338272861 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719126-1338272861.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 29968
/proc/meminfo: memFree=27491744/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/29968/stat : 29968 (python) D 29966 29968 29464 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293412015 15642624 527 33554432000 4194304 5683644 140736944666128 140736944652040 273448518544 0 0 16781312 2 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 3819 527 312 364 0 261 0
[startup+0.0946789 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29968
/proc/meminfo: memFree=27491744/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100237 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29968
/proc/meminfo: memFree=27491744/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29968
/proc/meminfo: memFree=27491744/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700182 s]
/proc/loadavg: 2.00 2.00 1.91 3/176 29968
/proc/meminfo: memFree=27491744/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29973
/proc/meminfo: memFree=27455180/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=111308 CPUtime=1.38 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 82664 0 0 0 44 94 0 0 20 0 1 0 293412025 113979392 12503 33554432000 4194304 4943705 140736833205232 140736833202640 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/29973/statm: 27827 12503 365 183 0 24197 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 163344
[startup+3.10033 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29973
/proc/meminfo: memFree=27412260/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=271308 CPUtime=2.98 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 100166 0 0 0 92 206 0 0 20 0 1 0 293412025 277819392 30005 33554432000 4194304 4943705 140736833205232 140736833202272 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/29973/statm: 67827 30005 365 183 0 64197 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 323344
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29973
/proc/meminfo: memFree=27274864/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=540172 CPUtime=6.03 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 129579 0 0 0 180 423 0 0 20 0 1 0 293412025 553136128 59418 33554432000 4194304 4943705 140736833205232 140736833201904 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/29973/statm: 135043 59418 365 183 0 131413 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 592208
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29973
/proc/meminfo: memFree=27004328/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=1106380 CPUtime=12.43 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 191583 0 0 0 395 848 0 0 20 0 1 0 293412025 1132933120 121406 33554432000 4194304 4943705 140736833205232 140736833201872 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/29973/statm: 276595 121406 365 183 0 272965 0
Current children cumulated CPU time (s) 12.45
Current children cumulated vsize (KiB) 1158416
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29973
/proc/meminfo: memFree=26515692/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=2126892 CPUtime=25.23 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 303254 0 0 0 897 1626 0 0 20 0 1 0 293412025 2177937408 233077 33554432000 4194304 4943705 140736833205232 140736833202480 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/29973/statm: 531723 233080 365 183 0 528093 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 2178928
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29973
/proc/meminfo: memFree=25715624/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=3888844 CPUtime=50.82 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 496083 0 0 0 2106 2976 0 0 20 0 1 0 293412025 3982176256 425889 33554432000 4194304 4943705 140736833205232 140736833202640 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/29973/statm: 972211 425889 365 183 0 968581 0
Current children cumulated CPU time (s) 50.84
Current children cumulated vsize (KiB) 3940880
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29973
/proc/meminfo: memFree=24381324/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=6779788 CPUtime=102.01 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 812430 0 0 0 5024 5177 0 0 20 0 1 0 293412025 6942502912 742228 33554432000 4194304 4943705 140736833205232 140736833204144 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 16 0 0
/proc/29973/statm: 1694947 742228 365 183 0 1691317 0
Current children cumulated CPU time (s) 102.03
Current children cumulated vsize (KiB) 6831824
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 29976
/proc/meminfo: memFree=23115460/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=9548652 CPUtime=161.91 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 1115420 0 0 0 8909 7282 0 0 20 0 1 0 293412025 9777819648 1045210 33554432000 4194304 4943705 140736833205232 140736833201904 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 24 0 0
/proc/29973/statm: 2387163 1045210 365 183 0 2383533 0
Current children cumulated CPU time (s) 161.93
Current children cumulated vsize (KiB) 9600688
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29976
/proc/meminfo: memFree=22017216/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=11922636 CPUtime=221.89 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 1375232 0 0 0 13112 9077 0 0 20 0 1 0 293412025 12208779264 1305014 33554432000 4194304 4943705 140736833205232 140736833204144 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 26 0 0
/proc/29973/statm: 2980659 1305014 365 183 0 2977029 0
Current children cumulated CPU time (s) 221.91
Current children cumulated vsize (KiB) 11974672
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 29977
/proc/meminfo: memFree=21057892/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=14024844 CPUtime=281.87 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 1605238 0 0 0 17510 10677 0 0 20 0 1 0 293412025 14361440256 1535012 33554432000 4194304 4943705 140736833205232 140736833202544 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 27 0 0
/proc/29973/statm: 3506211 1535013 365 183 0 3502581 0
Current children cumulated CPU time (s) 281.89
Current children cumulated vsize (KiB) 14076880
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+338.4 s]
/proc/loadavg: 2.04 2.01 1.92 3/181 29977
/proc/meminfo: memFree=20208052/32873852 swapFree=6856/6856
[pid=29968] ppid=29966 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29968/stat : 29968 (python) S 29966 29968 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293412015 17403904 1082 33554432000 4194304 5683644 140736944666128 140736944663976 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29968/statm: 4249 1082 429 364 0 691 0
[pid=29970] ppid=29968 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29970/stat : 29970 (sh) S 29968 29968 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293412023 9367552 265 33554432000 4194304 5064252 140734819980112 140734819978816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29970/statm: 2287 265 226 213 0 72 0
[pid=29971] ppid=29970 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29971/stat : 29971 (python) S 29970 29968 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293412023 17145856 1059 33554432000 4194304 5683644 140735957538816 140735957536664 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29971/statm: 4186 1059 429 364 0 628 0
[pid=29972] ppid=29971 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29972/stat : 29972 (sh) S 29971 29968 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293412025 9367552 268 33554432000 4194304 5064252 140734076083648 140734076082352 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29972/statm: 2287 268 226 213 0 72 0
[pid=29973] ppid=29972 vsize=15824236 CPUtime=337.94 cores=0,2,4,6
/proc/29973/stat : 29973 (PBPASSolver-817) R 29972 29968 29464 0 -1 4202496 1802164 0 0 0 21752 12042 0 0 20 0 1 0 293412025 16204017664 1731938 33554432000 4194304 4943705 140736833205232 140736833203504 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 29 0 0
/proc/29973/statm: 3956059 1731938 365 183 0 3952429 0
Current children cumulated CPU time (s) 337.96
Current children cumulated vsize (KiB) 15876272
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29968 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=33994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=12998
# CPU time returned by wait4() is 0.046992
# while last known CPU time is 337.96
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 338.436
CPU time (s): 337.96
CPU user time (s): 217.54
CPU system time (s): 120.42
CPU usage (%): 99.8593
Max. virtual memory (cumulated for all children) (KiB): 15876272
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.033994
system time used= 0.012998
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 3
runsolver used 0.563914 second user time and 1.2918 second system time
The end