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-3719045-1338271473/watcher-3719045-1338271473 -o /tmp/evaluation-result-3719045-1338271473/solver-3719045-1338271473 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719045-1338271473.opb PrimePower CARD.SN ./CryptoMiniSat
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.00 2.00 1.84 3/178 11837
/proc/meminfo: memFree=30511360/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=15412 CPUtime=0 cores=1,3,5,7
/proc/11837/stat : 11837 (python) R 11835 11837 11346 0 -1 4202496 750 0 0 0 0 0 0 0 20 0 1 0 293271597 15781888 628 33554432000 4194304 5683644 140735528334976 140735528293432 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 3845 625 333 364 0 287 0
[startup+0.106345 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 11837
/proc/meminfo: memFree=30511360/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.200365 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 11837
/proc/meminfo: memFree=30511360/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300355 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 11837
/proc/meminfo: memFree=30511360/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700311 s]
/proc/loadavg: 2.00 2.00 1.84 3/178 11837
/proc/meminfo: memFree=30511360/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30232444/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=674700 CPUtime=1.43 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 72790 0 0 0 79 64 0 0 20 0 1 0 293271603 690892800 72717 33554432000 4194304 4943705 140734655996096 140734655995008 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/11842/statm: 168675 72717 365 183 0 165045 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 726732
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30211480/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=678604 CPUtime=2.81 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 73357 0 0 0 109 172 0 0 20 0 1 0 293271603 694890496 73172 33554432000 4194304 4943705 140734655996096 140734655993504 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 21 0 0
/proc/11842/statm: 169651 73172 365 183 0 166021 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 730636
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30199264/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=688684 CPUtime=6.02 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 74723 0 0 0 182 420 0 0 20 0 1 0 293271603 705212416 74266 33554432000 4194304 4943705 140734655996096 140734655991520 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 21 0 0
/proc/11842/statm: 172171 74266 365 183 0 168541 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 740716
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30177628/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=706732 CPUtime=12.38 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 77252 0 0 0 326 912 0 0 20 0 1 0 293271603 723693568 76267 33554432000 4194304 4943705 140734655996096 140734655993504 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 24 0 0
/proc/11842/statm: 176683 76267 365 183 0 173053 0
Current children cumulated CPU time (s) 12.4
Current children cumulated vsize (KiB) 758764
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30106068/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=740684 CPUtime=25.16 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 82157 0 0 0 618 1898 0 0 20 0 1 0 293271603 758460416 80052 33554432000 4194304 4943705 140734655996096 140734655991232 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 26 0 0
/proc/11842/statm: 185171 80052 365 183 0 181541 0
Current children cumulated CPU time (s) 25.18
Current children cumulated vsize (KiB) 792716
Solver just ended. Dumping a history of the last processes samples
[startup+25.6005 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30106068/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=741196 CPUtime=25.26 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 82230 0 0 0 619 1907 0 0 20 0 1 0 293271603 758984704 80109 33554432000 4194304 4943705 140734655996096 140734655991232 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 26 0 0
/proc/11842/statm: 185299 80109 365 183 0 181669 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 793228
[startup+32.0065 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30085476/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=757868 CPUtime=31.65 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 84629 0 0 0 768 2397 0 0 20 0 1 0 293271603 776056832 81964 33554432000 4194304 4943705 140734655996096 140734655993504 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 27 0 0
/proc/11842/statm: 189467 81964 365 183 0 185837 0
Current children cumulated CPU time (s) 31.67
Current children cumulated vsize (KiB) 809900
[startup+35.2004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30075308/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=765580 CPUtime=34.85 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 85755 0 0 0 842 2643 0 0 20 0 1 0 293271603 783953920 82802 33554432000 4194304 4943705 140734655996096 140734655993504 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/11842/statm: 191395 82802 365 183 0 187765 0
Current children cumulated CPU time (s) 34.87
Current children cumulated vsize (KiB) 817612
[startup+36.8003 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30071836/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=769420 CPUtime=36.44 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 86316 0 0 0 882 2762 0 0 20 0 1 0 293271603 787886080 83219 33554432000 4194304 4943705 140734655996096 140734655992448 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/11842/statm: 192355 83219 365 183 0 188725 0
Current children cumulated CPU time (s) 36.46
Current children cumulated vsize (KiB) 821452
[startup+38.4004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30068488/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=773036 CPUtime=38.03 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 86881 0 0 0 919 2884 0 0 20 0 1 0 293271603 791588864 83640 33554432000 4194304 4943705 140734655996096 140734655993504 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 29 0 0
/proc/11842/statm: 193259 83640 365 183 0 189629 0
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (KiB) 825068
[startup+38.8004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30065140/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=774060 CPUtime=38.43 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 87006 0 0 0 929 2914 0 0 20 0 1 0 293271603 792637440 83733 33554432000 4194304 4943705 140734655996096 140734655991008 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 29 0 0
/proc/11842/statm: 193515 83733 365 183 0 189885 0
Current children cumulated CPU time (s) 38.45
Current children cumulated vsize (KiB) 826092
[startup+39.2004 s]
/proc/loadavg: 2.00 2.00 1.85 3/183 11842
/proc/meminfo: memFree=30065140/32873844 swapFree=7632/7632
[pid=11837] ppid=11835 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/11837/stat : 11837 (python) S 11835 11837 11346 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293271597 17403904 1082 33554432000 4194304 5683644 140735528334976 140735528332824 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11837/statm: 4249 1082 429 364 0 691 0
[pid=11839] ppid=11837 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11839/stat : 11839 (sh) S 11837 11837 11346 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293271600 9367552 267 33554432000 4194304 5064252 140733646929984 140733646928688 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11839/statm: 2287 267 226 213 0 72 0
[pid=11840] ppid=11839 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/11840/stat : 11840 (python) S 11839 11837 11346 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293271600 17141760 1059 33554432000 4194304 5683644 140734832538704 140734832536552 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/11840/statm: 4185 1059 429 364 0 627 0
[pid=11841] ppid=11840 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11841/stat : 11841 (sh) S 11840 11837 11346 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293271603 9367552 267 33554432000 4194304 5064252 140737473527856 140737473526560 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/11841/statm: 2287 267 226 213 0 72 0
[pid=11842] ppid=11841 vsize=774828 CPUtime=38.83 cores=1,3,5,7
/proc/11842/stat : 11842 (PBPASSolver-817) R 11841 11837 11346 0 -1 4202496 87131 0 0 0 938 2945 0 0 20 0 1 0 293271603 793423872 83826 33554432000 4194304 4943705 140734655996096 140734655991008 4694624 0 0 16781312 17608 0 0 0 17 5 0 0 29 0 0
/proc/11842/statm: 193707 83826 365 183 0 190077 0
Current children cumulated CPU time (s) 38.85
Current children cumulated vsize (KiB) 826860
Child status: 0
Real time (s): 39.2562
CPU time (s): 38.9311
CPU user time (s): 9.42857
CPU system time (s): 29.5025
CPU usage (%): 99.1719
Max. virtual memory (cumulated for all children) (KiB): 826860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.42857
system time used= 29.5025
maximum resident set size= 335304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 93742
page faults= 0
swaps= 0
block input operations= 0
block output operations= 149024
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 155
involuntary context switches= 51
runsolver used 0.056991 second user time and 0.162975 second system time
The end