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-3718680-1338272329/watcher-3718680-1338272329 -o /tmp/evaluation-result-3718680-1338272329/solver-3718680-1338272329 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718680-1338272329.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: 2.00 2.00 1.91 3/178 21447
/proc/meminfo: memFree=27944236/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/21447/stat : 21447 (python) R 21445 21447 20991 0 -1 4202496 624 0 0 0 0 0 0 0 20 0 1 0 293357971 15642624 517 33554432000 4194304 5683644 140735547552432 140735547539208 4832032 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 3819 523 309 364 0 261 0
[startup+0.0639441 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21447
/proc/meminfo: memFree=27944236/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16588 CPUtime=0 cores=1,3,5,7
/proc/21447/stat : 21447 (python) D 21445 21447 20991 0 -1 4202496 1197 0 0 0 0 0 0 0 20 0 1 0 293357971 16986112 996 33554432000 4194304 5683644 140735547552432 140735547519896 227141303989 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4147 996 418 364 0 589 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16588
[startup+0.100317 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21447
/proc/meminfo: memFree=27944236/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21447
/proc/meminfo: memFree=27944236/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700315 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 21447
/proc/meminfo: memFree=27944236/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50048 s]
/proc/loadavg: 2.00 2.00 1.91 2/183 21452
/proc/meminfo: memFree=27712944/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21449] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (sh) S 21447 21447 20991 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293357979 9367552 267 33554432000 4194304 5064252 140733801509312 140733801508016 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21449/statm: 2287 267 226 213 0 72 0
[pid=21450] ppid=21449 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/21450/stat : 21450 (python) S 21449 21447 20991 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293357979 17145856 1059 33554432000 4194304 5683644 140733231642848 140733231640696 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21450/statm: 4186 1059 429 364 0 628 0
[pid=21451] ppid=21450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21451/stat : 21451 (sh) S 21450 21447 20991 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293357981 9367552 268 33554432000 4194304 5064252 140734888589840 140734888588544 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21451/statm: 2287 268 226 213 0 72 0
[pid=21452] ppid=21451 vsize=696140 CPUtime=1.24 cores=1,3,5,7
/proc/21452/stat : 21452 (PBPASSolver-817) R 21451 21447 20991 0 -1 4202496 75123 0 0 0 80 44 0 0 20 0 1 0 293357982 712847360 75066 33554432000 4194304 4943705 140734742280992 140734742279264 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 13 0 0
/proc/21452/statm: 174035 75066 357 183 0 170405 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 748172
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21452
/proc/meminfo: memFree=27625312/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21449] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (sh) S 21447 21447 20991 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293357979 9367552 267 33554432000 4194304 5064252 140733801509312 140733801508016 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21449/statm: 2287 267 226 213 0 72 0
[pid=21450] ppid=21449 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/21450/stat : 21450 (python) S 21449 21447 20991 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293357979 17145856 1059 33554432000 4194304 5683644 140733231642848 140733231640696 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21450/statm: 4186 1059 429 364 0 628 0
[pid=21451] ppid=21450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21451/stat : 21451 (sh) S 21450 21447 20991 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293357981 9367552 268 33554432000 4194304 5064252 140734888589840 140734888588544 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21451/statm: 2287 268 226 213 0 72 0
[pid=21452] ppid=21451 vsize=722796 CPUtime=2.84 cores=1,3,5,7
/proc/21452/stat : 21452 (PBPASSolver-817) R 21451 21447 20991 0 -1 4202496 78036 0 0 0 120 164 0 0 20 0 1 0 293357982 740143104 77979 33554432000 4194304 4943705 140734742280992 140734742278368 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 13 0 0
/proc/21452/statm: 180699 77979 366 183 0 177069 0
Current children cumulated CPU time (s) 2.86
Current children cumulated vsize (KiB) 774828
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21452
/proc/meminfo: memFree=27605652/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21449] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (sh) S 21447 21447 20991 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293357979 9367552 267 33554432000 4194304 5064252 140733801509312 140733801508016 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21449/statm: 2287 267 226 213 0 72 0
[pid=21450] ppid=21449 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/21450/stat : 21450 (python) S 21449 21447 20991 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293357979 17145856 1059 33554432000 4194304 5683644 140733231642848 140733231640696 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21450/statm: 4186 1059 429 364 0 628 0
[pid=21451] ppid=21450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21451/stat : 21451 (sh) S 21450 21447 20991 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293357981 9367552 268 33554432000 4194304 5064252 140734888589840 140734888588544 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21451/statm: 2287 268 226 213 0 72 0
[pid=21452] ppid=21451 vsize=740716 CPUtime=6.03 cores=1,3,5,7
/proc/21452/stat : 21452 (PBPASSolver-817) R 21451 21447 20991 0 -1 4202496 79998 0 0 0 195 408 0 0 20 0 1 0 293357982 758493184 79941 33554432000 4194304 4943705 140734742280992 140734742277536 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 14 0 0
/proc/21452/statm: 185179 79941 366 183 0 181549 0
Current children cumulated CPU time (s) 6.05
Current children cumulated vsize (KiB) 792748
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21452
/proc/meminfo: memFree=27564064/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21449] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (sh) S 21447 21447 20991 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293357979 9367552 267 33554432000 4194304 5064252 140733801509312 140733801508016 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21449/statm: 2287 267 226 213 0 72 0
[pid=21450] ppid=21449 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/21450/stat : 21450 (python) S 21449 21447 20991 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293357979 17145856 1059 33554432000 4194304 5683644 140733231642848 140733231640696 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21450/statm: 4186 1059 429 364 0 628 0
[pid=21451] ppid=21450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21451/stat : 21451 (sh) S 21450 21447 20991 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293357981 9367552 268 33554432000 4194304 5064252 140734888589840 140734888588544 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21451/statm: 2287 268 226 213 0 72 0
[pid=21452] ppid=21451 vsize=776812 CPUtime=12.42 cores=1,3,5,7
/proc/21452/stat : 21452 (PBPASSolver-817) R 21451 21447 20991 0 -1 4202496 83935 0 0 0 350 892 0 0 20 0 1 0 293357982 795455488 85894 33554432000 4194304 4943705 140734742280992 140734742278368 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 16 0 0
/proc/21452/statm: 194203 85894 366 183 0 190573 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 828844
Solver just ended. Dumping a history of the last processes samples
[startup+15.9004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 21452
/proc/meminfo: memFree=27545212/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547550280 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21449] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21449/stat : 21449 (sh) S 21447 21447 20991 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293357979 9367552 267 33554432000 4194304 5064252 140733801509312 140733801508016 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21449/statm: 2287 267 226 213 0 72 0
[pid=21450] ppid=21449 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/21450/stat : 21450 (python) S 21449 21447 20991 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293357979 17145856 1059 33554432000 4194304 5683644 140733231642848 140733231640696 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/21450/statm: 4186 1059 429 364 0 628 0
[pid=21451] ppid=21450 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21451/stat : 21451 (sh) S 21450 21447 20991 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293357981 9367552 268 33554432000 4194304 5064252 140734888589840 140734888588544 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/21451/statm: 2287 268 226 213 0 72 0
[pid=21452] ppid=21451 vsize=794476 CPUtime=15.62 cores=1,3,5,7
/proc/21452/stat : 21452 (PBPASSolver-817) R 21451 21447 20991 0 -1 4202496 85888 0 0 0 432 1130 0 0 20 0 1 0 293357982 813543424 87847 33554432000 4194304 4943705 140734742280992 140734742278400 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 16 0 0
/proc/21452/statm: 198619 87847 366 183 0 194989 0
Current children cumulated CPU time (s) 15.64
Current children cumulated vsize (KiB) 846508
[startup+17.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 21454
/proc/meminfo: memFree=27771368/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=16.16 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1403 88699 0 0 1 0 446 1169 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547549976 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21453] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21453/stat : 21453 (sh) S 21447 21447 20991 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293359613 9367552 267 33554432000 4194304 5064252 140736257214784 140736257213488 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21453/statm: 2287 267 226 213 0 72 0
[pid=21454] ppid=21453 vsize=168624 CPUtime=1.07 cores=1,3,5,7
/proc/21454/stat : 21454 (CryptoMiniSat) R 21453 21447 20991 0 -1 4202496 22382 0 0 0 102 5 0 0 20 0 1 0 293359613 172670976 30857 33554432000 4194304 4734972 140736696868224 140736695811016 4312531 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/21454/statm: 42156 30857 368 132 0 37056 0
Current children cumulated CPU time (s) 17.23
Current children cumulated vsize (KiB) 194764
[startup+19.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 21454
/proc/meminfo: memFree=27771376/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=16.16 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1403 88699 0 0 1 0 446 1169 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547549976 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21453] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21453/stat : 21453 (sh) S 21447 21447 20991 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293359613 9367552 267 33554432000 4194304 5064252 140736257214784 140736257213488 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21453/statm: 2287 267 226 213 0 72 0
[pid=21454] ppid=21453 vsize=168624 CPUtime=2.66 cores=1,3,5,7
/proc/21454/stat : 21454 (CryptoMiniSat) R 21453 21447 20991 0 -1 4202496 22404 0 0 0 261 5 0 0 20 0 1 0 293359613 172670976 30879 33554432000 4194304 4734972 140736696868224 140736696859976 4229269 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/21454/statm: 42156 30879 370 132 0 37056 0
Current children cumulated CPU time (s) 18.82
Current children cumulated vsize (KiB) 194764
[startup+19.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 21454
/proc/meminfo: memFree=27771376/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=16.16 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1403 88699 0 0 1 0 446 1169 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547549976 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21453] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21453/stat : 21453 (sh) S 21447 21447 20991 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293359613 9367552 267 33554432000 4194304 5064252 140736257214784 140736257213488 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21453/statm: 2287 267 226 213 0 72 0
[pid=21454] ppid=21453 vsize=168624 CPUtime=3.06 cores=1,3,5,7
/proc/21454/stat : 21454 (CryptoMiniSat) R 21453 21447 20991 0 -1 4202496 22407 0 0 0 301 5 0 0 20 0 1 0 293359613 172670976 30882 33554432000 4194304 4734972 140736696868224 140736696859976 4313872 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/21454/statm: 42156 30882 370 132 0 37056 0
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (KiB) 194764
[startup+19.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 21454
/proc/meminfo: memFree=27769080/32873844 swapFree=7116/7116
[pid=21447] ppid=21445 vsize=16992 CPUtime=16.16 cores=1,3,5,7
/proc/21447/stat : 21447 (python) S 21445 21447 20991 0 -1 4202496 1403 88699 0 0 1 0 446 1169 20 0 1 0 293357971 17399808 1081 33554432000 4194304 5683644 140735547552432 140735547549976 227141305728 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/21447/statm: 4248 1081 429 364 0 690 0
[pid=21453] ppid=21447 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/21453/stat : 21453 (sh) S 21447 21447 20991 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293359613 9367552 267 33554432000 4194304 5064252 140736257214784 140736257213488 227141117518 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/21453/statm: 2287 267 226 213 0 72 0
[pid=21454] ppid=21453 vsize=168624 CPUtime=3.27 cores=1,3,5,7
/proc/21454/stat : 21454 (CryptoMiniSat) R 21453 21447 20991 0 -1 4202496 22407 0 0 0 322 5 0 0 20 0 1 0 293359613 172670976 30882 33554432000 4194304 4734972 140736696868224 140736696859976 4311698 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/21454/statm: 42156 30882 370 132 0 37056 0
Current children cumulated CPU time (s) 19.43
Current children cumulated vsize (KiB) 194764
Child status: 0
Real time (s): 19.7595
CPU time (s): 19.505
CPU user time (s): 7.73982
CPU system time (s): 11.7652
CPU usage (%): 98.712
Max. virtual memory (cumulated for all children) (KiB): 848812
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.73982
system time used= 11.7652
maximum resident set size= 352504
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 113390
page faults= 0
swaps= 0
block input operations= 0
block output operations= 57296
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 211
involuntary context switches= 29
runsolver used 0.031995 second user time and 0.101984 second system time
The end