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-3718982-1338270708/watcher-3718982-1338270708 -o /tmp/evaluation-result-3718982-1338270708/solver-3718982-1338270708 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718982-1338270708.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.01 1.99 1.70 3/178 29663
/proc/meminfo: memFree=26118488/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/29663/stat : 29663 (python) R 29661 29663 29464 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293196730 15642624 527 33554432000 4194304 5683644 140736391468368 140736391454280 273448518544 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 3819 527 312 364 0 261 0
[startup+0.0473071 s]
/proc/loadavg: 2.01 1.99 1.70 3/178 29663
/proc/meminfo: memFree=26118488/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16436 CPUtime=0 cores=0,2,4,6
/proc/29663/stat : 29663 (python) R 29661 29663 29464 0 -1 4202496 1057 0 0 0 0 0 0 0 20 0 1 0 293196730 16830464 884 33554432000 4194304 5683644 140736391468368 140736391397368 4527955 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4109 884 379 364 0 551 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16436
[startup+0.100238 s]
/proc/loadavg: 2.01 1.99 1.70 3/178 29663
/proc/meminfo: memFree=26118488/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300264 s]
/proc/loadavg: 2.01 1.99 1.70 3/178 29663
/proc/meminfo: memFree=26118488/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700274 s]
/proc/loadavg: 2.01 1.99 1.70 3/178 29663
/proc/meminfo: memFree=26118488/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50037 s]
/proc/loadavg: 2.01 1.99 1.70 3/183 29668
/proc/meminfo: memFree=25855824/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=765516 CPUtime=1.38 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 82729 0 0 0 86 52 0 0 20 0 1 0 293196740 783888384 82672 33554432000 4194304 4943705 140735958163568 140735958162480 4358535 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/29668/statm: 191379 82676 357 183 0 187749 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 817552
[startup+3.10032 s]
/proc/loadavg: 2.01 1.99 1.70 3/183 29668
/proc/meminfo: memFree=25730212/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=785580 CPUtime=2.99 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 85078 0 0 0 123 176 0 0 20 0 1 0 293196740 804433920 84893 33554432000 4194304 4943705 140735958163568 140735958159600 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/29668/statm: 196395 84893 365 183 0 192765 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 837616
[startup+6.30032 s]
/proc/loadavg: 2.01 1.99 1.70 3/183 29668
/proc/meminfo: memFree=25650472/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=791788 CPUtime=6.07 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 86054 0 0 0 194 413 0 0 20 0 1 0 293196740 810790912 85581 33554432000 4194304 4943705 140735958163568 140735958160976 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 11 0 0
/proc/29668/statm: 197947 85581 365 183 0 194317 0
Current children cumulated CPU time (s) 6.09
Current children cumulated vsize (KiB) 843824
[startup+12.7004 s]
/proc/loadavg: 2.01 1.99 1.70 3/183 29668
/proc/meminfo: memFree=25510640/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=804748 CPUtime=12.35 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 88069 0 0 0 335 900 0 0 20 0 1 0 293196740 824061952 87004 33554432000 4194304 4943705 140735958163568 140735958158512 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 23 0 0
/proc/29668/statm: 201187 87004 365 183 0 197557 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 856784
[startup+25.5004 s]
/proc/loadavg: 2.01 1.99 1.71 3/183 29668
/proc/meminfo: memFree=25234856/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=830668 CPUtime=25.15 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 92146 0 0 0 619 1896 0 0 20 0 1 0 293196740 850604032 89881 33554432000 4194304 4943705 140735958163568 140735958158864 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 23 0 0
/proc/29668/statm: 207667 89881 365 183 0 204037 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 882704
[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 1.72 3/183 29668
/proc/meminfo: memFree=24738932/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=882700 CPUtime=50.74 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 100356 0 0 0 1188 3886 0 0 20 0 1 0 293196740 903884800 95675 33554432000 4194304 4943705 140735958163568 140735958158800 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 23 0 0
/proc/29668/statm: 220675 95675 365 183 0 217045 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 934736
[startup+102.306 s]
/proc/loadavg: 2.00 1.99 1.73 3/183 29668
/proc/meminfo: memFree=23842828/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=987980 CPUtime=101.94 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 116908 0 0 0 2334 7860 0 0 20 0 1 0 293196740 1011691520 107347 33554432000 4194304 4943705 140735958163568 140735958160944 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 24 0 0
/proc/29668/statm: 246995 107347 365 183 0 243365 0
Current children cumulated CPU time (s) 101.96
Current children cumulated vsize (KiB) 1040016
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 1.74 3/183 29668
/proc/meminfo: memFree=22917692/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391466216 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29665] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29665/stat : 29665 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293196737 9367552 267 33554432000 4194304 5064252 140734461122464 140734461121168 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29665/statm: 2287 267 226 213 0 72 0
[pid=29666] ppid=29665 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/29666/stat : 29666 (python) S 29665 29663 29464 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293196737 17145856 1059 33554432000 4194304 5683644 140733627106752 140733627104600 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/29666/statm: 4186 1059 429 364 0 628 0
[pid=29667] ppid=29666 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29667/stat : 29667 (sh) S 29666 29663 29464 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293196740 9367552 267 33554432000 4194304 5064252 140737235086128 140737235084832 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/29667/statm: 2287 267 226 213 0 72 0
[pid=29668] ppid=29667 vsize=1112012 CPUtime=161.92 cores=0,2,4,6
/proc/29668/stat : 29668 (PBPASSolver-817) R 29667 29663 29464 0 -1 4202496 136377 0 0 0 3693 12499 0 0 20 0 1 0 293196740 1138700288 121072 33554432000 4194304 4943705 140735958163568 140735958160976 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 25 0 0
/proc/29668/statm: 278003 121072 365 183 0 274373 0
Current children cumulated CPU time (s) 161.94
Current children cumulated vsize (KiB) 1164048
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 29670
/proc/meminfo: memFree=21152948/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=189.63 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1404 149422 0 0 1 0 4324 14638 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391465912 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29669] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29669/stat : 29669 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 267 33554432000 4194304 5064252 140733827696112 140733827694816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29669/statm: 2287 267 226 213 0 72 0
[pid=29670] ppid=29669 vsize=1758200 CPUtime=32.3 cores=0,2,4,6
/proc/29670/stat : 29670 (CryptoMiniSat) R 29669 29663 29464 0 -1 4202496 186365 0 0 0 3173 57 0 0 20 0 1 0 293215729 1800396800 378056 33554432000 4194304 4734972 140736632524464 140736632515672 4393682 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/29670/statm: 439550 378056 389 132 0 434450 0
Current children cumulated CPU time (s) 221.93
Current children cumulated vsize (KiB) 1784344
Solver just ended. Dumping a history of the last processes samples
[startup+223.9 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 29670
/proc/meminfo: memFree=21140796/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=189.63 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1404 149422 0 0 1 0 4324 14638 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391465912 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29669] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29669/stat : 29669 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 267 33554432000 4194304 5064252 140733827696112 140733827694816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29669/statm: 2287 267 226 213 0 72 0
[pid=29670] ppid=29669 vsize=1759652 CPUtime=33.9 cores=0,2,4,6
/proc/29670/stat : 29670 (CryptoMiniSat) R 29669 29663 29464 0 -1 4202496 186698 0 0 0 3333 57 0 0 20 0 1 0 293215729 1801883648 378389 33554432000 4194304 4734972 140736632524464 140736632515736 4393711 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/29670/statm: 439913 378389 389 132 0 434813 0
Current children cumulated CPU time (s) 223.53
Current children cumulated vsize (KiB) 1785796
[startup+225.506 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 29670
/proc/meminfo: memFree=21109284/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=189.63 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1404 149422 0 0 1 0 4324 14638 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391465912 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29669] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29669/stat : 29669 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 267 33554432000 4194304 5064252 140733827696112 140733827694816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29669/statm: 2287 267 226 213 0 72 0
[pid=29670] ppid=29669 vsize=1759652 CPUtime=35.5 cores=0,2,4,6
/proc/29670/stat : 29670 (CryptoMiniSat) R 29669 29663 29464 0 -1 4202496 186698 0 0 0 3493 57 0 0 20 0 1 0 293215729 1801883648 378389 33554432000 4194304 4734972 140736632524464 140736632515736 4419330 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/29670/statm: 439913 378389 389 132 0 434813 0
Current children cumulated CPU time (s) 225.13
Current children cumulated vsize (KiB) 1785796
[startup+227.1 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 29670
/proc/meminfo: memFree=21039732/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=189.63 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1404 149422 0 0 1 0 4324 14638 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391465912 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29669] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29669/stat : 29669 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 267 33554432000 4194304 5064252 140733827696112 140733827694816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29669/statm: 2287 267 226 213 0 72 0
[pid=29670] ppid=29669 vsize=1782536 CPUtime=37.09 cores=0,2,4,6
/proc/29670/stat : 29670 (CryptoMiniSat) R 29669 29663 29464 0 -1 4202496 188589 0 0 0 3652 57 0 0 20 0 1 0 293215729 1825316864 383501 33554432000 4194304 4734972 140736632524464 140736632515848 273448139098 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/29670/statm: 445634 383501 404 132 0 440534 0
Current children cumulated CPU time (s) 226.72
Current children cumulated vsize (KiB) 1808680
[startup+227.9 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 29670
/proc/meminfo: memFree=21067108/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=189.63 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1404 149422 0 0 1 0 4324 14638 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391465912 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29669] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29669/stat : 29669 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 267 33554432000 4194304 5064252 140733827696112 140733827694816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29669/statm: 2287 267 226 213 0 72 0
[pid=29670] ppid=29669 vsize=1211200 CPUtime=37.89 cores=0,2,4,6
/proc/29670/stat : 29670 (CryptoMiniSat) R 29669 29663 29464 0 -1 4202496 188589 0 0 0 3731 58 0 0 20 0 1 0 293215729 1240268800 282235 33554432000 4194304 4734972 140736632524464 140736632516584 273448139098 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/29670/statm: 302800 282235 404 132 0 297700 0
Current children cumulated CPU time (s) 227.52
Current children cumulated vsize (KiB) 1237344
[startup+228.1 s]
/proc/loadavg: 2.00 1.99 1.75 3/181 29670
/proc/meminfo: memFree=21067108/32873852 swapFree=6856/6856
[pid=29663] ppid=29661 vsize=16996 CPUtime=189.63 cores=0,2,4,6
/proc/29663/stat : 29663 (python) S 29661 29663 29464 0 -1 4202496 1404 149422 0 0 1 0 4324 14638 20 0 1 0 293196730 17403904 1082 33554432000 4194304 5683644 140736391468368 140736391465912 273448519040 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29663/statm: 4249 1082 429 364 0 691 0
[pid=29669] ppid=29663 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29669/stat : 29669 (sh) S 29663 29663 29464 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293215729 9367552 267 33554432000 4194304 5064252 140733827696112 140733827694816 273448330830 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/29669/statm: 2287 267 226 213 0 72 0
[pid=29670] ppid=29669 vsize=965336 CPUtime=38.09 cores=0,2,4,6
/proc/29670/stat : 29670 (CryptoMiniSat) R 29669 29663 29464 0 -1 4202496 188589 0 0 0 3749 60 0 0 20 0 1 0 293215729 988504064 170074 33554432000 4194304 4734972 140736632524464 140736632516584 273448540282 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/29670/statm: 241334 169928 404 132 0 236234 0
Current children cumulated CPU time (s) 227.72
Current children cumulated vsize (KiB) 991480
Child status: 0
Real time (s): 228.132
CPU time (s): 227.789
CPU user time (s): 80.7647
CPU system time (s): 147.025
CPU usage (%): 99.8498
Max. virtual memory (cumulated for all children) (KiB): 1849748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.7647
system time used= 147.025
maximum resident set size= 1572156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 340277
page faults= 0
swaps= 0
block input operations= 0
block output operations= 781976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 250
involuntary context switches= 290
runsolver used 0.39094 second user time and 1.00885 second system time
The end