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-3718588-1338268853/watcher-3718588-1338268853 -o /tmp/evaluation-result-3718588-1338268853/solver-3718588-1338268853 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718588-1338268853.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: 0.08 0.02 0.01 3/182 5764
/proc/meminfo: memFree=31007000/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=14840 CPUtime=0 cores=0,2,4,6
/proc/5764/stat : 5764 (python) R 5762 5764 5716 0 -1 4202496 374 0 0 0 0 0 0 0 20 0 1 0 293010610 15196160 292 33554432000 4194304 5683644 140736544654272 140733437392344 5276848 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/5764/statm: 3710 296 216 364 0 152 0
[startup+0.055311 s]
/proc/loadavg: 0.08 0.02 0.01 3/182 5764
/proc/meminfo: memFree=31007000/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=16008 CPUtime=0 cores=0,2,4,6
/proc/5764/stat : 5764 (python) R 5762 5764 5716 0 -1 4202496 960 0 0 0 0 0 0 0 20 0 1 0 293010610 16392192 810 33554432000 4194304 5683644 140736544654272 140736544625240 4540219 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/5764/statm: 4002 812 359 364 0 444 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16008
[startup+0.100235 s]
/proc/loadavg: 0.08 0.02 0.01 3/182 5764
/proc/meminfo: memFree=31007000/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544652120 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300187 s]
/proc/loadavg: 0.08 0.02 0.01 3/182 5764
/proc/meminfo: memFree=31007000/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544652120 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700181 s]
/proc/loadavg: 0.08 0.02 0.01 3/182 5764
/proc/meminfo: memFree=31007000/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544652120 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50029 s]
/proc/loadavg: 0.08 0.02 0.01 3/187 5769
/proc/meminfo: memFree=30988544/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544652120 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5766] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5766/stat : 5766 (sh) S 5764 5764 5716 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010618 9367552 266 33554432000 4194304 5064252 140734768464720 140734768463424 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5766/statm: 2287 266 226 213 0 72 0
[pid=5767] ppid=5766 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/5767/stat : 5767 (python) S 5766 5764 5716 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010618 17145856 1058 33554432000 4194304 5683644 140733995718704 140733995716552 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5767/statm: 4186 1058 429 364 0 628 0
[pid=5768] ppid=5767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5768/stat : 5768 (sh) S 5767 5764 5716 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010622 9367552 268 33554432000 4194304 5064252 140734203601664 140734203600368 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5768/statm: 2287 268 226 213 0 72 0
[pid=5769] ppid=5768 vsize=30572 CPUtime=1.37 cores=0,2,4,6
/proc/5769/stat : 5769 (PBPASSolver-817) R 5768 5764 5716 0 -1 4202496 2220 0 0 0 22 115 0 0 20 0 1 0 293010622 31305728 2163 33554432000 4194304 4943705 140736510869664 140736510866368 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/5769/statm: 7643 2163 366 183 0 4013 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 82612
[startup+3.10029 s]
/proc/loadavg: 0.08 0.02 0.01 3/188 5770
/proc/meminfo: memFree=30978252/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544652120 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5766] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5766/stat : 5766 (sh) S 5764 5764 5716 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010618 9367552 266 33554432000 4194304 5064252 140734768464720 140734768463424 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5766/statm: 2287 266 226 213 0 72 0
[pid=5767] ppid=5766 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/5767/stat : 5767 (python) S 5766 5764 5716 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293010618 17145856 1058 33554432000 4194304 5683644 140733995718704 140733995716552 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/5767/statm: 4186 1058 429 364 0 628 0
[pid=5768] ppid=5767 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5768/stat : 5768 (sh) S 5767 5764 5716 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293010622 9367552 268 33554432000 4194304 5064252 140734203601664 140734203600368 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5768/statm: 2287 268 226 213 0 72 0
[pid=5769] ppid=5768 vsize=46764 CPUtime=2.97 cores=0,2,4,6
/proc/5769/stat : 5769 (PBPASSolver-817) R 5768 5764 5716 0 -1 4202496 3991 0 0 0 46 251 0 0 20 0 1 0 293010622 47886336 3934 33554432000 4194304 4943705 140736510869664 140736510866432 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/5769/statm: 11691 3934 366 183 0 8061 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 98804
[startup+6.30028 s]
/proc/loadavg: 0.31 0.07 0.02 1/186 5772
/proc/meminfo: memFree=30976848/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 4.68
Current children cumulated vsize (KiB) 17000
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 0.53 0.11 0.04 3/183 5774
/proc/meminfo: memFree=30926424/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=68100 CPUtime=7.25 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 9247 0 0 0 724 1 0 0 20 0 1 0 293011154 69734400 8792 33554432000 4194304 4734972 140735525751904 140735525742888 4311440 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/5774/statm: 17025 8792 371 132 0 11925 0
Current children cumulated CPU time (s) 11.93
Current children cumulated vsize (KiB) 94248
[startup+25.5004 s]
/proc/loadavg: 0.93 0.22 0.07 3/183 5774
/proc/meminfo: memFree=30891944/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=81472 CPUtime=20.04 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 12995 0 0 0 2003 1 0 0 20 0 1 0 293011154 83427328 12957 33554432000 4194304 4734972 140735525751904 140735525743928 4327959 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/5774/statm: 20368 12957 404 132 0 15268 0
Current children cumulated CPU time (s) 24.72
Current children cumulated vsize (KiB) 107620
[startup+51.1004 s]
/proc/loadavg: 1.30 0.36 0.12 3/183 5774
/proc/meminfo: memFree=30670816/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=195336 CPUtime=45.62 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 41005 0 0 0 4556 6 0 0 20 0 1 0 293011154 200024064 40064 33554432000 4194304 4734972 140735525751904 140735525743928 4327238 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 48834 40064 406 132 0 43734 0
Current children cumulated CPU time (s) 50.3
Current children cumulated vsize (KiB) 221484
[startup+102.307 s]
/proc/loadavg: 1.75 0.63 0.22 3/183 5774
/proc/meminfo: memFree=30594524/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=236860 CPUtime=96.8 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 48019 0 0 0 9671 9 0 0 20 0 1 0 293011154 242544640 51054 33554432000 4194304 4734972 140735525751904 140735525743928 4251129 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 59215 51054 406 132 0 54115 0
Current children cumulated CPU time (s) 101.48
Current children cumulated vsize (KiB) 263008
[startup+162.3 s]
/proc/loadavg: 1.90 0.88 0.33 3/183 5774
/proc/meminfo: memFree=30561820/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=248800 CPUtime=156.76 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 49219 0 0 0 15666 10 0 0 20 0 1 0 293011154 254771200 54782 33554432000 4194304 4734972 140735525751904 140735525743688 4417839 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 62200 54782 406 132 0 57100 0
Current children cumulated CPU time (s) 161.44
Current children cumulated vsize (KiB) 274948
[startup+222.3 s]
/proc/loadavg: 1.96 1.08 0.43 3/183 5774
/proc/meminfo: memFree=30535480/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=260128 CPUtime=216.74 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 50292 0 0 0 21664 10 0 0 20 0 1 0 293011154 266371072 59158 33554432000 4194304 4734972 140735525751904 140735525743928 4327503 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 65032 59158 406 132 0 59932 0
Current children cumulated CPU time (s) 221.42
Current children cumulated vsize (KiB) 286276
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 1.97 1.09 0.44 3/183 5774
/proc/meminfo: memFree=30521704/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=272052 CPUtime=224.74 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 50756 0 0 0 22464 10 0 0 20 0 1 0 293011154 278581248 60886 33554432000 4194304 4734972 140735525751904 140735525743928 4255197 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 68013 60886 406 132 0 62913 0
Current children cumulated CPU time (s) 229.42
Current children cumulated vsize (KiB) 298200
[startup+243.107 s]
/proc/loadavg: 1.97 1.14 0.47 3/183 5774
/proc/meminfo: memFree=30526264/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=260128 CPUtime=237.54 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 50757 0 0 0 23744 10 0 0 20 0 1 0 293011154 266371072 59158 33554432000 4194304 4734972 140735525751904 140735525743928 4327876 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 65032 59158 406 132 0 59932 0
Current children cumulated CPU time (s) 242.22
Current children cumulated vsize (KiB) 286276
[startup+249.5 s]
/proc/loadavg: 1.97 1.15 0.47 3/183 5774
/proc/meminfo: memFree=30514288/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=270060 CPUtime=243.94 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 51271 0 0 0 24383 11 0 0 20 0 1 0 293011154 276541440 60694 33554432000 4194304 4734972 140735525751904 140735525743928 4328169 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 67515 60694 406 132 0 62415 0
Current children cumulated CPU time (s) 248.62
Current children cumulated vsize (KiB) 296208
[startup+252.7 s]
/proc/loadavg: 1.98 1.16 0.48 3/183 5774
/proc/meminfo: memFree=30512100/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=270060 CPUtime=247.14 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 51272 0 0 0 24703 11 0 0 20 0 1 0 293011154 276541440 61206 33554432000 4194304 4734972 140735525751904 140735525743928 4328128 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 67515 61206 406 132 0 62415 0
Current children cumulated CPU time (s) 251.82
Current children cumulated vsize (KiB) 296208
[startup+255.9 s]
/proc/loadavg: 1.98 1.18 0.49 3/183 5774
/proc/meminfo: memFree=30508004/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=270060 CPUtime=250.34 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 51272 0 0 0 25023 11 0 0 20 0 1 0 293011154 276541440 61206 33554432000 4194304 4734972 140735525751904 140735525743928 4250738 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 67515 61206 406 132 0 62415 0
Current children cumulated CPU time (s) 255.02
Current children cumulated vsize (KiB) 296208
[startup+256.7 s]
/proc/loadavg: 1.98 1.18 0.49 3/183 5774
/proc/meminfo: memFree=30508004/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=270060 CPUtime=251.14 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 51272 0 0 0 25103 11 0 0 20 0 1 0 293011154 276541440 61206 33554432000 4194304 4734972 140735525751904 140735525743928 4328234 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 67515 61206 406 132 0 62415 0
Current children cumulated CPU time (s) 255.82
Current children cumulated vsize (KiB) 296208
[startup+257.1 s]
/proc/loadavg: 1.98 1.18 0.49 3/183 5774
/proc/meminfo: memFree=30508004/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=270060 CPUtime=251.54 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 51272 0 0 0 25143 11 0 0 20 0 1 0 293011154 276541440 61206 33554432000 4194304 4734972 140735525751904 140735525743928 4241804 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 67515 61206 406 132 0 62415 0
Current children cumulated CPU time (s) 256.22
Current children cumulated vsize (KiB) 296208
[startup+257.5 s]
/proc/loadavg: 1.98 1.18 0.49 3/183 5774
/proc/meminfo: memFree=30508004/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=17000 CPUtime=4.68 cores=0,2,4,6
/proc/5764/stat : 5764 (python) S 5762 5764 5716 0 -1 4202496 1403 6536 0 0 1 0 78 389 20 0 1 0 293010610 17408000 1082 33554432000 4194304 5683644 140736544654272 140736544651816 273589028224 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 4250 1082 429 364 0 692 0
[pid=5773] ppid=5764 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5773/stat : 5773 (sh) S 5764 5764 5716 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011154 9367552 266 33554432000 4194304 5064252 140734018286496 140734018285200 273588840014 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/5773/statm: 2287 266 226 213 0 72 0
[pid=5774] ppid=5773 vsize=270060 CPUtime=251.94 cores=0,2,4,6
/proc/5774/stat : 5774 (CryptoMiniSat) R 5773 5764 5716 0 -1 4202496 51272 0 0 0 25183 11 0 0 20 0 1 0 293011154 276541440 61206 33554432000 4194304 4734972 140735525751904 140735525743928 4328278 0 0 16781312 2 0 0 0 17 2 0 0 1 0 0
/proc/5774/statm: 67515 61206 406 132 0 62415 0
Current children cumulated CPU time (s) 256.62
Current children cumulated vsize (KiB) 296208
[startup+257.6 s]
/proc/loadavg: 1.98 1.18 0.49 3/183 5774
/proc/meminfo: memFree=30508004/32873844 swapFree=7112/7112
[pid=5764] ppid=5762 vsize=0 CPUtime=256.73 cores=0,2,4,6
/proc/5764/stat : 5764 (python) R 5762 5764 5716 0 -1 4202500 1932 58161 0 0 1 0 25271 401 20 0 1 0 293010610 0 0 33554432000 0 0 0 0 0 0 0 16781312 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5764/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 256.73
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 257.6
CPU time (s): 256.757
CPU user time (s): 252.736
CPU system time (s): 4.02139
CPU usage (%): 99.6726
Max. virtual memory (cumulated for all children) (KiB): 332696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 252.736
system time used= 4.02139
maximum resident set size= 245592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60093
page faults= 0
swaps= 0
block input operations= 0
block output operations= 10872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 203
involuntary context switches= 809
runsolver used 0.549916 second user time and 1.37579 second system time
The end