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-3719069-1338272662/watcher-3719069-1338272662 -o /tmp/evaluation-result-3719069-1338272662/solver-3719069-1338272662 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719069-1338272662.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/178 23901
/proc/meminfo: memFree=25606048/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/23901/stat : 23901 (python) D 23899 23901 23529 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293391937 15642624 527 33554432000 4194304 5683644 140735225901696 140735225887608 270330053520 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 3819 527 312 364 0 261 0
[startup+0.0395041 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23901
/proc/meminfo: memFree=25606048/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16104 CPUtime=0 cores=0,2,4,6
/proc/23901/stat : 23901 (python) D 23899 23901 23529 0 -1 4202496 987 0 0 0 0 0 0 0 20 0 1 0 293391937 16490496 828 33554432000 4194304 5683644 140735225901696 140735225858152 270330053520 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4026 828 367 364 0 468 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16104
[startup+0.100177 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23901
/proc/meminfo: memFree=25606048/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300231 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23901
/proc/meminfo: memFree=25606048/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.70023 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 23901
/proc/meminfo: memFree=25606048/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23906
/proc/meminfo: memFree=25351708/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=760492 CPUtime=1.28 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) D 23905 23901 23529 0 -1 4202496 85525 0 0 0 75 53 0 0 20 0 1 0 293391948 778743808 82434 33554432000 4194304 4943705 140735305174496 140735305172768 4267542 0 0 16781312 17608 18446744071580543392 0 0 17 6 0 0 0 0 0
/proc/23906/statm: 190123 82434 357 183 0 186493 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 812524
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23906
/proc/meminfo: memFree=25205624/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=1334188 CPUtime=2.85 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 148277 0 0 0 196 89 0 0 20 0 1 0 293391948 1366208512 145186 33554432000 4194304 4943705 140735305174496 140735305172768 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/23906/statm: 333547 145186 357 183 0 329917 0
Current children cumulated CPU time (s) 2.87
Current children cumulated vsize (KiB) 1386220
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23906
/proc/meminfo: memFree=24773112/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=2199468 CPUtime=6.05 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 242891 0 0 0 460 145 0 0 20 0 1 0 293391948 2252255232 239800 33554432000 4194304 4943705 140735305174496 140735305172768 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/23906/statm: 549867 239800 357 183 0 546237 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 2251500
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23906
/proc/meminfo: memFree=24266232/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3155564 CPUtime=12.35 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 347644 0 0 0 915 320 0 0 20 0 1 0 293391948 3231297536 344465 33554432000 4194304 4943705 140735305174496 140735305170496 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 23 0 0
/proc/23906/statm: 788891 344465 365 183 0 785261 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 3207596
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23906
/proc/meminfo: memFree=24206956/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3196076 CPUtime=25.12 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 353819 0 0 0 1231 1281 0 0 20 0 1 0 293391948 3272781824 349416 33554432000 4194304 4943705 140735305174496 140735305169600 4267451 0 0 16781312 17608 0 0 0 17 2 0 0 25 0 0
/proc/23906/statm: 799019 349416 365 183 0 795389 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 3248108
[startup+51.1003 s]
/proc/loadavg: 2.08 2.02 1.92 3/185 23949
/proc/meminfo: memFree=25319616/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3279340 CPUtime=50.66 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 379337 0 0 0 1841 3225 0 0 20 0 1 0 293391948 3358044160 363014 33554432000 4194304 4943705 140735305174496 140735305169632 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 31 0 0
/proc/23906/statm: 819835 363014 365 183 0 816205 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 3331372
[startup+102.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/184 23949
/proc/meminfo: memFree=23526440/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
Solver just ended. Dumping a history of the last processes samples
[startup+230.4 s]
/proc/loadavg: 2.11 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24307664/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3730156 CPUtime=229.45 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 535463 0 0 0 5212 17733 0 0 20 0 1 0 293391948 3819679744 475712 33554432000 4194304 4943705 140735305174496 140735305171904 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 81 0 0
/proc/23906/statm: 932539 475712 365 183 0 928909 0
Current children cumulated CPU time (s) 229.47
Current children cumulated vsize (KiB) 3782188
[startup+243.207 s]
/proc/loadavg: 2.08 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24131968/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3772140 CPUtime=242.21 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 549830 0 0 0 5529 18692 0 0 20 0 1 0 293391948 3862671360 485215 33554432000 4194304 4943705 140735305174496 140735305171904 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 84 0 0
/proc/23906/statm: 943035 485215 365 183 0 939405 0
Current children cumulated CPU time (s) 242.23
Current children cumulated vsize (KiB) 3824172
[startup+246.4 s]
/proc/loadavg: 2.08 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24145636/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3781356 CPUtime=245.42 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 553200 0 0 0 5604 18938 0 0 20 0 1 0 293391948 3872108544 486793 33554432000 4194304 4943705 140735305174496 140735305171904 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 84 0 0
/proc/23906/statm: 945339 486793 365 183 0 941709 0
Current children cumulated CPU time (s) 245.44
Current children cumulated vsize (KiB) 3833388
[startup+249.6 s]
/proc/loadavg: 2.08 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24146880/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3792364 CPUtime=248.59 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 556814 0 0 0 5678 19181 0 0 20 0 1 0 293391948 3883380736 490983 33554432000 4194304 4943705 140735305174496 140735305169696 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 86 0 0
/proc/23906/statm: 948091 490983 365 183 0 944461 0
Current children cumulated CPU time (s) 248.61
Current children cumulated vsize (KiB) 3844396
[startup+250.4 s]
/proc/loadavg: 2.08 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24143284/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3794412 CPUtime=249.39 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 557570 0 0 0 5697 19242 0 0 20 0 1 0 293391948 3885477888 491355 33554432000 4194304 4943705 140735305174496 140735305170592 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 86 0 0
/proc/23906/statm: 948603 491355 365 183 0 944973 0
Current children cumulated CPU time (s) 249.41
Current children cumulated vsize (KiB) 3846444
[startup+250.8 s]
/proc/loadavg: 2.08 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24177920/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3796204 CPUtime=249.8 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 558198 0 0 0 5708 19272 0 0 20 0 1 0 293391948 3887312896 491663 33554432000 4194304 4943705 140735305174496 140735305170592 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 86 0 0
/proc/23906/statm: 949051 491663 365 183 0 945421 0
Current children cumulated CPU time (s) 249.82
Current children cumulated vsize (KiB) 3848236
[startup+251.2 s]
/proc/loadavg: 2.08 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24177920/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1059 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1059 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=3795692 CPUtime=250.19 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202496 558262 0 0 0 5718 19301 0 0 20 0 1 0 293391948 3886788608 491535 33554432000 4194304 4943705 140735305174496 140735305170592 4694641 0 0 16781312 17608 0 0 0 17 2 0 0 86 0 0
/proc/23906/statm: 948923 491535 365 183 0 945293 0
Current children cumulated CPU time (s) 250.21
Current children cumulated vsize (KiB) 3847724
[startup+251.3 s]
/proc/loadavg: 2.08 2.03 1.93 3/185 23996
/proc/meminfo: memFree=24177920/32873660 swapFree=7120/7120
[pid=23901] ppid=23899 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/23901/stat : 23901 (python) S 23899 23901 23529 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293391937 17403904 1082 33554432000 4194304 5683644 140735225901696 140735225899544 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23901/statm: 4249 1082 429 364 0 691 0
[pid=23903] ppid=23901 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23903/stat : 23903 (sh) S 23901 23901 23529 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293391945 9367552 266 33554432000 4194304 5064252 140734928051520 140734928050224 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23903/statm: 2287 266 226 213 0 72 0
[pid=23904] ppid=23903 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/23904/stat : 23904 (python) S 23903 23901 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293391945 17141760 1060 33554432000 4194304 5683644 140736204287392 140736204285240 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/23904/statm: 4185 1060 429 364 0 627 0
[pid=23905] ppid=23904 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23905/stat : 23905 (sh) S 23904 23901 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293391948 9367552 268 33554432000 4194304 5064252 140735327559456 140735327558160 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/23905/statm: 2287 268 226 213 0 72 0
[pid=23906] ppid=23905 vsize=0 CPUtime=250.29 cores=0,2,4,6
/proc/23906/stat : 23906 (PBPASSolver-817) R 23905 23901 23529 0 -1 4202500 558309 0 0 0 5721 19308 0 0 20 0 1 0 293391948 0 0 33554432000 0 0 0 0 0 0 0 16781312 17608 18446744073709551615 0 0 17 2 0 0 86 0 0
/proc/23906/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 250.31
Current children cumulated vsize (KiB) 52032
Child status: 0
Real time (s): 251.385
CPU time (s): 250.436
CPU user time (s): 57.2863
CPU system time (s): 193.15
CPU usage (%): 99.6225
Max. virtual memory (cumulated for all children) (KiB): 3848236
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.2863
system time used= 193.15
maximum resident set size= 1966652
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 568362
page faults= 0
swaps= 0
block input operations= 8
block output operations= 838600
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 287
involuntary context switches= 311
runsolver used 0.387941 second user time and 0.989849 second system time
The end