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-3718627-1338270772/watcher-3718627-1338270772 -o /tmp/evaluation-result-3718627-1338270772/solver-3718627-1338270772 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718627-1338270772.opb PrimePower CARD.DP ./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 1.99 1.71 3/178 25042
/proc/meminfo: memFree=28592744/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/25042/stat : 25042 (python) R 25040 25042 24798 0 -1 4202496 673 0 0 0 0 0 0 0 20 0 1 0 293202593 15642624 560 33554432000 4194304 5683644 140735742119552 140735742087496 270707540880 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 3819 560 324 364 0 261 0
[startup+0.0360451 s]
/proc/loadavg: 2.00 1.99 1.71 3/178 25042
/proc/meminfo: memFree=28592744/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=15972 CPUtime=0 cores=0,2,4,6
/proc/25042/stat : 25042 (python) D 25040 25042 24798 0 -1 4202496 976 0 0 0 0 0 0 0 20 0 1 0 293202593 16355328 820 33554432000 4194304 5683644 140735742119552 140735742085496 270707540880 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 3993 820 367 364 0 435 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972
[startup+0.100158 s]
/proc/loadavg: 2.00 1.99 1.71 3/178 25042
/proc/meminfo: memFree=28592744/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300171 s]
/proc/loadavg: 2.00 1.99 1.71 3/178 25042
/proc/meminfo: memFree=28592744/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700166 s]
/proc/loadavg: 2.00 1.99 1.71 3/178 25042
/proc/meminfo: memFree=28592744/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50045 s]
/proc/loadavg: 2.00 1.99 1.71 3/183 25047
/proc/meminfo: memFree=28336372/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25044] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25044/stat : 25044 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293202601 9367552 266 33554432000 4194304 5064252 140733958785936 140733958784640 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25044/statm: 2287 266 226 213 0 72 0
[pid=25045] ppid=25044 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/25045/stat : 25045 (python) S 25044 25042 24798 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293202601 17145856 1059 33554432000 4194304 5683644 140737251239072 140737251236920 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25045/statm: 4186 1059 429 364 0 628 0
[pid=25046] ppid=25045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (sh) S 25045 25042 24798 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293202603 9367552 268 33554432000 4194304 5064252 140735780416928 140735780415632 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25046/statm: 2287 268 226 213 0 72 0
[pid=25047] ppid=25046 vsize=804684 CPUtime=1.39 cores=0,2,4,6
/proc/25047/stat : 25047 (PBPASSolver-817) R 25046 25042 24798 0 -1 4202496 87030 0 0 0 88 51 0 0 20 0 1 0 293202603 823996416 86973 33554432000 4194304 4943705 140737144738384 140737144736656 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/25047/statm: 201171 86977 357 183 0 197541 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 856720
[startup+3.10038 s]
/proc/loadavg: 2.00 1.99 1.71 3/183 25047
/proc/meminfo: memFree=28137940/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25044] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25044/stat : 25044 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293202601 9367552 266 33554432000 4194304 5064252 140733958785936 140733958784640 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25044/statm: 2287 266 226 213 0 72 0
[pid=25045] ppid=25044 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/25045/stat : 25045 (python) S 25044 25042 24798 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293202601 17145856 1059 33554432000 4194304 5683644 140737251239072 140737251236920 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25045/statm: 4186 1059 429 364 0 628 0
[pid=25046] ppid=25045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (sh) S 25045 25042 24798 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293202603 9367552 268 33554432000 4194304 5064252 140735780416928 140735780415632 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25046/statm: 2287 268 226 213 0 72 0
[pid=25047] ppid=25046 vsize=1358444 CPUtime=2.99 cores=0,2,4,6
/proc/25047/stat : 25047 (PBPASSolver-817) R 25046 25042 24798 0 -1 4202496 147601 0 0 0 212 87 0 0 20 0 1 0 293202603 1391046656 147544 33554432000 4194304 4943705 140737144738384 140737144737296 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/25047/statm: 339611 147544 366 183 0 335981 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1410480
[startup+6.30032 s]
/proc/loadavg: 2.00 1.99 1.71 3/183 25047
/proc/meminfo: memFree=27982236/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25044] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25044/stat : 25044 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293202601 9367552 266 33554432000 4194304 5064252 140733958785936 140733958784640 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25044/statm: 2287 266 226 213 0 72 0
[pid=25045] ppid=25044 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/25045/stat : 25045 (python) S 25044 25042 24798 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293202601 17145856 1059 33554432000 4194304 5683644 140737251239072 140737251236920 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25045/statm: 4186 1059 429 364 0 628 0
[pid=25046] ppid=25045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (sh) S 25045 25042 24798 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293202603 9367552 268 33554432000 4194304 5064252 140735780416928 140735780415632 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25046/statm: 2287 268 226 213 0 72 0
[pid=25047] ppid=25046 vsize=1381804 CPUtime=6.05 cores=0,2,4,6
/proc/25047/stat : 25047 (PBPASSolver-817) R 25046 25042 24798 0 -1 4202496 150287 0 0 0 289 316 0 0 20 0 1 0 293202603 1414967296 150230 33554432000 4194304 4943705 140737144738384 140737144735568 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/25047/statm: 345451 150230 366 183 0 341821 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 1433840
[startup+12.7004 s]
/proc/loadavg: 2.00 1.99 1.72 3/183 25047
/proc/meminfo: memFree=27950696/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25044] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25044/stat : 25044 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293202601 9367552 266 33554432000 4194304 5064252 140733958785936 140733958784640 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25044/statm: 2287 266 226 213 0 72 0
[pid=25045] ppid=25044 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/25045/stat : 25045 (python) S 25044 25042 24798 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293202601 17145856 1059 33554432000 4194304 5683644 140737251239072 140737251236920 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25045/statm: 4186 1059 429 364 0 628 0
[pid=25046] ppid=25045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (sh) S 25045 25042 24798 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293202603 9367552 268 33554432000 4194304 5064252 140735780416928 140735780415632 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25046/statm: 2287 268 226 213 0 72 0
[pid=25047] ppid=25046 vsize=1418316 CPUtime=12.44 cores=0,2,4,6
/proc/25047/stat : 25047 (PBPASSolver-817) R 25046 25042 24798 0 -1 4202496 154292 0 0 0 448 796 0 0 20 0 1 0 293202603 1452355584 154235 33554432000 4194304 4943705 140737144738384 140737144734768 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 15 0 0
/proc/25047/statm: 354579 154235 366 183 0 350949 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 1470352
[startup+25.5004 s]
/proc/loadavg: 2.00 1.99 1.72 3/183 25047
/proc/meminfo: memFree=27894276/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117400 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25044] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25044/stat : 25044 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293202601 9367552 266 33554432000 4194304 5064252 140733958785936 140733958784640 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25044/statm: 2287 266 226 213 0 72 0
[pid=25045] ppid=25044 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/25045/stat : 25045 (python) S 25044 25042 24798 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293202601 17145856 1059 33554432000 4194304 5683644 140737251239072 140737251236920 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25045/statm: 4186 1059 429 364 0 628 0
[pid=25046] ppid=25045 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25046/stat : 25046 (sh) S 25045 25042 24798 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293202603 9367552 268 33554432000 4194304 5064252 140735780416928 140735780415632 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25046/statm: 2287 268 226 213 0 72 0
[pid=25047] ppid=25046 vsize=1487404 CPUtime=25.03 cores=0,2,4,6
/proc/25047/stat : 25047 (PBPASSolver-817) R 25046 25042 24798 0 -1 4202496 161913 0 0 0 753 1750 0 0 20 0 1 0 293202603 1523101696 161856 33554432000 4194304 4943705 140737144738384 140737144735792 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 30 0 0
/proc/25047/statm: 371851 161856 366 183 0 368221 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 1539440
[startup+51.1003 s]
/proc/loadavg: 2.00 1.99 1.73 3/181 25049
/proc/meminfo: memFree=28179564/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=42.68 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1404 175394 0 0 1 0 1192 3075 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117096 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25048] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25048/stat : 25048 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293206908 9367552 267 33554432000 4194304 5064252 140735490349072 140735490347776 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25048/statm: 2287 267 226 213 0 72 0
[pid=25049] ppid=25048 vsize=403348 CPUtime=7.94 cores=0,2,4,6
/proc/25049/stat : 25049 (CryptoMiniSat) R 25048 25042 24798 0 -1 4202496 37591 0 0 0 784 10 0 0 20 0 1 0 293206908 413028352 81442 33554432000 4194304 4734972 140735608157952 140735608149704 4561322 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25049/statm: 100837 81442 370 132 0 95737 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 429492
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.00 1.99 1.73 3/181 25049
/proc/meminfo: memFree=27968196/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=42.68 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1404 175394 0 0 1 0 1192 3075 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117096 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25048] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25048/stat : 25048 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293206908 9367552 267 33554432000 4194304 5064252 140735490349072 140735490347776 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25048/statm: 2287 267 226 213 0 72 0
[pid=25049] ppid=25048 vsize=677416 CPUtime=20.73 cores=0,2,4,6
/proc/25049/stat : 25049 (CryptoMiniSat) R 25048 25042 24798 0 -1 4202496 73298 0 0 0 2057 16 0 0 20 0 1 0 293206908 693673984 136886 33554432000 4194304 4734972 140735608157952 140735608149976 4327266 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25049/statm: 169354 136886 401 132 0 164254 0
Current children cumulated CPU time (s) 63.41
Current children cumulated vsize (KiB) 703560
[startup+70.3003 s]
/proc/loadavg: 2.00 1.99 1.73 3/181 25049
/proc/meminfo: memFree=27959936/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=42.68 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1404 175394 0 0 1 0 1192 3075 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117096 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25048] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25048/stat : 25048 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293206908 9367552 267 33554432000 4194304 5064252 140735490349072 140735490347776 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25048/statm: 2287 267 226 213 0 72 0
[pid=25049] ppid=25048 vsize=677416 CPUtime=27.14 cores=0,2,4,6
/proc/25049/stat : 25049 (CryptoMiniSat) R 25048 25042 24798 0 -1 4202496 73301 0 0 0 2698 16 0 0 20 0 1 0 293206908 693673984 136889 33554432000 4194304 4734972 140735608157952 140735608149976 4327266 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25049/statm: 169354 136889 401 132 0 164254 0
Current children cumulated CPU time (s) 69.82
Current children cumulated vsize (KiB) 703560
[startup+73.5003 s]
/proc/loadavg: 2.00 1.99 1.73 3/180 25049
/proc/meminfo: memFree=27957764/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=42.68 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1404 175394 0 0 1 0 1192 3075 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117096 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25048] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25048/stat : 25048 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293206908 9367552 267 33554432000 4194304 5064252 140735490349072 140735490347776 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25048/statm: 2287 267 226 213 0 72 0
[pid=25049] ppid=25048 vsize=677416 CPUtime=30.33 cores=0,2,4,6
/proc/25049/stat : 25049 (CryptoMiniSat) R 25048 25042 24798 0 -1 4202496 73304 0 0 0 3017 16 0 0 20 0 1 0 293206908 693673984 136892 33554432000 4194304 4734972 140735608157952 140735608149976 4328169 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25049/statm: 169354 136892 401 132 0 164254 0
Current children cumulated CPU time (s) 73.01
Current children cumulated vsize (KiB) 703560
[startup+75.1003 s]
/proc/loadavg: 2.00 1.99 1.73 3/180 25049
/proc/meminfo: memFree=27971796/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=42.68 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1404 175394 0 0 1 0 1192 3075 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117096 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25048] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25048/stat : 25048 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293206908 9367552 267 33554432000 4194304 5064252 140735490349072 140735490347776 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25048/statm: 2287 267 226 213 0 72 0
[pid=25049] ppid=25048 vsize=677416 CPUtime=31.93 cores=0,2,4,6
/proc/25049/stat : 25049 (CryptoMiniSat) R 25048 25042 24798 0 -1 4202496 73306 0 0 0 3177 16 0 0 20 0 1 0 293206908 693673984 136894 33554432000 4194304 4734972 140735608157952 140735608149976 4385061 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25049/statm: 169354 136894 401 132 0 164254 0
Current children cumulated CPU time (s) 74.61
Current children cumulated vsize (KiB) 703560
[startup+75.5003 s]
/proc/loadavg: 2.00 1.99 1.73 3/180 25049
/proc/meminfo: memFree=27971796/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=42.68 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1404 175394 0 0 1 0 1192 3075 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117096 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25048] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25048/stat : 25048 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293206908 9367552 267 33554432000 4194304 5064252 140735490349072 140735490347776 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25048/statm: 2287 267 226 213 0 72 0
[pid=25049] ppid=25048 vsize=677416 CPUtime=32.33 cores=0,2,4,6
/proc/25049/stat : 25049 (CryptoMiniSat) R 25048 25042 24798 0 -1 4202496 73322 0 0 0 3217 16 0 0 20 0 1 0 293206908 693673984 136909 33554432000 4194304 4734972 140735608157952 140735608149976 270707152883 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25049/statm: 169354 136909 416 132 0 164254 0
Current children cumulated CPU time (s) 75.01
Current children cumulated vsize (KiB) 703560
[startup+75.7003 s]
/proc/loadavg: 2.00 1.99 1.73 3/180 25049
/proc/meminfo: memFree=27971796/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16996 CPUtime=42.68 cores=0,2,4,6
/proc/25042/stat : 25042 (python) S 25040 25042 24798 0 -1 4202496 1404 175394 0 0 1 0 1192 3075 20 0 1 0 293202593 17403904 1082 33554432000 4194304 5683644 140735742119552 140735742117096 270707541376 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4249 1082 429 364 0 691 0
[pid=25048] ppid=25042 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25048/stat : 25048 (sh) S 25042 25042 24798 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293206908 9367552 267 33554432000 4194304 5064252 140735490349072 140735490347776 270707353166 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25048/statm: 2287 267 226 213 0 72 0
[pid=25049] ppid=25048 vsize=558556 CPUtime=32.54 cores=0,2,4,6
/proc/25049/stat : 25049 (CryptoMiniSat) R 25048 25042 24798 0 -1 4202496 73322 0 0 0 3237 17 0 0 20 0 1 0 293206908 571961344 114267 33554432000 4194304 4734972 140735608157952 140735608149976 270707161820 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/25049/statm: 139639 114267 416 132 0 134539 0
Current children cumulated CPU time (s) 75.22
Current children cumulated vsize (KiB) 584700
[startup+75.8004 s]
/proc/loadavg: 2.00 1.99 1.73 3/180 25049
/proc/meminfo: memFree=28379996/32873648 swapFree=6864/6864
[pid=25042] ppid=25040 vsize=16992 CPUtime=75.33 cores=0,2,4,6
/proc/25042/stat : 25042 (python) R 25040 25042 24798 0 -1 4202496 1729 249054 0 0 1 0 4438 3094 20 0 1 0 293202593 17399808 1082 33554432000 4194304 5683644 140735742119552 140735742117096 4502173 0 0 16781312 0 0 0 0 17 2 0 0 0 0 0
/proc/25042/statm: 4248 1082 429 364 0 690 0
Current children cumulated CPU time (s) 75.33
Current children cumulated vsize (KiB) 16992
Child status: 0
Real time (s): 75.8081
CPU time (s): 75.3485
CPU user time (s): 44.4032
CPU system time (s): 30.9453
CPU usage (%): 99.3938
Max. virtual memory (cumulated for all children) (KiB): 1639088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 44.4032
system time used= 30.9453
maximum resident set size= 691236
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 250982
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152656
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 216
involuntary context switches= 93
runsolver used 0.255961 second user time and 0.761884 second system time
The end