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-3718615-1338270703/watcher-3718615-1338270703 -o /tmp/evaluation-result-3718615-1338270703/solver-3718615-1338270703 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718615-1338270703.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.70 3/178 30906
/proc/meminfo: memFree=27259576/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/30906/stat : 30906 (python) D 30904 30906 30619 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293198873 15642624 526 33554432000 4194304 5683644 140737221728736 140737221714648 218213729168 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 3819 526 312 364 0 261 0
[startup+0.035156 s]
/proc/loadavg: 2.00 2.00 1.70 3/178 30906
/proc/meminfo: memFree=27259576/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=15972 CPUtime=0 cores=1,3,5,7
/proc/30906/stat : 30906 (python) D 30904 30906 30619 0 -1 4202496 940 0 0 0 0 0 0 0 20 0 1 0 293198873 16355328 791 33554432000 4194304 5683644 140737221728736 140737221687192 218213729168 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 3993 791 356 364 0 435 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15972
[startup+0.100302 s]
/proc/loadavg: 2.00 2.00 1.70 3/178 30906
/proc/meminfo: memFree=27259576/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1333 0 0 0 1 2 0 0 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726584 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16996
[startup+0.300298 s]
/proc/loadavg: 2.00 2.00 1.70 3/178 30906
/proc/meminfo: memFree=27259576/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1333 0 0 0 1 2 0 0 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726584 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16996
[startup+0.700228 s]
/proc/loadavg: 2.00 2.00 1.70 3/178 30906
/proc/meminfo: memFree=27259576/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1333 0 0 0 1 2 0 0 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726584 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 16996
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 1.70 3/183 30911
/proc/meminfo: memFree=27226752/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1333 0 0 0 1 2 0 0 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726584 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30908] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30908/stat : 30908 (sh) S 30906 30906 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293198881 9367552 267 33554432000 4194304 5064252 140733427197728 140733427196432 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30908/statm: 2287 267 226 213 0 72 0
[pid=30909] ppid=30908 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/30909/stat : 30909 (python) S 30908 30906 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293198881 17141760 1059 33554432000 4194304 5683644 140734192820048 140734192817896 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30909/statm: 4185 1059 429 364 0 627 0
[pid=30910] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30910/stat : 30910 (sh) S 30909 30906 30619 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293198884 9367552 267 33554432000 4194304 5064252 140734885440496 140734885439200 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30910/statm: 2287 267 226 213 0 72 0
[pid=30911] ppid=30910 vsize=70284 CPUtime=1.38 cores=1,3,5,7
/proc/30911/stat : 30911 (PBPASSolver-817) R 30910 30906 30619 0 -1 4202496 6580 0 0 0 34 104 0 0 20 0 1 0 293198884 71970816 6523 33554432000 4194304 4943705 140736581226928 140736581224304 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/30911/statm: 17571 6523 366 183 0 13941 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 122316
[startup+3.10039 s]
/proc/loadavg: 2.00 2.00 1.70 3/183 30911
/proc/meminfo: memFree=27221100/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1333 0 0 0 1 2 0 0 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726584 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30908] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30908/stat : 30908 (sh) S 30906 30906 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293198881 9367552 267 33554432000 4194304 5064252 140733427197728 140733427196432 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30908/statm: 2287 267 226 213 0 72 0
[pid=30909] ppid=30908 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/30909/stat : 30909 (python) S 30908 30906 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293198881 17141760 1059 33554432000 4194304 5683644 140734192820048 140734192817896 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30909/statm: 4185 1059 429 364 0 627 0
[pid=30910] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30910/stat : 30910 (sh) S 30909 30906 30619 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293198884 9367552 267 33554432000 4194304 5064252 140734885440496 140734885439200 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30910/statm: 2287 267 226 213 0 72 0
[pid=30911] ppid=30910 vsize=73100 CPUtime=2.87 cores=1,3,5,7
/proc/30911/stat : 30911 (PBPASSolver-817) R 30910 30906 30619 0 -1 4202496 6880 0 0 0 68 219 0 0 20 0 1 0 293198884 74854400 6823 33554432000 4194304 4943705 140736581226928 140736581224192 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 11 0 0
/proc/30911/statm: 18275 6823 366 183 0 14645 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 125132
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 1.70 3/183 30911
/proc/meminfo: memFree=27206152/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1333 0 0 0 1 2 0 0 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726584 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30908] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30908/stat : 30908 (sh) S 30906 30906 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293198881 9367552 267 33554432000 4194304 5064252 140733427197728 140733427196432 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30908/statm: 2287 267 226 213 0 72 0
[pid=30909] ppid=30908 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/30909/stat : 30909 (python) S 30908 30906 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293198881 17141760 1059 33554432000 4194304 5683644 140734192820048 140734192817896 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30909/statm: 4185 1059 429 364 0 627 0
[pid=30910] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30910/stat : 30910 (sh) S 30909 30906 30619 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293198884 9367552 267 33554432000 4194304 5064252 140734885440496 140734885439200 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30910/statm: 2287 267 226 213 0 72 0
[pid=30911] ppid=30910 vsize=78988 CPUtime=6.06 cores=1,3,5,7
/proc/30911/stat : 30911 (PBPASSolver-817) R 30910 30906 30619 0 -1 4202496 7514 0 0 0 140 466 0 0 20 0 1 0 293198884 80883712 7457 33554432000 4194304 4943705 140736581226928 140736581224336 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 11 0 0
/proc/30911/statm: 19747 7457 366 183 0 16117 0
Current children cumulated CPU time (s) 6.1
Current children cumulated vsize (KiB) 131020
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.70 3/183 30911
/proc/meminfo: memFree=27171240/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=0.03 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1333 0 0 0 1 2 0 0 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726584 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30908] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30908/stat : 30908 (sh) S 30906 30906 30619 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293198881 9367552 267 33554432000 4194304 5064252 140733427197728 140733427196432 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30908/statm: 2287 267 226 213 0 72 0
[pid=30909] ppid=30908 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/30909/stat : 30909 (python) S 30908 30906 30619 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293198881 17141760 1059 33554432000 4194304 5683644 140734192820048 140734192817896 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/30909/statm: 4185 1059 429 364 0 627 0
[pid=30910] ppid=30909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30910/stat : 30910 (sh) S 30909 30906 30619 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293198884 9367552 267 33554432000 4194304 5064252 140734885440496 140734885439200 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/30910/statm: 2287 267 226 213 0 72 0
[pid=30911] ppid=30910 vsize=90764 CPUtime=12.44 cores=1,3,5,7
/proc/30911/stat : 30911 (PBPASSolver-817) R 30910 30906 30619 0 -1 4202496 8817 0 0 0 290 954 0 0 20 0 1 0 293198884 92942336 8760 33554432000 4194304 4943705 140736581226928 140736581224304 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 13 0 0
/proc/30911/statm: 22691 8760 366 183 0 19061 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 142796
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.71 3/181 30913
/proc/meminfo: memFree=27126536/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=185996 CPUtime=2.11 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 28504 0 0 0 205 6 0 0 20 0 1 0 293201211 190459904 34161 33554432000 4194304 4734972 140735584952224 140735584943976 4310862 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 46499 34161 370 132 0 41399 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 212140
Solver just ended. Dumping a history of the last processes samples
[startup+31.9069 s]
/proc/loadavg: 2.08 2.02 1.71 3/181 30913
/proc/meminfo: memFree=27110216/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=186788 CPUtime=8.52 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 28718 0 0 0 846 6 0 0 20 0 1 0 293201211 191270912 34375 33554432000 4194304 4734972 140735584952224 140735584943208 4310862 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 46697 34375 370 132 0 41597 0
Current children cumulated CPU time (s) 31.66
Current children cumulated vsize (KiB) 212932
[startup+35.1004 s]
/proc/loadavg: 2.07 2.02 1.72 3/181 30913
/proc/meminfo: memFree=27056804/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=230384 CPUtime=11.71 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 37473 0 0 0 1164 7 0 0 20 0 1 0 293201211 235913216 45171 33554432000 4194304 4734972 140735584952224 140735584943224 4402908 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 57596 45171 381 132 0 52496 0
Current children cumulated CPU time (s) 34.85
Current children cumulated vsize (KiB) 256528
[startup+36.7004 s]
/proc/loadavg: 2.07 2.02 1.72 3/181 30913
/proc/meminfo: memFree=27054508/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=236212 CPUtime=13.31 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 38021 0 0 0 1323 8 0 0 20 0 1 0 293201211 241881088 47252 33554432000 4194304 4734972 140735584952224 140735584943224 4415338 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 59053 47252 389 132 0 53953 0
Current children cumulated CPU time (s) 36.45
Current children cumulated vsize (KiB) 262356
[startup+38.3004 s]
/proc/loadavg: 2.07 2.02 1.72 3/181 30913
/proc/meminfo: memFree=27037136/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=266540 CPUtime=14.91 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 45854 0 0 0 1482 9 0 0 20 0 1 0 293201211 272936960 55596 33554432000 4194304 4734972 140735584952224 140735584944424 4583752 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 66635 55596 398 132 0 61535 0
Current children cumulated CPU time (s) 38.05
Current children cumulated vsize (KiB) 292684
[startup+38.7005 s]
/proc/loadavg: 2.07 2.02 1.72 3/181 30913
/proc/meminfo: memFree=27006940/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=266540 CPUtime=15.31 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 45857 0 0 0 1522 9 0 0 20 0 1 0 293201211 272936960 55599 33554432000 4194304 4734972 140735584952224 140735584944424 4329259 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 66635 55599 401 132 0 61535 0
Current children cumulated CPU time (s) 38.45
Current children cumulated vsize (KiB) 292684
[startup+39.1005 s]
/proc/loadavg: 2.07 2.02 1.72 3/181 30913
/proc/meminfo: memFree=27006940/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=266540 CPUtime=15.71 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 45873 0 0 0 1562 9 0 0 20 0 1 0 293201211 272936960 55614 33554432000 4194304 4734972 140735584952224 140735584944248 218213361520 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 66635 55614 416 132 0 61535 0
Current children cumulated CPU time (s) 38.85
Current children cumulated vsize (KiB) 292684
[startup+39.2005 s]
/proc/loadavg: 2.07 2.02 1.72 3/181 30913
/proc/meminfo: memFree=27006940/32873844 swapFree=7620/7620
[pid=30906] ppid=30904 vsize=16996 CPUtime=23.14 cores=1,3,5,7
/proc/30906/stat : 30906 (python) S 30904 30906 30619 0 -1 4202496 1405 13483 0 0 1 2 541 1770 20 0 1 0 293198873 17403904 1081 33554432000 4194304 5683644 140737221728736 140737221726280 218213729664 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30906/statm: 4249 1081 429 364 0 691 0
[pid=30912] ppid=30906 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30912/stat : 30912 (sh) S 30906 30906 30619 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293201211 9367552 267 33554432000 4194304 5064252 140734800311968 140734800310672 218213541454 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/30912/statm: 2287 267 226 213 0 72 0
[pid=30913] ppid=30912 vsize=222828 CPUtime=15.8 cores=1,3,5,7
/proc/30913/stat : 30913 (CryptoMiniSat) R 30912 30906 30619 0 -1 4202496 45873 0 0 0 1571 9 0 0 20 0 1 0 293201211 228175872 48191 33554432000 4194304 4734972 140735584952224 140735584944248 218213350108 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/30913/statm: 55707 48191 416 132 0 50607 0
Current children cumulated CPU time (s) 38.94
Current children cumulated vsize (KiB) 248972
Child status: 0
Real time (s): 39.2629
CPU time (s): 39.0421
CPU user time (s): 21.1998
CPU system time (s): 17.8423
CPU usage (%): 99.4377
Max. virtual memory (cumulated for all children) (KiB): 292684
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.1998
system time used= 17.8423
maximum resident set size= 222456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61624
page faults= 0
swaps= 0
block input operations= 0
block output operations= 88032
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 219
involuntary context switches= 48
runsolver used 0.146977 second user time and 0.288956 second system time
The end