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-3718568-1338268850/watcher-3718568-1338268850 -o /tmp/evaluation-result-3718568-1338268850/solver-3718568-1338268850 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718568-1338268850.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.00 0.00 0.00 1/172 30231
/proc/meminfo: memFree=30880984/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=1844 CPUtime=0 cores=0,2,4,6
/proc/30231/stat : 30231 (python) R 30229 30231 30201 0 -1 4194304 47 0 0 0 0 0 0 0 20 0 1 0 293011166 1888256 1 33554432000 0 0 140733757404826 140734204261592 5057063 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/30231/statm: 461 1 0 0 0 37 0
[startup+0.0406611 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 30231
/proc/meminfo: memFree=30880984/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=14840 CPUtime=0 cores=0,2,4,6
/proc/30231/stat : 30231 (python) D 30229 30231 30201 0 -1 4202496 361 0 3 0 0 0 0 0 20 0 1 0 293011166 15196160 283 33554432000 4194304 5683644 140733757400624 140733757391240 251032377407 0 0 4096 0 18446744071579943789 0 0 17 4 0 0 2 0 0
/proc/30231/statm: 3710 283 212 364 0 152 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 14840
[startup+0.10027 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 30231
/proc/meminfo: memFree=30880984/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=15380 CPUtime=0 cores=0,2,4,6
/proc/30231/stat : 30231 (python) D 30229 30231 30201 0 -1 4202496 760 0 3 0 0 0 0 0 20 0 1 0 293011166 15749120 636 33554432000 4194304 5683644 140733757400624 140733757341240 251032059573 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 3 0 0
/proc/30231/statm: 3845 636 334 364 0 287 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15380
[startup+0.300255 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 30231
/proc/meminfo: memFree=30880984/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1329 0 3 0 1 0 0 0 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398472 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700222 s]
/proc/loadavg: 0.00 0.00 0.00 1/172 30231
/proc/meminfo: memFree=30880984/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1329 0 3 0 1 0 0 0 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398472 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/30231/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.00 0.00 0.00 2/177 30236
/proc/meminfo: memFree=30864536/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1329 0 3 0 1 0 0 0 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398472 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30233] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (sh) S 30231 30231 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011191 9367552 267 33554432000 4194304 5064252 140733526110496 140733526109200 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30233/statm: 2287 267 226 213 0 72 0
[pid=30234] ppid=30233 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30234/stat : 30234 (python) S 30233 30231 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293011191 17141760 1058 33554432000 4194304 5683644 140733242002128 140733241999976 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30234/statm: 4185 1058 429 364 0 627 0
[pid=30235] ppid=30234 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (sh) S 30234 30231 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011193 9367552 268 33554432000 4194304 5064252 140735280134016 140735280132720 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30235/statm: 2287 268 226 213 0 72 0
[pid=30236] ppid=30235 vsize=33388 CPUtime=1.21 cores=0,2,4,6
/proc/30236/stat : 30236 (PBPASSolver-817) R 30235 30231 30201 0 -1 4202496 2516 0 0 0 27 94 0 0 20 0 1 0 293011194 34189312 2761 33554432000 4194304 4943705 140737183181312 140737183178208 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30236/statm: 8347 2761 366 183 0 4717 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 85420
[startup+3.10037 s]
/proc/loadavg: 0.00 0.00 0.00 3/186 30254
/proc/meminfo: memFree=30835368/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1329 0 3 0 1 0 0 0 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398472 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30233] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30233/stat : 30233 (sh) S 30231 30231 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011191 9367552 267 33554432000 4194304 5064252 140733526110496 140733526109200 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30233/statm: 2287 267 226 213 0 72 0
[pid=30234] ppid=30233 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30234/stat : 30234 (python) S 30233 30231 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293011191 17141760 1058 33554432000 4194304 5683644 140733242002128 140733241999976 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30234/statm: 4185 1058 429 364 0 627 0
[pid=30235] ppid=30234 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30235/stat : 30235 (sh) S 30234 30231 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293011193 9367552 268 33554432000 4194304 5064252 140735280134016 140735280132720 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30235/statm: 2287 268 226 213 0 72 0
[pid=30236] ppid=30235 vsize=46828 CPUtime=2.81 cores=0,2,4,6
/proc/30236/stat : 30236 (PBPASSolver-817) R 30235 30231 30201 0 -1 4202496 3992 0 0 0 55 226 0 0 20 0 1 0 293011194 47951872 4237 33554432000 4194304 4943705 140737183181312 140737183178112 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30236/statm: 11707 4237 366 183 0 8077 0
Current children cumulated CPU time (s) 2.83
Current children cumulated vsize (KiB) 98860
[startup+6.30025 s]
/proc/loadavg: 0.16 0.03 0.01 4/184 30256
/proc/meminfo: memFree=30797040/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=67860 CPUtime=1.84 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 8697 0 2 0 183 1 0 0 20 0 1 0 293011594 69488640 8506 33554432000 4194304 4734972 140737315615904 140737315607656 4311386 0 0 16781312 2 0 0 0 17 0 0 0 15 0 0
/proc/30256/statm: 16965 8506 369 132 0 11865 0
Current children cumulated CPU time (s) 5.86
Current children cumulated vsize (KiB) 94004
[startup+12.7003 s]
/proc/loadavg: 0.31 0.07 0.02 3/181 30258
/proc/meminfo: memFree=30777644/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=74368 CPUtime=8.24 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 10264 0 2 0 822 2 0 0 20 0 1 0 293011594 76152832 10073 33554432000 4194304 4734972 140737315615904 140737315607336 4402883 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 18592 10073 381 132 0 13492 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 100512
[startup+25.5003 s]
/proc/loadavg: 0.68 0.16 0.05 3/181 30258
/proc/meminfo: memFree=30743000/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=93424 CPUtime=21.03 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 12587 0 2 0 2101 2 0 0 20 0 1 0 293011594 95666176 14169 33554432000 4194304 4734972 140737315615904 140737315607928 4495575 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 23356 14169 404 132 0 18256 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 119568
[startup+51.1003 s]
/proc/loadavg: 1.13 0.31 0.10 3/181 30258
/proc/meminfo: memFree=30520308/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=196732 CPUtime=46.6 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 40465 0 2 0 4655 5 0 0 20 0 1 0 293011594 201453568 40696 33554432000 4194304 4734972 140737315615904 140737315606680 4312414 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 49183 40696 406 132 0 44083 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 222876
[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.20 3/181 30258
/proc/meminfo: memFree=30446068/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=229928 CPUtime=97.78 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 49817 0 2 0 9771 7 0 0 20 0 1 0 293011594 235446272 49141 33554432000 4194304 4734972 140737315615904 140737315607928 4327826 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 57482 49141 406 132 0 52382 0
Current children cumulated CPU time (s) 101.8
Current children cumulated vsize (KiB) 256072
[startup+162.3 s]
/proc/loadavg: 1.86 0.82 0.31 3/181 30259
/proc/meminfo: memFree=30399028/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=258356 CPUtime=157.75 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 54324 0 2 0 15766 9 0 0 20 0 1 0 293011594 264556544 56671 33554432000 4194304 4734972 140737315615904 140737315607752 4316056 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 64589 56671 406 132 0 59489 0
Current children cumulated CPU time (s) 161.77
Current children cumulated vsize (KiB) 284500
[startup+222.3 s]
/proc/loadavg: 1.95 1.04 0.41 3/181 30259
/proc/meminfo: memFree=30363256/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=261352 CPUtime=217.73 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 55838 0 2 0 21764 9 0 0 20 0 1 0 293011594 267624448 58910 33554432000 4194304 4734972 140737315615904 140737315607688 4408703 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 65338 58910 406 132 0 60238 0
Current children cumulated CPU time (s) 221.75
Current children cumulated vsize (KiB) 287496
Solver just ended. Dumping a history of the last processes samples
[startup+230.3 s]
/proc/loadavg: 1.95 1.07 0.43 3/181 30259
/proc/meminfo: memFree=30361208/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=261352 CPUtime=225.74 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 55838 0 2 0 22564 10 0 0 20 0 1 0 293011594 267624448 58910 33554432000 4194304 4734972 140737315615904 140737315607928 4255753 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 65338 58910 406 132 0 60238 0
Current children cumulated CPU time (s) 229.76
Current children cumulated vsize (KiB) 287496
[startup+255.9 s]
/proc/loadavg: 1.97 1.14 0.47 3/181 30259
/proc/meminfo: memFree=30349196/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=273484 CPUtime=251.33 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 56135 0 2 0 25123 10 0 0 20 0 1 0 293011594 280047616 61594 33554432000 4194304 4734972 140737315615904 140737315607928 4255091 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 68371 61594 406 132 0 63271 0
Current children cumulated CPU time (s) 255.35
Current children cumulated vsize (KiB) 299628
[startup+262.3 s]
/proc/loadavg: 1.97 1.15 0.48 3/183 30301
/proc/meminfo: memFree=30522644/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=263408 CPUtime=257.73 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 56136 0 2 0 25763 10 0 0 20 0 1 0 293011594 269729792 58911 33554432000 4194304 4734972 140737315615904 140737315607928 4328301 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 65852 58911 406 132 0 60752 0
Current children cumulated CPU time (s) 261.75
Current children cumulated vsize (KiB) 289552
[startup+265.5 s]
/proc/loadavg: 1.97 1.17 0.49 3/181 30303
/proc/meminfo: memFree=30498088/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=263408 CPUtime=260.93 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 56136 0 2 0 26083 10 0 0 20 0 1 0 293011594 269729792 58911 33554432000 4194304 4734972 140737315615904 140737315607928 4326693 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 65852 58911 406 132 0 60752 0
Current children cumulated CPU time (s) 264.95
Current children cumulated vsize (KiB) 289552
[startup+267.1 s]
/proc/loadavg: 1.97 1.17 0.49 3/181 30303
/proc/meminfo: memFree=30496352/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=263408 CPUtime=262.53 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 56290 0 2 0 26243 10 0 0 20 0 1 0 293011594 269729792 59065 33554432000 4194304 4734972 140737315615904 140737315607928 4328213 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 65852 59065 406 132 0 60752 0
Current children cumulated CPU time (s) 266.55
Current children cumulated vsize (KiB) 289552
[startup+268.7 s]
/proc/loadavg: 1.97 1.17 0.49 3/181 30303
/proc/meminfo: memFree=30487004/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=275540 CPUtime=264.12 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 56940 0 2 0 26402 10 0 0 20 0 1 0 293011594 282152960 60737 33554432000 4194304 4734972 140737315615904 140737315607928 4255040 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 68885 60737 406 132 0 63785 0
Current children cumulated CPU time (s) 268.14
Current children cumulated vsize (KiB) 301684
[startup+269.1 s]
/proc/loadavg: 1.97 1.17 0.49 3/181 30303
/proc/meminfo: memFree=30487004/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=275540 CPUtime=264.52 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 56940 0 2 0 26442 10 0 0 20 0 1 0 293011594 282152960 60737 33554432000 4194304 4734972 140737315615904 140737315607672 4327500 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 68885 60737 406 132 0 63785 0
Current children cumulated CPU time (s) 268.54
Current children cumulated vsize (KiB) 301684
[startup+269.3 s]
/proc/loadavg: 1.97 1.17 0.49 3/181 30303
/proc/meminfo: memFree=30487004/32873844 swapFree=7372/7372
[pid=30231] ppid=30229 vsize=16996 CPUtime=4.02 cores=0,2,4,6
/proc/30231/stat : 30231 (python) S 30229 30231 30201 0 -1 4202496 1401 6521 3 0 1 0 76 325 20 0 1 0 293011166 17403904 1082 33554432000 4194304 5683644 140733757400624 140733757398168 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 4 0 0
/proc/30231/statm: 4249 1082 429 364 0 691 0
[pid=30255] ppid=30231 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30255/stat : 30255 (sh) S 30231 30231 30201 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293011593 9367552 267 33554432000 4194304 5064252 140736514783232 140736514781936 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/30255/statm: 2287 267 226 213 0 72 0
[pid=30256] ppid=30255 vsize=275540 CPUtime=264.72 cores=0,2,4,6
/proc/30256/stat : 30256 (CryptoMiniSat) R 30255 30231 30201 0 -1 4202496 56940 0 2 0 26462 10 0 0 20 0 1 0 293011594 282152960 60737 33554432000 4194304 4734972 140737315615904 140737315607672 4327805 0 0 16781312 2 0 0 0 17 2 0 0 15 0 0
/proc/30256/statm: 68885 60737 406 132 0 63785 0
Current children cumulated CPU time (s) 268.74
Current children cumulated vsize (KiB) 301684
Child status: 0
Real time (s): 269.344
CPU time (s): 268.821
CPU user time (s): 265.443
CPU system time (s): 3.37849
CPU usage (%): 99.8059
Max. virtual memory (cumulated for all children) (KiB): 313008
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 265.443
system time used= 3.37849
maximum resident set size= 251124
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65745
page faults= 5
swaps= 0
block input operations= 5496
block output operations= 10944
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 541
involuntary context switches= 377
runsolver used 0.433934 second user time and 1.04484 second system time
The end