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-3718584-1338268851/watcher-3718584-1338268851 -o /tmp/evaluation-result-3718584-1338268851/solver-3718584-1338268851 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718584-1338268851.opb PrimePower CARD.DP ./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: 0.02 0.05 0.00 3/179 12800
/proc/meminfo: memFree=28313480/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/12800/stat : 12800 (python) D 12798 12800 12751 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 293010589 15749120 629 33554432000 4194304 5683644 140736224714224 140736224654712 229355897744 0 0 16781312 2 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 3845 629 333 364 0 287 0
[startup+0.035594 s]
/proc/loadavg: 0.02 0.05 0.00 3/179 12800
/proc/meminfo: memFree=28313480/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224712072 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.100336 s]
/proc/loadavg: 0.02 0.05 0.00 3/179 12800
/proc/meminfo: memFree=28313480/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224712072 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300233 s]
/proc/loadavg: 0.02 0.05 0.00 3/179 12800
/proc/meminfo: memFree=28313480/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224712072 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12800/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: 0.02 0.05 0.00 3/179 12800
/proc/meminfo: memFree=28313480/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224712072 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12800/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: 0.18 0.08 0.01 3/184 12805
/proc/meminfo: memFree=28295568/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224712072 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12802] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12802/stat : 12802 (sh) S 12800 12800 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010592 9367552 266 33554432000 4194304 5064252 140734224348048 140734224346752 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12802/statm: 2287 266 226 213 0 72 0
[pid=12803] ppid=12802 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12803/stat : 12803 (python) S 12802 12800 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010592 17141760 1059 33554432000 4194304 5683644 140735678980688 140735678978536 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12803/statm: 4185 1059 429 364 0 627 0
[pid=12804] ppid=12803 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12804/stat : 12804 (sh) S 12803 12800 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010595 9367552 268 33554432000 4194304 5064252 140734799620432 140734799619136 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12804/statm: 2287 268 226 213 0 72 0
[pid=12805] ppid=12804 vsize=31084 CPUtime=1.43 cores=1,3,5,7
/proc/12805/stat : 12805 (PBPASSolver-817) R 12804 12800 12751 0 -1 4202496 2282 0 0 0 22 121 0 0 20 0 1 0 293010595 31830016 2225 33554432000 4194304 4943705 140734688558784 140734688555456 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/12805/statm: 7771 2225 366 183 0 4141 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 83116
[startup+3.10038 s]
/proc/loadavg: 0.18 0.08 0.01 3/184 12805
/proc/meminfo: memFree=28285368/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224712072 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12802] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12802/stat : 12802 (sh) S 12800 12800 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010592 9367552 266 33554432000 4194304 5064252 140734224348048 140734224346752 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12802/statm: 2287 266 226 213 0 72 0
[pid=12803] ppid=12802 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/12803/stat : 12803 (python) S 12802 12800 12751 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010592 17141760 1059 33554432000 4194304 5683644 140735678980688 140735678978536 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/12803/statm: 4185 1059 429 364 0 627 0
[pid=12804] ppid=12803 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12804/stat : 12804 (sh) S 12803 12800 12751 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010595 9367552 268 33554432000 4194304 5064252 140734799620432 140734799619136 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/12804/statm: 2287 268 226 213 0 72 0
[pid=12805] ppid=12804 vsize=46764 CPUtime=3.03 cores=1,3,5,7
/proc/12805/stat : 12805 (PBPASSolver-817) R 12804 12800 12751 0 -1 4202496 3989 0 0 0 48 255 0 0 20 0 1 0 293010595 47886336 3932 33554432000 4194304 4943705 140734688558784 140734688556192 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/12805/statm: 11691 3932 366 183 0 8061 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 98796
[startup+6.30033 s]
/proc/loadavg: 0.32 0.11 0.02 3/180 12809
/proc/meminfo: memFree=28238696/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=67888 CPUtime=1.59 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 9071 0 0 0 158 1 0 0 20 0 1 0 293011058 69517312 8562 33554432000 4194304 4734972 140733248110624 140733248102376 4311752 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 16972 8562 369 132 0 11872 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 94032
[startup+12.7003 s]
/proc/loadavg: 0.46 0.14 0.03 3/179 12809
/proc/meminfo: memFree=28232324/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=74348 CPUtime=8 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 10667 0 0 0 798 2 0 0 20 0 1 0 293011058 76132352 10158 33554432000 4194304 4734972 140733248110624 140733248101608 4402784 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 18587 10158 381 132 0 13487 0
Current children cumulated CPU time (s) 12.49
Current children cumulated vsize (KiB) 100492
[startup+25.5004 s]
/proc/loadavg: 0.80 0.23 0.06 3/179 12809
/proc/meminfo: memFree=28205488/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=81692 CPUtime=20.79 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 13112 0 0 0 2077 2 0 0 20 0 1 0 293011058 83652608 12893 33554432000 4194304 4734972 140733248110624 140733248102648 4328402 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 20423 12893 404 132 0 15323 0
Current children cumulated CPU time (s) 25.28
Current children cumulated vsize (KiB) 107836
[startup+51.1004 s]
/proc/loadavg: 1.21 0.38 0.11 3/179 12809
/proc/meminfo: memFree=27992288/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=193388 CPUtime=46.38 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 40939 0 0 0 4630 8 0 0 20 0 1 0 293011058 198029312 39493 33554432000 4194304 4734972 140733248110624 140733248101400 4561244 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 48347 39493 406 132 0 43247 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 219532
[startup+102.307 s]
/proc/loadavg: 1.65 0.62 0.21 3/179 12809
/proc/meminfo: memFree=27910156/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=224112 CPUtime=97.59 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 47535 0 0 0 9748 11 0 0 20 0 1 0 293011058 229490688 48409 33554432000 4194304 4734972 140733248110624 140733248101880 4311929 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 56028 48409 406 132 0 50928 0
Current children cumulated CPU time (s) 102.08
Current children cumulated vsize (KiB) 250256
[startup+162.3 s]
/proc/loadavg: 1.87 0.87 0.32 3/179 12809
/proc/meminfo: memFree=27891728/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=235900 CPUtime=157.57 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 49787 0 0 0 15745 12 0 0 20 0 1 0 293011058 241561600 51863 33554432000 4194304 4734972 140733248110624 140733248102648 4251152 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 58975 51863 406 132 0 53875 0
Current children cumulated CPU time (s) 162.06
Current children cumulated vsize (KiB) 262044
[startup+222.3 s]
/proc/loadavg: 1.95 1.07 0.42 3/179 12809
/proc/meminfo: memFree=27888040/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=245140 CPUtime=217.54 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 52403 0 0 0 21740 14 0 0 20 0 1 0 293011058 251023360 52910 33554432000 4194304 4734972 140733248110624 140733248102472 4316064 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 61285 52910 406 132 0 56185 0
Current children cumulated CPU time (s) 222.03
Current children cumulated vsize (KiB) 271284
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 1.95 1.09 0.43 3/179 12809
/proc/meminfo: memFree=27879972/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=247408 CPUtime=225.54 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 52435 0 0 0 22540 14 0 0 20 0 1 0 293011058 253345792 53974 33554432000 4194304 4734972 140733248110624 140733248102648 4326683 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 61852 53974 406 132 0 56752 0
Current children cumulated CPU time (s) 230.03
Current children cumulated vsize (KiB) 273552
[startup+255.9 s]
/proc/loadavg: 1.97 1.17 0.48 3/179 12853
/proc/meminfo: memFree=27984344/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=244920 CPUtime=251.14 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53419 0 0 0 25099 15 0 0 20 0 1 0 293011058 250798080 53603 33554432000 4194304 4734972 140733248110624 140733248102648 4328353 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 61230 53603 406 132 0 56130 0
Current children cumulated CPU time (s) 255.63
Current children cumulated vsize (KiB) 271064
[startup+268.7 s]
/proc/loadavg: 1.98 1.20 0.49 3/179 12853
/proc/meminfo: memFree=27949432/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=257072 CPUtime=263.93 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53510 0 0 0 26378 15 0 0 20 0 1 0 293011058 263241728 56711 33554432000 4194304 4734972 140733248110624 140733248102648 4326687 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 64268 56711 406 132 0 59168 0
Current children cumulated CPU time (s) 268.42
Current children cumulated vsize (KiB) 283216
[startup+275.1 s]
/proc/loadavg: 1.98 1.21 0.50 3/179 12853
/proc/meminfo: memFree=27945524/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=257072 CPUtime=270.33 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53512 0 0 0 27018 15 0 0 20 0 1 0 293011058 263241728 57735 33554432000 4194304 4734972 140733248110624 140733248102648 4255252 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 64268 57735 406 132 0 59168 0
Current children cumulated CPU time (s) 274.82
Current children cumulated vsize (KiB) 283216
[startup+278.307 s]
/proc/loadavg: 1.98 1.23 0.51 3/179 12853
/proc/meminfo: memFree=27938080/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=269300 CPUtime=273.54 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53634 0 0 0 27339 15 0 0 20 0 1 0 293011058 275763200 58879 33554432000 4194304 4734972 140733248110624 140733248102648 4255273 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 67325 58879 406 132 0 62225 0
Current children cumulated CPU time (s) 278.03
Current children cumulated vsize (KiB) 295444
[startup+279.1 s]
/proc/loadavg: 1.98 1.23 0.51 3/179 12853
/proc/meminfo: memFree=27938080/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=269300 CPUtime=274.33 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53635 0 0 0 27418 15 0 0 20 0 1 0 293011058 275763200 59391 33554432000 4194304 4734972 140733248110624 140733248102648 4328169 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 67325 59391 406 132 0 62225 0
Current children cumulated CPU time (s) 278.82
Current children cumulated vsize (KiB) 295444
[startup+279.9 s]
/proc/loadavg: 1.98 1.23 0.51 3/179 12853
/proc/meminfo: memFree=27934916/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=269300 CPUtime=275.13 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53635 0 0 0 27498 15 0 0 20 0 1 0 293011058 275763200 59391 33554432000 4194304 4734972 140733248110624 140733248102648 4255022 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 67325 59391 406 132 0 62225 0
Current children cumulated CPU time (s) 279.62
Current children cumulated vsize (KiB) 295444
[startup+280.1 s]
/proc/loadavg: 1.98 1.23 0.51 3/179 12853
/proc/meminfo: memFree=27934916/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=269300 CPUtime=275.33 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53636 0 0 0 27518 15 0 0 20 0 1 0 293011058 275763200 59492 33554432000 4194304 4734972 140733248110624 140733248102648 4513030 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 67325 59492 406 132 0 62225 0
Current children cumulated CPU time (s) 279.82
Current children cumulated vsize (KiB) 295444
[startup+280.2 s]
/proc/loadavg: 1.98 1.23 0.51 3/179 12853
/proc/meminfo: memFree=27934916/32873852 swapFree=6848/6848
[pid=12800] ppid=12798 vsize=16996 CPUtime=4.49 cores=1,3,5,7
/proc/12800/stat : 12800 (python) S 12798 12800 12751 0 -1 4202496 1403 6534 0 0 1 0 79 369 20 0 1 0 293010589 17403904 1082 33554432000 4194304 5683644 140736224714224 140736224711768 229355898240 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12800/statm: 4249 1082 429 364 0 691 0
[pid=12808] ppid=12800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12808/stat : 12808 (sh) S 12800 12800 12751 0 -1 4202496 323 0 0 0 0 0 0 0 20 0 1 0 293011058 9367552 266 33554432000 4194304 5064252 140735900639680 140735900638384 229355710030 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/12808/statm: 2287 266 226 213 0 72 0
[pid=12809] ppid=12808 vsize=269300 CPUtime=275.43 cores=1,3,5,7
/proc/12809/stat : 12809 (CryptoMiniSat) R 12808 12800 12751 0 -1 4202496 53636 0 0 0 27528 15 0 0 20 0 1 0 293011058 275763200 59492 33554432000 4194304 4734972 140733248110624 140733248102648 4326702 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/12809/statm: 67325 59492 406 132 0 62225 0
Current children cumulated CPU time (s) 279.92
Current children cumulated vsize (KiB) 295444
Child status: 0
Real time (s): 280.296
CPU time (s): 280.045
CPU user time (s): 276.184
CPU system time (s): 3.86141
CPU usage (%): 99.9107
Max. virtual memory (cumulated for all children) (KiB): 295444
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 276.184
system time used= 3.86141
maximum resident set size= 238028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62454
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 205
involuntary context switches= 303
runsolver used 0.45693 second user time and 1.34879 second system time
The end